Objetivo
The purpose of the project is to develop methods for computing with the rigid and crystalline cohomology of varieties over finite fields. The project will focus on two main problems. First, the fast computation of the Galois action. Second, the effective computation of the cycle class map, and the inverse problem of explicitly recovering algebraic cycles from Galois-invariant cohomology classes (c.f. the Tate conjecture). Research on the first problem would be a natural extension of on-going work of the Prinicipal Investigator and others. By contrast the second problem is entirely new, at least in the context of computational number theory. The overall goal of the project is to provide methods and software which will extend the range of application of computational number theory within the mathematical sciences.
Ámbito científico
Palabras clave
Convocatoria de propuestas
ERC-2007-StG
Consulte otros proyectos de esta convocatoria
Régimen de financiación
ERC-SG - ERC Starting GrantInstitución de acogida
OX1 2JD Oxford
Reino Unido