The Gorenstein property and Pixton's conjecture for compact type moduli

Technische Samenvatting: De Gorenstein-eigenschap en Pixtons Vermoeden voor Moduli van Compact Type

Probleemstelling
Het artikel behandelt twee fundamentele open problemen in de intersectionstheorie van moduli-ruimten van krommen: de structuur van de tautologische ringen $R^*(\mathcal{M}^{\text{ct}}_{g,n})$ voor krommen van compact type en de geldigheid van Pixtons vermoeden met betrekking tot de volledigheid van 3-spin relaties. Specifiek onderzoeken de auteurs of deze ringen voldoen aan de Gorenstein-eigenschap (waarbij de intersection-koppeling perfect is) en of de ideaal van tautologische relaties volledig wordt gegenereerd door de 3-spin relaties (Pixtons vermoeden). Hoewel de Gorenstein-eigenschap werd vermoed voor lage genera, suggereerde recent werk dat deze in hogere genera faalt. De relatie tussen de geldigheid van Pixtons vermoeden en de Gorenstein-eigenschap bleef onduidelijk, met name in gevallen waarin de ring mogelijk niet Gorenstein is.

Methodologie
De auteurs maken gebruik van een combinatie van theoretische reducties, structurele analyse van tautologische klassen en uitgebreide computationele verificatie met behulp van de admcycles softwarepackage.

1. Theoretisch Kader:

   • Strata-algebra en Relaties: De studie maakt gebruik van de strata-algebra $S^*(\mathcal{M}_{g,n})$ en de quotient daarvan door de 3-spin relaties, aangeduid als $R^*_{\text{FZ}}$. De auteurs analyseren de afbeelding van de strata-algebra naar de tautologische ring en de cohomologische tautologische ring.
   • Inductieve Reducties: De bewijzen steunen op lijm-afbeeldingen (bijv. het bevestigen van een elliptische staart) en vergetings-afbeeldingen om de eigenschappen van $\mathcal{M}^{\text{ct}}_{g,n}$ te relateren aan lagere genera of minder gemarkeerde punten. Kernlemma's stellen vast dat het bestaan van "onzichtbare" klassen (klassen die naar nul koppelen met alle complementaire klassen) behouden blijft onder deze operaties.
   • Stelling $\star$: De auteurs maken gebruik van de resultaat dat elke klasse in de 3-spin quotient $R^d_{\text{FZ}}(\mathcal{M}_{g,n})$ gerepresenteerd kan worden door gedecoreerde strata met een specifiek aantal genus 0 vertices. Dit maakt precieze controle mogelijk over de generatoren van de ring in hoge codimensies.
   • Representatietheorie: Voor specifieke gevallen (bijv. $(g,n)=(3,6)$) deconstrueren de auteurs de cohomologiegroepen in irreducibele representaties van de symmetrische groep $S_n$ om de dimensies van invariante subruimten te berekenen, waardoor directe berekeningen van de volledige ring worden omzeild.

2. Computationele Strategie:

   • Matrixrang-berekeningen: Om de dimensie van de tautologische ring te bepalen, construeren de auteurs matrices die de 3-spin relaties representeren. Ze berekenen de rang van deze matrices modulo een priemgetal $p$ om bovengrenzen op de dimensie van de ring te verkrijgen.
   • Verificatie van Koppelingen: Ondergrenzen worden vastgesteld door de rang van intersection-koppelingen tussen complementaire graden te berekenen. Wanneer de boven- en ondergrenzen samenvallen, zijn de 3-spin relaties bewezen volledig en is de koppeling perfect.
   • Optimalisaties: Vanwege de combinatorische explosie in hogere genera hebben de auteurs parallellisatie, Least Recently Used (LRU) caching en disk-gebaseerde opslag voor matrixrijen geïmplementeerd. Ze maakten ook gebruik van sparse lineaire algebra bibliotheken (LinBox) en modulaire rekenkunde om grote matrices efficiënt te verwerken.

Belangrijkste Bijdragen en Resultaten

1. Falen van de Gorenstein-eigenschap:
   De auteurs bewijzen dat de tautologische ringen $R^*(\mathcal{M}^{\text{ct}}_{g,n})$ en $RH^*(\mathcal{M}^{\text{ct}}_{g,n})$ niet Gorenstein zijn voor alle $g \ge 2$ en $2g + n \ge 12$.

   • Dit breidt de eerdere resultaten van Petersen (die aantoonde dat het faalt voor $g=2, n \ge 8$) uit naar hogere genera.
   • Het bewijs reduceert het algemene geval tot de randgevallen waar $2g + n = 12$ (specifiek $(6,0), (5,2), (4,4), (3,6)$).
   • Voor deze specifieke gevallen demonstreren de auteurs het bestaan van niet-nul klassen in de kernel van de intersection-koppeling, waarmee zij bewijzen dat de ring niet Gorenstein is.

2. Volledigheid van Pixtons Vermoeden in Niet-Gorenstein Gevallen:
   Het artikel bewijst nieuwe gevallen van Pixtons vermoeden, waarbij wordt aangetoond dat de 3-spin relaties een volledige verzameling relaties vormen voor de tautologische ring in Chow en cohomologie voor:

   • $\mathcal{M}^{\text{ct}}_6$
   • $\mathcal{M}^{\text{ct}}_{5,2}$
   • $\mathcal{M}^{\text{ct}}_7$
   • Cruciaal is dat de auteurs voor deze gevallen bewijzen dat, hoewel Pixtons vermoeden standhoudt (de relaties zijn volledig), de ring niet Gorenstein is. Dit vormt de eerste bekende instanties waar het vermoeden waar is ondanks het falen van de Gorenstein-eigenschap.

3. Partiële Omgekeerde en Lage Genus Resultaten:

   • De auteurs bewijzen dat voor $g=0, 1$ en $g \ge 2$ met $2g + n < 12$ (uitgesloten $(2,7)$), de tautologische ringen isomorf zijn aan de cohomologische tautologische ringen en Gorenstein zijn.
   • Zij bewijzen dat de koppeling tussen $R^1$ en haar complement altijd perfect is (Stelling 4), wat de Gorenstein-eigenschap in codimensione 1 bevestigt.

4. Verbinding met Abelische Variëteiten:
   De resultaten over $\mathcal{M}^{\text{ct}}_6$ worden geïdentificeerd als een sleutelcomponent in recent werk dat het bestaan van niet-tautologische cycli op de moduli-ruimte van principaal gepolariseerde Abelische variëteiten ($\mathcal{A}_6$) bewijst. Specifiek biedt het falen van de Gorenstein-eigenschap in $\mathcal{M}^{\text{ct}}_6$ een geometische verklaring voor het niet-tautologische karakter van bepaalde klassen in $\mathcal{A}_6$.

Significantie
De primaire significantie van dit artikel ligt in het ontkoppelen van de Gorenstein-eigenschap van Pixtons vermoeden. Vooraf aan dit werk was het onduidelijk of het falen van de Gorenstein-eigenschap de incompleetheid van de 3-spin relaties impliceerde. Door te bewijzen dat Pixtons vermoeden standhoudt voor $\mathcal{M}^{\text{ct}}_6, \mathcal{M}^{\text{ct}}_{5,2},$ en $\mathcal{M}^{\text{ct}}_7$ terwijl zij tegelijkertijd bewijzen dat deze ringen niet Gorenstein zijn, laten de auteurs zien dat de 3-spin relaties de tautologische ring volledig vatten, zelfs wanneer de intersection-koppeling degenerat is.

Verder biedt het artikel een uitgebreide classificatie van de Gorenstein-eigenschap voor moduli-ruimten van compact type, waarbij de exacte drempel ($2g + n = 12$) wordt geïdentificeerd waar de eigenschap faalt. De computationele technieken die ontwikkeld zijn om hoog-codimensionale relaties in deze moduli-ruimten te behandelen, dienen als een praktisch fundament voor verdere onderzoeken naar de structuur van tautologische ringen en niet-tautologische cycli.