Project description
Beyond the current motivic cohomology theory
Cohomology is originally part of geometry and the theory of spaces, used to capture and linearise subtle geometric and topological information. It has been extended in many ways to algebraic geometry and number theory, where it can now encode arithmetic information relevant to numerous important unsolved problems. A particular, and in some sense universal, cohomology theory is the geometric motivic cohomology developed from the 1980s to the 2000s. The EU-funded MoCoS project is developing an extension of this motivic cohomology to the arithmetic, and even singular, context. It relies on recent breakthroughs in homotopy theory and arithmetic geometry, such as topological cyclic homology and perfectoids.
Objective
The project belongs to the field of arithmetic algebraic geometry and is centred around algebraic K-theory, motivic cohomology, and topological cyclic homology. The overall goal is to develop a general theory of motivic cohomology for arbitrary schemes, extending the existing theory of Bloch, Levine, Suslin, Voevodsky, and others in the special case of smooth algebraic varieties. This will describe non-connective algebraic K-theory via an Atiyah--Hirzebruch spectral sequence. The project relies on very recent breakthroughs in algebraic K-theory and topological cyclic homology.
In the case of singular algebraic varieties, our goal will be to develop a theory of motivic cohomology which both satisfies singular analogous of the Beilinson--Lichtenbaum conjectures and is also compatible with the trace maps to negative cyclic and topological cyclic homology. Its properties will refine those of K-theory in the presence of singularities; for example, we will study a motivic refinement of Weibel's vanishing conjecture and a theory of ``infinitesimal motivic cohomology'' satisfying cdh descent.
In the case of regular arithmetic schemes we will propose a new approach to the theory of p-adic motivic cohomology, based on topological cyclic homology and syntomic cohomology, which works in much greater generality than previous approaches. Perfectoid techniques will play an important role and we will establish the p-adic Beilinson--Lichtenbaum and Bloch--Kato conjectures.
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.
This project's classification has been validated by the project's team.
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's classification has been validated by the project's team.
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.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
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.
ERC-COG - Consolidator Grant
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) ERC-2020-COG
See all projects funded under this callHost institution
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.