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).
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service
You need to log in or register to use this function
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
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.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA)
MAIN PROGRAMME
See all projects funded under this programme
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.
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.
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.
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 callCoordinator
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.
75794 Paris
France
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.