Actions of $(\mathbb{Z}/4)^4$ on rationally connected threefolds

Sintesi Tecnica: Azioni di $(\mathbb{Z}/4)^4$ su trevariamente connesse razionalmente

Enunciato del Problema
Il saggio affronta la classificazione dei sottogruppi abeliani finiti che agiscono fedelmente su trevariamente connesse razionalmente su numeri complessi $\mathbb{C}$. Nello specifico, investiga il gruppo $G = (\mathbb{Z}/4)^4$. Sebbene i sottogruppi finiti del gruppo Cremona $\text{Cr}_3(\mathbb{C})$ (automorfismi birazionali di $\mathbb{P}^3$) non siano completamente classificati, lo studio delle azioni su una classe più ampia di varietà connesse razionalmente è motivato dal fatto che tali azioni non si immergono necessariamente in $\text{Cr}_3(\mathbb{C})$ se la varietà non è razionale. Lavori precedenti hanno identificato gruppi semplici non abeliani (ad es. $\text{PSL}_2(\mathbb{F}_{11})$) e gruppi non abeliani (ad es. $S_7$) che agiscono su trevariamente connesse razionalmente ma non si immergono in $\text{Cr}_3(\mathbb{C})$. Il saggio mira a determinare se il gruppo abeliano $(\mathbb{Z}/4)^4$ condivida questa proprietà ed estendere i limiti netti per l'immersione di gruppi della forma $(\mathbb{Z}/m)^r$ in $\text{Cr}_3(\mathbb{C})$ rispetto a $\text{Bir}(X)$ per $X$ razionalmente connessa.

Metodologia
Gli autori impiegano il Programma del Modello Minimo (MMP) equivariante e la teoria delle varietà $G\mathbb{Q}$-fattoriali. La strategia procede attraverso diverse fasi:

1. Riduzione a Trevarianti Fano: Utilizzando l'MMP equivariante, ogni trevariante razionalmente connessa $X$ con un'azione fedele di $G$ è mostrata essere $G$-birazionale a una trevariante Fano $G\mathbb{Q}$-terminale $X'$. Il saggio esclude il caso in cui $X'$ sia uno spazio di fibre di Mori su una base di dimensione positiva, poiché ciò implicherebbe che $G$ sia di "tipo prodotto", cosa che $(\mathbb{Z}/4)^4$ non è.
2. Analisi del Sistema Anticanonico: Gli autori distinguono tra i casi Gorenstein e non Gorenstein per la trevariante Fano $X$.
   • Caso Gorenstein: Se $|-K_X| \neq \emptyset$, si stabilisce l'esistenza di un divisore anticanonico $G$-invariante $S$. Si dimostra che $S$ è una superficie K3 regolare. L'azione di $G$ su $S$ induce una sequenza $1 \to C \to G \to H \to 1$, dove $C$ è ciclica e $H$ agisce fedelmente su $S$. Analizzando i reticoli invarianti delle superfici K3 e la teoria delle rappresentazioni (specificamente, le restrizioni sui sottogruppi di $\text{PGL}_4(\mathbb{C})$ e $\text{Aut}(Q)$), gli autori eliminano candidati quali $\mathbb{P}^3$, doppi solidi quartici e doppie coperture di quadriche. Ciò restringe $X$ a una ipersuperficie quartica regolare in $\mathbb{P}^4$ o a una trevariante prima di genere 9. Ulteriori argomenti sui reticoli eliminano il caso di genere 9, lasciando solo la quartica regolare.
   • Caso Non Gorenstein: Se $|-K_X| = \emptyset$, gli autori utilizzano la formula di Riemann-Roch orbifold di Reid e il cestello (basket) di singolarità di Reid. Combinando le condizioni di divisibilità sulle lunghezze delle orbite (derivate dalla struttura di $(\mathbb{Z}/4)^4$) con una congruenza della caratteristica di Euler equivariante su una risoluzione, derivano una contraddizione, provando che nessuna trevariante Fano $G\mathbb{Q}$-terminale non Gorenstein ammette tale azione.
3. Identificazione dell'Equazione: Per il caso superstite (quartica regolare), gli autori analizzano il sistema lineare $|-K_X|$ e la rappresentazione indotta su $H^0(X, -K_X)$. Dimostrano che l'unica quartica regolare ammettente un'azione fedele di $(\mathbb{Z}/4)^4$ è la quartica di Fermat $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$, con l'azione diagonale standard.
4. Estensione a $(\mathbb{Z}/m)^r$: Il saggio estende questi risultati a gruppi generali $(\mathbb{Z}/m)^r$ analizzando le componenti primarie e utilizzando i limiti sul numero di generatori per i sottogruppi abeliani $p$-primari in $\text{Bir}(X)$ (basandosi sui risultati di Kollár e Zhuang). Un argomento specifico esclude $(\mathbb{Z}/6)^4$ mostrando che richiederebbe una trevariante Fano non Gorenstein con molteplicità del cestello impossibili.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.3): Se $X$ è una trevariante razionalmente connessa con un'azione fedele di $G = (\mathbb{Z}/4)^4$, allora $X$ è $G$-birazionale alla quartica di Fermat $X_4$. Se $X$ è una trevariante $G\mathbb{Q}$-Fano terminale, questa mappa birazionale è un isomorfismo.
• Non-Immergibilità (Corollario 1.4): Il gruppo $(\mathbb{Z}/4)^4$ non si immerge nel gruppo Cremona $\text{Cr}_3(\mathbb{C})$. Ciò accade perché la quartica di Fermat è non-razionale (un risultato noto di Iskovskikh e Manin), e qualsiasi immersione in $\text{Cr}_3(\mathbb{C})$ implicherebbe la birationalità a $\mathbb{P}^3$.
• Gruppo di Automorfismi Massimale: Il saggio conferma che il gruppo di automorfismi della quartica di Fermat è $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$, che è l'ordine massimo possibile per una quartica regolare. Di conseguenza, $\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$.
• Classificazione di $(\mathbb{Z}/m)^r$ (Teorema 1.7): Il saggio fornisce una classificazione completa delle coppie $(m, r)$ per le quali $(\mathbb{Z}/m)^r$ si immerge in $\text{Cr}_3(\mathbb{C})$ e in $\text{Bir}(X)$ per una $X$ razionalmente connessa:
  • In $\text{Cr}_3(\mathbb{C})$:
    • $m=2, r \le 6$
    • $m=3, r \le 4$
    • $m \ge 4, r \le 3$
  • In $\text{Bir}(X)$ (razionalmente connessa):
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• Unicità di $(\mathbb{Z}/4)^4$: Tra i gruppi della forma $(\mathbb{Z}/m)^r$, il gruppo $(\mathbb{Z}/4)^4$ è l'unico esempio che si immerge in $\text{Bir}(X)$ per una certa trevariante razionalmente connessa ma non riesce a immergersi in $\text{Cr}_3(\mathbb{C})$.

Significato
Il saggio sostiene di fornire una classificazione completa delle coppie $(m, r)$ per le quali il gruppo $(\mathbb{Z}/m)^r$ si immerge nel gruppo Cremona $\text{Cr}_3(\mathbb{C})$ e nel gruppo degli automorfismi birazionali di una trevariante razionalmente connessa. Stabilendo $(\mathbb{Z}/4)^4$ come l'unico gruppo abeliano di questa forma che agisce fedelmente su una trevariante razionalmente connessa senza immergersi in $\text{Cr}_3(\mathbb{C})$, il lavoro colma una lacuna nella comprensione dei sottogruppi abeliani finiti in dimensione tre. Esso completa le precedenti classificazioni di gruppi semplici e non abeliani, solidificando la tricotomia delle azioni di gruppi abeliani finiti (tipo prodotto, tipo K3 e il caso eccezionale Fano) proposta dalla letteratura precedente. Il risultato si basa sulla superrigidità birazionale della quartica di Fermat e sui vincoli specifici imposti dalla struttura del gruppo sulla geometria delle trevarianti Fano.