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

1. Problématique et Contexte

L'article s'attaque au problème de la classification topologique (côté Betti) des connexions plates méromorphes à singularités irrégulières sur une variété complexe $X$ par rapport à un diviseur à croisements normaux simples (SNC) $D$.

• Le défi : La correspondance de Riemann-Hilbert irrégulière établit que ces connexions sont classifiées par des systèmes locaux filtrés par Stokes sur un espace de bord réel (souvent réalisé par l'éclatement orienté réel le long de $D$). Cependant, les modèles existants sont souvent présentés de manière analytique ou comme des empilements (stacks) définis par descente, laissant le groupeïde sous-jacent explicite implicite.
• La nécessité : Pour des applications géométriques strictes (comme les formalismes de Tannakia ou de piles de Betti), il est crucial d'avoir un modèle de groupeïde strict, petit et explicite, compatible avec la stratification SNC et la ramification de Kummer (tame/wild).
• L'obstacle dimensionnel : En dimension supérieure, la géométrie du bord est logarithmique et la couche de ramification tame (Kummer) interagit avec la couche de Stokes "sauvage" le long des strates de profondeur arbitraire. Il faut un cadre qui gère simultanément la géométrie directionnelle, la ramification tame et les sauts de Stokes.

2. Méthodologie

L'auteur développe une approche strictement 1-catégorique et basée sur les recouvrements (cover-based) pour construire un présentateur explicite des torsors de Stokes.

A. Cadre Logarithmique et Kummer

• L'auteur travaille sur l'espace de Kato-Nakayama $X^{\log}$ et sa version de niveau $n$, $X^{\log}_n$, qui encode les directions angulaires autour des composantes de $D$.
• Le niveau $n$ introduit une ramification de Kummer avec un groupe de Galois $(\mu_n)^k$ le long des strates de profondeur $k$.

B. Construction du Groupeïde "Pushout"

Le cœur de la méthodologie est la construction d'un groupeïde de pushout 2-catégorique ($G_{\Phi,n}$) qui assemble deux modèles locaux :

1. L'intérieur ($U = X \setminus D$) : Représenté par un groupeïde de Čech classique $G_U$ associé à un bon recouvrement de $U$. Ses représentations correspondent aux systèmes locaux ordinaires.
2. Le collier (Collar) : Autour du diviseur, sur un voisinage $N^\times$, l'auteur définit un groupeïde de Čech-Stokes $G_C$.
   • Contrairement aux approches classiques où l'on considère les représentations de $G_C$, l'auteur montre que le bon objet modulaire est le groupeïde des sections strictes d'une projection de forgetful $\pi : G_C \to \check{C}(B)$ (où $\check{C}(B)$ est le groupeïde de Čech du recouvrement du bord).
   • Ces sections correspondent aux torsors de Stokes (ou cocycles de Čech non abéliens à valeurs dans le faisceau de Stokes $St_\Phi$).

C. Le Pushout

Le présentateur global est défini par le pushout 2-catégorique :
$$G_{\Phi,n} := G_U \sqcup_{G_\times} G_C$$
où $G_\times$ est le groupeïde de recouvrement sur l'intersection (le collier intersecté avec l'intérieur). Ce pushout encode le recollement des monodromies intérieures avec les torsors de Stokes le long du bord.

3. Contributions Clés et Résultats Principaux

Théorème Principal (Théorème 1.1 / 7.11)

Il existe une équivalence naturelle de groupeïdes :
$$\text{Repr}(G_U) \times^{(2)}_{\text{Repr}(G_\times)} \text{Sec}(\pi) \simeq \text{Stokes}_r(X^{\log}_n; D, \Phi)$$
Cela signifie que les objets globaux de Stokes sont classifiés par les représentations du groupeïde pushout $G_{\Phi,n}$, où la condition de recollement sur le bord est imposée via les sections de $\pi$ plutôt que par des représentations directes de $G_C$.

Caractéristiques Techniques

1. Modèle Strict et Explicite : La construction fournit un présentateur de groupeïde strict (pas de "stack" implicite), adapté aux strates SNC.
2. Compatibilité Kummer : Le modèle rend la descente de Kummer visible et explicite. Sur une strate de profondeur $k$, le groupe de deck $(\mu_n)^k$ agit sur le présentateur, et les contraintes de descente s'expriment comme des conditions d'équivariance sur les cocycles (Théorème 9.10 et 11.23).
3. Modèles Squelettiques (Skeletal Models) : L'auteur remplace les recouvrements de Čech par des triangulations stratifiées (ou squelettes CW) adaptées aux murs de Stokes.
   • Les torsors de Stokes sont alors encodés par des étiquettes sur les arêtes d'un squelette 2-dimensionnel, soumises à des relations sur les faces 2 (Théorème 11.13).
   • Cela réduit le problème à un système fini de générateurs et relations (cocycles non abéliens modulo gauge aux sommets).
4. Invariance de Morita : Le présentateur est canonique à équivalence de Morita près. Le choix du recouvrement ou de la triangulation ne change pas la classe de Morita du présentateur, garantissant l'indépendance par rapport aux choix auxiliaires (Corollaire 1.2, Proposition 11.19).

Exemple Concret (Courbes)

Dans le cas des courbes (dimension 1), l'article détaille explicitement la structure du groupeïde près d'un pôle. Il montre comment le présentateur global se décompose en un pushout entre le groupe fondamental de la surface ouverte et un groupeïde additif sur le cercle de directions, reliant ainsi les modèles de Babbitt-Varadarajan (cocycles de Stokes) et les modèles de Lie de GLP (groupoïdes à une carte).

4. Signification et Implications

• Unification des approches : Ce travail fait le pont entre la description analytique classique (faisceaux de Stokes, cohomologie non abélienne) et les formalismes modernes de géométrie algébrique (piles, catégories de représentations de groupeïdes).
• Calculabilité : En fournissant un modèle squelettique fini (générateurs et relations), l'article rend le problème de Stokes calculable et adapté à l'algorithmique ou à l'étude des propriétés de finitude.
• Outil pour la Géométrie : Ce présentateur explicite est un ingrédient essentiel pour :
  • L'étude des structures symplectiques/Poisson sur les espaces de modules de Stokes.
  • La construction de piles de Betti pour les connexions irrégulières.
  • Les généralisations vers la théorie des champs topologiques ou les théories de jauge complexes.
• Généralisation en Dimension Supérieure : Contrairement aux travaux antérieurs souvent restreints aux courbes, cette approche fonctionne en toute dimension pour les diviseurs à croisements normaux, gérant systématiquement l'interaction entre la ramification tame et les sauts de Stokes.

En résumé, Mauricio Corrêa propose un cadre unificateur et constructif pour la géométrie de Stokes, transformant un problème analytique complexe en un problème combinatoire de recollement de groupeïdes, ouvrant la voie à de nouvelles investigations en géométrie algébrique et en théorie des représentations.