Skip to main content

Effective methods in rigid and crystalline cohomology

Objective

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.

Call for proposal

ERC-2007-StG
See other projects for this call

Host institution

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Address
Wellington Square University Offices
OX1 2JD Oxford
United Kingdom

See on map

Activity type
Higher or Secondary Education Establishments
Administrative Contact
Stephen Conway (Dr.)
Principal investigator
Alan George Beattie Lauder (Dr.)
EU contribution
€ 750 000

Beneficiaries (1)

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
EU contribution
€ 750 000
Address
Wellington Square University Offices
OX1 2JD Oxford

See on map

Activity type
Higher or Secondary Education Establishments
Administrative Contact
Stephen Conway (Dr.)
Principal investigator
Alan George Beattie Lauder (Dr.)