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

Aquí presento un resumen técnico detallado del artículo "Grupos de orden 64 y fibraciones de Kodaira dobles no homeomorfas con los mismos invariantes biregulares", de Francesco Polizzi y Pietro Sabatino.

1. Planteamiento del Problema

El objetivo central de la investigación es la construcción y clasificación de fibraciones de Kodaira dobles (superficies complejas compactas $S$ que admiten dos fibraciones holomorfas sobre curvas de Riemann) que compartan los mismos invariantes algebraicos y topológicos clásicos, pero que sean no homeomorfas (específicamente, no equivalentes homotópicamente).

El problema se enmarca en la intersección de la geometría algebraica y la topología geométrica. Los autores buscan:

• Encontrar familias de superficies con el mismo género de base ($b_1, b_2$), mismo género de fibra ($g_1, g_2$), mismos invariantes biregulares ($p_g, q, K^2_S$) y mismos números de Betti.
• Demostrar que, a pesar de compartir estos invariantes, estas superficies pueden tener grupos fundamentales diferentes, lo que implica que no son homeomorfas.
• El enfoque se centra en el caso de fibraciones de Kodaira dobles diagonales, construidas a partir de recubrimientos Galois de productos de curvas ramificados sobre la diagonal.

2. Metodología: "Des-topologización" y Estructuras Algebraicas

Los autores transforman un problema geométrico-topológico en uno puramente algebraico y combinatorio mediante el siguiente proceso:

1. Grupos de trenzas de superficie: Se utiliza el hecho de que el grupo fundamental del producto de dos curvas menos la diagonal, $\pi_1(\Sigma_b \times \Sigma_b - \Delta)$, es isomorfo al grupo de trenzas puras de dos hebras $P_2(\Sigma_b)$.
2. Epimorfismos admisibles: La existencia de una fibración de Kodaira doble diagonal corresponde a la existencia de un epimorfismo de grupos $\phi: P_2(\Sigma_b) \to G$, donde $G$ es un grupo finito no abeliano. La condición de ramificación sobre la diagonal implica que la imagen del lazo que rodea la diagonal ($\gamma_\Delta$) tiene orden $n \ge 2$ en $G$.
3. Estructuras de Kodaira Diagonal Dobles (DDKS): Se define algebraicamente una estructura de Kodaira diagonal doble de tipo $(b, n)$ sobre un grupo $G$ como un conjunto ordenado de $4b+1$ generadores que satisfacen relaciones específicas derivadas de la presentación de $P_2(\Sigma_b)$.
4. Filtrado de Grupos:
   • Se descartan los grupos CCT (grupos donde la conmutatividad es transitiva en elementos no centrales), ya que no admiten tales estructuras.
   • Se analiza la propiedad de ser monolítico (grupos que tienen un único subgrupo normal minimal no trivial). Se demuestra que si un grupo no es monolítico, cualquier estructura sobre él es un "levantamiento" de una estructura sobre un cociente propio.
   • El trabajo previo ([PolSab22]) clasificó los grupos de orden $\le 32$. Este artículo extiende el análisis a grupos de orden 64.

3. Contribuciones Clave y Resultados Principales

A. Clasificación de Grupos de Orden 64 (Teorema A)

Los autores demuestran que no existen grupos de orden entre 33 y 63 que admitan estructuras de Kodaira diagonal doble. Para el orden 64, clasifican completamente los grupos que sí admiten tales estructuras. Hay exactamente 7 grupos (identificados por sus etiquetas en la base de datos GAP4) que admiten estas estructuras:

• Casos No Monolíticos (5 grupos): $G(64, 199), G(64, 200), G(64, 201), G(64, 264), G(64, 265)$.
  • En estos casos, las estructuras se obtienen como levantamientos de estructuras sobre grupos extra-especiales de orden 32 ($G(32, 49)$ o $G(32, 50)$).
• Casos Monolíticos (2 grupos): $G(64, 249)$ y $G(64, 266)$.
  • Estos casos son particularmente interesantes porque las estructuras son "nuevas"; no provienen de levantamientos de cocientes.

B. Cálculo de Invariantes Geométricos (Teorema B)

Para cada uno de los 7 grupos anteriores, los autores calculan los invariantes de la superficie total $S$ asociada a la fibración. Utilizando fórmulas de Hurwitz y propiedades de los recubrimientos, determinan:

• El grupo de homología primera $H_1(S, \mathbb{Z})$.
• La irregularidad $q(S)$, el género geométrico $p_g(S)$, el cuadrado de la clase canónica $K^2_S$ y el número de Chern $c_2(S)$.
• El género de las curvas base ($b_1, b_2$) y de las fibras ($g_1, g_2$).

Hallazgo crucial: Para todos los grupos de orden 64, los invariantes biregulares y los números de Betti son idénticos dentro de ciertos grupos, pero la estructura del grupo de homología $H_1(S, \mathbb{Z})$ varía.

C. Construcción de Familias No Homeomorfas (Corolario C)

El resultado más significativo es la construcción de dos familias de dimensión 3 ($\mathcal{F}_1$ y $\mathcal{F}_2$) de superficies fibradas de Kodaira dobles asociadas al grupo $G(64, 266)$. Estas familias presentan:

• Mismos invariantes: $b_1=b_2=3$, $g_1=g_2=41$, $\sigma(S)=32$, $p_g=93$, $q=6$, $K^2_S=736$.
• Mismos números de Betti: $b_0=b_4=1$, $b_1=b_3=12$, $b_2=342$.
• Diferencia fundamental: Tienen partes de torsión diferentes en su grupo de homología primera $H_1(S, \mathbb{Z})$:
  • En $\mathcal{F}_1$: $H_1(S, \mathbb{Z}) \cong \mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^3$.
  • En $\mathcal{F}_2$: $H_1(S, \mathbb{Z}) \cong \mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^2 \oplus \mathbb{Z}_4$.

4. Significado e Impacto

• Primera Ejemplo Explícito: Según los autores, este es el primer ejemplo explícito de familias de dimensión positiva de superficies fibradas de Kodaira (dobles) que comparten todos los invariantes clásicos (géneros, invariants biregulares, números de Betti) pero que tienen grupos fundamentales diferentes (y por tanto, no son homotópicamente equivalentes).
• Limitaciones de los Invariantes Clásicos: El trabajo demuestra que los invariantes tradicionales de la geometría algebraica y la topología de variedades de dimensión 4 no son suficientes para clasificar estas superficies hasta la homeomorfía. La estructura del grupo fundamental (y su abelianización) es un invariante crucial.
• Herramientas Computacionales: El estudio requirió el uso intensivo del sistema de álgebra computacional GAP4. Los autores desarrollaron scripts específicos (CheckStructures) para verificar la existencia de estructuras en miles de grupos, destacando la necesidad de herramientas computacionales en la clasificación de grupos finitos y sus aplicaciones geométricas.
• Nuevas Estructuras Algebraicas: La identificación de estructuras "nuevas" en los grupos monolíticos de orden 64 ($G(64, 249)$ y $G(64, 266)$) abre nuevas direcciones en la teoría de representaciones de grupos de trenzas de superficie sobre grupos finitos.

En resumen, el artículo cierra la clasificación de grupos de orden 64 que admiten fibraciones de Kodaira dobles diagonales y utiliza este resultado algebraico para resolver un problema abierto en topología algebraica: la existencia de variedades complejas con invariantes idénticos pero topologías fundamentales distintas.