Cohomology of moduli spaces via a result of Chenevier and Lannes

De auteurs gebruiken een classificatieresultaat van Chenevier en Lannes voor algebraïsche automorfe representaties, gecombineerd met een conjecturale correspondentie met $\ell$-adische absolute Galois-representaties, om de Euler-karakteristieken van de moduli-ruimten $\overline{\mathcal M}_{3,n}$ en $\mathcal M_{3,n}$ (voor $n \leq 14$) en van lokale systemen op $\mathcal{A}_3$ te bepalen.

De kern

Stel je voor dat wiskundigen als detectives werken die proberen de "DNA-structuur" van bepaalde wiskundige ruimtes te ontcijferen. In dit artikel doen Jonas Bergström en Carel Faber precies dat. Ze kijken naar speciale ruimtes die bestaan uit verzamelingen van krommen (zoals een cirkel, een figuur met gaten, of een knoop) en proberen te begrijpen hoe deze ruimtes eruitzien als je ze van alle kanten bekijkt.

Hier is een eenvoudige uitleg van wat ze hebben gedaan, met behulp van alledaagse vergelijkingen:

1. Het Doel: De "Eind-telling" van een Ruimte

Stel je voor dat je een grote stad hebt met straten, huizen en parken. Als je wilt weten hoe complex die stad is, kun je niet gewoon tellen hoeveel huizen er zijn. Je moet kijken naar de "sfeer" van de stad: zijn er veel bruggen? Zijn er veel doodlopende straten?

In de wiskunde noemen ze dit de Euler-karakteristiek. Het is een soort "fingerprint" of een samenvatting van de vorm en structuur van een ruimte. De auteurs willen deze fingerprint vinden voor ruimtes die bestaan uit krommen met punten erop (genoteerd als $M_{3,n}$) en ruimtes met speciale vormen van torussen (genoteerd als $A_3$).

2. Het Probleem: Te Moeilijk om Direct te Berekenen

Het probleem is dat deze ruimtes enorm complex zijn. Ze zijn als een labyrint dat zo groot is dat je er nooit doorheen kunt lopen om alles te tellen. De wiskundige formules om dit direct te berekenen zijn te ingewikkeld.

3. De Oplossing: Een Krachtige "Vertaalcode"

Hier komt het geniale deel van hun werk. Ze gebruiken een bestaande theorie van twee andere wiskundigen, Chenevier en Lannes, als een soort vertaalcode.

• De Code: Deze code zegt dat er een mysterieuze link is tussen twee totaal verschillende werelden:
  1. Automorfe representaties: Dit zijn als het ware "muzikale noten" of patronen in getallen die uit de lucht lijken te vallen (ze komen uit de theorie van getallen).
  2. Galois-representaties: Dit zijn de "bouwstenen" van de ruimtes die de auteurs bestuderen.

De auteurs doen alsof deze link 100% waar is (een veronderstelling die ze "Conjecture 3.2" noemen). Als je deze link accepteert, kun je de moeilijk te vinden "bouwstenen" van de ruimtes vertalen naar de bekende "muzikale noten" van Chenevier en Lannes.

4. De Methode: Het Oplossen van een Reuzenpuzzel

Stel je voor dat je een grote puzzel hebt, maar je mist de helft van de stukjes. Je weet echter wel:

1. Hoeveel stukjes er totaal moeten zijn (de totale "grootte" van de ruimte).
2. Wat er gebeurt als je de ruimte "schudt" met een speciaal getal (de "Frobenius-trace", vergelijkbaar met het tellen van hoe vaak een patroon terugkomt in een rij getallen).

De auteurs hebben twee dingen gedaan:

• Deel 1: Ze hebben de totale grootte van de ruimtes berekend met een computer.
• Deel 2: Ze hebben geteld hoe vaak bepaalde patronen terugkwamen in kleine, eindige werelden (kleine getallenstelsels).

Met deze twee stukjes informatie konden ze een groot systeem van vergelijkingen opstellen. Het is alsof ze een vergelijking hadden als:
"De som van alle puzzelstukken is 100. Als we de rode stukken tellen, krijgen we 20. Als we de blauwe tellen, krijgen we 30..."

Omdat ze wisten dat er maar een beperkt aantal soorten "muzikale noten" (de 11 patronen van Chenevier en Lannes) mogelijk waren, konden ze de vergelijkingen oplossen. Ze vonden precies welke noten in welke ruimte zaten.

5. Het Resultaat: Een Nieuw Kaartje

Het resultaat is dat ze nu een volledig overzicht hebben van de structuur van deze ruimtes voor een groot aantal punten ($n$ tot 14).

• Ze weten nu precies welke "bouwstenen" (Galois-representaties) er in zitten.
• Ze hebben bewezen dat deze ruimtes niet willekeurig zijn, maar dat ze volgen uit een heel strak patroon dat verbonden is met die "muzikale noten".

Waarom is dit belangrijk?

Voor de gemiddelde leek klinkt dit misschien als abstracte wiskunde zonder doel. Maar het is als het vinden van de wetten van de zwaartekracht voor de wiskundige ruimte.

• Het laat zien dat er een diepe, verborgen orde bestaat in de wiskunde.
• Het helpt andere wiskundigen om sneller nieuwe dingen te ontdekken, omdat ze nu weten waar ze moeten zoeken.
• Het verbindt twee gebieden die eerder als gescheiden eilanden werden gezien: de theorie van getallen (getallenpatronen) en de meetkunde (vormen en ruimtes).

Kort samengevat:
De auteurs hebben een onmogelijke puzzel opgelost door een bestaande "vertaalcode" te gebruiken. Ze hebben de "DNA-structuur" van complexe wiskundige ruimtes ontcijferd door te kijken naar patronen in getallen, en zo hebben ze bewezen dat deze ruimtes een heel specifieke, voorspelbare vorm hebben. Het is alsof ze van een wazige foto een haarscherpe tekening hebben gemaakt, puur door slim te redeneren en een beetje rekenwerk te doen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Cohomology of moduli spaces via a result of Chenevier and Lannes" van Jonas Bergström en Carel Faber, geschreven in het Nederlands.

Titel: Cohomologie van moduli-ruimtes via een resultaat van Chenevier en Lannes

Auteurs: Jonas Bergström en Carel Faber
Publicatie: Épijournal de Géométrie Algébrique, Volume 7 (2023), Artikel 20.

---

1. Probleemstelling en Context

Het centrale doel van dit artikel is het bepalen van de cohomologie van specifieke moduli-ruimtes in de algebraïsche meetkunde, uitgedrukt als Galois-representaties. De auteurs richten zich op twee hoofdobjecten:

1. $\mathcal{M}_{3,n}$ en $\overline{\mathcal{M}}_{3,n}$: De moduli-ruimten van stabiele $n$-gepuntte krommen van genus 3, voor $n \leq 14$.
2. $\mathcal{A}_3$ met lokale systemen: De moduli-ruimte van gepolariseerde abelse variëteiten van dimensie 3, uitgerust met standaard symplectische lokale systemen $V_\lambda$ voor gewichten $|\lambda| \leq 16$.

Het fundamentele probleem is dat de volledige cohomologische structuur van deze ruimtes (die rijk is aan informatie over modulaire vormen en Galois-representaties) moeilijk direct te berekenen is. De auteurs willen de Euler-karakteristieken (met waarden in de Grothendieck-groep van Galois-representaties) voor deze ruimtes expliciet bepalen.

2. Methodologie

De aanpak van de auteurs combineert diepgaande resultaten uit de theorie van automorfe vormen met conjecturale koppelingen uit het Langlands-programma en computergestuurde tellingen over eindige velden.

A. Classificatie van Automorfe Representaties (Chenevier en Lannes)

De basis van de methode is een classificatieresultaat van Chenevier en Lannes [CL19]. Zij hebben alle algebraïsche cuspidale automorfe representaties van $PGL_n$ met motivisch gewicht $w \leq 22$ en niveau 1 geclassificeerd. Er zijn slechts 11 van dergelijke representaties:
$$1, \Delta_{11}, \Delta_{15}, \Delta_{17}, \Delta_{19}, \Delta_{19,7}, \Delta_{21}, \Delta_{21,5}, \Delta_{21,9}, \Delta_{21,13}, \text{Sym}^2 \Delta_{11}$$
Deze representaties corresponderen met specifieke ruimten van Siegel-modulaire vormen.

B. De Langlands-correspondentie en Conjecture 3.2

De auteurs maken gebruik van de (conjecturale) Langlands-correspondentie, die een bijectie voorspelt tussen algebraïsche automorfe representaties en irreducibele geometrische Galois-representaties.

• Conjecture 3.2: Elke semisimpele geometrische Galois-representatie met motivisch gewicht $\leq 22$ en niet-negatieve Hodge-Tate-gewichten is een directe som van de 11 bovenstaande representaties (genoteerd als $\phi_j$), getensoriseerd met machten van de cyclotomische karakteristiek $\mathbb{L}^k$.
• Gevolg (Theorema 3.5): Als deze conjectuur waar is, dan bestaat de cohomologie van gladde en eigentijdse Deligne-Mumford-stacks (zoals $\mathcal{M}_{3,n}$ en $\mathcal{A}_3$) uitsluitend uit Galois-representaties die gegenereerd worden door deze 11 elementen en hun twists.

C. Het Oplossen van Lineaire Systemen

Om de exacte coëfficiënten van deze representaties in de Euler-karakteristiek te vinden, gebruiken de auteurs een systeem van lineaire vergelijkingen:

1. Integrale Euler-karakteristieken: De auteurs gebruiken bekende algoritmen (o.a. [BvdG08]) om de integer-waardige Euler-karakteristieken $E_c$ te berekenen. Dit geeft lineaire relaties tussen de dimensies van de Galois-representaties.
2. Sporen van Frobenius: Door het tellen van punten van krommen van genus 3 over kleine eindige velden ($\mathbb{F}_q$ met $q \leq 25$) en het toepassen van de Lefschetz-sporenformule, berekenen ze de sporen van de Frobenius-elementen op de cohomologie.
3. Randbijdragen: Voor de moduli-ruimtes van krommen ($\mathcal{M}_{3,n}$) gebruiken ze de Getzler-Kapranov-formule en de kennis van de rand ($\partial \mathcal{M}_{3,n}$) om de bijdragen van de singulariteiten te isoleren.

Door het oplossen van dit lineaire systeem (waarbij de onbekenden de coëfficiënten van de basisrepresentaties $\phi_j$ zijn), kunnen ze de volledige Euler-karakteristiek reconstrueren.

3. Belangrijkste Resultaten

Voor Moduli-ruimtes van Abelse Variëteiten ($\mathcal{A}_3$)

• Theorema 6.2: Onder de aanname van Conjecture 3.2 en een specifieke formule voor modulaire vormen van graad 6, is de Euler-karakteristiek $ec(\mathcal{A}_3 \otimes \mathbb{Q}, V_\lambda)$ volledig bepaald voor alle $\lambda$ met $|\lambda| \leq 16$.
• De resultaten bevestigen eerdere conjecturen (uit [BFvdG14]) voor deze gewichten.
• Voor $|\lambda| \leq 6$ zijn de resultaten onvoorwaardelijk (zonder conjecturen) bewezen.

Voor Moduli-ruimtes van Krommen ($\mathcal{M}_{3,n}$ en $\overline{\mathcal{M}}_{3,n}$)

• Theorema 7.3: De auteurs bepalen de $S_n$-equivariante Euler-karakteristieken $ec,_\mu(\mathcal{M}_{3,n} \otimes \mathbb{Q})$ en $ec,_\mu(\overline{\mathcal{M}}_{3,n} \otimes \mathbb{Q})$ voor alle $n \leq 14$ en alle partities $\mu$ van $n$.
• Onvoorwaardelijke resultaten: Voor $n \leq 7$ zijn de resultaten onvoorwaardelijk geldig. Voor $n=8$ volgt uit eerdere werken dat de Euler-karakteristiek een polynoom in $\mathbb{L}$ is, wat de resultaten ook voor $n=8$ onvoorwaardelijk maakt.
• Niet-polynoom gedrag: Voor $8 \leq n \leq 14$(en$10 \leq n \leq 14$voor de compacte versie) is de Euler-karakteristiek **geen** polynoom in$\mathbb{L}$. Dit betekent dat er niet-triviale Galois-representaties (zoals$S[12]$) voorkomen die niet door machten van$\mathbb{L}$ alleen kunnen worden beschreven.
• Voorbeeld: Voor $n=14$ en een specifieke partitie $\mu=[24,16]$ wordt de Euler-karakteristiek expliciet gegeven als een combinatie van $S[12]$, machten van $\mathbb{L}$ en andere representaties (zie Voorbeeld 7.6 in het artikel).

4. Significatie en Bijdrage

1. Verbinding tussen Automorfe Vormen en Meetkunde: Het artikel illustreert krachtig hoe diepe classificatieresultaten uit de theorie van automorfe vormen (Chenevier-Lannes) direct kunnen worden gebruikt om concrete meetkundige invarianten van moduli-ruimtes te berekenen.
2. Uitbreiding van Bekende Resultaten: Het vult de reeks recente resultaten over de cohomologie van moduli-ruimtes van puntige krommen aan (verwijzend naar [BFP22, CL22, CLP23]) en breidt deze uit tot genus 3 en hogere aantallen punten.
3. Validatie van Conjecturen: De resultaten dienen als een sterke validatie van de Langlands-correspondentie en de specifieke conjecturen over de structuur van de cohomologie van moduli-ruimtes.
4. Computatierichting: Het artikel demonstreert de effectiviteit van het combineren van theoretische beperkingen (gewichtsrestricties) met computationele data (punten tellen over kleine velden) om lineaire systemen op te lossen die anders onoplosbaar zouden zijn.
5. Open Data: De auteurs maken hun berekeningen en data beschikbaar via een GitHub-repository, wat herbruikbaarheid en verificatie voor de gemeenschap mogelijk maakt.

Kortom, dit artikel levert een nauwkeurige "rekening" van de cohomologie van genus 3 moduli-ruimtes, waarbij het aantoont dat deze structuren volledig worden gedomineerd door de 11 specifieke automorfe representaties die Chenevier en Lannes hebben geïdentificeerd, zolang het motivisch gewicht onder de drempel van 22 blijft.