Edged crystalline cohomology

• Applicant: Dr. Marco D Addezio
• Subject Area: Mathematics
• Term: from 2021 to 2024
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 461915680

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 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 rigid cohomology is that it is difficult to perform classical geometric operations. For example, it is not known whether the direct image functors have all the desirable properties (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 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 site is completely algebraic. Other applications that will be developed include the construction of an integral structure for rigid cohomology and the construction of the category of F-isocrystals with log-decay for varieties of arbitrary dimension.

• DFG Programme: WBP Fellowship
• International Connection: France
• Host: Professor Dr. Matthew Morrow