Enumerative Geometry and Moduli Theory

Enumerative geometry and moduli theory address the classification and counting of geometric structures on algebraic varieties and the study of the spaces that parametrise them. Beginning with classical problems—such as determining the number of lines on a cubic surface or the number of plane curves of fixed degree passing through a set of points—these fields have evolved into a rich interplay of intersection theory, deformation theory and algebraic stacks. Central to modern developments are Gromov–Witten and Donaldson–Thomas theories, which provide virtual counts of curves via stable maps and coherent sheaves respectively. Correspondence conjectures link these frameworks, while wall-crossing techniques explain how enumerative invariants change under variation of stability conditions. Derived categories and vertex algebras offer algebraic tools to encapsulate these phenomena. Deep connections with mirror symmetry and string theory have elevated enumerative geometry to a pivotal role in mathematical physics. Applications span from counting rational and higher-genus curves on Calabi–Yau and hyperkähler varieties to understanding moduli of sheaves on surfaces, thereby influencing a broad spectrum of geometry and topology.

Research from Nature Portfolio

No recent Nature Portfolio content available.

Research from all publishers

In the study of conformal structures on moduli of sheaves, recent work has reinterpreted Virasoro constraints—originally conceived in Gromov–Witten theory—in the setting of Joyce’s vertex algebra. This reformulation demonstrates that Virasoro constraints persist across wall-crossing in moduli spaces of torsion-free sheaves on curves and surfaces, reducing complex sheaf-theoretic conjectures to established rank-one cases and offering a unified algebraic perspective on enumerative wall-crossing phenomena.

New invariants capturing counts of curves on holomorphic symplectic 4-folds have been introduced via reduced Gromov–Witten theory, providing four-dimensional analogues of classical BPS invariants. These constructions conjecture integrality and establish a sheaf-theoretic interpretation in terms of reduced Donaldson–Thomas invariants of one-dimensional stable sheaves, with explicit verifications for products of K3 surfaces and other prototypical hyperkähler varieties. The resulting formulæ generalise the Yau–Zaslow formula and open avenues for enumerating higher-genus curves in hyperkähler geometry.

A K-theoretic extension of the Donaldson–Thomas/Stable-Pair correspondence on toric Calabi–Yau 4-folds has been developed via a novel vertex formalism in equivariant K-theory. By formulating a conjectural DT/PT correspondence in this refined setting, the work verifies cohomological limits and dimensional reductions to three-fold cases, yielding generating series for K-theoretic stable-pair invariants and illustrating deep connections between equivariant localisation techniques and higher-dimensional enumerative dualities.

Enumerative Geometry and Moduli Theory publication trend

The graph below shows the total number of articles in enumerative geometry and moduli theory across all publications each year (not limited to Nature Index journals).

Technical terms

Enumerative geometry: The branch of geometry concerned with counting the number of solutions to geometric questions under specified conditions.

Moduli space: A geometric space whose points represent isomorphism classes of algebraic or geometric objects, such as curves or sheaves.

Gromov–Witten invariants: Virtual counts of stable maps from curves into a target variety, encoding intersection data in its moduli space.

Donaldson–Thomas invariants: Invariants defined via integration over virtual cycles on moduli spaces of coherent sheaves, often counting ideal sheaves or stable pairs.

Stable pairs: Objects in derived category theory consisting of a sheaf together with a section, used to define alternative curve-counting invariants.

Wall-crossing: The change in enumerative invariants of moduli spaces as stability parameters vary, governed by piecewise-constant chambers.

Vertex algebra: An algebraic structure encoding operator product expansions, applied to reformulate constraints on enumerative invariants.

References

1. Virasoro constraints for moduli of sheaves and vertex algebras. Inventiones Mathematicae (2024).
2. Gopakumar–Vafa Type Invariants of Holomorphic Symplectic 4-Folds. Communications in Mathematical Physics (2024).
3. K-Theoretic DT/PT Correspondence for Toric Calabi–Yau 4-Folds. Communications in Mathematical Physics (2022).