Groups of order 64 and non-homeomorphic double Kodaira fibrations with the same biregular invariants

Resumo Técnico

1. Problema e Contexto

O artigo investiga a classificação de fibras de Kodaira duplas (double Kodaira fibrations), que são superfícies complexas compactas $S$ que admitem duas fibradas holomorfas não-isotriviais $f_1: S \to B_1$ e $f_2: S \to B_2$. O foco central é a construção e classificação de fibras de Kodaira duplas diagonais, obtidas a partir de recobrimentos Galoisianos de produtos de curvas Riemannianas ramificados sobre a diagonal.

O problema fundamental abordado é a existência de famílias de superfícies de tipo geral que compartilham:

• Os mesmos gêneros da base e da fibra;
• Os mesmos invariantes biregulares (como $p_g$, $q$, $K^2_S$);
• Os mesmos números de Betti;
• Mas possuem grupos fundamentais diferentes (e, portanto, não são homeomorfas nem homotopicamente equivalentes).

O trabalho estende resultados anteriores dos autores (que classificaram grupos de ordem até 32) para grupos de ordem 64, buscando determinar quais grupos finitos admitem estruturas algébricas específicas necessárias para gerar tais superfícies.

2. Metodologia

A abordagem do artigo baseia-se na "detopologização" do problema geométrico, transformando-o em um problema puramente algébrico e combinatório.

• Estruturas de Kodaira Duplas Diagonais: A existência de uma fibra de Kodaira dupla diagonal associada a um grupo $G$ é equivalente à existência de um epimorfismo admissível $\phi: P_2(\Sigma_b) \to G$, onde $P_2(\Sigma_b)$ é o grupo de tranças puras de duas cordas sobre uma superfície de Riemann $\Sigma_b$ de gênero $b$.
• Definição Algébrica: O problema reduz-se à busca de um conjunto ordenado de geradores em $G$ (uma "estrutura diagonal de Kodaira dupla") que satisfaça relações específicas derivadas do grupo de tranças, incluindo uma condição de ramificação sobre a diagonal (o elemento $z$ deve ter ordem $n \ge 2$).
• Filtros Teóricos de Grupos:
  • Grupos CCT: O artigo demonstra que grupos CCT (Center Commutative-Transitive) não admitem tais estruturas. Isso elimina a maioria dos grupos pequenos.
  • Grupos Monolíticos vs. Não-Monolíticos:
    • Se $G$ é não-monolítico, qualquer estrutura em $G$ é um "levantamento" (lifting) de uma estrutura em um quociente próprio. Isso permite descartar muitos casos, focando apenas em grupos que possuem quocientes especiais (como grupos extra-especiais de ordem 32).
    • Se $G$ é monolítico, as estruturas são "novas" e não derivam de quocientes menores, exigindo análise direta.
• Ferramentas Computacionais: Para grupos de ordem 64 (dos quais existem 267 grupos não-abelianos), a análise manual é inviável. Os autores utilizaram o sistema de álgebra computacional GAP4, implementando um script personalizado (CheckStructures) para enumerar e classificar as estruturas em cada grupo candidato.

3. Contribuições Principais e Resultados

A. Classificação Algébrica (Teorema A)
Os autores provam que não existem grupos de ordem entre 33 e 63 que admitam estruturas de Kodaira duplas diagonais. Para a ordem 64, a classificação é completa:

• Existem exatamente 7 grupos (identificados pelo SmallGroup ID do GAP) que admitem tais estruturas:
  • 5 grupos não-monolíticos: $G(64, 199), G(64, 200), G(64, 201), G(64, 264), G(64, 265)$. Estes são extensões centrais de grupos extra-especiais de ordem 32.
  • 2 grupos monolíticos: $G(64, 249)$ e $G(64, 266)$. Estes são casos genuinamente novos, não derivados de quocientes menores.
• Para todos esses casos, o parâmetro de ramificação é $n=2$ e o subgrupo comutador $[G, G]$ é isomorfo a $\mathbb{Z}_2$.

B. Invariantes Geométricos e Topológicos (Teorema B)
Os autores calcularam os invariantes das superfícies $S$ associadas a essas estruturas. A tabela de resultados revela que, embora os invariantes numéricos sejam idênticos para grupos diferentes, a estrutura do grupo de homologia $H_1(S, \mathbb{Z})$ varia.

• Invariância: Todos os casos resultam em $K^2_S = 736$, $c_2(S) = 320$, $\sigma(S) = 32$, e gêneros de fibra $g_1=g_2=81$ (para grupos não-monolíticos) ou $41$ (para monolíticos).
• Variação Crítica: No caso do grupo $G(64, 266)$, existem duas possibilidades distintas para a parte de torção de $H_1(S, \mathbb{Z})$:
  1. $\mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^3$
  2. $\mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^2 \oplus \mathbb{Z}_4$

C. Construção de Famílias Não-Homeomorfas (Corolário C)
A aplicação geométrica mais significativa é a construção de duas famílias tridimensionais de superfícies de Kodaira duplas ($\mathcal{F}_1$ e $\mathcal{F}_2$) com:

• Mesmos gêneros de base ($b_1=b_2=3$) e fibra ($g_1=g_2=41$).
• Mesmos invariantes biregulares ($p_g=93, q=6, K^2=736$).
• Mesmos números de Betti ($b_1=12, b_2=342$).
• Diferentes grupos fundamentais (e diferentes partes de torção em $H_1$), provando que elas não são homotopicamente equivalentes.

4. Significado e Impacto

Este trabalho representa um avanço significativo na geometria algébrica e na topologia de variedades complexas:

1. Primeiro Exemplo Explícito: Fornece o primeiro exemplo conhecido de famílias de dimensão positiva de superfícies de Kodaira duplas que compartilham todos os invariantes numéricos e topológicos clássicos, mas diferem no grupo fundamental.
2. Limites dos Invariantes Clássicos: Demonstra que invariantes como $p_g, q, K^2$ e os números de Betti são insuficientes para classificar completamente superfícies de tipo geral até a equivalência homotópica.
3. Conexão Álgebra-Geometria: Estabelece uma ponte robusta entre a teoria de grupos finitos (especificamente a classificação de grupos de ordem 64 e suas estruturas de tranças) e a construção de superfícies complexas com propriedades topológicas sutis.
4. Método Computacional: Valida o uso de ferramentas computacionais (GAP) para resolver problemas de classificação em geometria algébrica que são intratáveis manualmente devido à complexidade combinatória.

Em suma, o artigo resolve um problema de classificação algébrica para grupos de ordem 64 e utiliza essa solução para gerar contra-exemplos sofisticados à intuição de que invariantes numéricos fixos implicam equivalência topológica em superfícies complexas.