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

Resumo Técnico: Ações de $(\mathbb{Z}/4)^4$ em Trêsvariedades Racionalmente Conectadas

Enunciado do Problema
O artigo aborda a classificação de subgrupos abelianos finitos que atuam fielmente sobre trêsvariedades racionalmente conectadas sobre os números complexos $\mathbb{C}$. Especificamente, investiga o grupo $G = (\mathbb{Z}/4)^4$. Embora os subgrupos finitos do grupo de Cremona $\text{Cr}_3(\mathbb{C})$ (automorfismos biracionais de $\mathbb{P}^3$) não estejam totalmente classificados, o estudo de ações sobre a classe mais ampla de variedades racionalmente conectadas é motivado pelo fato de que tais ações não necessariamente se imergem em $\text{Cr}_3(\mathbb{C})$ se a variedade não for racional. Trabalhos anteriores identificaram grupos simples não abelianos (ex: $\text{PSL}_2(\mathbb{F}_{11})$) e grupos não abelianos (ex: $S_7$) que atuam sobre trêsvariedades racionalmente conectadas, mas não se imergem em $\text{Cr}_3(\mathbb{C})$. O artigo busca determinar se o grupo abeliano $(\mathbb{Z}/4)^4$ compartilha essa propriedade e estabelecer limites agudos para a imersão de grupos da forma $(\mathbb{Z}/m)^r$ em $\text{Cr}_3(\mathbb{C})$ versus $\text{Bir}(X)$ para $X$ racionalmente conectado.

Metodologia
Os autores empregam o Programa de Modelos Mínimos (MMP) equivariante e a teoria de variedades $G\mathbb{Q}$-factoriais. A estratégia procede através de várias etapas:

1. Redução a Trêsvariedades Fano: Usando o MMP equivariante, qualquer trêsvariedade racionalmente conectada $X$ com uma ação fiel de $G$ é mostrada como sendo $G$-biracional a uma trêsvariedade Fano $G\mathbb{Q}$-terminal $X'$. O artigo descarta o caso onde $X'$ é um espaço de fibrado de Mori sobre uma base de dimensão positiva, pois isso implicaria que $G$ é de "tipo produto", o que $(\mathbb{Z}/4)^4$ não é.
2. Análise do Sistema Anticanônico: Os autores distinguem entre os casos Gorenstein e não Gorenstein para a trêsvariedade Fano $X$.
   • Caso Gorenstein: Se $|-K_X| \neq \emptyset$, estabelece-se a existência de um divisor anticanônico $G$-invariante $S$. Mostra-se que $S$ é uma superfície K3 suave. A ação de $G$ em $S$ induz uma sequência $1 \to C \to G \to H \to 1$, onde $C$ é cíclico e $H$ atua fielmente em $S$. Ao analisar reticulados invariantes de superfícies K3 e teoria de representações (especificamente, restrições sobre subgrupos de $\text{PGL}_4(\mathbb{C})$ e $\text{Aut}(Q)$), os autores eliminam candidatos como $\mathbb{P}^3$, sólidos duplos quárticos e coberturas duplas de quadricas. Isso estreita $X$ para uma hipersuperfície quártica suave em $\mathbb{P}^4$ ou uma trêsvariedade Fano prima de gênero 9. Argumentos de reticulado adicionais eliminam o caso de gênero 9, deixando apenas a quártica suave.
   • Caso Não Gorenstein: Se $|-K_X| = \emptyset$, os autores utilizam a fórmula de Riemann-Roch de orbifold de Reid e o cesto de singularidades de Reid. Combinando condições de divisibilidade sobre comprimentos de órbita (derivadas da estrutura de $(\mathbb{Z}/4)^4$) com uma congruência de característica de Euler equivariante em uma resolução, eles derivam uma contradição, provando que nenhuma trêsvariedade Fano $G\mathbb{Q}$-terminal não Gorenstein admite tal ação.
3. Identificação da Equação: Para o caso sobrevivente (quártica suave), os autores analisam o sistema linear $|-K_X|$ e a representação induzida em $H^0(X, -K_X)$. Eles demonstram que a única quártica suave admitindo uma ação fiel de $(\mathbb{Z}/4)^4$ é a quártica de Fermat $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$, com a ação diagonal padrão.
4. Extensão para $(\mathbb{Z}/m)^r$: O artigo estende esses resultados para grupos gerais $(\mathbb{Z}/m)^r$ analisando componentes primárias e usando limites no número de geradores para subgrupos abelianos $p$ em $\text{Bir}(X)$ (baseado em resultados de Kollár e Zhuang). Um argumento específico exclui $(\mathbb{Z}/6)^4$ ao mostrar que ele exigiria uma trêsvariedade Fano não Gorenstein com multiplicidades de cesto impossíveis.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.3): Se $X$ é uma trêsvariedade racionalmente conectada com uma ação fiel de $G = (\mathbb{Z}/4)^4$, então $X$ é $G$-biracional à quártica de Fermat $X_4$. Se $X$ é uma trêsvariedade $G\mathbb{Q}$-Fano terminal, este mapa biracional é um isomorfismo.
• Não-Imersão (Corolário 1.4): O grupo $(\mathbb{Z}/4)^4$ não se imerge no grupo de Cremona $\text{Cr}_3(\mathbb{C})$. Isso ocorre porque a quártica de Fermat é não-racional (um resultado conhecido de Iskovskikh e Manin), e qualquer imersão em $\text{Cr}_3(\mathbb{C})$ implicaria biracionalidade a $\mathbb{P}^3$.
• Grupo de Automorfismo Máximo: O artigo confirma que o grupo de automorfismo da quártica de Fermat é $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$, que é a ordem máxima possível para uma quártica suave. Consequentemente, $\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$.
• Classificação de $(\mathbb{Z}/m)^r$ (Teorema 1.7): O artigo fornece uma classificação completa dos pares $(m, r)$ para os quais o grupo $(\mathbb{Z}/m)^r$ se imerge em $\text{Cr}_3(\mathbb{C})$ e em $\text{Bir}(X)$ para $X$ racionalmente conectado:
  • Em $\text{Cr}_3(\mathbb{C})$:
    • $m=2, r \le 6$
    • $m=3, r \le 4$
    • $m \ge 4, r \le 3$
  • Em $\text{Bir}(X)$ (racionalmente conectado):
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• Unicidade de $(\mathbb{Z}/4)^4$: Entre grupos da forma $(\mathbb{Z}/m)^r$, o grupo $(\mathbb{Z}/4)^4$ é o exemplo único que se imerge em $\text{Bir}(X)$ para alguma trêsvariedade racionalmente conectada, mas falha em se imergir em $\text{Cr}_3(\mathbb{C})$.

Significância
O artigo afirma fornecer uma classificação completa dos pares $(m, r)$ para os quais o grupo $(\mathbb{Z}/m)^r$ se imerge no grupo de Cremona $\text{Cr}_3(\mathbb{C})$ e no grupo de automorfismos biracionais de uma trêsvariedade racionalmente conectada. Ao estabelecer $(\mathbb{Z}/4)^4$ como o único grupo abeliano desta forma que atua fielmente sobre uma trêsvariedade racionalmente conectada sem se imergir em $\text{Cr}_3(\mathbb{C})$, o trabalho preenche uma lacuna na compreensão dos subgrupos abelianos finitos em dimensão três. Ele complementa classificações anteriores de grupos simples e grupos não abelianos, solidificando a tricotomia de ações de grupos abelianos finitos (tipo produto, tipo K3 e o caso Fano excepcional) proposta na literatura anterior. O resultado baseia-se na superrigidez biracional da quártica de Fermat e nas restrições específicas impostas pela estrutura do grupo sobre a geometria das trêsvariedades Fano.