Automorphisms of the moduli space of smooth cubic surfaces and its fundamental group

Resumen Técnico: Automorfismos del Espacio de Módulos de Superficies Cúbicas Suaves y su Grupo Fundamental

Enunciado del Problema
El artículo aborda la rigidez del espacio de módulos $\mathcal{C}$ de superficies cúbicas complejas suaves, considerado como un orbifolde analítico complejo. Específicamente, los autores investigan el grupo $\text{Aut}(\mathcal{C})$ de automorfismos biholomorfos de este espacio. Si bien los resultados de rigidez para otros espacios de módulos, como el de curvas ($M_g$) y las variedades abelianas polarizadas principalmente ($A_g$), son clásicos, el espacio de módulos de superficies cúbicas presenta desafíos únicos. A diferencia de $A_g$, que es una variedad localmente simétrica (un cociente de un dominio simétrico hermitiano por un grupo aritmético), $\mathcal{C}$ no es homotópicamente equivalente a una variedad localmente simétrica. El problema central es determinar si $\mathcal{C}$ admite automorfismos no triviales y, de no ser así, establecerlo mediante un análisis teóricogrupal de su grupo fundamental $\pi_1(\mathcal{C})$.

Metodología y Configuración Geométrica
Los autores utilizan la construcción del mapa de periodos de Allcock, Carlson y Toledo [1], que identifica $\mathcal{C}$ con el complemento de un divisor $D$ en una variedad localmente simétrica $X$.

• El Espacio Ambiente: $X$ es una 4-variedad de Picard, definida como el cociente $X = \text{PU}(4, 1)(E) \backslash \mathbb{B}^4$, donde $\mathbb{B}^4$ es la bola hiperbólica compleja de dimensión 4 y $E = \mathbb{Z}[\omega]$ son los enteros de Eisenstein.
• El Divisor: $D$ es un divisor totalmente geodésico inmerso en $X$, isomorfo al espacio de módulos de superficies cúbicas singulares con singularidades nodales únicamente.
• El Isomorfismo: Existe un isomorfismo de orbifoldes complejos $\mathcal{C} \cong X \setminus D$.
• Secuencia del Grupo Fundamental: La inclusión $i: \mathcal{C} \hookrightarrow X$ induce una sobreyección en los grupos fundamentales de orbifolde $i_*: \pi_1(\mathcal{C}) \to \pi_1(X) \cong \text{PU}(4, 1)(E)$. Esto produce la secuencia exacta:
  $$1 \longrightarrow K \longrightarrow \pi_1(\mathcal{C}) \longrightarrow \text{PU}(4, 1)(E) \longrightarrow 1$$
  Aquí, $K$ es el núcleo, identificado con $\pi_1(\mathbb{B}^4 \setminus \mathcal{H})$, donde $\mathcal{H}$ es la unión de los levantamientos de $D$ a la cubierta universal $\mathbb{B}^4$.

La estrategia de los autores se basa en el principio de que "la teoría de grupos recuerda la geometría algebraica". Su objetivo es demostrar que el núcleo $K$ (correspondiente al divisor $D$) es un subgrupo característico de $\pi_1(\mathcal{C})$. Si $K$ es característico, cualquier automorfismo de $\pi_1(\mathcal{C})$ preserva la estructura del complemento del divisor, permitiendo a los autores elevar los automorfismos de $\mathcal{C}$ al espacio ambiente $X$.

Contribuciones y Resultados Clave

1. Teorema 1.2 (Rigidez Teóricogrupal):
   El núcleo $K$ de la proyección $\pi_1(\mathcal{C}) \to \text{PU}(4, 1)(E)$ es un subgrupo característico de $\pi_1(\mathcal{C})$. Es decir, para todo $\phi \in \text{Aut}(\pi_1(\mathcal{C}))$, se cumple que $\phi(K) = K$.

   • Estrategia de Demostración: La demostración implica analizar los generadores de $\pi_1(\mathcal{C})$, que son meridianos alrededor del divisor $D$ (específicamente, hexarreflexiones de orden 6).
   • Los autores establecen que el grupo de monodromía $P\Gamma_4$ está generado por estas hexarreflexiones.
   • Utilizando álgebra computacional (Magma), muestran que el homomorfismo desde el grupo de Artin $A(\tilde{E}_6)$ (que se aplica sobre $\pi_1(\mathcal{C})$) hacia el grupo de Weyl $W(E_6)$ es único salvo automorfismos internos.
   • Demuestran que cualquier automorfismo de $\pi_1(\mathcal{C})$ debe mapear los generadores (meridianos) a elementos que son elípticos en $P\Gamma_4$ y poseen propiedades de orden específicas (dividiendo a 6).
   • Crucialmente, prueban que la imagen de cualquier tal automorfismo aplicado a los generadores del núcleo debe estar contenida en $K$, estableciendo que $K$ es invariante bajo todos los automorfismos del grupo.

2. Teorema 1.1 (Rigidez Geométrica):
   El grupo $\text{Aut}(\mathcal{C})$ de automorfismos biholomorfos del espacio de módulos de superficies cúbicas complejas suaves es trivial.

   • Estrategia de Demostración:
     • Sea $f \in \text{Aut}(\mathcal{C})$. Esto induce un automorfismo externo $\phi$ de $\pi_1(\mathcal{C})$.
     • Por el Teorema 1.2, $\phi(K) = K$. En consecuencia, $f$ se eleva a un automorfismo biholomorfo $\tilde{f}$ del espacio recubridor $\mathbb{B}^4 \setminus \mathcal{H}$.
     • Dado que $\tilde{f}$ es una aplicación holomorfa acotada en $\mathbb{C}^4$ y el conjunto singular $\mathcal{H}$ es un subconjunto analítico de densidad nula, el Teorema de Extensión de Riemann permite que $\tilde{f}$ se extienda a una aplicación holomorfa $\hat{f}: \mathbb{B}^4 \to \mathbb{C}^4$.
     • Por continuidad y el Teorema de la Aplicación Abierta, $\hat{f}$ mapea $\mathbb{B}^4$ en sí mismo, lo que implica $\hat{f} \in \text{Aut}(\mathbb{B}^4) = \text{PU}(4, 1)$.
     • La aplicación elevada $\hat{f}$ normaliza el retículo $P\Gamma_4$.
     • Por el Corolario 2.3 (derivado de la rigidez de Mostow–Prasad y la maximalidad del retículo), el orbifolde $X$ no admite automorfismos holomorfos no triviales.
     • Por lo tanto, el automorfismo inducido en $X$ es trivial, lo que implica que $f$ es trivial.

Significado y Afirmaciones
El artículo afirma demostrar que la estructura teóricogrupal de $\pi_1(\mathcal{C})$ "recuerda" el divisor geométrico $D$ de superficies cúbicas nodales. Esto permite a los autores eludir la falta de simetría local en el propio $\mathcal{C}$ aprovechando la rigidez de la variedad localmente simétrica ambiente $X$.

Los autores sitúan su resultado como un complemento a los teoremas clásicos de rigidez para $M_g$ y $A_g$. Señalan que, mientras que la estrategia para $A_g$ se basa en que el espacio sea una variedad localmente simétrica, la estrategia para $\mathcal{C}$ requiere demostrar que los automorfismos del complemento "recuerdan" el divisor. El artículo afirma explícitamente que esto no es cierto para complementos de divisores generales (proporcionando un contraejemplo con una curva de género 2), lo que hace esenciales las propiedades específicas del espacio de módulos de superficies cúbicas.

Los autores también reconocen un enfoque alternativo utilizando el "divisor de Eckardt" (que parametriza superficies con puntos de Eckardt), el cual, según señalan, fue sugerido por Curt McMullen. Sin embargo, argumentan que su enfoque principal a través del divisor nodal es superior porque produce el resultado teóricogrupal más fuerte (Teorema 1.2) sobre la naturaleza característica del núcleo, mientras que el enfoque de Eckardt depende de propiedades geométricas específicas de ese divisor que podrían no generalizarse con tanta facilidad.

Limitaciones y Direcciones Futuras
El artículo enmarca modestamente sus resultados dentro de un programa más amplio de estudio de la rigidez para complementos de divisores de variedades localmente simétricas. Señala que, aunque sus métodos, combinados con la superrigidez de Margulis, pueden clasificar los automorfismos para casos de tipo IV, el caso de cociente de bola (como en este artículo) depende de la naturaleza especial de las autointersecciones del divisor $D$. Los autores plantean preguntas abiertas sobre el grupo de automorfismos externos $\text{Out}(\pi_1(\mathcal{C}))$ y el conmensurador abstracto, sugiriendo que estos aspectos permanecen por resolverse completamente.