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

Technische Zusammenfassung: Wirkungen von $(\mathbb{Z}/4)^4$ auf rational verbundene dreidimensionale Varietäten

Problemstellung
Die Arbeit befasst sich mit der Klassifizierung endlicher abelscher Untergruppen, die auf rational verbundenen dreidimensionalen Varietäten über den komplexen Zahlen $\mathbb{C}$ treu wirken. Konkret wird die Gruppe $G = (\mathbb{Z}/4)^4$ untersucht. Während endliche Untergruppen der Cremona-Gruppe $\text{Cr}_3(\mathbb{C})$ (birationale Automorphismen von $\mathbb{P}^3$) nicht vollständig klassifiziert sind, ist die Untersuchung von Wirkungen auf die breitere Klasse der rational verbundenen Varietäten dadurch motiviert, dass solche Wirkungen nicht notwendigerweise in $\text{Cr}_3(\mathbb{C})$ einbetten, wenn die Varietät nicht rational ist. Vorherige Arbeiten haben nicht-abelsche einfache Gruppen (z. B. $\text{PSL}_2(\mathbb{F}_{11})$) und nicht-abelsche Gruppen (z. B. $S_7$) identifiziert, die auf rational verbundenen dreidimensionalen Varietäten wirken, aber nicht in $\text{Cr}_3(\mathbb{C})$ einbetten. Die vorliegende Arbeit untersucht, ob die abelsche Gruppe $(\mathbb{Z}/4)^4$ diese Eigenschaft teilt, und versucht, scharfe Schranken für die Einbettung von Gruppen der Form $(\mathbb{Z}/m)^r$ in $\text{Cr}_3(\mathbb{C})$ gegenüber $\text{Bir}(X)$ für rational verbundene $X$ festzulegen.

Methodik
Die Autoren verwenden das äquivariante Minimalmodellprogramm (MMP) und die Theorie der $G\mathbb{Q}$-faktoriellen Varietäten. Die Strategie verläuft durch mehrere Phasen:

1. Reduktion auf Fano-dreidimensionale Varietäten: Mittels des äquivarianten MMP wird gezeigt, dass jede rational verbundene dreidimensionale Varietät $X$ mit einer treuen $G$-Wirkung $G$-birational zu einer terminalen $G\mathbb{Q}$-Fano-dreidimensionalen Varietät $X'$ ist. Die Arbeit schließt den Fall aus, dass $X'$ eine Mori-Faserung über einer positivedimensionalen Basis ist, da dies implizieren würde, dass $G$ vom „Produkttyp“ ist, was auf $(\mathbb{Z}/4)^4$ nicht zutrifft.
2. Analyse des antikanonischen Systems: Die Autoren unterscheiden zwischen den Gorenstein- und den Nicht-Gorenstein-Fällen für die Fano-dreidimensionale Varietät $X$.
   • Gorenstein-Fall: Falls $|-K_X| \neq \emptyset$, wird die Existenz eines $G$-invarianten antikanonischen Divisors $S$ etabliert. Es wird gezeigt, dass $S$ eine glatte K3-Fläche ist. Die Wirkung von $G$ auf $S$ induziert eine Sequenz $1 \to C \to G \to H \to 1$, wobei $C$ zyklisch ist und $H$ treu auf $S$ wirkt. Durch die Analyse von invarianten Gittern von K3-Flächen und Darstellungstheorie (speziell Beschränkungen auf Untergruppen von $\text{PGL}_4(\mathbb{C})$ und $\text{Aut}(Q)$) eliminieren die Autoren Kandidaten wie $\mathbb{P}^3$, quartische Doppel-Soliden und Doppelüberdeckungen von Quadriken. Dies grenzt $X$ auf eine glatte quartische Hypersurface oder eine primäre Fano-dreidimensionale Varietät des Genus 9 ein. Weitere Gitter-Argumente eliminieren den Genus-9-Fall, sodass nur die glatte Quartische übrig bleibt.
   • Nicht-Gorenstein-Fall: Falls $|-K_X| = \emptyset$, nutzen die Autoren die Orbifold-Riemann-Roch-Formel von Reid und die Reid-Basket von Singularitäten. Durch Kombination von Teilbarkekeitsbedingungen auf Orbit-Längen (abgeleitet aus der Struktur von $(\mathbb{Z}/4)^4$) mit einer äquivarianten Euler-Charakteristik-Kongruenz auf einer Auflösung leiten sie einen Widerspruch her, was beweist, dass keine nicht-Gorenstein terminale $G\mathbb{Q}$-Fano-dreidimensionale Varietät eine solche Wirkung zulässt.
3. Identifikation der Gleichung: Für den verbleibenden Fall (glatte Quartische) analysieren die Autoren das lineare System $|-K_X|$ und die induzierte Darstellung auf $H^0(X, -K_X)$. Sie zeigen, dass die einzige glatte Quartische, die eine treue $(\mathbb{Z}/4)^4$-Wirkung zulässt, die Fermat-Quartische $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$ mit der standardmäßigen diagonalen Wirkung ist.
4. Erweiterung auf $(\mathbb{Z}/m)^r$: Die Arbeit erweitert diese Ergebnisse auf allgemeine Gruppen $(\mathbb{Z}/m)^r$, indem sie Primärkomponenten analysiert und Schranken für die Anzahl der Generatoren von abelschen $p$-Untergruppen in $\text{Bir}(X)$ (basierend auf Ergebnissen von Kollár und Zhuang) verwendet. Ein spezifisches Argument schließt $(\mathbb{Z}/6)^4$ aus, indem gezeigt wird, dass dies eine nicht-Gorenstein Fano-dreidimensionale Varietät mit unmöglichen Basket-Multiplizitäten erfordern würde.

Zentrale Beiträge und Ergebnisse

• Hauptsatz (Theorem 1.3): Wenn $X$ eine rational verbundene dreidimensionale Varietät mit einer treuen Wirkung von $G = (\mathbb{Z}/4)^4$ ist, dann ist $X$ $G$-birational zur Fermat-Quartischen $X_4$. Wenn $X$ eine terminale $G\mathbb{Q}$-Fano-dreidimensionale Varietät ist, ist diese birationale Abbildung ein Isomorphismus.
• Nicht-Einbettbarkeit (Korollar 1.4): Die Gruppe $(\mathbb{Z}/4)^4$ lässt sich nicht in die Cremona-Gruppe $\text{Cr}_3(\mathbb{C})$ einbetten. Dies liegt daran, dass die Fermat-Quartische nicht-rational ist (ein bekanntes Ergebnis von Iskovskikh und Manin), und jede Einbettung in $\text{Cr}_3(\mathbb{C})$ Birationalität zu $\mathbb{P}^3$ implizieren würde.
• Maximale Automorphismengruppe: Die Arbeit bestätigt, dass die Automorphismengruppe der Fermat-Quartischen $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$ ist, was die maximal mögliche Ordnung für eine glatte quartische dreidimensionale Varietät darstellt. Folglich gilt $\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$.
• Klassifizierung von $(\mathbb{Z}/m)^r$ (Theorem 1.7): Die Arbeit liefert eine vollständige Klassifizierung der Paare $(m, r)$, für die die Gruppe $(\mathbb{Z}/m)^r$ in $\text{Cr}_3(\mathbb{C})$ und in $\text{Bir}(X)$ für eine rational verbundene $X$ eingebettet ist:
  • 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)$ (rational verbunden):
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• Einzigartigkeit von $(\mathbb{Z}/4)^4$: Unter den Gruppen der Form $(\mathbb{Z}/m)^r$ ist $(\mathbb{Z}/4)^4$ das einzige Beispiel, das in $\text{Bir}(X)$ für eine rational verbundene dreidimensionale Varietät einbettet, aber nicht in $\text{Cr}_3(\mathbb{C})$ eingebettet werden kann.

Bedeutung
Die Arbeit beansprucht, eine vollständige Klassifizierung der Paare $(m, r)$ zu liefern, für die die Gruppe $(\mathbb{Z}/m)^r$ in die Cremona-Gruppe $\text{Cr}_3(\mathbb{C})$ und in die Gruppe der birationalen Automorphismen einer rational verbundenen dreidimensionalen Varietät eingebettet ist. Indem sie $(\mathbb{Z}/4)^4$ als die einzige abelsche Gruppe dieser Form identifiziert, die auf einer rational verbundenen dreidimensionalen Varietät treu wirkt, ohne in $\text{Cr}_3(\mathbb{C})$ eingebettet zu sein, füllt die Arbeit eine Lücke im Verständnis endlicher abelscher Untergruppen in der Dimension drei. Sie ergänzt frühere Klassifizierungen einfacher Gruppen und nicht-abelscher Gruppen und festigt die in der bisherigen Literatur vorgeschlagene Trichotomie der Wirkungen endlicher abelscher Gruppen (Produkttyp, K3-Typ und der Ausnahmefall Fano). Das Ergebnis stützt sich auf die birationale Superrigidität der Fermat-Quartischen und die spezifischen Beschränkungen, die die Gruppenstruktur auf die Geometrie von Fano-Varietäten auferlegt.