arxiv: 2602.21304 · v2 · submitted 2026-02-24 · 🧮 math.AG · math.AT· math.CV· math.SG

Recognition: no theorem link

A v{C}ech--Stokes Pushout Groupoid: a Log/Kummer Betti Presenter for Stokes Torsors

Mauricio Corr\^ea

Authors on Pith no claims yet

Pith reviewed 2026-05-15 19:43 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.CVmath.SG

keywords Stokes torsorsČech groupoidpushout constructionKummer descentnormal crossings divisormeromorphic flat connectionsBetti presentationlogarithmic geometry

0 comments

The pith

Gluing a Čech-Stokes groupoid on the punctured logarithmic collar to the ordinary Čech presenter via pushout yields a groupoid that computes global Stokes objects.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs an explicit Betti presentation for the Stokes torsors of meromorphic flat connections with prescribed irregular type along a simple normal crossings divisor at fixed Kummer level. It defines a small Čech--Stokes groupoid on the punctured logarithmic collar where boundary Stokes moduli are described by sections of a forgetful functor rather than representations of the decorated groupoid. By forming an explicit pushout with the Čech presenter of the complement, the construction produces a global groupoid presentation of the Stokes objects. This presentation is canonical up to Morita equivalence and compatible with Kummer descent along all normal crossings strata.

Core claim

The central claim is that the Čech--Stokes pushout groupoid obtained by gluing the boundary model on the punctured logarithmic collar to the ordinary Čech presenter of the complement computes the global Stokes objects attached to the given meromorphic flat connections, and that this groupoid is canonical up to Morita equivalence, compatible with Kummer descent, and admits an explicit finite local description near corners in terms of nonabelian cocycles and relations.

What carries the argument

The Čech--Stokes pushout groupoid, formed by gluing a small Čech--Stokes groupoid on the punctured logarithmic collar to the ordinary Čech presenter of the complement through an explicit pushout construction.

If this is right

The resulting groupoid computes the global Stokes objects attached to the connections.
The presentation is canonical up to Morita equivalence.
It remains compatible with Kummer descent along all normal crossings strata.
It admits an explicit finite local description near corners in terms of nonabelian cocycles and relations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The finite local cocycle description near corners could be used to write down explicit nonabelian cocycle data for low-dimensional examples.
The construction separates the boundary Stokes data from the complement data in a way that may allow separate computation or deformation of each piece.
Because the presentation is strictly 1-categorical, it may lend itself to direct comparison with other 1-categorical models of irregular connections.

Load-bearing premise

The pushout gluing and the Čech-Stokes groupoid on the punctured logarithmic collar accurately capture the Stokes torsors for the given meromorphic flat connections of prescribed irregular type at fixed Kummer level on a simple normal crossings divisor.

What would settle it

A concrete counterexample on a simple normal crossings surface where the sections of the pushout groupoid fail to reproduce the independently computed Stokes torsors for a known meromorphic connection would show the presentation does not work.

read the original abstract

We give an explicit Betti presentation of the Stokes torsors attached to meromorphic flat connections of prescribed irregular type along a simple normal crossings divisor, at fixed Kummer level. Our construction is strictly 1-categorical and cover-based: on a punctured logarithmic collar of the divisor, we define a small Cech--Stokes groupoid and prove that the boundary Stokes moduli is described by sections of a natural forgetful functor, rather than by representations of the decorated boundary groupoid itself. By gluing this boundary model to the ordinary Cech presenter of the complement through an explicit pushout construction, we obtain a groupoid presentation that computes the global Stokes objects. The resulting presentation is canonical up to Morita equivalence, compatible with Kummer descent along all normal crossings strata, and admits an explicit finite local description near corners in terms of nonabelian cocycles and relations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper builds a Čech-Stokes pushout groupoid that presents Stokes torsors via sections of a forgetful functor on the collar glued to the complement Čech groupoid, with claims of Morita canonicity and Kummer compatibility.

read the letter

The main takeaway is a new explicit construction that defines a small Čech-Stokes groupoid on the punctured logarithmic collar, takes its objects as sections of a forgetful functor instead of representations of a decorated boundary groupoid, and then forms a pushout with the ordinary Čech groupoid on the complement to get a global Betti presenter for Stokes torsors at fixed Kummer level. The paper shows this is strictly 1-categorical and cover-based, gives finite local descriptions near corners in nonabelian cocycles and relations, and claims compatibility with Kummer descent along normal crossings strata plus canonicity up to Morita equivalence. That is the concrete advance over prior Čech or Stokes groupoid work referenced in the abstract. The construction looks direct and avoids obvious circularity or free parameters. The soft spot is the pushout step itself. The stress-test concern is reasonable: for the glued groupoid to compute the correct global Stokes objects, the cocycles on the collar must satisfy the filtration conditions exactly on the intersection with the complement, and the abstract does not spell out the explicit relations or 2-categorical coherence that would guarantee the diagram commutes with the irregular type data. If the full proofs supply those relations and show no overcounting or missing multipliers, the claim holds; otherwise the presentation may not be as tight as stated. This is for specialists already working on irregular singularities, log geometry, and Stokes phenomena. A reader comfortable with Čech covers and nonabelian cocycles will find the local descriptions useful for organizing computations. It deserves a serious referee because the claims are specific and checkable rather than vague. I would send it to peer review with referees who know the Stokes filtration conditions well.

Referee Report

3 major / 2 minor

Summary. The paper constructs an explicit Čech--Stokes groupoid on the punctured logarithmic collar of a simple normal crossings divisor for meromorphic flat connections of prescribed irregular type at fixed Kummer level. Sections of a natural forgetful functor on this groupoid describe the boundary Stokes moduli; the construction then forms an explicit pushout with the ordinary Čech groupoid of the complement to obtain a global groupoid that presents the Stokes torsors. The resulting presentation is asserted to be canonical up to Morita equivalence, compatible with Kummer descent along all normal crossings strata, and to admit finite local descriptions near corners via nonabelian cocycles and relations.

Significance. If the pushout construction and its compatibility properties hold, the work supplies a strictly 1-categorical, cover-based Betti presenter for Stokes torsors that is local and explicit. This would be a useful addition to the toolkit for computing irregular monodromy data and Stokes filtrations in the logarithmic/Kummer setting, particularly for explicit cocycle calculations near corners.

major comments (3)

[§3] §3 (pushout construction): the claim that the glued groupoid computes global Stokes objects canonically up to Morita equivalence requires explicit verification that the pushout diagram enforces the Stokes filtration conditions on the collar-complement intersections; the abstract asserts this but the manuscript does not exhibit the required cocycle relations or 2-categorical coherence data for the descent maps along strata.
[collar definition] Definition of the Čech--Stokes groupoid (collar section): the objects are defined as sections of the forgetful functor rather than representations of a decorated boundary groupoid, yet the manuscript does not supply the explicit action of the boundary groupoid on these sections that is compatible with the prescribed irregular type; without this, it is unclear whether the pushout correctly identifies Stokes multipliers on overlaps.
[Kummer descent paragraph] Kummer descent compatibility: the abstract states compatibility with Kummer descent along all normal crossings strata, but no concrete check is given that the pushout commutes with the descent functors or that the finite local cocycle descriptions remain valid after descent; this is load-bearing for the global claim.

minor comments (2)

[local description] Notation for the forgetful functor and the nonabelian cocycles should be introduced with a short table or diagram to improve readability near the corner descriptions.
[throughout] A few typographical inconsistencies appear in the indexing of strata and the labeling of pushout diagrams; these do not affect the mathematics but should be standardized.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and will incorporate the requested explicit verifications and clarifications in the revised version.

read point-by-point responses

Referee: [§3] §3 (pushout construction): the claim that the glued groupoid computes global Stokes objects canonically up to Morita equivalence requires explicit verification that the pushout diagram enforces the Stokes filtration conditions on the collar-complement intersections; the abstract asserts this but the manuscript does not exhibit the required cocycle relations or 2-categorical coherence data for the descent maps along strata.

Authors: We agree that additional explicit verification is needed. In the revised manuscript we will expand §3 with a new subsection that exhibits the cocycle relations on the collar-complement intersections together with the 2-categorical coherence data for the descent maps along strata, thereby confirming that the pushout enforces the Stokes filtration conditions and yields a canonical presentation up to Morita equivalence. revision: yes
Referee: [collar definition] Definition of the Čech--Stokes groupoid (collar section): the objects are defined as sections of the forgetful functor rather than representations of a decorated boundary groupoid, yet the manuscript does not supply the explicit action of the boundary groupoid on these sections that is compatible with the prescribed irregular type; without this, it is unclear whether the pushout correctly identifies Stokes multipliers on overlaps.

Authors: We will supply the missing explicit action of the boundary groupoid on the sections of the forgetful functor in the collar section. The added material will verify compatibility with the prescribed irregular type and show how the pushout correctly identifies the Stokes multipliers on overlaps. revision: yes
Referee: [Kummer descent paragraph] Kummer descent compatibility: the abstract states compatibility with Kummer descent along all normal crossings strata, but no concrete check is given that the pushout commutes with the descent functors or that the finite local cocycle descriptions remain valid after descent; this is load-bearing for the global claim.

Authors: We acknowledge the absence of an explicit check. The revision will contain a new proposition that verifies the pushout commutes with the Kummer descent functors along all normal crossings strata and confirms that the finite local cocycle descriptions remain valid after descent. revision: yes

Circularity Check

0 steps flagged

No circularity: construction is self-contained via explicit Čech-pushout gluing

full rationale

The paper defines a Čech--Stokes groupoid on the punctured logarithmic collar whose objects are sections of a forgetful functor, then forms an explicit pushout with the ordinary Čech groupoid of the complement. This yields a groupoid presentation claimed to compute global Stokes objects, canonical up to Morita equivalence and compatible with Kummer descent. No equations or steps in the provided abstract or description reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the derivation is presented as building from standard cover-based methods without renaming known results or smuggling ansatzes. The central claim therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

Abstract-only; ledger is inferred from described objects. Relies on standard category theory and domain assumptions about flat connections and Stokes data; introduces the Čech-Stokes groupoid as a new entity without independent evidence outside the paper.

axioms (3)

standard math Standard axioms of categories, groupoids, and Morita equivalence
Invoked throughout the groupoid presentation and pushout construction.
domain assumption Existence and properties of meromorphic flat connections with prescribed irregular type along simple normal crossings divisors
Assumed from prior literature in the field to define the Stokes torsors.
domain assumption Compatibility of Kummer descent with the logarithmic collar and boundary models
Required for the descent compatibility claim.

invented entities (1)

Čech--Stokes groupoid no independent evidence
purpose: To model the boundary Stokes moduli via sections of a forgetful functor on the punctured logarithmic collar
Newly defined object central to the boundary model before pushout gluing.

pith-pipeline@v0.9.0 · 5463 in / 1426 out tokens · 22145 ms · 2026-05-15T19:43:05.489502+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · 1 internal anchor

[1]

Babbitt and V

D. Babbitt and V . Varadarajan,Local moduli for meromorphic differential equations, Astérisque169–170(1989)

work page 1989
[2]

Boalch,Geometry and braiding of Stokes data; fission and wild character varieties, Ann

P . Boalch,Geometry and braiding of Stokes data; fission and wild character varieties, Ann. of Math. (2)179(2014), no. 1, 301–365

work page 2014
[3]

Bott and L

R. Bott and L. Tu,Differential Forms in Algebraic Topology, Graduate Texts in Mathematics82, Springer, 1982

work page 1982
[4]

Crainic and R

M. Crainic and R. L. Fernandes,Integrability of Lie brackets, Ann. of Math. (2)157(2003), no. 2, 575–620

work page 2003
[5]

D’Agnolo and M

A. D’Agnolo and M. Kashiwara,Riemann–Hilbert correspondence for holonomic D-modules, Publ. Math. Inst. Hautes Études Sci.123(2016), 69–197

work page 2016
[6]

Dupont, E

C. Dupont, E. Panzer, and B. Pym,Logarithmic morphisms, tangential basepoints, and little disks, arXiv:2408.13108

work page arXiv
[7]

Giraud,Cohomologie non abélienne, Grundlehren der mathematischen Wissenschaften179, Springer, 1971

J. Giraud,Cohomologie non abélienne, Grundlehren der mathematischen Wissenschaften179, Springer, 1971

work page 1971
[8]

Gualtieri, S

M. Gualtieri, S. Li, and B. Pym,The Stokes groupoids, J. Reine Angew. Math.739(2018), 81–119

work page 2018
[9]

Kato and C

K. Kato and C. Nakayama,Log Betti cohomology, log étale cohomology, and log de Rham cohomology of log schemes overC, Kodai Math. J.22(1999), 161–186

work page 1999
[10]

Kashiwara and P

M. Kashiwara and P . Schapira,Sheaves on Manifolds, Grundlehren der Mathematischen Wissenschaften292, Springer, 1990

work page 1990
[11]

Lurie,Higher Topos Theory, Annals of Mathematics Studies170, Princeton University Press, 2009

J. Lurie,Higher Topos Theory, Annals of Mathematics Studies170, Princeton University Press, 2009

work page 2009
[12]

K. C. H. Mackenzie,General Theory of Lie Groupoids and Lie Algebroids, London Mathematical Society Lecture Note Series213, Cambridge University Press, 2005

work page 2005
[13]

Mochizuki,Wild Harmonic Bundles and Wild Pure Twistor D-Modules, Astérisque340, Soc

T. Mochizuki,Wild Harmonic Bundles and Wild Pure Twistor D-Modules, Astérisque340, Soc. Math. France, 2011

work page 2011
[14]

Moerdijk and J

I. Moerdijk and J. Mrˇ cun,Introduction to Foliations and Lie Groupoids, Cambridge Studies in Advanced Mathe- matics91, Cambridge University Press, 2003

work page 2003
[15]

Nakayama and A

C. Nakayama and A. Ogus,Relative rounding in toric and logarithmic geometry, Geom. Topol.14(2010), no. 4, 2189–2241

work page 2010
[16]

Foundations of Topological Stacks I

B. Noohi,Foundations of Topological Stacks I, arXiv:math/0503247

work page internal anchor Pith review Pith/arXiv arXiv
[17]

Ogus,Lectures on Logarithmic Algebraic Geometry, Cambridge Studies in Advanced Mathematics178, Cam- bridge University Press, 2018

A. Ogus,Lectures on Logarithmic Algebraic Geometry, Cambridge Studies in Advanced Mathematics178, Cam- bridge University Press, 2018

work page 2018
[18]

M. J. Pflaum, H. Posthuma, and X. Tang,Geometry of orbit spaces of proper Lie groupoids, J. Reine Angew. Math. 694(2014), 49–84

work page 2014
[19]

Porta and J.-B

M. Porta and J.-B. Teyssier,The derived moduli of Stokes data, arXiv:2504.05360

work page arXiv
[20]

Porta and J.-B

M. Porta and J.-B. Teyssier,Homotopy theory of Stokes structures and derived moduli, arXiv:2401.12335

work page arXiv
[21]

Sabbah,Introduction to Stokes Structures, Lecture Notes in Mathematics2060, Springer, 2013

C. Sabbah,Introduction to Stokes Structures, Lecture Notes in Mathematics2060, Springer, 2013

work page 2013
[22]

Grothendieck,Revêtements étales et groupe fondamental (SGA 1), Lecture Notes in Mathematics224, Springer, 1971

A. Grothendieck,Revêtements étales et groupe fondamental (SGA 1), Lecture Notes in Mathematics224, Springer, 1971

work page 1971
[23]

Teyssier,Skeletons and moduli of Stokes torsors, Ann

J.-B. Teyssier,Skeletons and moduli of Stokes torsors, Ann. Sci. Éc. Norm. Supér. (4)52(2019), no. 1, 337–365

work page 2019
[24]

Treumann,Exit paths and constructible stacks, Compos

D. Treumann,Exit paths and constructible stacks, Compos. Math.145(2009), no. 6, 1504–1532. DIPARTIMENTO DIMATEMATICA, UNIVERSITÀ DEGLISTUDI DIBARIALDOMORO, BARI, ITALY Email address:mauricio.barros@uniba.it

work page 2009