MODSTABVAR | Moduli spaces of stable varieties and applications

Summary
Stable varieties, originally introduced by Kollár and Shepherd-Barron, are higher dimensional generalizations of the algebro-geometric notion of stable curves from many perspectives. Their partially conjectural moduli space classifies smooth projective varieties of general type up to birational equivalence, and it also provides a projective compactification for this classifying space. The latter is essential for applying algebraic geometry to the moduli space itself. Furthermore, over the complex numbers, stable varieties can be also defined surprisingly as the projective varieties admitting a negative curvature (singular) Kähler-Einstein metric by the work of Berman and Guenancia, or as the canonically polarized K-stable varieties by Odaka.

The fundamental objective of the project is to construct the coarse moduli space of stable surfaces with fixed volume over the integers (possibly excluding finitely many primes, not depending on the volume). In particular this involves showing the Minimal Model Program for 3-folds that are projective over a 1 dimensional mixed characteristic base. The main motivations are applications to the general algebraic geometry and arithmetic of higher dimensional varieties.

The above fundamental goal is also an incarnation of Grothendieck's philosophy that algebraic geometry statements should be proved in a relative setting. This was implemented right at the beginning for stable curves, but it has not been possible to attain for stable varieties of higher dimensions, due to the lack of technology. Hence, the project aims to establish new technology in mixed and positive characteristic geometry based on recent developments, such as modern Minimal Model Program, the vanishings given by balanced big Cohen-Macaulay algebras (the existence of which was shown by André using Scholze's perfectoid theory), trace method for lifting sections, p-torsion cohomology killing via alterations (by Bhatt), torsor method on singular varieties, etc.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/804334
Start date: 01-03-2020
End date: 31-08-2025
Total budget - Public funding: 1 201 370,00 Euro - 1 201 370,00 Euro
Cordis data

Original description

Stable varieties, originally introduced by Kollár and Shepherd-Barron, are higher dimensional generalizations of the algebro-geometric notion of stable curves from many perspectives. Their partially conjectural moduli space classifies smooth projective varieties of general type up to birational equivalence, and it also provides a projective compactification for this classifying space. The latter is essential for applying algebraic geometry to the moduli space itself. Furthermore, over the complex numbers, stable varieties can be also defined surprisingly as the projective varieties admitting a negative curvature (singular) Kähler-Einstein metric by the work of Berman and Guenancia, or as the canonically polarized K-stable varieties by Odaka.

The fundamental objective of the project is to construct the coarse moduli space of stable surfaces with fixed volume over the integers (possibly excluding finitely many primes, not depending on the volume). In particular this involves showing the Minimal Model Program for 3-folds that are projective over a 1 dimensional mixed characteristic base. The main motivations are applications to the general algebraic geometry and arithmetic of higher dimensional varieties.

The above fundamental goal is also an incarnation of Grothendieck's philosophy that algebraic geometry statements should be proved in a relative setting. This was implemented right at the beginning for stable curves, but it has not been possible to attain for stable varieties of higher dimensions, due to the lack of technology. Hence, the project aims to establish new technology in mixed and positive characteristic geometry based on recent developments, such as modern Minimal Model Program, the vanishings given by balanced big Cohen-Macaulay algebras (the existence of which was shown by André using Scholze's perfectoid theory), trace method for lifting sections, p-torsion cohomology killing via alterations (by Bhatt), torsor method on singular varieties, etc.

Status

SIGNED

Call topic

ERC-2018-STG

Update Date

27-04-2024
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon 2020
H2020-EU.1. EXCELLENT SCIENCE
H2020-EU.1.1. EXCELLENT SCIENCE - European Research Council (ERC)
ERC-2018
ERC-2018-STG