Counting points on braid varieties and the Deligne--Simpson problem

Resumen Técnico: Conteo de Puntos en Variedades de Trenzas y el Problema de Deligne–Simpson

1. El Problema: La Versión Isoclínica del Problema de Deligne–Simpson

El problema clásico de Deligne–Simpson pregunta por la existencia de conexiones $G$-lineales (con $G$ un grupo algebraico reductivo complejo) en curvas algebraicas con singularidades prescritas en un número finito de puntos. Específicamente, se busca determinar si existe una conexión con:

• Singularidades irregulares en un conjunto de puntos (aquí, en $0$).
• Singularidades regulares en otro punto (aquí, en $\infty$).
• Monodromía prescrita en las singularidades regulares.

En este trabajo, los autores se centran en un subconjunto específico de estas conexiones conocidas como conexiones isoclínicas (también llamadas toral en literatura reciente, aunque los autores mantienen la terminología de isoclínica para consistencia con trabajos previos de Jakob y Yun). Estas conexiones tienen:

• Una singularidad irregular en $0$ con un término principal de Levelt–Turrittin semisimple regular.
• Una singularidad regular en $\infty$.
• Una pendiente (slope) $\nu = d/m$, donde $m$ es un número regular para el grupo de Weyl $W$ de $G$ y $d$ es coprimo con $m$.

Objetivo principal: Resolver el problema de Deligne–Simpson para conexiones isoclínicas en grupos de tipo excepcional ($E_6, E_7, E_8, F_4, G_2$), completando un programa iniciado por Sage et al. y Jakob–Yun, quienes ya habían resuelto el caso para grupos clásicos y $GL_n$.

2. Metodología: Correspondencia de Riemann–Hilbert y Conteo sobre Campos Finitos

La aproximación de los autores difiere de los métodos anteriores (teoría de Hodge no abeliana o álgebra lineal intrincada) y se basa en dos pilares fundamentales:

A. Correspondencia de Riemann–Hilbert y Variedades de Trenzas
Utilizando resultados recientes de Hohl y Jakob (basados en Boalch), los autores establecen una equivalencia entre:

1. El espacio de móduli de conexiones irregulares con clase irregular $A$ y monodromía $C$.
2. Una variedad de trenzas (o más precisamente, un stack de trenzas) $M(\beta_A, C)$ asociada a una trenza positiva $\beta_A$.

Para conexiones isoclínicas de pendiente $\nu = d/m$, la trenza asociada $\beta_A$ se identifica (hasta desplazamiento cíclico) con la potencia $d$-ésima de un elemento de Springer $m$-ésimo elevado a la trenza positiva:
$$\beta_A = (\tilde{w}_m)^d$$
donde $w_m$ es un elemento de Springer $m$-ésimo en el grupo de Weyl $W$, y $\tilde{w}_m$ es su elevación al monoide de trenzas positivas.

El problema de existencia se reduce entonces a determinar cuándo la intersección de la doble coseta de Bruhat asociada a esta trenza con la clase de conjugación $C$ es no vacía:
$$(B w_m B)^d \cap C \neq \emptyset$$

B. Estrategia de Conteo sobre Campos Finitos (Inspirada en Lusztig)
Siguiendo la estrategia de Lusztig para sus mapas de clases de conjugación, los autores demuestran la no vacuidad de estas variedades contando puntos sobre campos finitos $\mathbb{F}_q$.

• Utilizan la fórmula de caracteres para calcular el número de puntos fijos bajo el Frobenius: $|M((\tilde{w}_m)^d, C)^{\mathbb{F}_q}|$.
• La fórmula se reduce a una suma sobre representaciones irreducibles del grupo de Weyl $W$ y del grupo reductivo finito $G(\mathbb{F}_q)$:
  $$|M((\tilde{w}_m)^d, C)^{\mathbb{F}_q}| = \frac{1}{|G^F|} \sum_{g \in C^F} \sum_{E \in \text{Irr}(W)} q^{\nu c(E_q)} \text{tr}((T_w)^d, E_q) \text{tr}(g, \rho_E)$$
  donde $c(E_q)$ es el "contenido" de la representación, y $T_w$ son elementos del álgebra de Hecke finita.
• Implementación Computacional: Dado que los cálculos manuales son inviables para grupos excepcionales, los autores utilizan el paquete CHEVIE (para Julia) desarrollado por Jean Michel para calcular los valores de caracteres necesarios y verificar la no vacuidad de las variedades.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1):
Existe una única clase de conjugación unipotente $C_\nu \subset G$ tal que existe una conexión isoclínica de pendiente $\nu$ con monodromía unipotente $C$ si y solo si:
$$C \geq C_\nu$$
(donde $\geq$ denota el orden parcial usual en las clases de conjugación unipotente: $C \geq C'$ si $C$ contiene la clausura de $C'$).

• Si $\nu > 1$, entonces $C_\nu = \{1\}$.
• Si $\nu < 1$ y $G$ es de tipo excepcional, las clases $C_\nu$ se listan explícitamente en el apéndice del artículo.

Nuevos Ejemplos de Conexiones Rígidas:
Como subproducto, los autores identifican nuevas conexiones isoclínicas que son cohomológicamente rígidas. Demuestran que estas conexiones son también físicamente rígidas (es decir, sus variedades de móduli correspondientes son puntos únicos), completando tablas parciales previas de Jakob y Yun.

Realización Explícita (Conjetura de Sage):
Los autores confirman parcialmente la Conjetura 5.7.(2) de Sage (2024) demostrando que las conexiones de Coxeter $G$ con monodromía mínima tienen la monodromía local esperada ($\exp(N_d) = C_{d/h}$), validando así realizaciones explícitas de las conexiones cuya existencia garantiza el teorema principal.

4. Significado e Impacto

1. Resolución de Casos Excepcionales: El trabajo cierra la brecha en la comprensión del problema de Deligne–Simpson para grupos de tipo excepcional, un área donde los métodos geométricos clásicos (como variedades de cuaterniones) son difíciles de aplicar.
2. Puente entre Teoría de Representaciones y Geometría: El artículo refuerza la conexión profunda entre la teoría de representaciones de grupos finitos de tipo Lie (álgebras de Hecke, caracteres de $G(\mathbb{F}_q)$) y la geometría de las conexiones diferenciales irregulares.
3. Generalización del Método de Lusztig: Muestra que la técnica de contar puntos sobre campos finitos, originalmente usada por Lusztig para mapear clases de conjugación en $W$ a clases unipotentes en $G$, es aplicable a problemas más complejos que involucran potencias de doble cosetas de Bruhat y trenzas periódicas, no solo elementos de longitud mínima.
4. Herramientas Computacionales: Destaca el papel crucial de la computación algebraica (paquetes GAP y CHEVIE) en la resolución de problemas teóricos modernos en geometría algebraica y teoría de grupos.

En conclusión, este artículo proporciona una solución completa y constructiva para el problema de existencia de conexiones isoclínicas en grupos excepcionales, utilizando una síntesis elegante de la correspondencia de Riemann–Hilbert, teoría de trenzas y teoría de caracteres sobre campos finitos.