A Čech--Stokes Pushout Groupoid: a Log/Kummer Betti Presenter for Stokes Torsors

Resumen Técnico

1. El Problema

El artículo aborda la clasificación y presentación explícita de conexiones planas meromorfas con singularidades irregulares prescritas a lo largo de un divisor de cruces normales simples (SNC) $D$ en una variedad compleja $X$.

• Contexto: En la correspondencia de Riemann-Hilbert irregular, los objetos de tipo Betti (lados topológicos) se describen mediante sistemas locales filtrados por Stokes en un espacio de borde real (como la "explosión orientada real" o el espacio de Kato-Nakayama).
• Dificultad: En dimensiones superiores, la geometía del borde es logarítmica y compleja. La interacción entre la ramificación "tame" (Kummer) a lo largo de las estratos de $D$ y los "saltos" de Stokes (glueado no abeliano) en las superposiciones sectoriales requiere un manejo functorial cuidadoso.
• Limitación de enfoques previos: Las presentaciones existentes a menudo son analíticas, se definen como stacks implícitos mediante descenso, o carecen de un modelo de grupoide estricto y pequeño que sea compatible con la estructura de cruces normales y el nivel de Kummer. Esto dificulta aplicaciones que requieren "pegado" estricto a lo largo de cubiertas (por ejemplo, en formalismos de Tannakia o stacks de Betti).

2. Metodología

El autor desarrolla un modelo estrictamente 1-categórico y basado en cubiertas (cover-based) para presentar los torsores de Stokes globales. La metodología se basa en los siguientes pilares:

• Realización Betti Logarítmica: Se trabaja sobre el espacio de Kato-Nakayama $X^{\log}$ y su variante de nivel $n$ (cubierta de Kummer) $X^{\log}_n$. Esto permite codificar uniformemente las direcciones angulares alrededor de los componentes de $D$ y la ramificación tame.
• Descomposición del Espacio: Se divide el espacio en dos regiones:
  1. Interior ($U = X \setminus D$): Donde la conexión es un sistema local ordinario.
  2. Collar Puncturado ($N^\circ$): Una vecindad del borde logarítmico donde se define la estructura de Stokes.
• Construcción de Grupoide:
  • Se define un grupoide Čech $G_U$ para el interior.
  • Se define un grupoide Čech-Stokes $G_C$ para el collar, que es una extensión del grupoide Čech del borde por el sheaf de Stokes ($St_\Phi$).
  • Punto Clave Metodológico: En lugar de usar representaciones del grupoide decorado $G_C$ (que codificaría monodromía en los grupos de Stokes), el autor identifica que el módulo correcto de Stokes en el collar es el grupoide de secciones $\text{Sec}(\pi)$ de la proyección olvidadiza $\pi: G_C \to \check{C}(B)$. Esto hace que la capa de Stokes sea estrictamente functorial y basada en cubiertas.
• Construcción de Pushout: Se construye un 2-pushout explícito en la categoría de grupos pequeños ($\mathbf{Grpd}$):
  $$G_{\Phi,n} := G_U \sqcup_{G_\times} G_C$$
  donde $G_\times$ es el grupoide de superposición. Este pushout amalgama la monodromía interior con los torsores de Stokes del borde a través de sus restricciones comunes.

3. Contribuciones Clave

1. Presentación Explícita y Estricta: Se proporciona un modelo de grupoide pequeño y estricto ($G_{\Phi,n}$) que presenta los objetos globales de Stokes. A diferencia de los stacks, este es un objeto combinatorio manejable.
2. Identificación del Módulo de Collar: Se demuestra que el módulo de Stokes en el collar no es $\text{Repr}(G_C)$, sino $\text{Sec}(\pi)$. Esta distinción es crucial para la compatibilidad con el descenso y la gluing estricta.
3. Compatibilidad con Descenso Kummer: El modelo es functorial respecto al nivel de Kummer $n$. En estratos de profundidad $k$, el grupo de cubierta es $(\mu_n)^k$, y las condiciones de descenso para los objetos de Stokes se expresan como condiciones de cociclos equivariantes en el esqueleto del grupoide.
4. Modelos Esqueletales Finitos: Se construyen modelos combinatorios finitos (basados en triangulaciones estratificadas o "skeletons") que reducen el problema a cociclos no abelianos en una red de 1-celdas (aristas) sujetos a relaciones en 2-celdas (caras), módulo transformaciones de gauge en vértices.
5. Invarianza de Morita: Se prueba que la construcción es canónica hasta equivalencia de Morita, independientemente de la elección de las cubiertas o triangulaciones, garantizando que la clase de isomorfismo del objeto es intrínseca.

4. Resultados Principales

• Teorema 1.1 (Equivalencia de Grupoide): Existe una equivalencia natural de grupoides:
  $$\text{Repr}(G_U) \times^{(2)}_{\text{Repr}(G_\times)} \text{Sec}(\pi) \simeq \text{Stokes}_r(X^{\log}_n; D, \Phi)$$
  Esto formaliza que un objeto global de Stokes se obtiene pegando un sistema local en $U$ con un torsor de Stokes en el collar, compatible en la intersección.
• Teorema 11.15 (Presentador Esqueletal Global): Los objetos globales de Stokes están clasificados por las representaciones torsoriales corregidas por Stokes del presentador esqueletal $G^{\text{sk}}_{\Phi,n}$.
• Descenso Kummer Visible (Teorema 11.23): En un chart de profundidad $k$, el descenso de Galois finito para los objetos de Stokes se manifiesta explícitamente como puntos fijos homotópicos ($(-)^{hG_k}$) del grupoide presentador bajo la acción del grupo de cubierta $(\mu_n)^k$. Esto convierte el problema de descenso en una condición de cociclos equivariantes explícita.
• Caso Unidimensional (Sección 10): Se ofrece un modelo completamente explícito para curvas, donde el grupoide global se describe mediante un pushout que identifica las monodromías periféricas con los productos (o sumas, en el caso aditivo) de los saltos de Stokes alrededor de los puntos singulares.

5. Significado e Impacto

• Puente entre Análisis y Topología: El trabajo traduce problemas analíticos complejos (conexiones irregulares, fenómenos de Stokes) en problemas puramente topológicos y combinatorios (cociclos no abelianos en grupoides), facilitando el uso de herramientas algebraicas y geométricas.
• Herramienta para Cálculo: Al reducir el problema a un presentador con generadores y relaciones finitos (esqueleto), el artículo habilita cálculos explícitos de módulos de Stokes, incluso en dimensiones superiores y esquinas de cruces normales, algo que antes era intratable de forma explícita.
• Fundamento para Generalizaciones: La estructura de "pushout" y la invarianza de Morita proporcionan un marco robusto para:
  • Construir stacks de Betti derivados.
  • Estudiar la estructura simpléctica/Poisson en los módulos de Stokes.
  • Conectar con la teoría de caminos de salida (exit-path) y haces constructibles.
• Unificación: Unifica la perspectiva de los sistemas locales filtrados (Sabbah), los cociclos de Stokes (Babbitt-Varadarajan) y los modelos de grupoide Lie (GLP) bajo un único marco de grupoide estricto basado en cubiertas.

En resumen, el artículo ofrece una "caja de herramientas" combinatoria y categórica para manipular y calcular objetos de Stokes irregulares en geometría algebraica compleja, resolviendo la falta de presentadores explícitos y manejables en dimensiones superiores.