There has been great progress in the directions of the original proposal concerning basic moduli spaces in algebraic geometry
related to varieties of dimension at most 3 (including the moduli of curves, the moduli of maps, the moduli of surfaces, and
the moduli of sheaves on 3-folds). There is a range questions considered include: Pixton's conjectures for the moduli of curves,
the structure of the ring of Noether-Lefschetz loci for the moduli of K3 surfaces, the holomorphic anomaly equation in Gromov-Witten
theory, and conjectures governing descendents for the moduli of sheaves.
The main research highlights/breakthroughs are:
i) Pixton’s formula for the Picard stack: with Bae, Holmes, Schmitt, and Schwarz, we define a universal twisted double ramification
cycles on the Artin stack of curves with a line bundle. The main result is an exact formula for the universal DR cycle in the
tautological ring in the shape of Pixton's formula for the standard DR cycle. The result may be viewed as a universal Abel-Jacobi
calculation on the Picard stack. There are a number of consequences including the proof of all the previous
conjectures for the calculations of the fundamental classes of the spaces of meromorphic/holomorphic differentials in terms of
Pixton's formula.
With Molcho and Schmitt, we opened the study of the double ramification cycles in the logarithmic tautological ring on the
moduli space of curves. The paper was then followed by a calculation of the double ramification cycle via a new version of
Pixton's formula with Holmes, Molcho, Pixton, and Schmitt. The result is a breakthrough (and introduces several new ideas
and tools to the subject including the systematic use of stability conditions on the universal Picard for the calculation).
An outcome of our work (as developed by Ranganathan) is a complete determination of the log Gromov-Witten theory of
toric varieties relative to the full toric boundary.
ii-iii) We have made significant progress in the study of the virtual classes of moduli of sheaves on surfaces. An important
advance was Oprea-Pandharipande "Quot schemes of curves and surfaces: virtual classes, integrals, Euler characteristics"
where exact formulas for the general type case were given.
With Oprea and Canning, we have completed the calculation of the Chow ring of the moduli space of K3 surfaces of degree 2.
The result opens the door to further theorems and conjectures about the structure of the tautological rings of the moduli spaces
of surfaces. The Noether-Lefschetz geometry of the moduli of K3 surfaces led us to study related problems for the moduli space of
principally polarized abelian varieties. With Oprea and Canning, we have found the first geometric non-tautological class
(a Noether-Lefschetz locus) and proposed a conjectural theory for the virtual classes of Noether-Lefschetz
loci for the moduli of abelian varieties. A surprising outcome has been been a connection to Pixton's conjectures
for curves of compact type.
iv) We have studied the holomorphic anomaly equations for many Calabi-Yau geometries. After work with Lho which showed for the
first time how to prove the holomorphic anomaly equation from the R-matrix and the Givental-Teleman formula, there
has been a large number of results: for orbifold geometries, formal geometries, and local relative geometries. A beautiful
recent result concerns the complex projective plane relative to the elliptic cubic by Bousseau, Fan, Guo, and Wu.
Our ideas played a role in further developments by Janda, Ruan, and Jun Li on the holomorphic anomaly equation
for compact targets.
v) We have studied the Virasoro constraints for stable pairs in the stationary toric case. After finding a closed form for the
GW/PT descendent correspondent in the stationary toric case with Oblomkov and Okounkov, we have proved
the Virasoro constraints for stable pairs in the stationary toric case (with Oblomkov, Okounkov, and Moreira). In a
breakthrough by Bojko Lim, and Moreira, the Virasoro constraints for all moduli spaces of higher rank
stable sheaves on toric algebraic surfaces and curves of any genus have been proved. These results open a large
field of future study.
The direction numbers above match research directions proposed in MACI.
The progress on the grant has opened new lines of research in several directions discussed above.
