Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Edged Crystalline Cohomology

Project description

Extending rigid cohomology to a more complete theory

Rigid cohomology is a p-adic cohomology theory introduced by Berthelot that extends crystalline cohomology to schemes that need not be proper or smooth. The main weakness of this theory is the difficulty of performing classical geometric operations. This is attributed to the fact that cohomology definitions rely on differential forms that need smoothness assumptions. Funded by the Marie Skłodowska-Curie Actions programme, the ECrys project will use the edged crystalline site, which offers an alternative definition of rigid cohomology and overconvergent isocrystals. This definition will be used to prove Berthelot’s conjecture.

Objective

This proposed project aims at opening new horizons in Grothendieck and Berthelot's theories of crystalline and rigid cohomology. These are p-adic cohomology theories that are used to study algebraic varieties in positive characteristic. In the last years, the subject has seen an incredible development. Recent important achievements have been, for example, Kedlaya's new proof of the Riemann Hypothesis in positive characteristic and Abe's construction of a p-adic Langlands correspondence for overconvergent F-isocrystals. On the other hand, there are still some fundamental open questions. The main weakness of the theory of rigid cohomology is the difficulty of performing classical geometric operations. For example, it is not known whether the direct image functors have all the desirable propreties (Berthelot's conjecture). This is mainly due to the fact that the definitions rely on differential forms, which need smoothness assumptions to be defined. The Applicant D'Addezio wants to use the edged crystalline site, a new site that he has recently constructed, to solve this issue. In particular, he wants to show that the edged crystalline site gives an alternative new definition of rigid cohomology and overconvergent isocrystals and then use this to prove Berthelot's conjecture. For this second step, he will exploit the fact that the definition of the edged crystalline site is completely algebraic. Other applications that will be developped include the construction of an integral structure for rigid cohomology and the construction of the category of F-isocrystals with log-decay for smooth varieties of arbitrary dimension (extending the results of Kramer--Miller).

Keywords

Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)

Programme(s)

Multi-annual funding programmes that define the EU’s priorities for research and innovation.

Topic(s)

Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.

Funding Scheme

Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.

HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships

See all projects funded under this funding scheme

Call for proposal

Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.

(opens in new window) HORIZON-MSCA-2021-PF-01

See all projects funded under this call

Coordinator

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
Net EU contribution

Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.

€ 195 914,88
Total cost

The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.

No data

Partners (1)

My booklet 0 0