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

Technische Samenvatting: Acties van $(\mathbb{Z}/4)^4$ op Rationeel Verbonden Drievouden

Probleemstelling
Het artikel behandelt de classificatie van eindige abelse subgroepen die getrouw handelen op rationeel verbonden drievouden over de complexe getallen $\mathbb{C}$. Specifiek wordt de groep $G = (\mathbb{Z}/4)^4$ onderzocht. Hoewel de eindige subgroepen van de Cremona-groep $\text{Cr}_3(\mathbb{C})$ (birationale automorfismen van $\mathbb{P}^3$) niet volledig geclassificeerd zijn, wordt de studie naar acties op de bredere klasse van rationeel verbonden variëteiten gemotiveerd door het feit dat dergelijke acties niet noodzakelijkerwijs in $\text{Cr}_3(\mathbb{C})$ ingebed zijn als de variëteit niet rationeel is. Eerder werk heeft niet-abelse simpele groepen (bijv. $\text{PSL}_2(\mathbb{F}_{11})$) en niet-abelse groepen (bijv. $S_7$) geïdentificeerd die handelen op rationeel verbonden drievouden maar niet in $\text{Cr}_3(\mathbb{C})$ ingebed zijn. Het artikel onderzoekt of de abelse groep $(\mathbb{Z}/4)^4$ deze eigenschap deelt en streeft naar het vaststellen van scherpe grenzen voor de inbedding van groepen van de vorm $(\mathbb{Z}/m)^r$ in $\text{Cr}_3(\mathbb{C})$ versus $\text{Bir}(X)$ voor rationeel verbonden $X$.

Methodologie
De auteurs maken gebruik van het equivariante Minimale Model Programma (MMP) en de theorie van $G\mathbb{Q}$-factoriële variëteiten. De strategie verloopt via verschillende stadia:

1. Reductie naar Fano-drieevouden: Met behulp van het equivariante MMP wordt aangetoond dat elke rationeel verbonden drievoud $X$ met een getrouwe $G$-actie $G$-birationaal is aan een terminale $G\mathbb{Q}$-Fano drievoud $X'$. Het artikel sluit de casus uit waarbij $X'$ een Mori-vezelruimte is over een positie-dimensionale basis, aangezien dit zou impliceren dat $G$ van "producttype" is, wat $(\mathbb{Z}/4)^4$ niet is.
2. Analyse van het anticanonische systeem: De auteurs maken onderscheid tussen de Gorenstein en de niet-Gorenstein gevallen voor de Fano drievoud $X$.
   • Gorenstein Casus: Indien $|-K_X| \neq \emptyset$, wordt de existentie van een $G$-invariante anticanonische divisor $S$ vastgesteld. $S$ blijkt een gladde K3-oppervlak te zijn. De actie van $G$ op $S$ induceert een sequentie $1 \to C \to G \to H \to 1$, waarbij $C$ cyclisch is en $H$ getrouw handelt op $S$. Door de actie op invariante roosters van K3-oppervlakken en representatietheorie te analyseren (specifiek de restricties op subgroepen van $\text{PGL}_4(\mathbb{C})$ en $\text{Aut}(Q)$), elimineren de auteurs kandidaten zoals $\mathbb{P}^3$, quartische dubbel-soliden en dubbele bedekkingen van quadrica. Dit verkleint $X$ tot een gladde quartische hypersurface in $\mathbb{P}^4$ of een priem Fano drievoud van genus 9. Verdere rooster-argumenten elimineren de genus 9-casus, waardoor alleen de gladde quartische overblijft.
   • Niet-Gorenstein Casus: Indien $|-K_X| = \emptyset$, maken de auteurs gebruik van de orbifold Riemann-Roch-formule van Reid en de Reid-mand van singulariteiten. Door divisibiliteitsvoorwaarden op baanlengtes te combineren (afgeleid van de structuur van $(\mathbb{Z}/4)^4$) met een equivariante Euler-karakteristiek congruentie op een resolutie, leiden zij een tegenspraak af, waarmee bewezen wordt dat geen enkele niet-Gorenstein terminale $G\mathbb{Q}$-Fano drievoud zodanige een actie toelaat.
3. Identificatie van de vergelijking: Voor de overgebleven casus (gladde quartische) analyseren de auteurs het lineaire systeem $|-K_X|$ en de geïnduceerde representatie op $H^0(X, -K_X)$. Zij demonstreren dat de enige gladde quartische die een getrouwe $(\mathbb{Z}/4)^4$-actie toelaat de Fermat-quartische $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$ is, met de standaard diagonale actie.
4. Extensie naar $(\mathbb{Z}/m)^r$: Het artikel breidt deze resultaten uit naar algemene groepen $(\mathbb{Z}/m)^r$ door primaire componenten te analyseren en grenzen te gebruiken voor het aantal generatoren van abelse $p$-subgroepen in $\text{Bir}(X)$ (gebaseerd op resultaten van Kollár en Zhuang). Een specifiek argument sluit $(\mathbb{Z}/6)^4$ uit door aan te tonen dat dit een niet-Gorenstein Fano drievoud met onmogelijke mand-veelheden (basket multiplicities) zou vereisen.

Belangrijkste Bijdragen en Resultaten

• Hoofdtheorema (Theorema 1.3): Als $X$ een rationeel verbonden drievoud is met een getrouwe actie van $G = (\mathbb{Z}/4)^4$, dan is $X$ $G$-birationaal aan de Fermat-quartische $X_4$. Als $X$ een terminale $G\mathbb{Q}$-Fano drievoud is, dan is deze birationale afbeelding een isomorfisme.
• Niet-inbeddbaarheid (Corollary 1.4): De groep $(\mathbb{Z}/4)^4$ is niet inbedbaar in de Cremona-groep $\text{Cr}_3(\mathbb{C})$. Dit komt omdat de Fermat-quartische niet-rationeel is (een bekend resultaat van Iskovskikh en Manin), en elke inbedding in $\text{Cr}_3(\mathbb{C})$ birationaliteit met $\mathbb{P}^3$ zou impliceren.
• Maximale Automorfisme Groep: Het artikel bevestigt dat de automorfisme groep van de Fermat-quartische $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$ is, wat de maximale mogelijke orde is voor een gladde quartische drievoud. Bijgevolg is $\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$.
• Classificatie van $(\mathbb{Z}/m)^r$ (Theorema 1.7): Het artikel biedt een volledige classificatie van paren $(m, r)$ waarvoor de groep $(\mathbb{Z}/m)^r$ inbedbaar is in $\text{Cr}_3(\mathbb{C})$ en in $\text{Bir}(X)$ voor een rationeel verbonden $X$:
  • 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)$ (rationeel verbonden):
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• Uniciteit van $(\mathbb{Z}/4)^4$: Onder groepen van de vorm $(\mathbb{Z}/m)^r$ is de groep $(\mathbb{Z}/4)^4$ het unieke voorbeeld dat inbedbaar is in $\text{Bir}(X)$ voor een rationeel verbonden drievoud, maar faalt om in $\text{Cr}_3(\mathbb{C})$ ingebed te zijn.

Betekenis
Het artikel claimt een volledige classificatie te bieden van de paren $(m, r)$ waarvoor de groep $(\mathbb{Z}/m)^r$ inbedbaar is in de Cremona-groep $\text{Cr}_3(\mathbb{C})$ en in de birationale automorfisme groep van een rationeel verbonden drievoud. Door $(\mathbb{Z}/4)^4$ te vestigen als de unieke abelse groep van de vorm $(\mathbb{Z}/m)^r$ die getrouw handelt op een rationeel verbonden drievoud zonder in $\text{Cr}_3(\mathbb{C})$ ingebed te zijn, vult dit werk een gat in het begrip van eindige abelse subgroepen in dimensie drie. Het complementeert eerdere classificaties van simpele groepen en niet-abelse groepen, en consolideert de trichotomie van eindige abelse groepacties (producttype, K3-type en de uitzonderlijke Fano-casus) die in eerdere literatuur is voorgesteld. Het resultaat steunt op de birationale superrigiditeit van de Fermat-quartische en de specifieke beperkingen die de groepsstructuur oplegt aan de geometrie van Fano-drieevouden.