Compact Moduli Spaces of Marked Cubic Plane Curves

Technische Samenvatting: Compacte Moduli-ruimten van Gemarkeerde Cubische Planaire Curven

Probleemstelling
Dit werk behandelt de constructie en classificatie van compactificaties voor de moduli-ruimte van planaire cubische curven gemarkeerd door $n$ gelabelde punten, beschouwd tot projectieve equivalentie. Hoewel compactificaties van de moduli-ruimte van gladde curven van genus $g \geq 0$ met $n$ gemarkeerde punten (zoals de Deligne-Mumford en Hassett compactificaties) goed begrepen zijn via combinatorische structuren zoals duale grafen en gewichten, vereist het specifieke geval van planaire curven gemarkeerd door punten een andere aanpak. De auteur richt zich op de variatie van Geometric Invariant Theory (VGIT) om deze compactificaties te construeren, specifiek voor graad $d=3$. Het doel is om een volledige beschrijving te geven van de GIT-muren en kamers binnen de ample kegel van de parameterrruimte, en om het wall-crossing fenomeen te karakteriseren in termen van de singulariteiten van de curven en de posities van de gemarkeerde punten.

Methodologie
Het artikel maakt gebruik van Geometric Invariant Theory (GIT) om compactificaties te construeren van de quasi-projectieve variëteit $C^{gen}_{n,d}/SL(3)$, waarbij $C^{gen}_{n,d}$ de parameterrruimte van graad $d$ planaire curven met $n$ generieke gemarkeerde punten vertegenwoordigt. De methodologie verloopt via de volgende stappen:

1. Parameterrruimte en Linearisatie: De parameterrruimte $C_{n,d}$ wordt gedefinieerd als de subvariëteit van $\mathbb{P}(\Gamma(\mathbb{P}^2, \mathcal{O}(d))) \times (\mathbb{P}^2)^n$ die wordt uitgesneden door incidentierelaties. De auteur construeert een familie van $SL(3)$-gelineariseerde lijnbundels $L$ op deze ruimte, geparametriseerd door een tupel van niet-negatieve gehele getallen $(\gamma, w_1, \dots, w_n)$, waarbij $\gamma$ fungeert als een gewicht op de curve en $w_i$ als gewichten op de gemarkeerde punten $p_i$.
2. Numeriek Criterium: De stabiliteit van een gemarkeerde curve wordt bepaald met behulp van het Hilbert-Mumford numerieke criterium. De auteur reduceert het criterium tot genormaliseerde één-parameter subgroepen van een maximale torus in $SL(3)$. Dit omvat het berekenen van de numerieke functie $\mu_L(x, \lambda)$ op basis van de "support" van de curve en de punten onder de actie van de torus, gebruikmakend van de Mukai-orde op monomialen.
3. Bepaling van de Ample Kegel: Het artikel karakteriseert eerst de $SL(3)$-ample kegel $\Lambda(C_{n,d})$, waarbij de regio wordt geïdentificeerd waar de locus van semi-stabiele gemarkeerde curven niet-leeg is. Dit wordt bereikt door de stabiliteit van voldoende algemene (gladde) curven te analyseren.
4. Muur-analyse voor Cubics ($d=3$): Voor het specifieke geval van cubische curven identificeert de auteur de "innerlijke muren" van de ample kegel. Deze muren komen overeen met lijnbundels waar strikt semi-stabiele curven bestaan. Volgens Lemma 4.1 moeten deze strikt semi-stabiele curven een positie-dimensionale $SL(3)$ stabilizer bezitten. De auteur classificeert alle gereduceerde planaire cubics met positie-dimensionale stabilizers (Lemma 2.18) en bepaalt de specifieke configuraties van gemarkeerde punten die hen strikt semi-stabiel maken.
5. Wall-Crossing Beschrijving: Het artikel analyseert de transitie van stabiliteit bij het oversteken van deze muren, waarbij de generieke stabiele curven aan beide zijden van een muur worden geïdentificeerd, evenals hun gemeenschappelijke degeneratie (de strikt semi-stabiele curve op de muur).

Belangrijkste Bijdragen en Resultaten

• Karakterisering van de Ample Kegel (Theorem 3.2): Het artikel biedt een expliciete beschrijving van de $SL(3)$-ample kegel $\Lambda(C_{n,d})$ voor elke graad $d$. De kegel wordt gedefinieerd door een systeem van lineaire ongelijkheden involving het totale gewicht van de punten $W = \sum w_i$, individuele gewichten $w_i$ en het curvegewicht $\gamma$. Dit generaliseert eerdere resultaten voor $d=2$ (Giansiracusa en Simpson) en $n=1$ (Jensen).
• Classificatie van GIT-muren voor Cubics (Theorem 5.1): Voor graad $d=3$ identificeert het artikel vier verschillende typen innerlijke GIT-muren, elk geassocieerd met een specifieke degeneratie van de cubische curve en een specifieke configuratie van gemarkeerde punten:
  1. $3A_1$ (Drie niet-concurrente lijnen): Geassocieerd met punten die samenvallen in een knoop (node).
  2. $A_2$ (Cuspidale curve): Geassocieerd met punten die samenvallen in een cusp.
  3. $A_3$ (Conic en tangent line): Geassocieerd met punten bij de tacnode en op de lineaire component.
  4. $D_4$ (Cone over drie punten): Geassocieerd met punten bij de singulariteit en op de lineaire componenten.
     Theorem 5.1 geeft de expliciete hypervlakvergelijkingen en randvoorwaarden voor elk type muur.
• Wall-Crossing Gedrag (Theorem 5.2): Het artikel beschrijft de geometrische veranderingen die optreden bij het oversteken van deze muren. Het beschrijft de generieke stabiele curven $S(T, I, \pm)$ aan beide zijden van een muur en hun gemeenschappelijke degeneratie $S(T, I, 0)$. Bijvoorbeeld, het oversteken van een muur geassocieerd met de $3A_1$ singulariteit leidt tot een transitie van de moduli-ruimte die een onirreducibele knoop-curve bevat naar een ruimte die een vereniging van een conische curve en een transversale lijn bevat.
• Toepassingen op Andere Moduli-ruimten:
  • Cubische Oppervlakken (Corollary 6.3): Voor $n=2$ vestigt het artikel een isomorfisme tussen een specifieke GIT-quotient van gemarkeerde cubics en de moduli-ruimte van cubische oppervlakken met een gemarkeerd Eckardt punt (die isomorf is met de gewogen projectieve ruimte $\mathbb{P}(1, 2, 2, 3)$). Dit verbindt het werk met de eerdere constructies van Radu Laza.
  • Gemarkeerde Elliptische Curven (Corollary 6.5): Het artikel construeert een ruimte die planaire cubics met $n$ punten en een extra gemarkeerd inflexiepunt parametriseert. Het toont aan dat de GIT-quotient van deze ruimte de moduli-ruimte van gemarkeerde elliptische curven $M_{1, n+1}$ compactificeert.

Betekenis en Claims
Het artikel claimt een "volledige beschrijving" te bieden van de GIT-muren en kamers voor gemarkeerde cubische planaire curven, een taak die als buiten bereik wordt beschouwd voor willekeurige graden vanwege het gebrek aan een classificatie van degeneraties voor hogere-graad curven. Het werk generaliseert bestaande resultaten voor genus nul curven en specifieke lage-graad gevallen.

De betekenis ligt in de expliciete combinatorische en geometrische beschrijving van de rand van deze moduli-ruimten. Door de GIT-muren direct te koppelen aan de singulariteiten van de curven (knopen, cusps, tacnodes, $D_4$ singulariteiten) en de botsing van gemarkeerde punten, biedt het artikel een concreet begrip van hoe de moduli-ruimte verandert naarmate de linearisatie varieert. De auteur merkt op dat de wall-crossing morfismen gerelateerd zijn aan gewogen projectieve ruimte-bundels over de exceptionele loci, wat een structureel begrip biedt van de birationale geometrie van deze compactificaties. De resultaten dienen als fundament voor het begrijpen van de birationale afbeelding tussen $M_{1,n}$ en de geconstrueerde GIT-quotients, wat wordt geïdentificeerd als het focuspunt van lopend werk.