A guide to wall crossing for moduli of varieties

1. Il Problema e il Contesto

Negli ultimi dieci anni, la teoria dei moduli delle varietà algebriche ha subito sviluppi fondamentali, in particolare con la costruzione di spazi di moduli per:

• Coppie log-canonicamente polarizzate con singolarità semi-log-canoniche (slc) [Kol23].
• Coppie log-Fano K-polistabili [Xu23].

Tuttavia, quando si compattificano spazi di moduli di varietà lisce (ad esempio, curve di genere $g$ o superfici), esistono spesso molteplici scelte di compattificazione. Il problema centrale affrontato in questo articolo è comprendere come questi spazi di moduli variano al variare dei coefficienti dei divisori di bordo $D$ in una coppia $(X, D)$. Questo fenomeno è noto come "wall crossing" (attraversamento di muri).

Nello specifico, l'articolo si concentra su coppie $(X, cD)$ dove $X$ è una varietà Fano (o una sua degenerazione) e $D \in |-rK_X|$ è un divisore ampio. La domanda chiave è: come cambiano le condizioni di stabilità (K-stabilità o stabilità KSBA) e la struttura dello spazio di moduli al variare del coefficiente $c \in (0, 1]$?

2. Metodologia

L'articolo adotta un approccio semi-espositivo che combina teoria generale e calcoli espliciti. La metodologia si basa su:

• Teoria della Stabilità: Utilizzo delle condizioni di stabilità K (definite tramite l'invariante di Futaki o il criterio valuativo con l'invariante $\delta$) per le coppie log-Fano e della stabilità KSBA (Kollár-Shepherd-Barron-Alexeev) per le coppie canoniche.
• Analisi delle Soglie: Identificazione dei valori critici di $c$ (i "muri") dove la stabilità cambia. Questi valori corrispondono a soglie in cui le singolarità della coppia diventano non log-canoniche o dove il divisore log-canonico $K_X + cD$ perde l'ampiezza.
• Strumenti Geometrici:
  • Criterio Valuativo: Uso dell'invariante $\delta$ per determinare la stabilità.
  • Volume Normalizzato: Utilizzato per limitare le singolarità ammissibili sulle varietà degeneri (teorema Local-to-Global).
  • Interpolazione: Proprietà che permette di dedurre la stabilità per un intervallo di coefficienti conoscendo la stabilità agli estremi.
  • Modelli Canonici: Costruzione di famiglie stabili tramite modelli canonici per descrivere le transizioni tra spazi di moduli.
  • Geometria Invariante (GIT): Confronto tra la stabilità K e la stabilità GIT per coefficienti piccoli ($c \ll 1$).
• Costruzioni Esplicite: Per i casi di curve piane (quartiche e quintiche), l'autore esegue calcoli diretti di esplosioni pesate (weighted blow-ups), contrazioni e flip per descrivere le nuove fibre centrali che appaiono dopo l'attraversamento di un muro.

3. Contributi Chiave e Risultati Principali

L'articolo presenta una serie di teoremi che generalizzano la teoria del wall crossing e fornisce esempi concreti.

A. Teoria Generale del Wall Crossing

Il documento stabilisce tre teoremi fondamentali che descrivono la struttura dei muri per diverse classi di coppie:

1. Coppie Log-Fano (K-moduli): Esiste un numero finito di valori razionali $0 = c_0 < c_1 < \dots < c_k = \min\{1, r^{-1}\}$ tali che le condizioni di stabilità non cambiano negli intervalli aperti tra questi valori. Attraversando un muro $c_i$, si ottengono immersioni aperte tra gli stack di moduli che inducono morfismi proiettivi tra gli spazi di moduli buoni (Teorema 1.1).
2. Coppie Canoniche (KSBA moduli): Un risultato analogo vale per le coppie stabili con coefficienti $c \in (r^{-1}, 1]$. I muri sono valori razionali dove le singolarità peggiorano o l'ampiezza cambia (Teorema 1.2).
3. Coppie Calabi-Yau al Bordo: Per il caso critico $c = r^{-1}$ (dove $K_X + cD \sim_{\mathbb{Q}} 0$), viene introdotto uno stack di moduli per coppie CY polarizzate al bordo. Questo stack funge da ponte tra la regione K-stabile e quella KSBA-stabile, ammettendo uno "spazio di moduli asintoticamente buono" in dimensione 2 (Teorema 1.3).

B. Esempi Espliciti: Curve Piane

L'articolo applica la teoria a casi concreti, offrendo una descrizione completa delle transizioni:

• Curve Quartiche ($d=4$): Viene descritta l'intera catena di wall crossing per $c \in (0, 1]$.
  • Per $c < 3/8$, lo spazio coincide con il quoziente GIT.
  • A $c=3/8$, la curva doppia conica (instabile per $c > 3/8$) viene sostituita da curve iperellittiche su una superficie pesata $\mathbb{P}(1,1,4)$.
  • A $c=3/4$, avviene un "flip" che sostituisce curve con singolarità tacnodali con coppie su superfici non normali ($\mathbb{P}(1,1,2) \cup \mathbb{P}(1,1,2)$).
  • Per $c > 5/6$, lo spazio di moduli è isomorfo allo spazio di moduli delle curve di genere 3 ($M_3$).
• Curve Quintiche ($d=5$): Viene identificata la prima wall crossing nella regione KSBA a $c = 11/18$, dove le curve con singolarità $A_8$ vengono sostituite da curve su superfici ottenute tramite esplosioni pesate e incollamenti (Teorema 1.6).
• Curve di Grado $d \ge 6$: Vengono costruite degenerazioni di $\mathbb{P}^2$ che producono superfici con un numero arbitrariamente alto di componenti irriducibili. In particolare, per $d$ pari, esiste una superficie con almeno $d^2/2 - 1$ componenti (Teorema 1.5).

C. Il Caso Non Proporzionale

L'articolo affronta anche il caso in cui $D \notin |-rK_X|$ (non proporzionale), mostrando che l'assunzione di proporzionalità è cruciale affinché i muri si trovino a valori razionali. Viene studiato il caso delle curve iperellittiche sulla superficie di Hirzebruch $F_1$, dove il primo muro si trova a un valore irrazionale $c_0 = \frac{1}{10}(4 - \sqrt{6})$, e lo spazio di moduli è un singolo punto in quel valore (Teorema 1.7).

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

• Unificazione Teorica: Fornisce un quadro coerente che collega le teorie di moduli per varietà Fano, general type e Calabi-Yau attraverso il parametro del coefficiente $c$.
• Strumenti Computazionali: Introduce e sistematizza tecniche (come l'uso del volume normalizzato e dei modelli canonici) per calcolare esplicitamente le transizioni di wall crossing, rendendo la teoria accessibile per applicazioni concrete.
• Costruzione di Nuovi Spazi: Dimostra come il wall crossing possa essere utilizzato come strumento costruttivo per generare nuovi spazi di moduli e degenerazioni di varietà (ad esempio, superfici con molte componenti) che non sono accessibili tramite metodi classici.
• Collegamento con la Geometria Classica: Mostra come gli spazi di moduli di curve piane compattificati tramite K-stabilità e KSBA si relazionino con spazi di moduli classici (come $M_g$) e con la teoria GIT, offrendo nuove prospettive su problemi aperti nella geometria algebrica.

In sintesi, l'articolo funge da guida essenziale per la comprensione moderna delle compattificazioni degli spazi di moduli delle varietà, dimostrando come la variazione dei coefficienti di bordo induca una ricca struttura birazionale (muri, flip, contrazioni) che organizza l'intera teoria.