Lie algebroid Connections, Moduli of $\mathcal{L}$--twisted Principal Objects and motives

Resumen Técnico: Conexiones de Algebroides de Lie, Módulos de Objetos Principales L-Torcidos y Motivos

Enunciado del Problema
El artículo aborda la construcción sistemática y el análisis geométrico de espacios de móduli para fibrados principales $G$ equipados con conexiones integrables y campos de Higgs, generalizados al contexto de algebroides de Lie. Si bien la teoría de los fibrados de Higgs clásicos (torcidos por el fibrado cotangente) y las conexiones integrables (torcidas por el fibrado tangente) está bien establecida gracias al trabajo de Simpson, Beilinson y otros, la generalización a algebroides de Lie arbitrarios $L$ permanece menos explorada, particularmente para fibrados principales.

Los desafíos específicos abordados incluyen:

1. Clasificación: Caracterizar qué algebroides de Lie admiten una estructura compatible con conexiones de fibrados principales (específicamente, algebroides de Lie algebraicos transitivos integrables).
2. Construcción de Módulos: Construir espacios de móduli para fibrados principales $G$-L-torcidos con conexiones integrables (conexiones $L$) y fibrados principales $G$-Higgs $L$-torcidos de tipo semiharmónico.
3. Geometría Global: Establecer la semiproyectividad de estos espacios de móduli, una propiedad crucial para estudiar su topología y degeneración.
4. Invariantes Motívicos: Calcular las clases de los lugares suaves de estos espacios de móduli en el anillo de Grothendieck de variedades, estableciendo así una "correspondencia de Hodge no abeliana motivica" en este contexto generalizado.

Metodología
Los autores emplean una combinación de formalismo tannakiano, Teoría de Invariantes Geométricos (GIT) y técnicas de integración motivica.

• Marco Tannakiano: El artículo extiende la descripción tannakiana de los fibrados principales de Simpson. Al demostrar que las categorías de fibrados vectoriales con conexiones $L$ integrables y fibrados de Higgs $L$-torcidos de tipo semiharmónico son categorías tannakianas neutras (siempre que $L$ sea transitivo), los autores caracterizan los fibrados principales $G$ con estas estructuras como $G$-torsos dentro de estas categorías. Esto permite reducir el problema del fibrado principal al caso de fibrados vectoriales.
• Caracterización de Algebroides de Lie: Los autores utilizan la correspondencia entre algebroides de Lie y álgebras $D$ (a través del trabajo de Tortella) y la teoría de grupoides de Lie para caracterizar algebroides de Lie algebraicos transitivos integrables.
• Construcción de Módulos: Utilizando la equivalencia tannakiana, los autores construyen espacios de móduli mediante GIT de Mumford. Definen espacios de representación enmarcados para fibrados principales y toman buenos cocientes por el grupo reditutivo $G$. Esto implica adaptar el formalismo de Simpson de $\Lambda$-módulos al contexto $L$-torcido.
• Análisis de Semiproyectividad: Para probar la semiproyectividad, los autores analizan la acción de $\mathbb{G}_m$ sobre los espacios de móduli. Utilizan el mapa de Hitchin y la descomposición de Białynicki–Birula, mostrando que los límites de las órbitas existen y que los lugares de puntos fijos son proyectivos.
• Cálculos Motívicos: Aprovechando la semiproyectividad y la suavidad de los espacios de móduli, los autores aplican resultados del anillo de Grothendieck de variedades (específicamente respecto al objeto de Lefschetz $\mathbb{L}$ y los polinomios $E$) para derivar igualdades entre las clases motivicas de los espacios de móduli de de Rham, Dolbeault y Hodge.

Contribuciones y Resultados Clave

1. Caracterización de Algebroides de Lie Transitivos Integrables:
   El artículo demuestra que un álgebra de Lie algebraica $A$ sobre una variedad proyectiva irreducible suave $X$ es algebraicamente integrable si y solo si es isomorfa al álgebra de Atiyah de un fibrado principal $G$ para algún grupo algebraico $G$ (Teorema 1.1.1). Esto generaliza un resultado conocido para variedades diferenciables a la categoría algebraica.

2. Descripción Tannakiana de Objetos Principales:
   Los autores establecen que la categoría de fibrados vectoriales con conexiones $L$ integrables y la categoría de fibrados de Higgs $L$-torcidos de tipo semiharmónico son categorías tannakianas neutras (Proposiciones 1.1.2, 3.0.4, 3.0.7). En consecuencia, proporcionan una equivalencia entre:

   • Fibrados principales $G$ con conexiones $L$ integrables y $G$-torsos en la categoría de conexiones $L$.
   • Fibrados principales $G$-Higgs $L$-torcidos y $G$-torsos en la categoría de fibrados de Higgs $L$ (Teorema 1.1.3, Lemas 3.0.6, 3.0.8).

3. Construcción de Espacios de Móduli:
   Utilizando el marco tannakiano y GIT, el artículo construye:

   • El espacio de móduli $M_{DR}^L(X, G)$ de fibrados principales $G$ con conexiones $L$ integrables.
   • El espacio de móduli $M_{Dol}^L(X, G)$ de fibrados principales $G$-Higgs $L$-torcidos de tipo harmónico.
   • El espacio de móduli de Hodge $L$-Hodge $M_{Hod}^L(X, G)$, que interpola entre los espacios de móduli de de Rham y Dolbeault sobre $\mathbb{A}^1$ (Teoremas 1.1.4, 1.1.5, 4.1.6, 4.2.5, 4.3.1). Se demuestra que todos son variedades cuasi-proyectivas.

4. Semiproyectividad:
   Un resultado central es la prueba de que $M_{Dol}^L(X, G)$ y $M_{Hod}^L(X, G)$ son variedades semiproyectivas (Teoremas 1.1.6, 5.1.4, 5.2.4). Esto se logra demostrando la existencia de límites para las órbitas de $\mathbb{G}_m$ y la proyectividad de los lugares de puntos fijos, extendiendo resultados previos para fibrados vectoriales al contexto de fibrados principales.

5. Correspondencia de Hodge No Abeliana Motivica:
   Para los lugares suaves de estos espacios de móduli (denotados con un sombrero, ej. $\widehat{M}$), el artículo establece igualdades en el anillo de Grothendieck completado de variedades $\hat{K}(\text{Var}_{\mathbb{C}})$:

   • $[\widehat{M}_{DR}^L(X, G)] = [\widehat{M}_{Dol}^L(X, G)]$
   • $[\widehat{M}_{Hod}^L(X, G)] = \mathbb{L} [\widehat{M}_{Dol}^L(X, G)]$
     Estas igualdades implican identidades correspondientes para los polinomios $E$ e isomorfismos de estructuras de Hodge mixtas (Teorema 1.1.7, 6.0.6).

Significado y Afirmaciones
El artículo afirma proporcionar un marco sistemático de teoría de móduli que unifica el estudio de fibrados principales con conexiones integrables y fibrados de Higgs en el contexto de algebroides de Lie. Al extender el formalismo tannakiano a este contexto, los autores generalizan con éxito la construcción de espacios de móduli desde fibrados vectoriales hasta fibrados principales.

El significado del trabajo radica en:

• Generalización: Ir más allá del caso clásico del fibrado tangente hacia algebroides de Lie transitivos arbitrarios, abarcando así conexiones logarítmicas y otras estructuras torcidas.
• Control Geométrico: Probar la semiproyectividad, lo cual es esencial para comprender la topología y la degeneración de estos espacios de móduli, una propiedad que previamente se había establecido para fibrados vectoriales pero que requería nuevos argumentos para fibrados principales.
• Perspectiva Motivica: Establecer una correspondencia de Hodge no abeliana motivica para fibrados principales sobre algebroides de Lie, mostrando que las clases motivicas de los espacios de móduli de de Rham y Dolbeault coinciden en sus lugares suaves.

Los autores señalan que su construcción depende actualmente de que $L$ sea un álgebra de Lie transitiva. Identifican la construcción de espacios de móduli para algebroides de Lie arbitrarios (no transitivos) como una cuestión abierta para trabajos futuros, particularmente para los casos de rango uno y rango dos.