Pith. sign in

REVIEW 1 major objections 1 minor 30 references

Stacky geometry and logarithmic topology of transversely affine foliations

T0 review · 1 major / 1 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The holonomy quotient stack encodes the linear structure of transversely affine foliations while the Kato-Nakayama space encodes their logarithmic-topological dynamics.

desk verdict This paper cleanly separates the stacky linear control from the logarithmic dynamical content in transversely affine foliations. read the letter →

arxiv 2605.27669 v1 pith:HKJ3S7DL submitted 2026-05-26 math.AG math.CVmath.DG

Pedro Barbassa , Gabriel Barbosa , Maurício Corrêa This is my paper · ORCID
classification math.AGmath.CVmath.DG
keywords transverselyaffinefoliationsholonomygroupquotientstackKato-Nakayamaspacedevelopingmapreparametrizationslogarithmictopologyboundarycharacters
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper attaches to each transversely affine foliation its holonomy group and the associated quotient stack, which serves as the geometric base for the multiplicative developing coordinate. Holomorphic and meromorphic reparametrizations are identified with endomorphisms of the stack and its compactification, producing a geometric form of Singer's theorem that is then classified by the geometry of the holonomy group. On the logarithmic side the authors pass to the Kato-Nakayama space, where residues supply canonical boundary characters that govern induced linear dynamics on boundary tori and yield a canonical logarithmic lift of the developing map. A sympathetic reader would care because the construction cleanly separates the algebraic and stacky linear theory from the topological and dynamical content.

What carries the argument

The holonomy quotient stack together with the Kato-Nakayama space, which together separate the linear theory from the logarithmic-topological and dynamical content.

What would settle it

A concrete transversely affine foliation for which the holonomy group does not produce a quotient stack compatible with the developing coordinate or whose residues fail to induce well-defined boundary characters on the Kato-Nakayama space.

Watch

Extended reading notes

Core claim

To a transversely affine foliation we attach its holonomy group and the corresponding quotient stack, which provides the natural geometric base for the multiplicative developing coordinate. Holomorphic and meromorphic reparametrisations are identified with endomorphisms of this stack and of its compactification, yielding a geometric Singer-type theorem classified according to the geometry of the holonomy group. On the logarithmic-topological side we pass to the Kato-Nakayama space, where the residues define canonical boundary characters, govern the induced linear dynamics on the boundary tori, and give rise to a canonical logarithmic lift of the developing map.

Load-bearing premise

Every transversely affine foliation admits a well-defined holonomy group whose quotient stack can be formed and compactified so that reparametrizations correspond to stack endomorphisms.

Editorial extensions

If this is right

  • Reparametrizations of the foliation are realized as endomorphisms of the holonomy stack and its compactification.
  • The classification of reparametrizations is reduced to the geometry of the holonomy group.
  • Residues on the Kato-Nakayama space determine linear dynamics on the boundary tori.
  • A canonical logarithmic lift of the developing map exists via the boundary characters.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The separation between stack and Kato-Nakayama space may supply new invariants that distinguish foliations with the same holonomy but different transverse dynamics.
  • The construction suggests a route to define analogous stack-logarithmic pairs for foliations that are not transversely affine.
  • Boundary characters on the Kato-Nakayama space could be compared directly with classical residue data in other compactifications of the foliation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 1 minor

Summary. The manuscript studies stacky and logarithmic-topological structures of transversely affine foliations. To each such foliation it attaches a holonomy group and associated quotient stack serving as the geometric base for the multiplicative developing coordinate. Holomorphic and meromorphic reparametrizations are identified with endomorphisms of the stack and its compactification, producing a geometric Singer-type theorem; these reparametrizations are then classified according to the geometry of the holonomy group. On the logarithmic side the Kato-Nakayama space is introduced, where residues yield canonical boundary characters that govern linear dynamics on boundary tori and supply a canonical logarithmic lift of the developing map. The quotient stack is asserted to control the linear theory while the Kato-Nakayama space captures the logarithmic-topological and dynamical content.

Significance. If the claimed identifications, the geometric Singer-type theorem, and the classification are established with full proofs, the separation of linear (stack) and logarithmic-dynamical (Kato-Nakayama) aspects would supply a coherent framework for studying developing maps and holonomy in the transversely affine setting, potentially useful for classification problems in complex foliation theory.

major comments (1)
  1. [Abstract / main constructions] The central claim that the quotient stack controls the linear part while the Kato-Nakayama space captures the logarithmic-topological content rests on the identification of reparametrizations with endomorphisms of the stack and on the existence of a canonical logarithmic lift; without explicit constructions or proofs of these identifications (e.g., in the sections defining the developing map and the boundary characters), it is impossible to verify that the separation is not merely formal.
minor comments (1)
  1. [Abstract] The abstract refers to 'Singer-type theorem' and 'boundary characters' without indicating the precise statement or the relevant section where the theorem is proved.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed summary and for highlighting the potential utility of the framework if the key identifications are fully established. We address the single major comment below, pointing to the explicit constructions and proofs already present in the manuscript.

read point-by-point responses

  1. Referee: [Abstract / main constructions] The central claim that the quotient stack controls the linear part while the Kato-Nakayama space captures the logarithmic-topological content rests on the identification of reparametrizations with endomorphisms of the stack and on the existence of a canonical logarithmic lift; without explicit constructions or proofs of these identifications (e.g., in the sections defining the developing map and the boundary characters), it is impossible to verify that the separation is not merely formal.

    Authors: The manuscript supplies the requested explicit constructions and proofs. Section 2 defines the holonomy group and quotient stack for a transversely affine foliation, then proves (Theorem 2.7) that holomorphic and meromorphic reparametrizations are precisely the endomorphisms of the stack and its compactification; the geometric Singer-type theorem follows immediately as Corollary 2.8. Section 3 classifies these endomorphisms according to the geometry of the holonomy group. On the logarithmic side, Section 4 constructs the Kato-Nakayama space, defines the canonical boundary characters via residues of the developing map, and proves (Theorem 4.4) that these characters govern the linear dynamics on the boundary tori while supplying the canonical logarithmic lift. These sections therefore contain the detailed verifications that the quotient stack governs the linear theory and the Kato-Nakayama space governs the logarithmic-topological and dynamical content; the separation is not merely formal. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The provided abstract and description present a conceptual framework attaching standard objects (holonomy group, quotient stack, Kato-Nakayama space) to transversely affine foliations and deriving consequences such as a geometric Singer-type theorem and classification of reparametrizations. No equations, fitted parameters, self-citations, or derivations are exhibited that reduce any claimed prediction or result to its inputs by construction. The separation of roles between the quotient stack (linear theory) and Kato-Nakayama space (logarithmic-dynamical content) is stated as an outcome of the constructions rather than presupposed by definition or prior self-citation. The paper is therefore self-contained at the level of its stated claims with no detectable circular steps.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are stated. The work relies on standard background notions of stacks, holonomy groups, and Kato-Nakayama spaces from algebraic and complex geometry.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stacky geometry and logarithmic topology of transversely affine foliations." pith.science (2026). https://pith.science/paper/HKJ3S7DL

@misc{pith2026260527669,
  author       = {Pith},
  title        = {Pith review of: Stacky geometry and logarithmic topology of transversely affine foliations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HKJ3S7DL}},
  note         = {Machine review of arXiv:2605.27669}
}
read the original abstract

We study the stacky and logarithmic-topological structures associated with transversely affine affine foliations. To such a foliation we attach its holonomy group and the corresponding quotient stack, which provides the natural geometric base for the multiplicative developing coordinate. Holomorphic and meromorphic reparametrisations are then identified with endomorphisms of this stack and of its compactification, yielding a geometric Singer-type theorem. We then classify these reparametrisations according to the geometry of the holonomy group. On the logarithmic-topological side, we pass to the Kato-Nakayama space, where the residues define canonical boundary characters, govern the induced linear dynamics on the boundary tori, and give rise to a canonical logarithmic lift of the developing map. In this way, the quotient stack controls the linear part of the theory, while the Kato-Nakayama space captures its logarithmic-topological and dynamical content.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 2 canonical work pages

  1. [1]

    Behrend and B

    K. Behrend and B. Noohi,Uniformization of Deligne–Mumford curves, J. Reine Angew. Math.599(2006), 111–153

    2006

  2. [2]

    Behrend and P

    K. Behrend and P . Xu,Differentiable stacks and gerbes, J. Symplectic Geom.9(2011), no. 3, 285–341

    2011

  3. [3]

    Cadman,Using stacks to impose tangency conditions on curves, Amer

    C. Cadman,Using stacks to impose tangency conditions on curves, Amer. J. Math.129(2007), no. 2, 405–427

    2007

  4. [4]

    Cousin and J

    G. Cousin and J. V . Pereira,Transversely affine foliations on projective manifolds, Math. Res. Lett.21(2014), no. 5, 985–1014

    2014

  5. [5]

    Carchedi, S

    D. Carchedi, S. Scherotzke, N. Sibilla, and M. Talpo,Kato–Nakayama spaces, infinite root stacks and the profinite homotopy type of log schemes, Geom. Topol.21(2017), no. 5, 3093–3158

    2017

  6. [6]

    The logarithmic leaf complex and foliated d-semistability

    M. Corrêa, P . Perrella and S. Velazquez,The logarithmic leaf complex and foliatedd-semistability, arXiv:2605.00285v1, 2026

    work page Pith review arXiv 2026

  7. [7]

    Deligne,Équations différentielles à points singuliers réguliers, Lecture Notes in Math., vol

    P . Deligne,Équations différentielles à points singuliers réguliers, Lecture Notes in Math., vol. 163, Springer, 1970

    1970

  8. [8]

    R. M. Goresky,Triangulation of stratified objects, Proc. Amer. Math. Soc.72(1978), no. 1, 193–200

    1978

Show all 30 references
  1. [9]

    Hall,A relative GAGA principle for families of curves, J

    J. Hall,A relative GAGA principle for families of curves, J. Lond. Math. Soc. (2)90(2014), no. 1, 29–48

    2014

  2. [10]

    F. E. A. Johnson,On the triangulation of stratified sets and singular varieties, Trans. Amer. Math. Soc.275(1983), no. 1, 333–343

    1983

  3. [11]

    Kato and C

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

    1999

  4. [12]

    Lerman,Orbifolds as stacks?, Enseign

    E. Lerman,Orbifolds as stacks?, Enseign. Math. (2)56(2010), no. 3–4, 315–363

    2010

  5. [13]

    Loray, J

    F. Loray, J. V . Pereira, and F. Touzet,Representations of quasi-projective groups, flat connections and transversely projective foliations, J. Éc. polytech. Math.3(2016), 263–308

    2016

  6. [14]

    McQuillan,Canonical models of foliations, Pure Appl

    M. McQuillan,Canonical models of foliations, Pure Appl. Math. Q.4(2008), no. 3, 877–1012

    2008

  7. [15]

    Moerdijk and D

    I. Moerdijk and D. A. Pronk,Orbifolds, sheaves and groupoids, K-Theory12(1997), no. 1, 3–21

    1997

  8. [16]

    Noohi,Fundamental groups of algebraic stacks, J

    B. Noohi,Fundamental groups of algebraic stacks, J. Inst. Math. Jussieu3(2004), no. 1, 69–103

    2004

  9. [17]

    Noohi,Foundations of topological stacks

    B. Noohi,Foundations of topological stacks. I, arXiv:math/0503247

    arXiv

  10. [18]

    Noohi,Homotopy types of topological stacks, Adv

    B. Noohi,Homotopy types of topological stacks, Adv. Math.230(2012), no. 4–6, 2014–2047

    2012

  11. [19]

    Noohi,Group actions on algebraic stacks via butterflies, J

    B. Noohi,Group actions on algebraic stacks via butterflies, J. of Algebra.486(2017), 36–63

    2017

  12. [20]

    Noohi,Automorphism2-group of a weighted projective stack, MPIM Preprint Ser

    B. Noohi,Automorphism2-group of a weighted projective stack, MPIM Preprint Ser. (2007), no. 56

    2007

  13. [21]

    Ogus,On the logarithmic Riemann–Hilbert correspondence, Doc

    A. Ogus,On the logarithmic Riemann–Hilbert correspondence, Doc. Math. Extra Vol. (2003), 655–724

    2003

  14. [22]

    Olsson,Algebraic Spaces and Stacks, Amer

    M. Olsson,Algebraic Spaces and Stacks, Amer. Math. Soc. Colloq. Publ., vol. 62, American Mathematical Society, 2016

    2016

  15. [23]

    J. M. Pérez and F. Schaffhauser,Orbifolds and the modular curve, In the Tradition of Thurston III. (2024), 365–421

    2024

  16. [24]

    Porta and T

    M. Porta and T. Y. Yu,Higher analytic stacks and GAGA theorems, Adv. Math.302(2016), 351–409

    2016

  17. [25]

    Romagny,Group actions on stacks and applications, Michigan Math

    M. Romagny,Group actions on stacks and applications, Michigan Math. J.53(2005), no. 1, 209–236

    2005

  18. [26]

    Scárdua,Transversely affine and transversely projective holomorphic foliations, Ann

    B. Scárdua,Transversely affine and transversely projective holomorphic foliations, Ann. Sci. École Norm. Sup. (4)30(1997), no. 2, 169–204

    1997

  19. [27]

    Serre,Géométrie algébrique et géométrie analytique, Ann

    J.-P . Serre,Géométrie algébrique et géométrie analytique, Ann. Inst. Fourier (Grenoble)6(1956), 1–42

    1956

  20. [28]

    J. H. Silverman,The Arithmetic of Elliptic Curves, 2nd ed., Grad. Texts in Math., vol. 106, Springer, 2009

    2009

  21. [29]

    M. F. Singer,Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc.333(1992), no. 2, 673–688

    1992

  22. [30]

    Talpo and A

    M. Talpo and A. Vistoli,The Kato–Nakayama space as a transcendental root stack, Int. Math. Res. Not. IMRN2018, no. 19, 6145–6176. (P . Barbassa) IMECC - UNICAMP, DEPARTAMENTO DEMATEMÁTICA, RUASÉRGIOBUARQUE DEHOLANDA, 651, 13083-970 CAMPINAS-SP, BRAZIL Email address:p185839@dac...

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.