Jordan bounds for volume-preserving Cremona groups

Resumen Técnico del Artículo: "JORDAN BOUNDS FOR VOLUME-PRESERVING CREMONA GROUPS" de Jiahe Wang

1. Introducción y Planteamiento del Problema

El artículo aborda la propiedad de Jordan en el contexto de los grupos de Cremona (grupos de transformaciones birracionales) que preservan el volumen.

• Definición de la Propiedad de Jordan: Un grupo $G$ posee la propiedad de Jordan si existe una cota $J$ tal que todo subgrupo finito $G' \leq G$ contiene un subgrupo normal abeliano $A \trianglelefteq G'$ con índice $[G' : A] \leq J$. El mínimo de tales cotas se denomina constante de Jordan, denotada $J(G)$.
• Contexto: Se sabe que el grupo de Cremona del plano $\text{Bir}(\mathbb{P}^2)$ tiene la propiedad de Jordan (con una constante de 7200, según Yasinsky). Sin embargo, el grupo de transformaciones birracionales que preservan el volumen (o formas de volumen toricas), denotado como $\text{Bir}(\mathbb{P}^n, \Delta)$, donde $\Delta$ es el divisor de polos de la forma de volumen estándar, presenta una estructura más restringida.
• Objetivo: Determinar la constante de Jordan exacta para el grupo de Cremona preservador de volumen en dimensión 2, $\text{Bir}(\mathbb{P}^2, \Delta)$, establecer una cota para la dimensión 3, $\text{Bir}(\mathbb{P}^3, \Delta)$, y demostrar la propiedad de Jordan geométrica (débil) para $\text{Bir}(\mathbb{P}^2)$.

2. Metodología

El autor emplea una combinación de geometría algebraica biracional, teoría de superficies mínimas y análisis de complejos duales. La estrategia se basa en los siguientes pilares:

1. Regularización de Subgrupos Finitos:

   • Se utiliza el teorema de Dolgachev-Iskovskikh para regularizar cualquier subgrupo finito $G \leq \text{Bir}(\mathbb{P}^2, \Delta)$ en una superficie racional $X$ tal que $G \leq \text{Aut}(X, \omega_X)$.
   • Mediante un programa de modelos mínimos equivariante ($G$-MMP), se reduce $X$ a una superficie mínima $G$-invariante, que resulta ser o bien una superficie de Del Pezzo o un fibrado en cónicas.

2. Análisis de Pares Calabi-Yau:

   • El autor demuestra que, para grupos preservadores de volumen, la superficie regularizada $X$ admite una forma de volumen sin ceros, lo que convierte al par $(X, D_X)$ (donde $D_X$ es el divisor de polos) en un par Calabi-Yau logarítmico.
   • Se estudia la estructura del divisor $D_X$, demostrando que es un ciclo de curvas racionales suaves o una curva racional nodal.

3. Acción en el Complejo Dual:

   • Se introduce el complejo dual $\mathcal{D}(X, D_X)$, un complejo CW que codifica la intersección de las componentes del divisor $D_X$.
   • Se establece una secuencia exacta para el grupo $G$:
     $$1 \to A \to G \to G_D \to 1$$
     Donde $A$ es el núcleo de la acción (subgrupo que fija las componentes y sus intersecciones) y $G_D$ es el grupo que actúa sobre el complejo dual.
   • Lema Clave: El subgrupo $A$ es abeliano (de rango $\leq 2$ en dimensión 2). Por lo tanto, acotar la constante de Jordan de $G$ se reduce a acotar el tamaño de $G_D$.

4. Extensión a Dimensión 3 y Propiedad Geométrica:

   • Para dimensión 3, se generaliza la regularización a pares Calabi-Yau tridimensionales y se analiza la acción sobre un complejo dual homeomorfo a $S^2$.
   • Para la propiedad geométrica, se utiliza el concepto de índice de torsión de grupos de Lie compactos y reductivos para asegurar que los subgrupos abelianos estén contenidos en un toro algebraico.

3. Contribuciones Clave y Resultados Principales

A. Constante de Jordan para $\text{Bir}(\mathbb{P}^2, \Delta)$

• Teorema 1.2: La constante de Jordan para el grupo de Cremona preservador de volumen en el plano es exactamente 12.
  • $J(\text{Bir}(\mathbb{P}^2, \Delta)) = 12$.
• Justificación:
  • Se demuestra que $|G_D| \leq 12$ para superficies de Del Pezzo mínimas y fibrados en cónicas.
  • La cota es óptima: Se construye un subgrupo finito en una superficie de Del Pezzo de grado 6 cuya acción en el complejo dual es el grupo diédrico $D_6$ (orden 12). Este grupo no posee subgrupos normales abelianos de índice menor a 12 (Lema 5.2).
  • Esto representa una reducción significativa respecto a la constante de 7200 para $\text{Bir}(\mathbb{P}^2)$ general.

B. Cota para $\text{Bir}(\mathbb{P}^3, \Delta)$

• Teorema 1.3: Se establece una cota de Jordan para el grupo tridimensional preservador de volumen.
  • $J(\text{Bir}(\mathbb{P}^3, \Delta)) \leq 144$.
• Método: Se utiliza la constante de 12 en dimensión 2 como base. Al analizar la acción sobre la esfera $S^2$ (complejo dual en dimensión 3), se descompone el grupo en un núcleo abeliano y un grupo de simetrías poliedrales (icosaédrico, octaédrico, etc.) o diédrico. La reducción a la acción en una componente del divisor (que es un par Calabi-Yau de superficie) permite aplicar el resultado de dimensión 2.

C. Propiedad de Jordan Geométrica Débil para $\text{Bir}(\mathbb{P}^2)$

• Teorema 1.4: El grupo $\text{Bir}(\mathbb{P}^2)$ satisface la propiedad de Jordan geométrica débil.
  • Esto significa que existe una cota $J$ tal que todo subgrupo finito contiene un subgrupo abeliano (no necesariamente normal) contenido en un toro algebraico de $\text{Bir}(\mathbb{P}^2)$.
  • Cota: $J_{geom} \leq 2^{11} \cdot 3^2 = 41472$.
• Significado: Resuelve una conjetura de Moraga en el caso de dimensión 2. La demostración implica reducir el grupo a superficies mínimas (Del Pezzo, fibrados en cónicas), encontrar un subgrupo abeliano de índice controlado, y luego usar el índice de torsión de grupos como $\text{PGL}_3(\mathbb{C})$ y $\text{Aut}(F_n)$ para asegurar la contención en un toro.

4. Significado e Impacto

1. Optimización de Cotas: El resultado principal reduce drásticamente la constante de Jordan conocida para el subgrupo de volumen-preservante en el plano (de 7200 a 12), revelando que la restricción de preservar la forma de volumen torica impone una estructura de grupo mucho más rígida.
2. Conexión con Geometría Calabi-Yau: El trabajo establece un puente sólido entre la teoría de grupos de Cremona y la clasificación de pares Calabi-Yau de coregularidad cero. Muestra que los grupos de automorfismos de tales pares están intrínsecamente ligados a la estructura del complejo dual.
3. Generalización a Dimensiones Superiores: Proporciona el primer paso sistemático hacia el entendimiento de la propiedad de Jordan en dimensiones superiores para grupos preservadores de volumen, ofreciendo una cota explícita para $n=3$.
4. Resolución de Conjeturas: Confirma la validez de la propiedad de Jordan geométrica débil para el grupo de Cremona plano, un problema abierto en la literatura reciente sobre la estructura de subgrupos finitos de grupos birracionales.

En resumen, el artículo de Jiahe Wang utiliza herramientas avanzadas de geometría biracional y teoría de grupos para descomponer la estructura de los grupos de Cremona preservadores de volumen, logrando cotas precisas y óptimas que destacan la simplicidad relativa de estos grupos en comparación con sus contrapartes generales.