Deligne's weight spectral sequence and tautological cohomology of the moduli space of curves

Probleemstelling

Het artikel richt zich op het berekenen van de gewogen gefilterde stukken (weight graded pieces) van de rationale cohomologie van de moduli-ruimten van gladde, genummerde krommen, aangeduid als $\mathcal{M}_{g,n}$, en hun compactificaties (stabiele krommen $\overline{\mathcal{M}}_{g,n}$).

De centrale uitdaging is dat de cohomologie van deze ruimten complex is en afhankelijk is van de genus $g$ en het aantal genummerde punten $n$. Hoewel er resultaten zijn voor lage waarden van $g$ en $n$, ontbreekt er een systematische methode om deze cohomologiegroepen volledig te bepalen voor hogere waarden, zoals genus 5 of genus 3 met drie punten. Specifiek willen de auteurs de decompositie van de cohomologie onder de werking van de symmetrische groep $S_n$ (die de genummerde punten permuteren) begrijpen, uitgedrukt in termen van irreducibele representaties $s_\lambda$ en zuivere rationale Hodge-structuren (of $\ell$-adische Galois-representaties).

Methodologie

De auteurs hebben een computerprogramma ontwikkeld dat Deligne's gewogen spectrale sequenties (zowel de "pushforward" als de "pullback" variant) implementeert. De methode rust op de volgende pijlers:

1. Spectrale Sequenties:

   • Ze gebruiken Deligne's spectrale sequentie om de cohomologie van $\mathcal{M}_{g,n}$ te relateren aan de cohomologie van de strata in de rand van de Deligne-Mumford compactificatie $\overline{\mathcal{M}}_{g,n} \setminus \mathcal{M}_{g,n}$.
   • De $E_1$-pagina wordt geconstrueerd uit cohomologiegroepen van producten van moduli-ruimten $\mathcal{M}_{g(v),n(v)}$, geassocieerd met stabiele grafen $\Gamma$.
   • De differentiaal $d_1$ wordt expliciet berekend via gluing-kaarten en automorfismen van deze grafen.

2. Tautologische Cohomologie:

   • De berekeningen veronderstellen dat de relevante cohomologiegroepen tautologisch zijn. Dit betekent dat ze gegenereerd worden door klassen afkomstig van $\kappa$- en $\psi$-klassen (de tautologische ring $R^*(\overline{\mathcal{M}}_{g,n})$).
   • Ze gaan ervan uit dat Pixton's relaties alle relaties tussen de generatoren van deze ring beschrijven. Dit is een cruciale hypothese die voor de berekende gevallen is geverifieerd.

3. Computatietechniek:

   • Het programma is gebouwd op de SageMath-module admcycles, die de tautologische ringen beheert.
   • Het algoritme berekent bases voor de tautologische cohomologie, houdt rekening met de actie van de symmetrische groep $S_n$ en de automorfismengroepen van de grafen ($\text{Aut}(\Gamma)$).
   • Om de enorme rekenkracht en het geheugen te beheersen, gebruiken ze optimalisaties zoals het beperken van berekeningen tot invariante deelruimten onder specifieke subgroepen en het gebruik van perfecte paren (Poincaré-dualiteit) om de dimensies te controleren.
   • Een parallelle taakplanner wordt gebruikt om de berekeningen over meerdere kernen en met een groot geheugen (500 GB) te verdelen, waarbij omgaan met geheugenlekken in de onderliggende software.

Belangrijkste Bijdragen

• Implementatie van Deligne's Spectrale Sequenties: De eerste volledige computerimplementatie van zowel de pushforward- als pullback-versies van deze spectrale sequenties, specifiek gericht op de moduli-ruimte van krommen.
• Integratie met Tautologische Ringen: Het koppelen van deze spectrale sequenties aan de berekening van de tautologische ring via Pixton's relaties, waardoor complexe cohomologische berekeningen mogelijk worden binnen een strikt algebraïsch raamwerk.
• Symmetrie-handhaving: Een robuust systeem voor het bijhouden van de actie van de symmetrische groep $S_n$ en de automorfismen van grafen tijdens de differentiaalberekeningen, wat essentieel is voor het bepalen van de representatie-theoretische structuur van de cohomologie.

Resultaten

Met hun programma hebben de auteurs de cohomologie van de volgende ruimten volledig bepaald (onder de aanname dat Pixton's relaties volledig zijn):

1. Genus 5 ($\mathcal{M}_5$):

   • De cohomologie is van Tate-type (alleen even gewichten, geen oneven gewichten).
   • De resultaten tonen aan dat de cohomologie bestaat uit directe sommen van tensorproducten van de Tate-klasse $L = H^2(\mathbb{P}^1)$.
   • Specifieke resultaten: $H^0 = 1$, $H^2 = L$, $H^4 = L^2$, $H^5 = L^3$, $H^6 = L^3$, $H^7 = L^4$, en $H^{14} = L^{12}$.
   • Dit bevestigt een conjectuur over de rationale cohomologie van de algemene krommen-locus binnen $\mathcal{M}_5$.

2. Genus 3 met 3 punten ($\mathcal{M}_{3,3}$):

   • Ook hier is de cohomologie van Tate-type.
   • De auteurs geven de decompositie in termen van irreducibele representaties van $S_3$ (aangeduid als $s_3$ en $s_{2,1}$) vermenigvuldigd met machten van $L$.
   • Bijvoorbeeld: $H^2(\mathcal{M}_{3,3}) = (2s_3 + s_{2,1})L$.

3. Uitbreidingen:

   • De resultaten zijn ook berekend voor de moduli-ruimten van krommen van compact type ($\mathcal{M}^{ct}_{g,n}$) en met rationale staarten ($\mathcal{M}^{rt}_{g,n}$).
   • Alle eerdere bekende resultaten voor $g=1, 2, 3, 4$ zijn geverifieerd met hun implementatie.

Betekenis

• Verdieping van het inzicht in Moduli-ruimten: De resultaten vullen een hiaat in de kennis over de cohomologie van $\mathcal{M}_{g,n}$ voor hogere genus en aantal punten. Ze tonen aan dat in bepaalde bereiken (waar $3g+2n < 25$) de cohomologie uitsluitend tautologisch en van Tate-type is.
• Validatie van Conjectures: De resultaten ondersteunen de conjectuur dat Pixton's relaties alle relaties in de tautologische ring zijn, en bevestigen specifieke conjectures over de cohomologie van de loci van algemene krommen.
• Computational Algebraic Geometry: Het werk markeert een mijlpaal in het gebruik van computeralgebra voor diepgaande problemen in de algebraïsche meetkunde. Het bewijst dat complexe spectrale sequenties, die afhankelijk zijn van de topologie van grafen en groepswerkingen, effectief kunnen worden berekend.
• Open Source: De code is beschikbaar gesteld en zal geïntegreerd worden in de bestaande admcycles-package, wat het de standaardtool maakt voor toekomstige onderzoekers op dit gebied.

Kortom, dit artikel biedt een krachtig computergestuurd raamwerk om de cohomologische structuur van moduli-ruimten van krommen te ontrafelen, met concrete, nieuwe resultaten voor genus 5 en genus 3 met drie punten.