Automorphisms of the moduli space of smooth cubic surfaces and its fundamental group

Sintesi Tecnica: Automorfismi dello Spazio dei Moduli delle Superfici Cubiche Lisce e del suo Gruppo Fondamentale

Enunciato del Problema
Il lavoro affronta la rigidità dello spazio dei moduli $\mathcal{C}$ delle superfici cubiche complesse lisce, considerato come un orbifold analitico complesso. Nello specifico, gli autori investigano il gruppo $\text{Aut}(\mathcal{C})$ degli automorfismi olomorfi di questo spazio. Sebbene i risultati di rigidità per altri spazi dei moduli, come lo spazio dei moduli delle curve ($M_g$) e le varietà abeliane polarizzate principalmente ($A_g$), siano classici, lo spazio dei moduli delle superfici cubiche presenta sfide uniche. A differenza di $A_g$, che è una varietà localmente simmetrica (un quoziente di un dominio simmetrico hermitiano per un gruppo aritmetico), $\mathcal{C}$ non è omotopicamente equivalente a una varietà localmente simmetrica. Il problema centrale è determinare se $\mathcal{C}$ ammetta automorfismi non banali e, in caso negativo, stabilirlo attraverso un'analisi teorico-gruppo del suo gruppo fondamentale $\pi_1(\mathcal{C})$.

Metodologia e Impostazione Geometrica
Gli autori utilizzano la costruzione dell'applicazione dei periodi di Allcock, Carlson e Toledo [1], che identifica $\mathcal{C}$ con il complemento di un divisore $D$ in una varietà localmente simmetrica $X$.

• Lo Spazio Ambientale: $X$ è una 4-varietà di Picard, definita come il quoziente $X = \text{PU}(4, 1)(E) \backslash \mathbb{B}^4$, dove $\mathbb{B}^4$ è la palla iperbolica complessa 4-dimensionale e $E = \mathbb{Z}[\omega]$ sono gli interi di Eisenstein.
• Il Divisore: $D$ è un divisore totalmente geodetico, immerso in $X$, isomorfo allo spazio dei moduli delle superfici cubiche singolari con sole singolarità nodali.
• L'Isomorfismo: Esiste un isomorfismo di orbifold complessi $\mathcal{C} \cong X \setminus D$.
• Sequenza del Gruppo Fondamentale: L'inclusione $i: \mathcal{C} \hookrightarrow X$ induce una suriezione sui gruppi fondamentali degli orbifold $i_*: \pi_1(\mathcal{C}) \to \pi_1(X) \cong \text{PU}(4, 1)(E)$. Ciò fornisce la sequenza esatta:
  $$1 \longrightarrow K \longrightarrow \pi_1(\mathcal{C}) \longrightarrow \text{PU}(4, 1)(E) \longrightarrow 1$$
  Qui, $K$ è il nucleo, identificato con $\pi_1(\mathbb{B}^4 \setminus \mathcal{H})$, dove $\mathcal{H}$ è l'unione dei sollevamenti di $D$ al ricoprimento universale $\mathbb{B}^4$.

La strategia degli autori si basa sul principio che "la teoria dei gruppi ricorda la geometria algebrica". Essi mirano a dimostrare che il nucleo $K$ (corrispondente al divisore $D$) è un sottogruppo caratteristico di $\pi_1(\mathcal{C})$. Se $K$ è caratteristico, ogni automorfismo di $\pi_1(\mathcal{C})$ preserva la struttura del complemento del divisore, permettendo agli autori di sollevare gli automorfismi di $\mathcal{C}$ allo spazio ambiente $X$.

Contributi e Risultati Chiave

1. Teorema 1.2 (Rigidità Teorico-Gruppo):
   Il nucleo $K$ della proiezione $\pi_1(\mathcal{C}) \to \text{PU}(4, 1)(E)$ è un sottogruppo caratteristico di $\pi_1(\mathcal{C})$. Cioè, per ogni $\phi \in \text{Aut}(\pi_1(\mathcal{C}))$, $\phi(K) = K$.

   • Strategia di Dimostrazione: La dimostrazione coinvolge l'analisi dei generatori di $\pi_1(\mathcal{C})$, che sono meridiani attorno al divisore $D$ (nello specifico, esariflessioni di ordine 6).
   • Gli autori stabiliscono che il gruppo di monodromia $P\Gamma_4$ è generato da queste esariflessioni.
   • Utilizzando l'algebra computazionale (Magma), mostrano che l'omomorfismo dal gruppo di Artin $A(\tilde{E}_6)$ (che si mappa su $\pi_1(\mathcal{C})$) al gruppo di Weyl $W(E_6)$ è unico a meno di automorfismi interni.
   • Dimostrano che ogni automorfismo di $\pi_1(\mathcal{C})$ deve mappare i generatori (meridiani) in elementi che sono ellittici in $P\Gamma_4$ e possiedono proprietà di ordine specifiche (divisibili per 6).
   • Crucialmente, dimostrano che l'immagine di qualsiasi tale automorfismo applicata ai generatori del nucleo deve risiedere all'interno di $K$, stabilendo che $K$ è invariante sotto tutti gli automorfismi del gruppo.

2. Teorema 1.1 (Rigidità Geometrica):
   Il gruppo $\text{Aut}(\mathcal{C})$ degli automorfismi olomorfi dello spazio dei moduli delle superfici cubiche complesse lisce è banale.

   • Strategia di Dimostrazione:
     • Sia $f \in \text{Aut}(\mathcal{C})$. Questo induce un automorfismo esterno $\phi$ di $\pi_1(\mathcal{C})$.
     • Per il Teorema 1.2, $\phi(K) = K$. Di conseguenza, $f$ si solleva a un automorfismo olomorfo $\tilde{f}$ dello spazio di ricoprimento $\mathbb{B}^4 \setminus \mathcal{H}$.
     • Poiché $\tilde{f}$ è una mappa olomorfa limitata in $\mathbb{C}^4$ e l'insieme singolare $\mathcal{H}$ è un sottoinsieme analitico a densità nulla, il Teorema di Estensione di Riemann permette a $\tilde{f}$ di estendersi a una mappa olomorfa $\hat{f}: \mathbb{B}^4 \to \mathbb{C}^4$.
     • Per continuità e il Teorema della Mappa Aperta, $\hat{f}$ mappa $\mathbb{B}^4$ in se stesso, implicando $\hat{f} \in \text{Aut}(\mathbb{B}^4) = \text{PU}(4, 1)$.
     • La mappa sollevata $\hat{f}$ normalizza il reticolo $P\Gamma_4$.
     • Per la Corollario 2.3 (derivato dalla rigidità di Mostow–Prasad e dalla massimalità del reticolo), l'orbifold $X$ non ammette automorfismi olomorfi non banali.
     • Pertanto, l'automorfismo indotto su $X$ è banale, implicando che $f$ è banale.

Significato e Affermazioni
Il lavoro afferma di dimostrare che la struttura teorico-gruppo di $\pi_1(\mathcal{C})$ "ricorda" il divisore geometrico $D$ delle superfici cubiche nodali. Ciò permette agli autori di aggirare la mancanza di simmetria locale in $\mathcal{C}$ stesso sfruttando la rigidità della varietà localmente simmetrica ambiente $X$.

Gli autori collocano il loro risultato come complemento ai teoremi classici di rigidità per $M_g$ e $A_g$. Notano che mentre la strategia per $A_g$ si basa sul fatto che lo spazio è una varietà localmente simmetrica, la strategia per $\mathcal{C}$ richiede di dimostrare che gli automorfismi del complemento "ricordano" il divisore. Il lavoro afferma esplicitamente che questo non è vero per complementi di divisori generici (fornendo un controesempio con una curva di genere 2), rendendo le proprietà specifiche dello spazio dei moduli delle superfici cubiche essenziali.

Gli autori riconoscono anche un approccio alternativo utilizzando il "divisore di Eckardt" (che parametrizza le superfici con punti di Eckardt), che notano essere stato suggerito da Curt McMullen. Tuttavia, sostengono che il loro approccio principale tramite il divisore nodale sia superiore perché produce il risultato teorico-gruppo più forte (Teorema 1.2) riguardo alla natura caratteristica del nucleo, mentre l'approccio di Eckardt si basa su proprietà geometriche specifiche di quel divisore che potrebbero non generalizzarsi con la stessa facilità.

Limitazioni e Direzioni Future
Il lavoro inquadra modestamente i propri risultati all'interno di un programma più ampio di studio della rigidità per i complementi di divisori di varietà localmente simmetriche. Nota che mentre i loro metodi, combinati con la superrigidità di Margulis, possono classificare gli automorfismi per i casi di tipo IV, il caso del quoziente della palla (come in questo lavoro) si basa sulla natura speciale delle auto-intersezioni del divisore $D$. Gli autori pongono domande aperte riguardanti il gruppo degli automorfismi esterni $\text{Out}(\pi_1(\mathcal{C}))$ e il commensuratore astratto, suggerendo che questi rimangono da risolvere completamente.