🔢 mathematics

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

This paper constructs a strictly 1-categorical, cover-based Čech–Stokes pushout groupoid that provides a canonical Betti presentation for Stokes torsors of meromorphic flat connections with prescribed irregular type along a simple normal crossings divisor, explicitly computing global Stokes objects by gluing boundary Stokes moduli to the complement's Čech presenter.

Original authors: Mauricio Corrêa

Published 2026-04-22

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mauricio Corrêa

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to map a mysterious, stormy coastline. This coastline represents a complex mathematical object called a meromorphic flat connection. Most of the time, the water is calm and predictable (this is the "interior" of the map). But right at the edge, where the land meets the sea, there are violent, chaotic storms called irregular singularities.

In mathematics, these storms create a phenomenon called Stokes phenomena. It's like the wind suddenly changing direction in a way that doesn't follow the usual rules of physics. If you try to sail from the calm interior to the stormy edge, your compass (your mathematical model) gets confused unless you add special "jump" instructions to tell it how to handle the sudden shifts.

This paper, by Mauricio Corrêa, is essentially a new, ultra-clear instruction manual for building a map of these stormy coastlines. Here is how it works, broken down into simple concepts:

1. The Problem: The "Glitch" at the Edge

Imagine you have a puzzle. The center of the puzzle is easy; the pieces fit together perfectly. But the edge pieces are warped and weird.

The Interior: The calm part of the map. Mathematicians already know how to describe this using standard tools (like a regular map).
The Edge (The Divisor): The stormy part. Here, the rules break. You need special "Stokes jumps" to glue the calm interior to the chaotic edge.
The Old Way: Previous methods were like trying to describe the storm using a blurry photograph or a vague description. They worked, but they were hard to use for precise calculations or for combining different maps together.

2. The Solution: A "Pushout" Construction

The author introduces a clever way to build the map using a concept called a Pushout. Think of this as a Lego construction technique.

Piece A (The Interior): You have a Lego set representing the calm land.
Piece B (The Edge): You have a different Lego set representing the stormy sea, but this one has special "Stokes stickers" on the pieces to show where the jumps happen.
The Overlap: You have a small strip where the land and sea meet.
The Pushout: Instead of trying to force the two sets to fit perfectly, you take a third set of instructions (the "Pushout") that says: "Take Piece A and Piece B, and glue them together exactly where they overlap, keeping all the special stickers intact."

The paper proves that if you follow these specific gluing instructions, you get a perfect, complete map of the whole world (the global Stokes object).

3. The "Groupoid" Translator

To make this work, the author uses a mathematical tool called a Groupoid.

Analogy: Imagine a groupoid is like a travel guidebook with a strict itinerary.
- Objects: The places you visit (cities, sectors).
- Arrows: The roads between them.
- The Twist: In this specific guidebook, the roads aren't just roads; they have "labels" (the Stokes jumps).
The author creates a tiny, efficient guidebook (a "small groupoid") that lists every possible road and every possible jump label. This makes the complex math much easier to compute, like switching from a massive encyclopedia to a pocket-sized cheat sheet.

4. The "Kummer" Layer: The Multi-Story Building

The paper also deals with something called Kummer descent.

Analogy: Imagine the coastline isn't just a flat beach, but a multi-story parking garage where the levels are twisted around each other.
To navigate this, you need to know how to move between floors. The author's method creates a map that automatically handles these twists and turns, ensuring that if you walk around a corner on the top floor, you know exactly where you end up on the bottom floor. This is crucial for understanding the "tame" (predictable) parts of the storm.

5. Why This Matters: The "Skeleton"

The most exciting part of the paper is that it reduces this complex, infinite storm into a finite skeleton.

Analogy: Imagine the stormy sea is a giant, messy jungle. Usually, it's impossible to describe every single leaf.
The Breakthrough: The author shows that you only need to draw a skeleton of the jungle (a few key paths and intersections) to understand the whole thing.
Instead of dealing with infinite possibilities, you just need to solve a simple puzzle: "If I put a 'jump' here and a 'jump' there, do they fit together without breaking the rules?"

Summary

In plain English, this paper gives mathematicians a strict, step-by-step recipe for building a map of complex, stormy mathematical landscapes.

It separates the calm interior from the stormy edge.
It creates a precise "gluing" method (the Pushout) to combine them.
It translates the messy, infinite storm into a simple, finite puzzle (the Skeleton/Groupoid).
It ensures that even if the landscape is twisted (Kummer descent), the map remains accurate.

This is a huge help because it turns a vague, theoretical problem into a concrete, calculable one, allowing mathematicians to finally "do the math" on these wild, irregular shapes with confidence.

1. Problem Statement

The paper addresses the challenge of providing an explicit, strictly 1-categorical, and cover-based Betti presentation for Stokes torsors associated with meromorphic flat connections having prescribed irregular types along a simple normal crossings (SNC) divisor $D$ in a complex manifold $X$ .

The Context: Irregular singular connections are classified on the "Betti side" (topological side) by Stokes-filtered local systems on a real boundary space (often the real oriented blow-up or the Kato–Nakayama space).
The Difficulty: While the classification exists, the underlying presenting groupoid is often left implicit, defined analytically, or treated as a stack via descent. This makes it difficult to perform strict gluing operations, apply Tannakian formalisms, or compute explicit generators and relations, especially in higher dimensions where the boundary geometry involves logarithmic structures and Kummer (tame) ramification interacting with wild Stokes phenomena.
The Goal: To construct a small, strict groupoid that explicitly presents the global Stokes objects, compatible with the stratification of the divisor and Kummer descent, allowing for concrete computations (e.g., non-abelian cocycles) and functorial gluing.

2. Methodology

The author employs a pushout construction within the $(2,1)$ -category of small groupoids ( $\mathbf{Grpd}$ ) to glue local topological data with boundary Stokes data.

A. Geometric Setup

Logarithmic Boundary: The work utilizes the Kato–Nakayama space $X^{\log}$ and its Kummer level- $n$ cover $X^{\log}_n$ . This space encodes the angular directions around the divisor components.
Stratification: The boundary is stratified by the depth of the SNC divisor (how many branches meet) and by the Stokes wall arrangement (determined by the irregular type $\Phi$ ).
The Collar: A punctured collar neighborhood $N^\circ$ of the boundary is defined, where the Stokes preorder is locally constant.

B. The Three-Part Groupoid Construction

The global presenter $G_{\Phi,n}$ is constructed as a 2-pushout of three specific groupoids:

Interior Presenter ( $G_U$ ): The standard Čech groupoid associated with a good cover of the complement $U = X \setminus D$ . Its representations correspond to ordinary local systems on $U$ .
Overlap Presenter ( $G_\times$ ): The Čech groupoid of a refinement covering the intersection $U \cap N^\circ$ .
Collar Presenter ( $G_C$ ): A novel Čech–Stokes groupoid constructed on the collar $N^\circ$ $N^{\circ}$ .
- Objects: The sectors of the cover.
- Arrows: Pairs $(x, u)$ where $x$ is a point in the overlap of sectors and $u$ is an element of the Stokes sheaf $\text{St}_\Phi$ (encoding the Stokes jump).
- Key Insight: The moduli of Stokes objects on the collar is not the representation groupoid $\text{Repr}(G_C)$ , but rather the groupoid of strict sections $\text{Sec}(\pi)$ of the forgetful projection $\pi: G_C \to \check{C}(B)$ (which forgets the Stokes labels). This distinction is crucial for correctly modeling the "wild" gluing data.

C. The Pushout

The global groupoid is defined as the 2-pushout:
$G_{\Phi,n} := G_U \sqcup_{G_\times} G_C$
This algebraically enforces the gluing of an ordinary local system on $U$ with a Stokes-enhanced structure on the collar, matching them on the overlap.

3. Key Contributions

A. Explicit Strict Groupoid Presenter

The paper provides a concrete, small groupoid $G_{\Phi,n}$ that presents the global Stokes moduli. Unlike previous approaches that rely on stacks or implicit descent, this model is strictly 1-categorical and cover-based, making it suitable for algorithmic computation and explicit gluing arguments.

B. The "Section" vs. "Representation" Distinction

A major theoretical contribution is the identification that the correct moduli for the collar is the groupoid of sections $\text{Sec}(\pi)$ of the projection $\pi: G_C \to \check{C}(B)$ , rather than the representations of $G_C$ .

$\text{Sec}(\pi)$ is shown to be equivalent to the groupoid of Stokes torsors (non-abelian Čech 1-cocycles with values in the Stokes sheaf).
This resolves a structural ambiguity in how Stokes data is encoded in groupoid terms.

C. Kummer Descent and Equivariance

The construction is explicitly compatible with Kummer descent along the stratification of the divisor.

On a depth- $k$ stratum, the deck group is $(\mu_n)^k$ .
The paper demonstrates that the descent constraints for Stokes objects can be expressed as equivariant cocycle conditions on a finite skeletal model of the groupoid. This makes the "tame" (Kummer) and "wild" (Stokes) layers interact functorially.

D. Skeletal Reduction and Generators/Relations

The author develops a skeletal model using stratified CW decompositions (or triangulations) of the collar.

Stokes torsors are encoded by edge labels (Stokes parameters) on the 1-skeleton.
Relations are imposed by 2-cell boundaries (cocycle conditions).
This reduces the infinite-dimensional moduli problem to a finite set of generators and relations (non-abelian cocycles) near corners, solving the "local presentation problem."

4. Main Results

Theorem 1.1 (Main Equivalence): There is a natural equivalence of groupoids:
$\text{Repr}(G_U) \times^{(2)}_{\text{Repr}(G_\times)} \text{Sec}(\pi) \simeq \text{Stokes}_r(X^{\log}_n; D, \Phi)$
This proves that the pushout presenter correctly computes the global Stokes objects as a torsorial gluing problem.
Morita Invariance: The resulting groupoid is independent of the choice of covers or triangulations up to Morita equivalence. This ensures the presentation is canonical for the purpose of classifying torsors.
Corollary 1.4 (Van Kampen for Stokes): The global presenter satisfies a pushout property with respect to open covers of $X$ , allowing the reduction of global Stokes questions to local ones glued along overlaps.
Explicit Local Models: The paper provides explicit generators-and-relations descriptions for the groupoid near SNC corners (e.g., in dimension 1 and higher), recovering known results (like the GLP charts) while generalizing them to arbitrary dimensions and Kummer levels.

5. Significance

Bridging Analysis and Topology: The paper successfully translates the analytic theory of irregular connections (Stokes phenomena) into a purely topological/groupoid framework (Betti side) that is rigorous and computable.
Computational Utility: By reducing the problem to non-abelian cocycles on a finite skeleton, the framework enables explicit calculations of moduli spaces, which are otherwise difficult to handle in higher dimensions.
Foundation for Derived Geometry: The strict, small nature of the presenter makes it an ideal input for derived mapping stacks and homotopical upgrades (e.g., relating to the work of Porta–Teyssier), allowing for the study of derived Stokes moduli.
Unification of Tame and Wild: The construction seamlessly integrates the "tame" Kummer ramification (via the log/Kummer cover) with the "wild" Stokes jumps, providing a unified language for irregular singularities in arbitrary dimensions.

In summary, Corrêa's work provides a rigorous, explicit, and computable "Betti skeleton" for irregular connections, replacing abstract stack-theoretic definitions with concrete groupoid pushouts that facilitate gluing, descent, and explicit calculation.