An introduction to the intersection theory of the moduli space of curves

Technische Samenvatting: Een Introductie tot de Intersectietheorie van de Moduliruimte van Curven

Probleemstelling
Het centrale probleem dat in dit overzicht wordt behandeld, is het begrijpen van de intersectietheorie van de moduliruimte van curven, $M_g$, specifiek met betrekking tot de structuur van de Chow-ring, $A^*(M_g)$. De auteur onderzoekt de relatie tussen de volledige Chow-ring en de tautologische ring, $R^*(M_g)$, een subring gegenereerd door klassen die natuurlijk voortvloeien uit de geometrie van de universele familie. Het overzicht richt zich op twee fundamentele vragen:

1. Generatie: Wordt de Chow-ring $A^*(M_g)$ gegenereerd door tautologische klassen?
2. Relaties: Wat is de volledige verzameling relaties tussen tautologische klassen?

Het artikel benadrukt dat hoewel de Chow-ring goed begrepen is voor lage genera, de situatie steeds complexer wordt naarmate het genus $g$ groter wordt, waarbij het bestaan van niet-tautologische klassen in hogere genera een belangrijk openstaand onderzoeksgebied blijft.

Methodologie en Raamwerk
Het artikel maakt gebruik van de standaardmachinerie van de algebraïsche meetkunde, specifiek intersectietheorie en Chow-ringen, aangepast aan de context van moduliruimten (vaak behandeld als Deligne–Mumford-stacks).

• Fundamentele Instrumenten: Het overzicht bespreekt de definitie van de Chow-groep $A_*(X)$ als cycli modulo rationale equivalentie. Er wordt gebruikgemaakt van proper pushforward ($f_*$) en flat pullback ($f^*$) afbeeldingen, evenals de excisievolgorde voor open/gesloten schema's. De push-pull formule en zelfintersectieformules (via excess intersectie) zijn centraal bij het berekenen van intersecties.
• Tautologische Klassen: Volgens de filosofie van Mumford worden tautologische klassen gedefinieerd als klassen die voortkomen uit de universele familie. Voor $M_g$ omvatten deze:
  • $\kappa$-klassen: Gedefinieerd via de pushforward van machten van de eerste Chern-klasse van de relatieve dualiserende sheaf $\omega_f$ langs de universele curve $f: C_g \to M_g$.
  • $\lambda$-klassen: Gedefinieerd als de Chern-klassen van de Hodge-bundel $E = f_*\omega_f$.
  • $\psi$-klassen: Gedefinieerd op gepunteerde moduliruimten $M_{g,n}$ via de secties van de universele curve.
• Stratificatie en Lijming: De methodologie steunt zwaar op het stratificeren van moduliruimten (bijv. op basis van gonality of via stabiele grafen voor compactificaties) en het gebruiken van excisievolgordes om de Chow-ringen van strata te relateren aan de gehele ruimte. Voor compactificaties $\overline{M}_{g,n}$ wordt de tautologische ring gedefinieerd als het kleinste systeem van subringen dat gesloten is onder pushforwards langs lijmingsafbeeldingen (geassocieerd met stabiele grafen) en vergetingsafbeeldingen.
• Computationele Technieken: Het artikel bespreekt het gebruik van Porteous-formules voor degeneratieloci, Grothendieck–Riemann–Roch voor het relateren van Chern-klassen van pushforwards, en Künneth-decomposities in cohomologie om niet-tautologische klassen te detecteren.

Belangrijkste Bijdragen en Resultaten

1. Overzicht van de Tautologische Ring:

   • Het artikel bespreekt de Faber-conjecturen met betrekking tot de structuur van $R^*(M_g)$, inclusief de generatie door $\kappa$-klassen tot graad $\lfloor g/3 \rfloor$, het verdwijnen in graden $> g-2$, en het bestaan van een perfecte paarling in de hoogste graad.
   • Het merkt op dat hoewel de Faber–Zagier-relaties (geconjecttureerd door Faber en Zagier en bewezen door Pixton en Pandharipane) een grote verzameling relaties bieden, het een open vraag blijft of zij alle relaties vormen. Recente computationele bewijzen (Canning) suggereren dat de paarling in graad $g-2$ niet perfect is voor $g=24$, wat impliceert dat ofwel de Faber-conjectuur (deel 3) onjuist is, ofwel de Faber–Zagier-relaties incompleet zijn.

2. Generatieresultaten (Wanneer $A^*(M_g) = R^*(M_g)$):

   • Het artikel bevestigt dat voor $2 \le g \le 9$ de Chow-ring wordt gegenereerd door tautologische klassen ($A^*(M_g) = R^*(M_g)$). Dit resultaat synthetiseert het werk van Mumford, Faber, Izadi, Penev–Vakil, en Canning–Larson.
   • Casestudy: Genus 3: De auteur geeft een gedetailleerd bewijs-sketch voor $g=3$. De strategie omvat het stratificeren van $M_3$ in de hyperelliptische locus $H$ en de locus van gladde planaire quartieken $P$.
     • $H$ wordt getoond te een triviale Chow-ring (rationaal) te hebben via de relatie met $M_{0,8}/S_8$.
     • $P$ wordt geanalyseerd als een quotient stack $U/GL_3$, waarbij de Chow-ring wordt gegenereerd door de Chern-klassen van de Hodge-bundel (die tautologisch zijn).
     • Door gebruik te maken van de excisievolgorde, reduceert het bewijs tot het aantonen dat de fundamentele klasse $[H]$ tautologisch is. Dit wordt bereikt door $H$ te realiseren als een degeneratielocatie van een afbeelding tussen vectorbundels op $C_2$ en het toepassen van de Porteous-formule.

3. Niet-tautologische Klassen (Wanneer $A^*(M_g) \neq R^*(M_g)$):

   • Het artikel stelt vast dat voor $g=12$ en $g \ge 16$ de Chow-ring niet wordt gegenereerd door tautologische klassen.
   • Casestudy: Genus 12: De auteur details de constructie van een niet-tautologische klasse door Van Zelm. De klasse in kwestie is de fundamentele klasse van de bielliptische locus $B_{12}$ (curven die een graad 2 afbeelding naar een elliptische curve toelaten).
     • Het bewijs maakt gebruik van de lijmingsafbeelding $i: M_{1,11} \times M_{1,11} \to M_{12}$.
     • Door de klasse $[B_{12}]$ via $i$ terug te trekken (pullback), verkrijgt men een klasse die de diagonaal $\Delta$ in $M_{1,11} \times M_{1,11}$ omvat.
     • Het argument steunt op Hodge-theorie en Künneth-componenten. Specifiek is $H^{11,0}(M_{1,11}) \neq 0$. De diagonaal-klasse heeft een niet-nul component in $H^{11,0} \otimes H^{0,11}$.
     • Klassen die ondersteund worden op de rand van $M_{12}$ (en hun pullbacks) vertonen niet deze specifieke Hodge-type. Omdat tautologische klassen die via lijmingsafbeeldingen worden teruggetrokken bepaalde Hodge-restricties moeten respecteren (specifiek kunnen zij de specifieke oneven-graads Hodge-type die in de diagonaal wordt gevonden, niet genereren), kan $[B_{12}]$ niet tautologisch zijn.

Betekenis en Claims
Het artikel positioneert zichzelf als een introductie tot de huidige stand van zaken in de intersectietheorie van $M_g$. De betekenis ligt in:

• Verenigend Raamwerk: Het verbindt klassieke voorbeelden (Grassmannianen, classificerende stacks $BGL_k$) met de moderne theorie van moduliruimten van curven, en illustreert hoe "tautologische" klassen natuurlijk voortkomen uit universele eigenschappen.
• Verheldering van de Grens van Kennis: Het bakent duidelijk de bekende gevallen af waar de Chow-ring tautologisch is ($g \le 9$) versus waar dit niet het geval is ($g=12, g \ge 16$), waarbij de specifieke genera ($10, 11, 13, 14, 15$) worden benadrukt waar de vraag nog openstaat.
• Methodologische Demonstratie: Door bewijs-sketches te geven voor $g=3$ (generatie) en $g=12$ (niet-generatie), demonstreert het artikel de specifieke technische instrumenten die vereist zijn voor deze problemen: stratificatie en excisie voor generatie, en Hodge-theoretische Künneth-analyse voor niet-generatie.

De auteur claimt bescheiden dat hoewel de integrale Chow-ring alleen bekend is voor $g=2$, de rationale Chow-ring begrepen is voor $g \le 9$, en het bestaan van niet-tautologische klassen is vastgesteld voor specifieke hogere genera. Het artikel claimt niet de openstaande gevallen op te lossen, maar eerder te voorzien van de "smaak van de instrumenten van de stand van de techniek" die worden gebruikt om deze aan te pakken.