pith. sign in

arxiv: 2507.09644 · v2 · submitted 2025-07-13 · 🧮 math.DG · math.GT

Topology of singular foliations of closed 1-forms on orbifolds

Daniel Lopez Garcia , Fabricio Valencia This is my paper

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

classification 🧮 math.DG math.GT
keywords singular foliationclosed 1-formorbifoldMorse typeleaf compactnessCalabi characterizationharmonic 1-form
0
0 comments X

The pith

Criteria characterize when leaves of singular foliations from closed Morse 1-forms on compact orbifolds are compact, non-compact, or mixed, extending Calabi's topological characterization of harmonic forms.

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

The paper examines the leaves of singular foliations induced by closed 1-forms of Morse type on compact orbifolds. It establishes criteria that determine whether all leaves are compact, all are non-compact, or both types coexist. This work extends Calabi's result by supplying a purely topological way to identify intrinsically closed harmonic 1-forms of Morse type in the orbifold setting. A sympathetic reader cares because orbifolds model spaces with local group actions and singularities, so the criteria broaden the reach of these topological tools beyond smooth manifolds.

Core claim

We study the topological properties of the leaves of the singular foliation induced by a closed 1-form of Morse type on a compact orbifold. In particular, we establish criteria that characterize when all such leaves are compact, when they are non-compact, and how both types may coexist. As an application, we extend to the orbifold setting a celebrated result of Calabi, which provides a purely topological characterization of intrinsically closed harmonic 1-forms of Morse type.

What carries the argument

The singular foliation induced by a closed 1-form of Morse type on a compact orbifold, which carries the analysis by linking leaf topology directly to compactness properties.

Load-bearing premise

The closed 1-form is of Morse type on a compact orbifold.

What would settle it

A compact orbifold equipped with a closed 1-form of Morse type whose leaf compactness behavior violates the stated criteria would disprove the characterization.

Figures

Figures reproduced from arXiv: 2507.09644 by Daniel Lopez Garcia, Fabricio Valencia.

Figure 1
Figure 1. Figure 1: Singular foliation in R 3 defined by x 2 + y 2 − z 2 = t at t = −2, 0, 2, respectively. 3Each vertex has exactly 3 edges [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Singular foliation in R 3/Z2 defined by x 2 +y 2 −z 2 = t at t = −2, 0, 2, respectively. We are now in conditions to start generalizing the main results in [21] concerning the compactness and non-compactness of the leaves of the singular foliation F˜ ω in X. This can be addressed by following the strategy described in [21, s. 8] step by step, yet using the terminology and results developed in [26, 39] (see… view at source ↗
read the original abstract

We study the topological properties of the leaves of the singular foliation induced by a closed 1-form of Morse type on a compact orbifold. In particular, we establish criteria that characterize when all such leaves are compact, when they are non-compact, and how both types may coexist. As an application, we extend to the orbifold setting a celebrated result of Calabi, which provides a purely topological characterization of intrinsically closed harmonic 1-forms of Morse type.

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.

Referee Report

0 major / 2 minor

Summary. The paper studies the topological properties of leaves in the singular foliation induced by a closed 1-form of Morse type on a compact orbifold. It establishes criteria characterizing when all leaves are compact, when all are non-compact, and when both types coexist. As an application, the work extends Calabi's theorem to the orbifold setting by providing a purely topological characterization of intrinsically closed harmonic 1-forms of Morse type, proceeding via reduction to local uniformizing charts where the form behaves as a Morse 1-form on a manifold quotiented by a finite group action.

Significance. If the derivations hold, this provides a natural and useful extension of Calabi's result from manifolds to orbifolds, which are central in geometric topology and singular spaces. The compactness criteria for leaves offer concrete topological invariants that distinguish foliation behaviors, and the descent via uniformizing charts is a standard technique that preserves the manifold-case analysis. The absence of free parameters or ad-hoc axioms in the core construction strengthens the result.

minor comments (2)
  1. The abstract and introduction would benefit from an explicit statement of the precise topological invariants used in the extended Calabi characterization (e.g., which cohomology classes or fundamental-group data are preserved under the orbifold quotient).
  2. Notation for the singular foliation and the Morse-type condition should be introduced with a short comparison to the classical manifold case to aid readers unfamiliar with orbifold charts.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition that it provides a natural extension of Calabi's theorem to the orbifold setting via uniformizing charts, and for recommending minor revision. We have reviewed the report carefully and will incorporate improvements to enhance clarity where appropriate.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines a singular foliation from a closed 1-form of Morse type on a compact orbifold and derives leaf-compactness criteria by working in local uniformizing charts, where the form reduces to a standard Morse 1-form on a manifold quotiented by finite group action; compactness and topological invariants are shown to descend. The central application extends Calabi's external theorem by verifying that the same topological data continue to characterize intrinsically closed harmonic Morse 1-forms on orbifolds. No step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the argument relies on the structural premise of the Morse-type closed 1-form and standard orbifold chart techniques without internal equivalence to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are identifiable from the provided information.

pith-pipeline@v0.9.0 · 5593 in / 1200 out tokens · 80964 ms · 2026-05-19T05:05:57.402047+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    A. Adem, J. Morava, Y. Ruan (Editors): Orbifolds in mathematics and physics , Proceedings of the Conference on Mathematical Aspects of Orbifold String Theory held at the University of Wisconsin, Madison, WI, May 4–8, 2001, Contemporary Mathematics 310, American Mathematical Society, Providence, RI, (2002)

    work page 2001

  2. [2]

    Behrend: Cohomology of stacks , Intersection theory and moduli, ICTP Lect

    K. Behrend: Cohomology of stacks , Intersection theory and moduli, ICTP Lect. Notes, XIX. Abdus Salam Int. Cent. Theoret. Phys., Trieste (2004), 249–294

    work page 2004

  3. [3]

    Behrend, P

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

    work page 2011

  4. [4]

    B´ erard-Bergery, J

    L. B´ erard-Bergery, J. P. Bourguignon:Laplacians and Riemannian submersions with totally geodesic fibres, Illinois J. Math., 26 (1982) no. 2, 181–200

    work page 1982

  5. [5]

    Borzellino, V

    J.-E. Borzellino, V. Brunsden: On the notions of suborbifold and orbifold embedding , Algebr. Geom. Topol., 15 (2015) no. 2, 2789–2803

    work page 2015

  6. [6]

    Bott: Nondegenerate critical manifolds, Ann

    R. Bott: Nondegenerate critical manifolds, Ann. of Math. (2), 60 (1954), 248–261

    work page 1954

  7. [7]

    M. R. Bridson, A. Haefliger: Metric spaces of non-positive curvature , 319 Springer-Verlag, Berlin, (1999)

    work page 1999

  8. [8]

    Calabi: An intrinsic characterization of harmonic 1-forms , Global Analysis, Papers in Honor of K.Kodaira, (D.C.Spencer and S.Iyanaga, ed.), (1969), 101–117

    E. Calabi: An intrinsic characterization of harmonic 1-forms , Global Analysis, Papers in Honor of K.Kodaira, (D.C.Spencer and S.Iyanaga, ed.), (1969), 101–117

    work page 1969

  9. [9]

    Caramello: Introduction to orbifolds, arXiv:1909.08699, (2022), 1–58

    F.-C. Caramello: Introduction to orbifolds, arXiv:1909.08699, (2022), 1–58

    work page arXiv 1909

  10. [10]

    Chiang: Harmonic maps of V -manifolds, Ann

    Y.-J. Chiang: Harmonic maps of V -manifolds, Ann. Global Anal. Geom., 8 (1990) no. 3, 315–344

    work page 1990

  11. [11]

    C.-H. Cho, H. Hong, H.-S. Shin: On orbifold embeddings , J. Korean Math. Soc., 50 (2013) no. 6, 1369–1400

    work page 2013

  12. [12]

    C.-H. Cho, H. Hong: Orbifold Morse-Smale-Witten complexes , Internat. J. Math., 25 (2014) no. 5, 1450040, 35

    work page 2014

  13. [13]

    Choi: Geometric structures on 2-orbifolds: Exploration of discrete symmetry , MSJ Memoirs, 27 Mathematical Society of Japan, Tokyo, (2012)

    S. Choi: Geometric structures on 2-orbifolds: Exploration of discrete symmetry , MSJ Memoirs, 27 Mathematical Society of Japan, Tokyo, (2012)

    work page 2012

  14. [14]

    Corrigan: Morse inequalities for orbifold Borel homology , Topology Appl., 286 (2020), 107414, 23

    S. Corrigan: Morse inequalities for orbifold Borel homology , Topology Appl., 286 (2020), 107414, 23. TOPOLOGY OF SINGULAR FOLIATIONS OF CLOSED 1-FORMS ON ORBIFOLDS 20

    work page 2020

  15. [15]

    Crainic, J

    M. Crainic, J. N. Mestre: Orbispaces as differentiable stratified spaces, Lett. Math. Phys., 108 (2018) no. 3, 805–859

    work page 2018

  16. [16]

    Crainic, R

    M. Crainic, R. Fernandes, D. Mart´ ınez-Torres:Poisson Manifolds of Compact Types , arXiv:2504.06447, (2025), 1–116

    work page arXiv 2025

  17. [17]

    del Hoyo: Lie groupoids and their orbispaces , Port

    M. del Hoyo: Lie groupoids and their orbispaces , Port. Math., 70 (2012) no. 2, 161–209

    work page 2012

  18. [18]

    del Hoyo, R

    M. del Hoyo, R. Fernandes: Riemannian metrics on Lie groupoids , J. Reine Angew. Math., 735 (2018), 143–173

    work page 2018

  19. [19]

    del Hoyo, R

    M. del Hoyo, R. Fernandes: Riemannian metrics on differentiable stacks , Math. Z., 292 (2019) no. 1-2, 103–132

    work page 2019

  20. [20]

    del Hoyo, C

    M. del Hoyo, C. Ortiz: Morita equivalences of vector bundles , Int. Math. Res. Not. IMRN, (2020) no. 14, 4395–4432

    work page 2020

  21. [21]

    Farber, G

    M. Farber, G. Katz, J. Levine: Morse theory of harmonic forms , Topology, 37 (1998) n. 3, 469–483

    work page 1998

  22. [22]

    Farber: Topology of closed one-forms, Mathematical Surveys and Monographs, American Mathe- matical Society, Providence, RI, (2004)

    M. Farber: Topology of closed one-forms, Mathematical Surveys and Monographs, American Mathe- matical Society, Providence, RI, (2004)

    work page 2004

  23. [23]

    Farsi, E

    C. Farsi, E. Proctor, C. Seaton: Approximating orbifold spectra using collapsing connected sums , J. Geom. Anal., 31 (2021) no. 10, 9433–9468

    work page 2021

  24. [24]

    Goresky, R

    M. Goresky, R. MacPherson: Stratified Morse theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 14 Springer-Verlag, Berlin, (1988)

    work page 1988

  25. [25]

    Haefliger: Vari´ et´ es feuillet´ ees, Ann

    A. Haefliger: Vari´ et´ es feuillet´ ees, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3), 16 (1962), 367–397

    work page 1962

  26. [26]

    Hepworth: Morse inequalities for orbifold cohomology , Algebr

    R. Hepworth: Morse inequalities for orbifold cohomology , Algebr. Geom. Topol., 9 (2009) no. 2, 1105–1175

    work page 2009

  27. [27]

    T. S. Holm, T. Matsumura: Equivariant cohomology for Hamiltonian torus actions on symplectic orbifolds, Transform. Groups, 17 (2012) no. 3, 717–746

    work page 2012

  28. [28]

    Honda: A note on Morse theory of harmonic 1-forms, Topology, 38 (1999) n

    K. Honda: A note on Morse theory of harmonic 1-forms, Topology, 38 (1999) n. 1, 223–233

    work page 1999

  29. [29]

    Kleiner, J

    B. Kleiner, J. and Lott: Geometrization of three-dimensional orbifolds via Ricci flow , Ast´ erisque, (2014) n. 365, 101–177

    work page 2014

  30. [30]

    Lerman, S

    E. Lerman, S. Tolman: Hamiltonian torus actions on symplectic orbifolds and toric varieties, Trans. Amer. Math. Soc., 34 (1997) no. 10, 4201–4230

    work page 1997

  31. [31]

    Lerman: Orbifolds as stacks? , Enseign

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

    work page 2010

  32. [32]

    Moerdijk, J

    I. Moerdijk, J. Mrˇ cun:Introduction to foliations and Lie groupoids , Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge 91, (2003)

    work page 2003

  33. [33]

    Moerdijk, J

    I. Moerdijk, J. Mrcun: Lie groupoids, sheaves and cohomology in: Poisson Geometry, Deformation Quantisation and Group Representations , London Math. Soc. Lecture Note Ser., Vol. 323, Cambridge Univ. Press, Cambridge, (2005) 145–272

    work page 2005

  34. [34]

    S. P. Novikov: Multi-valued functions and functionals. An analogue of Morse theory , Soviet Math. Doklady, 24 (1981), 222–226

    work page 1981

  35. [35]

    S. P. Novikov: The Hamiltonian formalism and a multi-valued analogue of Morse theory , Russian Math. Surveys, 37:5 (1982), 1–56

    work page 1982

  36. [36]

    Ortiz, F

    C. Ortiz, F. Valencia: Morse theory on Lie groupoids , Math. Z., 307 46 (2024)

    work page 2024

  37. [37]

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

    work page 2014

  38. [38]

    J-L. Tu, P. Xu: Chern character for twisted K-theory of orbifolds , Adv. Math., 207 (2006) no. 2, 455–483

    work page 2006

  39. [39]

    Valencia: Novikov type inequalities for orbifolds , Math

    F. Valencia: Novikov type inequalities for orbifolds , Math. Ann., (2025), 1–30

    work page 2025

  40. [40]

    Watson: Manifold maps commuting with the Laplacian , J

    B. Watson: Manifold maps commuting with the Laplacian , J. Differential Geometry, 8 (1973), 85–94

    work page 1973

  41. [41]

    Watts: The Orbit Space and Basic Forms of a Proper Lie Groupoid

    J. Watts: The Orbit Space and Basic Forms of a Proper Lie Groupoid . In: Cerejeiras, P., Reissig, M., Sabadini, I., Toft, J. (eds) Current Trends in Analysis, its Applications and Computation. Trends in Mathematics(). Birkh¨ auser, Cham, (2022), 513–523. TOPOLOGY OF SINGULAR FOLIATIONS OF CLOSED 1-FORMS ON ORBIFOLDS 21 D. L´opez-Garcia - Instituto de Mate...

    work page 2022