Compact Moduli Spaces of Marked Cubic Plane Curves

Sintesi Tecnica: Spazi Moduli Compatti di Curve Piane Cubiche Marcate

Enunciato del Problema
Questo lavoro affronta la costruzione e la classificazione delle compattificazioni dello spazio moduli delle curve piane cubiche marcate da $n$ punti etichettati, considerate fino all'equivalenza proiettiva. Sebbene le compattificazioni dello spazio moduli delle curve lisce di genere $g \geq 0$ con $n$ punti marcati (come le compattificazioni di Deligne-Mumford e Hassett) siano ben comprese tramite strutture combinatorie come i grafi duali e i pesi, il caso specifico di curve piane marcate da punti richiede un approccio differente. L'autore si concentra sulla variazione della Teoria dell'Invariante Geometrico (VGIT) per costruire queste compattificazioni, specificamente per grado $d=3$. L'obiettivo è fornire una descrizione completa dei muri (walls) e delle camere (chambers) della VGIT all'interno del cono ampio dello spazio dei parametri, e caratterizzare i fenomeni di attraversamento dei muri (wall-crossing) in termini delle singolarità delle curve e delle posizioni dei punti marcati.

Metodologia
Il saggio impiega la Teoria dell'Invariante Geometrico (GIT) per costruire compattificazioni della varietà quasi-proiettiva $C^{gen}_{n,d}/SL(3)$, dove $C^{gen}_{n,d}$ rappresenta lo spazio dei parametri di curve piane di grado $s$ con $n$ punti generici marcati. La metodologia procede attraverso i seguenti passaggi:

1. Spazio dei Parametri e Linearizzazione: Lo spazio dei parametri $C_{n,d}$ è definito come la sottovarietà di $\mathbb{P}(\Gamma(\mathbb{P}^2, \mathcal{O}(d))) \times (\mathbb{P}^2)^n$ tagliata dalle relazioni di incidenza. L'autore costruisce una famiglia di fibrati lineari $L$ su questo spazio, parametrizzata da una tupla di interi non negativi $(\gamma, w_1, \dots, w_n)$, dove $\gamma$ agisce come un peso sulla curva e $w_i$ come pesi sui punti marcati $p_i$.
2. Criterio Numerico: La stabilità di una curva marcata è determinata utilizzando il criterio numerico di Hilbert-Mumford. L'autore riduce il criterio a sottogruppi monodimensionali normalizzati di un toro massimale in $SL(3)$. Ciò comporta il calcolo della funzione numerica $\mu_L(x, \lambda)$ basata sul "supporto" della curva e dei punti sotto l'azione del toro, utilizzando l'Ordine di Mukai sui monomi.
3. Determinazione del Cono Ampio: Il saggio caratterizza prima il cono ampio $SL(3)$-compatibile $\Lambda(C_{n,d})$, identificando la regione dei pesi $(\gamma, w_1, \dots, w_n)$ per la quale il locus delle curve marcate semi-stabili è non vuoto. Ciò viene ottenuto analizzando la stabilità di curve sufficientemente generiche (lisce).
4. Analisi dei Muri per le Cubiche ($d=3$): Per il caso specifico delle curve cubiche, l'autore identifica i "muri interni" del cono ampio. Questi muri corrispondono a fibrati lineari in cui esistono curve strettamente semi-stabili. In base al Lemma 4.1, queste curve strettamente semi-stabili devono possedere un stabilizzatore $SL(3)$ di dimensione positiva. L'autore classifica tutte le cubiche piane ridotte con stabilizzatori di dimensione positiva (Lemma 2.18) e determina le configurazioni specifiche di punti marcati che le rendono strettamente semi-stabili.
5. Descrizione dell'Attraversamento dei Muri: Il saggio analizza la transizione di stabilità quando si attraversa questi muri, identificando le curve stabili generiche su ciascun lato di un muro e la loro comune degenerazione (la curva strettamente semi-stabile sul muro).

Contributi Chiave e Risultati

• Caratterizzazione del Cono Ampio (Teorema 3.2): Il saggio fornisce una descrizione esplicita del cono ampio $SL(3)$-compatibile $\Lambda(C_{n,d})$ per ogni grado $d$. Il cono è definito da un sistema di disequazioni lineari che coinvolgono il peso totale dei punti $W = \sum w_i$, i pesi individuali $w_i$ e il peso della curva $\gamma$. Questo generalizza i risultati precedenti per $d=2$ (Giansiracusa e Simpson) e $n=1$ (Jensen).
• Classificazione dei Muri GIT per le Cubiche (Teorema 5.1): Per il grado $d=3$, il saggio identifica quattro distinti tipi di muri GIT interni, ciascuno associato a una specifica degenerazione della curva cubica e a una specifica configurazione di punti marcati:
  1. $3A_1$ (Tre rette non concorrenti): Associato a punti che coincidono in un nodo.
  2. $A_2$ (Curva cuspidale): Associato a punti che coincidono nel cuspo.
  3. $A_3$ (Conica e retta tangente): Associato a punti al tacnodio e sulla componente lineare.
  4. $D_4$ (Cono su tre punti): Associato a punti alla singolarità e sulle componenti lineari.
     Il Teorema 5.1 fornisce le esplicite equazioni iperplanari e le condizioni al contorno per ogni tipo di muro.
• Comportamento dell'Attraversamento dei Muri (Teorema 5.2): Il saggio dettaglia i cambiamenti geometrici che avvengono attraversando questi muri. Descrive le curve stabili generiche $S(T, I, \pm)$ su ciascun lato di un muro e la loro comune degenerazione $S(T, I, 0)$. Ad esempio, attraversare un muro associato alla singolarità $3A_1$ transita lo spazio moduli da uno contenente curve nodali irriducibili a uno contenente unioni di una conica e una retta trasversale.
• Applicazioni ad Altri Spazi Moduli:
  • Superfici Cubiche (Corollario 6.3): Per $n=2$, il saggio stabilisce un isomorfismo tra un particolare quoziente GIT di cubiche marcate e lo spazio moduli delle superfici cubiche contenenti un punto di Eckardt marcato (che è isomorfo allo spazio proiettivo pesato $\mathbb{P}(1, 2, 2, 3)$). Ciò collega il lavoro alle precedenti costruzioni di Radu Laza.
  • Curve Ellittiche Marcate (Corollario 6.5): Il saggio costruisce uno spazio che parametrizza le cubiche piane con $n$ punti e un ulteriore punto di inflessione marcato. Dimostra che il quoziente GIT di questo spazio compattifica lo spazio moduli delle curve ellittiche $M_{1, n+1}$.

Significato e Rivendicazioni
Il saggio sostiene di fornire una "descrizione completa" dei muri e delle camere GIT per le curve piane cubiche marcate, un compito che si nota essere fuori portata per gradi arbitrari a causa della mancanza di una classificazione delle degenerazioni per curve di grado superiore. Il lavoro generalizza i risultati esistenti per le curve di genere zero e casi specifici di basso grado.

La significatività risiede nella descrizione combinatoria e geometrica esplicita del bordo di questi spazi moduli. Collegando i muri GIT direttamente alle singolarità delle curve (nodi, cuspi, tacnodio, singolarità $D_4$) e alla collisione dei punti marcati, il saggio offre una comprensione concreta di come lo spazio moduli cambi al variare della linearizzazione. L'autore nota che i morfismi di attraversamento dei muri si relazionano a fasci di spazi proiettivi pesati sopra i loci eccezionali, fornendo una comprensione strutturale della geometria birazionale di queste compattificazioni. I risultati servono come fondamento per comprendere la mappa birazionale tra $M_{1,n}$ e i quozienti GIT costruiti, che è identificata come l'oggetto di studi in corso.