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

Resumen Técnico: Acciones de $(\mathbb{Z}/4)^4$ sobre tresvalores racionalmente conexos

Planteamiento del problema
El artículo aborda la clasificación de los subgrupos abelianos finitos que actúan fielmente sobre tresvalores racionalmente conexos sobre los números complejos $\mathbb{C}$. Específicamente, investiga el grupo $G = (\mathbb{Z}/4)^4$. Si bien los subgrupos finitos del grupo de Cremona $\text{Cr}_3(\mathbb{C})$ (automorfismos biracionales de $\mathbb{P}^3$) no están completamente clasificados, el estudio de las acciones sobre la clase más amplia de variedades racionalmente conexas está motivado por el hecho de que tales acciones no necesariamente se incrustan en $\text{Cr}_3(\mathbb{C})$ si la variedad no es racional. Trabajos previos han identificado grupos simples no abelianos (por ejemplo, $\text{PSL}_2(\mathbb{F}_{11})$) y grupos no abelianos (por ejemplo, $S_7$) que actúan sobre tresvalores racionalmente conexos pero que no se incrustan en $\text{Cr}_3(\mathbb{C})$. El artículo busca determinar si el grupo abeliano $(\mathbb{Z}/4)^4$ comparte esta propiedad y establecer cotas ajustadas para la incrustación de grupos de la forma $(\mathbb{Z}/m)^r$ en $\text{Cr}_3(\mathbb{C})$ frente a $\text{Bir}(X)$ para $X$ racionalmente conexo.

Metodología
Los autores emplean el Programa de Modelos Mínimos (MMP) equivariante y la teoría de variedades $G\mathbb{Q}$-factoriales. La estrategia procede a través de varias etapas:

1. Reducción a tresvalores Fano: Utilizando el MMP equivariante, se demuestra que cualquier tresvalor racionalmente conexo $X$ con una acción fiel de $G$ es $G$-biracional a un tresvalor Fano terminal $G\mathbb{Q}$ $X'$. El artículo descarta el caso en el que $X'$ es un espacio de fibración de Mori sobre una base de dimensión positiva, ya que esto implicaría que $G$ es de "tipo producto", lo cual $(\mathbb{Z}/4)^4$ no es.
2. Análisis del sistema anticanónico: Los autores distinguen entre los casos Gorenstein y no Gorenstein para el tresvalor Fano $X$.
   • Caso Gorenstein: Si $|-K_X| \neq \emptyset$, se establece la existencia de un divisor anticanónico $G$-invariante $S$. Se demuestra que $S$ es una superficie K3 suave. La acción de $G$ sobre $S$ induce una secuencia $1 \to C \to G \to H \to 1$, donde $C$ es cíclica y $H$ actúa fielmente sobre $S$. Al analizar las redes invariantes de superficies K3 y la teoría de representaciones (específicamente, las restricciones sobre subgrupos de $\text{PGL}_4(\mathbb{C})$ y $\text{Aut}(Q)$), los autores eliminan candidatos tales como $\mathbb{P}^3$, sólidos dobles cuárticos y dobles recubrimientos de cuadráticas. Esto reduce $X$ a una hipersuperficie cuártica suave o a un tresvalor Fano primo de género 9. Posteriores argumentos de redes eliminan el caso de género 9, dejando únicamente la cuártica suave.
   • Caso no Gorenstein: Si $|-K_X| = \emptyset$, los autores utilizan la fórmula de Riemann-Roch de órbifold de Reid y la cesta de singularidades de Reid. Combinando las condiciones de divisibilidad sobre las longitudes de las órbitas (derivadas de la estructura de $(\mathbb{Z}/4)^4$) con una congruencia del carácter de Euler equivariante en una resolución, derivan una contradicción, probando que ningún tresvalor Fano terminal $G\mathbb{Q}$ admite tal acción.
3. Identificación de la ecuación: Para el caso superviviente (cuártica suave), los autores analizan el sistema lineal $|-K_X|$ y la representación inducida en $H^0(X, -K_X)$. Demuestran que la única cuártica suave que admite una acción fiel de $(\mathbb{Z}/4)^4$ es la cuártica de Fermat $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$, con la acción diagonal estándar.
4. Extensión a $(\mathbb{Z}/m)^r$: El artículo extiende estos resultados a grupos generales $(\mathbb{Z}/m)^r$ analizando los componentes primarios y utilizando cotas sobre el número de generadores para subgrupos abelianos $p$-primarios en $\text{Bir}(X)$ (basándose en resultados de Kollár y Zhuang). Un argumento específico excluye a $(\mathbb{Z}/6)^4$ al mostrar que requeriría un tresvalor Fano no Gorenstein con multiplicidades de cesta imposibles.

Contribuciones principales y resultados

• Teorema principal (Teorema 1.3): Si $X$ es un tresvalor racionalmente conexo con una acción fiel de $G = (\mathbb{Z}/4)^4$, entonces $X$ es $G$-biracional a la cuártica de Fermat $X_4$. Si $X$ es un tresvalor $G\mathbb{Q}$-Fano terminal, este mapa biracional es un isomorfismo.
• No incrustabilidad (Corolario 1.4): El grupo $(\mathbb{Z}/4)^4$ no se incrusta en el grupo de Cremona $\text{Cr}_3(\mathbb{C})$. Esto se debe a que la cuártica de Fermat es no racional (un resultado conocido de Iskovskikh y Manin), y cualquier incrustación en $\text{Cr}_3(\mathbb{C})$ implicaría biracionalidad con $\mathbb{P}^3$.
• Grupo de automorfismos maximal: El artículo confirma que el grupo de automorfismos de la cuártica de Fermat es $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$, que es el orden máximo posible para una cuártica suave. En consecuencia, $\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$.
• Clasificación de $(\mathbb{Z}/m)^r$ (Teorema 1.7): El artículo proporciona una clasificación completa de los pares $(m, r)$ para los cuales $(\mathbb{Z}/m)^r$ se incrusta en $\text{Cr}_3(\mathbb{C})$ y en $\text{Bir}(X)$ para un $X$ racionalmente conexo:
  • En $\text{Cr}_3(\mathbb{C})$:
    • $m=2, r \le 6$
    • $m=3, r \le 4$
    • $m \ge 4, r \le 3$
  • En $\text{Bir}(X)$ (racionalmente conexo):
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• Unicidad de $(\mathbb{Z}/4)^4$: Entre los grupos de la forma $(\mathbb{Z}/m)^r$, el grupo $(\mathbb{Z}/4)^4$ es el único ejemplo que se incrusta en $\text{Bir}(X)$ para algún tresvalor racionalmente conexo pero falla en incrustarse en $\text{Cr}_3(\mathbb{C})$.

Significado
El artículo afirma proporcionar una clasificación completa de los pares $(m, r)$ para los cuales el grupo $(\mathbb{Z}/m)^r$ se incrusta en el grupo de Cremona $\text{Cr}_3(\mathbb{C})$ y en el grupo de automorfismos biracionales de un tresvalor racionalmente conexo. Al establecer a $(\mathbb{Z}/4)^4$ como el ejemplo único de la forma $(\mathbb{Z}/m)^r$ que actúa fielmente sobre un tresvalor racionalmente conexo sin incrustarse en $\text{Cr}_3(\mathbb{C})$, el trabajo llena un vacío en la comprensión de los subgrupos abelianos finitos en dimensión tres. Complementa las clasificaciones anteriores de grupos simples y no abelianos, consolidando la tricotomía de las acciones de grupos abelianos finitos (tipo producto, tipo K3 y el caso excepcional Fano) propuesta en la literatura previa. El resultado se basa en la superrigidez biracional de la cuártica de Fermat y en las restricciones específicas impuestas por la estructura del grupo sobre la geometría de los tresvalores Fano.