Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

Resumen Técnico: Espacios Simétricos para Grupos sobre Álgebras Involutivas y Aplicaciones a los Fibrados de Higgs

Planteamiento del Problema
El artículo aborda el desafío de generalizar la teoría de los grupos de Lie y sus espacios simétricos asociados al entorno de los anillos no conmutativos, específicamente las álgebras involutivas $(A, \sigma)$. Si bien la teoría de los grupos de Lie sobre cuerpos conmutativos está bien establecida, el caso no conmutativo presenta dificultades significativas, como la falta de un determinante canónico, lo que complica la definición de subgrupos como $SL_n$. Los autores se centran en los grupos simplécticos $Sp_2(A, \sigma)$ y los grupos ortogonales indefinidos $O(1,1)(A, \sigma)$ sobre álgebras hermíticas involutivas y sus complejizaciones. El objetivo principal es construir modelos geométricos explícitos para los espacios simétricos riemannianos $G/K$ asociados con estos grupos, describir sus espacios tangentes y difeomorfismos, y aplicar este marco a la teoría de los fibrados de Higgs para estudiar representaciones de los grupos fundamentales de superficies de Riemann.

Metodología
El artículo se divide en dos partes distintas:

• Parte 1: Modelos Geométricos de Espacios Simétricos:
  Los autores construyen y analizan sistemáticamente cuatro modelos distintos para los espacios simétricos asociados con grupos sobre álgebras hermíticas:

1. Espacio de Operadores Involutivos Indefinidos: Definido mediante operadores $J$ que satisfacen $J^2 = \text{Id}$ (o $J^2 = -\text{Id}$ para estructuras complejas) y compatibilidad con una forma sesquilineal.
2. Modelo de Espacio Proyectivo: Realizado como dominios abiertos dentro del espacio proyectivo de rectas en $A^2$ (o sus extensiones complejas/cuaterniónicas), específicamente aquellas rectas que satisfacen condiciones de positividad o isotropía relativas a las formas definitorias.
3. Modelos de Semiespacio: Cartas afines derivadas de los modelos proyectivos, identificadas con subconjuntos del álgebra $A$ (o sus extensiones) definidas por condiciones sobre las partes reales e imaginarias de los elementos (por ejemplo, $y \in A^\sigma_+$).
4. Modelos Precompactos: Dominios acotados obtenidos mediante transformaciones de Möbius de los modelos de semiespacio, análogos al modelo del balón unitario en la geometría hiperbólica.

Para cada modelo, los autores computan explícitamente los espacios tangentes (complejizados), describen la acción del grupo $G$ y su subgrupo compacto máximo $K$, y derivan los diferenciales de los difeomorfismos equivariantes que conectan estos modelos. También definen las métricas riemannianas invariantes en estos espacios. El análisis cubre grupos sobre álgebras hermíticas reales ($Sp_2(A, \sigma)$, $O(1,1)(A, \sigma)$, $A^\times$) y sus complejizaciones ($Sp_2(A^C, \sigma^C)$, $O(A^C, \sigma^C)$).

• Parte 2: Aplicaciones a los Fibrados de Higgs:
  Aprovechando los modelos geométricos de la Parte 1, los autores reinterpretan los datos de los $G$-fibrados de Higgs. Dada una representación reductiva $\rho: \pi_1(X) \to G$, el teorema de Corlette garantiza un mapa armónico $\rho$-equivariante hacia el espacio simétrico $G/K$. La tracción del fibrado tangente complejoizado produce el campo de Higgs. Al elegir diferentes modelos geométricos para $G/K$, los autores proporcionan realizaciones geométricas alternativas de los datos del fibrado de Higgs $(E, \phi)$.
  • Conteo de Componentes: Utilizando la topología de los subgrupos compactos máximos $K$ en lugar de la teoría estándar de Morse–Bott, los autores derivan conteos exactos para las componentes conexas de los espacios de módulos de fibrados de Higgs poliestables para $Sp_2(A^C, \sigma^C)$ y $O(A^C, \sigma^C)$.
  • Factorización del Morfismo de Hitchin: Los autores construyen una factorización del morfismo de Hitchin para estos grupos. Esta factorización pasa por cocientes intermedios de la Teoría de la Invariante Geométrica (GIT) afín. El mapa es inducido por mapas de norma cuadrática desde los modelos tangentes hacia álgebras de Jordan formalmente reales (específicamente, álgebras de elementos hermíticos o simétricos).

Contribuciones Clave y Resultados

1. Modelos Geométricos Explícitos: El artículo proporciona un marco unificado para realizar espacios simétricos de grupos sobre álgebras involutivas. Detalla explícitamente los espacios tangentes y los mapas de transición entre los modelos de operador, proyectivo, de semiespacio y precompacto para $Sp_2$, $O(1,1)$ y sus complejizaciones.
2. Invariantes Topológicos: Los autores establecen el número de componentes conexas y los grupos fundamentales de los grupos $Sp_2(A^C, \sigma^C)$ y $O(A^C, \sigma^C)$ en términos de la estructura del álgebra subyacente $A$ (específicamente el número de factores cuaterniónicos y complejos en su descomposición de Artin–Wedderburn).
3. Conteo de Componentes del Espacio de Módulos: Se introduce un nuevo método para contar las componentes conexas de los espacios de módulos de fibrados de Higgs mediante el análisis de la topología de los subgrupos compactos máximos, evitando la necesidad de la teoría de Morse–Bott.
4. Factorización del Morfismo de Hitchin: El artículo demuestra que el morfismo de Hitchin para los $G$-fibrados de Higgs de $Sp_2(A^C, \sigma^C)$ (y sus análogos reales) se factoriza a través de cocientes GIT intermedios. Esta factorización está gobernada por mapas de norma cuadrática hacia álgebras de Jordan.
5. Eficiencia Dimensional: Los autores muestran que los espacios objetivo de estos mapas de norma (las álgebras de Jordan complejizadas) tienen dimensiones estrictamente menores que los modelos tangentes complejos originales. Esta reducción en la complejidad algebraica permite una caracterización más explícita de la base de Hitchin y de la imagen del morfismo de Hitchin.

Significado y Reivindicaciones
El artículo sostiene que esta perspectiva no conmutativa ofrece un "diccionario geométrico" para la base de Hitchin, interpretando los diferenciales holomorfos abstractos como invariantes derivados de mapas de norma cuadrática sobre objetivos de tipo algebraico de Jordan. Los autores afirman que este enfoque es particularmente fructífero para estudiar representaciones positivas de los grupos fundamentales de superficies cerradas, motivado por generalizaciones de la positividad total.

La significancia del trabajo radica en su capacidad para:

• Unificar el tratamiento de varios grupos de Lie clásicos (tales como $Sp_{2n}(\mathbb{R})$, $O(n,n)$, $U(n,n)$, $Sp(n,n)$, etc.) bajo el paraguas de los grupos sobre álgebras involutivas.
• Proporcionar modelos explícitos y computables para los espacios simétricos en entornos no conmutativos, que anteriormente estaban menos desarrollados.
• Simplificar la complejidad algebraica involucrada en la descripción de la base de Hitchin para estos grupos mediante la factorización del morfismo de Hitchin.
• Ofrecer nuevas interpretaciones geométricas de los datos de los fibrados de Higgs que están directamente ligadas a la geometría específica de los modelos de espacios simétricos.

Los autores mantienen la modestia respecto al alcance, señalando que la factorización y los resultados de conteo de componentes son específicos para los grupos $Sp_2(A^C, \sigma^C)$ y $O(A^C, \sigma^C)$ (y sus formas reales) dentro del contexto de la teoría desarrollada, más que una solución universal para todos los grupos de Lie no conmutativos. El trabajo se presenta como un paso fundacional para futuras aplicaciones en la teoría de Hodge no abeliana y el estudio de las representaciones positivas.