The Integral Chow Ring of the Stack of Pointed Hyperelliptic Curves

Dit artikel berekent de integrale Chow-ring van de stack $\mathcal{H}_{g,n}$ van $n$-puntige gladde hyperelliptische krommen van genus $g$ volledig voor $n=1,2$ en grotendeels voor $3\leq n\leq2g+2$, wat leidt tot volledige resultaten voor de Chow-ring van $\mathcal{M}_{2,n}$ voor $1\leq n\leq7$.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is, en in die bibliotheek staan boeken over alle mogelijke vormen van krommen die je je kunt voorstellen. Sommige krommen zijn simpel, andere zijn ingewikkeld en hebben "gaten" of "handvatten" (in de wiskunde noemen we dit het genus of het geslacht).

Deze paper, geschreven door Alberto Landi, gaat over een heel specifiek soort krommen: hyperelliptische krommen. Je kunt je deze voorstellen als een soort dubbelzijdige spiegelwereld. Als je er een punt op zet, heb je een "gepunte hyperelliptische kromme".

De auteur wil weten hoe je deze verzameling van krommen kunt "tellen" en "meten". In de wiskunde gebruiken ze hiervoor een gereedschapskist die Chow-ringen heet. Dit klinkt als een eng woord, maar maak je geen zorgen:

De Analogie: De Bouwtekening van een Krommen-Collectie

Stel je voor dat je een enorme verzameling LEGO-kastjes hebt. Elke kast is een unieke kromme met een bepaald aantal stippen erop.

• De Chow-ring is als de complete bouwhandleiding en de inventarislijst van al die kastjes. Het vertelt je:
  1. Welke basisstukken (generatoren) je nodig hebt om elke mogelijke configuratie te maken.
  2. Welke regels (relaties) gelden. Bijvoorbeeld: "Als je stuk A en stuk B combineert, krijg je precies stuk C."

Landi's doel was om deze bouwhandleiding te schrijven voor de verzameling van hyperelliptische krommen met 1, 2, 3, of zelfs tot 2g+3 stippen erop.

De Uitdaging: De "Verborgen" Regels

Het probleem is dat deze verzameling niet zomaar ligt. Het is een stapel (een stack). In de wiskunde betekent dit dat de objecten niet statisch zijn; ze kunnen op verschillende manieren "rotteren" of "vervormen" terwijl ze toch als hetzelfde worden beschouwd. Het is alsof je probeert een handleiding te schrijven voor een verzameling draaiende dansende poppen, waarbij je moet weten welke poppen op welke manier bewegen.

Landi heeft de handleiding voor twee specifieke situaties volledig geschreven:

1. 1 stip: Dit is als het oplossen van een simpele puzzel. Hij heeft precies gevonden welke basisstukken er zijn en welke regels gelden.
2. 2 stippen: Dit is net iets complexer, maar hij heeft ook hier de volledige handleiding kunnen maken.

De Grootte van de Puzzel (n = 3 tot 2g+3)

Voor 3 stippen of meer wordt het een gigantische puzzel. Landi heeft de basisstukken gevonden en de meeste regels. Maar er is één klein stukje dat nog ontbreekt of niet helemaal zeker is:

• Hij weet precies welke blokken je nodig hebt.
• Hij weet hoe de meeste blokken met elkaar samenwerken.
• Maar voor sommige specifieke combinaties (de "additieve orde" van een klasse) weet hij nog niet precies hoeveel keer je een blok moet stapelen voordat het "verdwijnt" (nul wordt). Het is alsof hij weet dat je 10 of 20 blokken nodig hebt om een muur te bouwen, maar hij weet niet zeker of het 10 of 20 is.

Waarom is dit belangrijk?

In de inleiding staat een leuke opmerking: voor een kromme met 2 gaten (genus 2) zijn hyperelliptische krommen eigenlijk alle mogelijke krommen.
Dit betekent dat Landi's resultaten niet alleen gelden voor die specifieke "spiegel-krommen", maar dat hij eigenlijk de bouwhandleiding heeft geschreven voor alle krommen met 2 gaten en tot 7 stippen. Dat is een enorme stap voorwaarts in het begrijpen van de vorm van de wiskundige wereld.

De Methode: Een Nieuwe Bril

Hoe heeft hij dit gedaan? Hij heeft een nieuwe manier gevonden om naar deze krommen te kijken (gebaseerd op werk van een collega, Eric Larson).

• De oude manier: Kijken naar de krommen als ingewikkelde, wazige objecten.
• De nieuwe manier: Landi kijkt naar deze krommen alsof ze zijn gemaakt door een machine die een patroon (een polynoom) uit een bak met blokken haalt. Door te kijken naar hoe die machine werkt en welke patronen hij kan maken, kan hij de regels van de Chow-ring afleiden.

Hij gebruikt ook een slimme truc: hij kijkt eerst naar de "veilige" krommen (waar de stippen ver uit elkaar staan) en bouwt dan stap voor stap de regels voor de krommen waarbij de stippen dichter bij elkaar komen.

Samenvatting in één zin

Alberto Landi heeft een nieuwe, heldere manier gevonden om de bouwregels te beschrijven voor een speciale familie van wiskundige vormen (hyperelliptische krommen), waarbij hij de handleiding volledig heeft gemaakt voor kleine verzamelingen en bijna volledig voor grotere verzamelingen, wat ons helpt om de fundamentele structuur van de wiskundige wereld beter te begrijpen.

Technische samenvatting

Probleemstelling

Het artikel richt zich op de berekening van de integrale Chow-ring (de ring van algebraïsche cycli met geheeltallige coëfficiënten) van de stack $H_{g,n}$. Deze stack classificeert $n$-gepuntte, gladde hyperelliptische krommen van genus $g$.
Hoewel er reeds veel onderzoek is gedaan naar de Chow-ringen van moduli-ruimten van krommen (zoals $M_{g,n}$), is de integrale structuur van $H_{g,n}$ complex en niet volledig in kaart gebracht, vooral voor het geval van $n \geq 1$ puntten. Een specifiek probleem is dat eerdere resultaten (bijvoorbeeld van Pernice voor $n=1$) onvolledig of onjuist waren in de relatie tussen de generatoren. Het doel is om een volledige beschrijving te geven voor kleine $n$ en een bijna-complete beschrijving voor grotere $n$.

Methodologie

De auteur hanteert een combinatie van equivariante snijtheorie en de specifieke geometrische beschrijving van de stack $H_{g,n}$ zoals ontwikkeld in eerdere werk van de auteur ([Lan23]).

1. Geometrische Representatie:
   De stack $H_{g,n}$ wordt geïnterpreteerd als een open deelstack van een quotiëntstack. Specifiek wordt $H_{g,n}$ beschouwd als een familie van dubbele overdekkingen $f: C \to P$ van een Brauer-Severi-scheme $P$, vertakt over een divisor van graad $2g+2$.
   Voor $n \leq 2g+3$ wordt een open deelstack $H^{far}_{g,n}$ geïdentificeerd die isomorf is met een quotiënt van een open deel van een lineaire representatie van een algebraïsche groep (zoals $GL_2$ of een torus) door diezelfde groep.

2. Localisatie en Exacte Sequenties:
   De berekening maakt gebruik van de localisatiereeks in de Chow-theorie. De auteur definieert gesloten deelstacks:

   • $Z^{i,j}_{g,n}$: De locus waar de $i$-de en $j$-de sectie verschillen door de hyperelliptische involutie.
   • $W^i_{g,n}$: De locus waar de $i$-de sectie in het Weierstrass-divisor ligt.
   • $H^{far}_{g,n}$: Het complement van de vereniging van alle $Z^{i,j}_{g,n}$.

   Dit leidt tot een exacte sequentie:
   $$\bigoplus_{i<j} CH^*(Z^{i,j}_{g,n}) \xrightarrow{\sum (u_{i,j})_*} CH^*(H_{g,n}) \xrightarrow{\iota^*} CH^*(H^{far}_{g,n}) \to 0$$
   Waarbij $Z^{i,j}_{g,n}$ geïdentificeerd kan worden met een open deelstack van $H_{g,n-1}$. Dit maakt inductie op $n$ mogelijk.

3. Equivariante Snijtheorie:
   Voor de berekening van $CH^*(H^{far}_{g,n})$ wordt gebruik gemaakt van de theorie van Chow-envelopes (gebaseerd op [EG98] en [Per22]). De auteur construeert specifieke equivariante afbeeldingen vanuit producten van projectieve ruimten naar de singulariteiten van de parameterisatie, om de idealen van relaties te bepalen.

4. Correctie van Bestaande Resultaten:
   De auteur corrigeert een fout in het werk van Michele Pernice ([Per22]) voor het geval $n=1$. De fout zat hem in de interpretatie van de pullback van de fundamentele klasse via een wortel-stack, wat leidde tot een onjuiste relatie in graad 2.

Belangrijkste Bijdragen en Resultaten

1. Het geval $n=1$ (Theorema 0.3)

De Chow-ring $CH^*(H_{g,1})$ wordt volledig berekend en is gegenereerd door de klassen $\psi_1$ (de psi-klasse) en $[W^1_{g,1}]$.
De ring is isomorf met:
$$\mathbb{Z}[\psi_1, [W^1_{g,1}]] / I$$
waarbij $I$ gegenereerd wordt door:

• $(4g + 2)((g + 1)\psi_1 - (g - 1)[W^1_{g,1}])$
• $[W^1_{g,1}]^2 + \psi_1 \cdot [W^1_{g,1}]$
  Dit resultaat geldt ongeacht de pariteit van $g$ en corrigeert de eerdere berekening van Pernice.

2. Het geval $n=2$ (Theorema 0.4)

Voor $H_{g,2}$ (waarbij $M_{2,2} = H_{2,2}$) wordt de ring volledig bepaald. De ring wordt gegenereerd door $[W^1_{g,2}]$, $[Z^{1,2}_{g,2}]$ en $\psi_1$.
De relaties omvatten de lineaire relatie uit $n=1$, kwadratische relaties zoals $[Z^{1,2}_{g,2}]^2 + \psi_1 \cdot [Z^{1,2}_{g,2}] = 0$, en een specifieke lineaire combinatie in graad 2 die de torsie bepaalt.

3. Generatoren voor $3 \leq n \leq 2g+3$ (Propositie 0.5)

Een cruciaal resultaat is dat de Chow-ring $CH^*(H_{g,n})$ geheel gegenereerd wordt in graad 1 voor $1 \leq n \leq 2g+3$. De generatoren zijn de klassen van de divisors $[Z^{i,j}_{g,n}]$ en $[W^1_{g,n}]$. Dit betekent dat er geen "niet-tautologische" klassen zijn in deze bereik, in tegenstelling tot wat soms het geval is bij $M_{g,n}$.

4. "Bijna"-berekening voor $3 \leq n \leq 2g+3$

Voor $n \geq 3$ worden alle generatoren en de meeste relaties gevonden. De enige onbekende is de additieve orde van de kwadratische klasse $[Z^{1,2}_{g,n}]^2$ (en gerelateerde klassen).

• Voor $3 \leq n \leq 2g+2$: De ring is bekend tot op een onbekende multiplicatieve orde van een enkele graad-2 klasse.
• Voor $n = 2g+3$: De stack is een schema (geen stack meer in de strikte zin van de singulariteiten), wat de structuur verandert. De multiplicatieve orde van $[W^1_{g,n}]$ is hier ook niet volledig bepaald.

Significantie

1. Correctie en Volledigheid: Het artikel corrigeert een fundamentele fout in de bestaande literatuur voor $n=1$ en levert de eerste complete integrale beschrijving voor $n=2$.
2. Unificatie: Het toont aan dat voor een breed scala aan $n$ (tot $2g+3$) de Chow-ring van hyperelliptische krommen volledig tautologisch is (gegenereerd in graad 1), wat een sterk contrast vormt met de algemene moduli-ruimte $M_{g,n}$.
3. Technische Vooruitgang: De methode combineert succesvol de beschrijving van $H_{g,n}$ als quotiëntstack met inductieve argumenten via localisatie, wat een model biedt voor het bestuderen van andere gespecialiseerde moduli-problemen.
4. Toepassing op $M_{2,n}$: Omdat $H_{2,n} \cong M_{2,n}$, gelden deze resultaten direct voor de moduli-ruimte van puntte krommen van genus 2 voor $1 \leq n \leq 7$. Dit is een belangrijke bijdrage aan de kennis van de Chow-ring van $M_{2,n}$.

Samenvattend biedt Landi een diepgaande, bijna volledige beschrijving van de integrale Chow-ring van puntte hyperelliptische krommen, waarbij hij de methoden van equivariante snijtheorie en stack-geometrie effectief combineert om eerdere beperkingen te overwinnen.