Non-reduced components of global nilpotent cones

Resumen Técnico: Componentes No Reducidas de Conos Nilpotentes Globales

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la geometría algebraica y la teoría de representaciones: la estructura de las fibras del cono nilpotente global en diversas fibraciones de Hitchin y sistemas de Beauville-Mukai.

• Contexto: Se estudian espacios de móduli de haces estables (o pares de Higgs) sobre superficies $S$ (K3, abelianas, del Pezzo o espacios totales de fibrados lineales sobre curvas). Existe una aplicación de soporte $h: M \to |\beta|$ que mapea un haz a su soporte (una curva en la superficie).
• El Objeto de Estudio: El cono nilpotente global se define como la fibra $h^{-1}(rC)$, donde $C$ es una curva suave de género $g \ge 2$ y $rC$ es un divisor efectivo múltiple (clase $r[C]$). En la descripción clásica de Higgs, esto corresponde a pares $(E, \phi)$ donde el campo de Higgs $\phi$ es nilpotente.
• La Pregunta Central: ¿Son las componentes irreducibles de este cono nilpotente reducidas (es decir, ¿tienen multiplicidad 1)? La literatura previa había calculado multiplicidades para casos específicos ($r=2$), pero la situación general para $r > 2$ y en diferentes tipos de superficies permanecía abierta. El objetivo es determinar si existen componentes reducidas o si, por el contrario, el cono es "ahorahere reducido" (nowhere reduced).

2. Metodología

Los autores emplean una combinación sofisticada de técnicas geométricas y algebraicas, divididas en tres enfoques principales según el tipo de superficie y la naturaleza de las componentes:

1. Acciones de Esquemas de Grupos y Dualidad Infinitesimal:

   • Para casos donde la fibración es Lagrangiana (superficies K3, abelianas y fibraciones de Hitchin con $L=K_C$), utilizan la estructura de fibración Lagrangiana.
   • Se aprovecha la acción de un esquema de grupo (el esquema de Picard relativo) sobre el espacio de móduli.
   • Aplican un resultado de de Cataldo, Rapagnetta y Saccà que establece una dualidad infinitesimal entre la derivada de la fibración y la derivada de la acción del grupo.
   • Lógica: Si una componente es "irregular" (el soporte esquemático no coincide con el soporte de Fitting), la acción del grupo tiene un estabilizador de dimensión positiva. Por dualidad, esto implica que la derivada de la fibración no es sobreyectiva en puntos genéricos, forzando a que la componente sea no reducida.

2. Estratificación GIT (Geometric Invariant Theory) en Fibraciones de Hitchin:

   • Para fibraciones de Hitchin torcidas ($L$ con grado alto o $L=K_C$), utilizan la acción del grupo $\mathbb{G}_m$ sobre el espacio de móduli de haces de Higgs.
   • El cono nilpotente corresponde al locus inestable de esta acción.
   • Mediante la descomposición de Białynicki-Birula, estratifican el cono en subesquemas $S_m$ sobre componentes de puntos fijos $Z_m$.
   • Calculan las dimensiones de estas estratificaciones usando pesos de la acción en el espacio tangente. Demuestran que, bajo ciertas condiciones de grado, todas las componentes de dimensión máxima son "genéricamente regulares" (regular components), eliminando la posibilidad de componentes irregulares de dimensión máxima en ciertos casos.

3. Deformación al Cono Normal y Hilbert Schemes:

   • Para superficies de tipo Fano (del Pezzo), donde la fibración no es Lagrangiana, emplean una deformación al cono normal.
   • Deforman la superficie $S$ (del Pezzo) a la variedad total del fibrado normal $Tot(N_{C/S})$. Esto conecta el caso de superficie proyectiva con el caso de fibración de Hitchin torcida.
   • Utilizan la conexión entre el espacio de móduli de haces y el esquema de Hilbert de puntos en la curva múltiple $rC$.
   • Se basan en resultados recientes (referencia [19]) sobre la no-reducibilidad de los esquemas de Hilbert de curvas múltiples. Muestran que la multiplicidad de las componentes del esquema de Hilbert es mayor que 1 bajo ciertas condiciones aritméticas, lo cual se transfiere al cono nilpotente global.

3. Contribuciones Clave y Resultados Principales

El teorema central (Teorema 0.1) establece que, bajo condiciones de coprimalidad ($\gcd(r, \chi) = 1$), el cono nilpotente global es ahorahere reducido (ninguna de sus componentes es reducida) en los siguientes escenarios, siempre que $r > 2$ o ($r=2$ y una condición de paridad se cumple):

1. Casos Calabi-Yau (CY1 y CY2):

   • $S$ es una superficie K3 o abeliana con una clase de curva primitiva.
   • $S$ es el espacio total de un fibrado lineal $L$ sobre una curva $C$ (fibración de Hitchin torcida), donde $L$ es el fibrado canónico o tiene grado $> 2g-2$.
   • Resultado: Todas las componentes son no reducidas.

2. Casos Fano (F1 y F2):

   • $S$ es una superficie del Pezzo polarizada.
   • $S$ es el espacio total de un fibrado lineal sobre una curva con grado alto.
   • Resultado: Se demuestra que no existen componentes irregulares en estos casos (Teorema 0.4 y Proposición 4.1). Por lo tanto, la no-reducibilidad proviene exclusivamente de las componentes genéricamente regulares, las cuales se prueban no reducidas mediante la conexión con el esquema de Hilbert (Teorema 0.5).

Teorema Específico sobre Componentes Irregulares (Teorema 0.3):
En cualquier fibración Lagrangiana donde la acción del grupo de Picard es válida, cualquier componente irregular es no reducida. Esto resuelve la duda sobre la naturaleza de las componentes que no corresponden a haces de Higgs "regulares".

Teorema sobre Primitividad de Fibras (Teorema 0.7):
Utilizando la no-reducibilidad del cono nilpotente, los autores demuestran un resultado topológico fuerte:

• Para un sistema de Beauville-Mukai sobre una superficie K3, la clase de homología entera de una fibra general es primitiva (indivisible) si y solo si $r = 1$.
• Si $r > 1$, la clase de la fibra no es primitiva. Esto se debe a que la existencia de un cono nilpotente sin componentes reducidas implica que el máximo común divisor de las multiplicidades de las fibras es $\ge 2$, lo cual obstruye la primitividad de la clase de homología.

4. Significado e Impacto

• Unificación de Resultados: El artículo unifica el entendimiento de la estructura no reducida de los conos nilpotentes a través de diferentes contextos geométricos (K3, del Pezzo, fibraciones de Hitchin), mostrando que la no-reducibilidad es la regla general y no la excepción.
• Resolución de Conjeturas: Proporciona una respuesta definitiva a la pregunta sobre la existencia de componentes reducidas en rangos altos ($r > 2$) y en superficies de tipo Fano, áreas donde la información previa era escasa o inexistente.
• Conexión Topológica-Geométrica: Establece un vínculo profundo entre la geometría local (multiplicidades de componentes en el cono nilpotente) y la topología global (primitividad de clases de homología en fibraciones Lagrangianas). Esto tiene implicaciones para la existencia de secciones suaves ($C^\infty$-sections) en estas fibraciones.
• Nuevas Herramientas: La aplicación de la estratificación GIT a fibraciones de Hitchin torcidas y el uso de la deformación al cono normal para transferir propiedades de no-reducibilidad desde esquemas de Hilbert a espacios de móduli de haces representan avances metodológicos significativos.

En conclusión, el trabajo demuestra que, bajo condiciones naturales de coprimalidad, la geometría de los conos nilpotentes globales es intrínsecamente "sucia" (no reducida), lo que tiene consecuencias directas en la topología de los espacios de móduli asociados y en la teoría de sistemas integrables.