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

Resumo Técnico: Automorfismos do Espaço de Módulos de Superfícies Cúbicas Suaves e seu Grupo Fundamental

Enunciado do Problema
O artigo aborda a rigidez do espaço de módulos $\mathcal{C}$ de superfícies cúbicas complexas suaves, considerado como um orbifold analítico complexo. Especificamente, os autores investigam o grupo $\text{Aut}(\mathcal{C})$ de automorfismos biholomórficos deste espaço. Embora resultados de rigidez para outros espaços de módulos, como o espaço de módulos de curvas ($M_g$) e variedades abelianas polarizadas principalmente ($A_g$), sejam clássicos, o espaço de módulos de superfícies cúbicas apresenta desafios únicos. Ao contrário de $A_g$, que é uma variedade localmente simétrica (um quociente de um domínio simétrico hermitiano por um grupo aritmético), $\mathcal{C}$ não é homotopicamente equivalente a uma variedade localmente simétrica. O problema central é determinar se $\mathcal{C}$ admite automorfismos não triviais e, caso não admita, estabelecer isso por meio de uma análise teórica de grupos de seu grupo fundamental $\pi_1(\mathcal{C})$.

Metodologia e Configuração Geométrica
Os autores utilizam a construção do mapa de período por Allcock, Carlson e Toledo [1], que identifica $\mathcal{C}$ com o complemento de um divisor $D$ em uma variedade localmente simétrica $X$.

• O Espaço Ambiente: $X$ é uma 4-variedade de Picard, definida como o quociente $X = \text{PU}(4, 1)(E) \backslash \mathbb{B}^4$, onde $\mathbb{B}^4$ é a bola hiperbólica complexa de dimensão 4 e $E = \mathbb{Z}[\omega]$ são os inteiros de Eisenstein.
• O Divisor: $D$ é um divisor totalmente geodésico, mergulhado em $X$, isomorfo ao espaço de módulos de superfícies cúbicas singulares com apenas singularidades nodais.
• O Isomorfismo: Existe um isomorfismo de orbifolds complexos $\mathcal{C} \cong X \setminus D$.
• Sequência do Grupo Fundamental: A inclusão $i: \mathcal{C} \hookrightarrow X$ induz uma sobrejeção nos grupos fundamentais de orbifold $i_*: \pi_1(\mathcal{C}) \to \pi_1(X) \cong \text{PU}(4, 1)(E)$. Isso produz a sequência exata:
  $$1 \longrightarrow K \longrightarrow \pi_1(\mathcal{C}) \longrightarrow \text{PU}(4, 1)(E) \longrightarrow 1$$
  Aqui, $K$ é o núcleo, identificado com $\pi_1(\mathbb{B}^4 \setminus \mathcal{H})$, onde $\mathcal{H}$ é a união dos levantamentos de $D$ para o recobrimento universal $\mathbb{B}^4$.

A estratégia dos autores baseia-se no princípio de que "a teoria de grupos lembra a geometria algébrica". Eles visam provar que o núcleo $K$ (correspondente ao divisor $D$) é um subgrupo característico de $\pi_1(\mathcal{C})$. Se $K$ for característico, qualquer automorfismo de $\pi_1(\mathcal{C})$ preserva a estrutura do complemento do divisor, permitindo que os autores levantem automorfismos de $\mathcal{C}$ para o espaço ambiente $X$.

Contribuições e Resultados Chave

1. Teorema 1.2 (Rigidez Teórico-Grupal):
   O núcleo $K$ da projeção $\pi_1(\mathcal{C}) \to \text{PU}(4, 1)(E)$ é um subgrupo característico de $\pi_1(\mathcal{C})$. Ou seja, para todo $\phi \in \text{Aut}(\pi_1(\mathcal{C}))$, $\phi(K) = K$.

   • Estratégia de Prova: A prova envolve analisar os geradores de $\pi_1(\mathcal{C})$, que são meridianos ao redor do divisor $D$ (especificamente, hexa-reflexões de ordem 6).
   • Os autores estabelecem que o grupo de monodromia $P\Gamma_4$ é gerado por essas hexa-reflexões.
   • Utilizando álgebra computacional (Magma), eles mostram que o homomorfismo do grupo de Artin $A(\tilde{E}_6)$ (que mapeia sobre $\pi_1(\mathcal{C})$) para o grupo de Weyl $W(E_6)$ é único até automorfismos internos.
   • Eles demonstram que qualquer automorfismo de $\pi_1(\mathcal{C})$ deve mapear os geradores (meridianos) para elementos que são elípticos em $P\Gamma_4$ e possuem propriedades de ordem específicas (dividindo 6).
   • Crucialmente, eles provam que a imagem de qualquer tal automorfismo aplicada aos geradores do núcleo deve residir dentro de $K$, estabelecendo que $K$ é invariante sob todos os automorfismos do grupo.

2. Teorema 1.1 (Rigidez Geométrica):
   O grupo $\text{Aut}(\mathcal{C})$ de automorfismos biholomórficos do espaço de módulos de superfícies cúbicas complexas suaves é trivial.

   • Estratégia de Prova:
     • Seja $f \in \text{Aut}(\mathcal{C})$. Isso induz um automorfismo externo $\phi$ de $\pi_1(\mathcal{C})$.
     • Pelo Teorema 1.2, $\phi(K) = K$. Consequentemente, $f$ levanta-se a um automorfismo biholomórfico $\tilde{f}$ do espaço de recobrimento $\mathbb{B}^4 \setminus \mathcal{H}$.
     • Como $\tilde{f}$ é um mapa holomorfo limitado em $\mathbb{C}^4$ e o conjunto singular $\mathcal{H}$ é um subconjunto analítico de densidade nula, o Teorema de Extensão de Riemann permite que $\tilde{f}$ se estenda a um mapa holomorfo $\hat{f}: \mathbb{B}^4 \to \mathbb{C}^4$.
     • Por continuidade e pelo Teorema do Mapeamento Aberto, $\hat{f}$ mapeia $\mathbb{B}^4$ nele mesmo, implicando $\hat{f} \in \text{Aut}(\mathbb{B}^4) = \text{PU}(4, 1)$.
     • O mapa levantado $\hat{f}$ normaliza o reticulado $P\Gamma_4$.
     • Pelo Corolário 2.3 (derivado da rigidez de Mostow–Prasad e da maximalidade do reticulado), o orbifold $X$ não admite automorfismos holomorfos não triviais.
     • Portanto, o automorfismo induzido em $X$ é trivial, implicando que $f$ é trivial.

Significado e Alegações
O artigo afirma demonstrar que a estrutura teórico-grupal de $\pi_1(\mathcal{C})$ "lembra" o divisor geométrico $D$ de superfícies cúbicas nodais. Isso permite que os autores contornem a falta de simetria local em $\mathcal{C}$ em si, aproveitando a rigidez da variedade localmente simétrica ambiente $X$.

Os autores posicionam seu resultado como um complemento aos teoremas de rigidez clássicos para $M_g$ e $A_g$. Eles observam que, enquanto a estratégia para $A_g$ depende do espaço ser uma variedade localmente simétrica, a estratégia para $\mathcal{C}$ requer provar que os automorfismos do complemento "lembrem" o divisor. O artigo afirma explicitamente que isso não é verdade para complementos de divisores em geral (fornecendo um contraexemplo com uma curva de gênero 2), tornando as propriedades específicas do espaço de módulos de superfícies cúbicas essenciais.

Os autores também reconhecem uma abordagem alternativa usando o "divisor de Eckardt" (parametrizando superfícies com pontos de Eckardt), que, notam, foi sugerido por Curt McMullen. No entanto, argumentam que sua abordagem principal via o divisor nodal é superior porque produz o resultado teórico-grupal mais forte (Teorema 1.2) sobre a natureza característica do núcleo, enquanto a abordagem de Eckardt depende de propriedades geométricas específicas desse divisor que podem não generalizar tão facilmente.

Limitações e Direções Futuras
O artigo enquadra modestamente seus resultados dentro de um programa mais amplo de estudo da rigidez para complementos de divisores de variedades localmente simétricas. Observa que, embora seus métodos, combinados com a super-rigidez de Margulis, possam classificar automorfismos para casos do tipo IV, o caso do quociente da bola (como neste artigo) depende da natureza especial das auto-interseções do divisor $D$. Os autores colocam questões abertas sobre o grupo de automorfismos externos $\text{Out}(\pi_1(\mathcal{C}))$ e o comensurador abstrato, sugerindo que estes permanecem por serem totalmente resolvidos.