FourSurf | Surfaces on fourfolds

Summary
"Enumerative geometry is the field of algebraic geometry dealing with counting geometric objects satisfying constraints. For instance, in Ancient Greece, Apollonius asked how many circles are tangent to three given circles in the plane. It is a very active area due to unexpected connections with other fields of mathematics and physics. So far, modern enumerative geometry is largely about counting curves. Recently I worked on foundations for a theory for counting surfaces in 4-dimensional spaces. This is the starting point of this proposal, which is about discovering new properties of 4-dimensional spaces using surface counting.

Project A explores surface counting in Calabi-Yau, hyper-Kähler, and Abelian fourfolds in a series of concrete settings. The impact is this: when the count is non-zero for some (2,2) class γ on X, then it implies the variational Hodge conjecture for (X,γ). The Hodge conjecture is one of the millennium prize problems and the first open case is for (2,2) classes on 4-dimensional spaces.

Project B investigates 4-dimensional singularities. It is about discovering a connection between the geometry and algebra hidden in the singularity called ""crepant resolution conjecture"". The impact is this: for 3-dimensional singularities the crepant resolution conjecture does not work when surfaces get contracted. By embedding 3-dimensional singularities in 4 dimensions, I expect to solve this open case.

Project C shifts from counting surfaces in 4-dimensional space to counting representations of 4-dimensional non-commutative rings. The same move for 3-dimensional rings opened up an entire field, and this project will do the same for 4-dimensional rings. Interesting examples include Sklyanin algebras, non-commutative resolutions of 4D Gorenstein singularities, and quantum Fermat sextic fourfolds.

The common denominator of these projects is that they involve 4D phenomena that could previously not be explored and are made accessible by this proposal."
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/101087365
Start date: 01-09-2023
End date: 31-08-2028
Total budget - Public funding: 1 870 000,00 Euro - 1 870 000,00 Euro
Cordis data

Original description

"Enumerative geometry is the field of algebraic geometry dealing with counting geometric objects satisfying constraints. For instance, in Ancient Greece, Apollonius asked how many circles are tangent to three given circles in the plane. It is a very active area due to unexpected connections with other fields of mathematics and physics. So far, modern enumerative geometry is largely about counting curves. Recently I worked on foundations for a theory for counting surfaces in 4-dimensional spaces. This is the starting point of this proposal, which is about discovering new properties of 4-dimensional spaces using surface counting.

Project A explores surface counting in Calabi-Yau, hyper-Kähler, and Abelian fourfolds in a series of concrete settings. The impact is this: when the count is non-zero for some (2,2) class γ on X, then it implies the variational Hodge conjecture for (X,γ). The Hodge conjecture is one of the millennium prize problems and the first open case is for (2,2) classes on 4-dimensional spaces.

Project B investigates 4-dimensional singularities. It is about discovering a connection between the geometry and algebra hidden in the singularity called ""crepant resolution conjecture"". The impact is this: for 3-dimensional singularities the crepant resolution conjecture does not work when surfaces get contracted. By embedding 3-dimensional singularities in 4 dimensions, I expect to solve this open case.

Project C shifts from counting surfaces in 4-dimensional space to counting representations of 4-dimensional non-commutative rings. The same move for 3-dimensional rings opened up an entire field, and this project will do the same for 4-dimensional rings. Interesting examples include Sklyanin algebras, non-commutative resolutions of 4D Gorenstein singularities, and quantum Fermat sextic fourfolds.

The common denominator of these projects is that they involve 4D phenomena that could previously not be explored and are made accessible by this proposal."

Status

SIGNED

Call topic

ERC-2022-COG

Update Date

31-07-2023
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon Europe
HORIZON.1 Excellent Science
HORIZON.1.1 European Research Council (ERC)
HORIZON.1.1.0 Cross-cutting call topics
ERC-2022-COG ERC CONSOLIDATOR GRANTS
HORIZON.1.1.1 Frontier science
ERC-2022-COG ERC CONSOLIDATOR GRANTS