Pith. sign in

REVIEW 2 minor 41 references

Topology of singular foliations of closed 1-forms on orbifolds

T0 review · 0 major / 2 minor · reviewed 2026-05-19 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read 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.

desk verdict The paper extends Calabi's theorem to orbifolds with new leaf-compactness criteria but remains a narrow incremental step. read the letter →

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

Daniel Lopez Garcia , Fabricio Valencia This is my paper · ORCID
classification math.DGmath.GT
keywords singularfoliationclosed1-formorbifoldMorsetypeleafcompactnessCalabicharacterizationharmonic
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 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.

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.

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.

Watch

Extended reading notes

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.

Load-bearing premise

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

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

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 · score 0.0 of 10

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.

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

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

how reviews work

0 comments
Cite this review

Pith. "Pith review of Topology of singular foliations of closed 1-forms on orbifolds." pith.science (2026). https://pith.science/paper/2507.09644

@misc{pith2026250709644,
  author       = {Pith},
  title        = {Pith review of: Topology of singular foliations of closed 1-forms on orbifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2507.09644}},
  note         = {Machine review of arXiv:2507.09644}
}
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.

Figures

Figures reproduced from arXiv: 2507.09644 by the authors.

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. 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 also [36]… view at source ↗

Discussion (0). Continue with ORCID to comment.

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

Show all 41 references
  1. [9]

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

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

    1909

  2. [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

    1990

  3. [11]

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

    2013

  4. [12]

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

    2014

  5. [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)

    2012

  6. [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

    2020

  7. [15]

    Crainic, J

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

    2018

  8. [16]

    Crainic, R

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

    2025

  9. [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

    2012

  10. [18]

    del Hoyo, R

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

    2018

  11. [19]

    del Hoyo, R

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

    2019

  12. [20]

    del Hoyo, C

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

    2020

  13. [21]

    Farber, G

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

    1998

  14. [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)

    2004

  15. [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

    2021

  16. [24]

    Goresky, R

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

    1988

  17. [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

    1962

  18. [26]

    Hepworth: Morse inequalities for orbifold cohomology , Algebr

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

    2009

  19. [27]

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

    2012

  20. [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

    1999

  21. [29]

    Kleiner, J

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

    2014

  22. [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

    1997

  23. [31]

    Lerman: Orbifolds as stacks? , Enseign

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

    2010

  24. [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)

    2003

  25. [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

    2005

  26. [34]

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

    1981

  27. [35]

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

    1982

  28. [36]

    Ortiz, F

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

    2024

  29. [37]

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

    2014

  30. [38]

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

    2006

  31. [39]

    Valencia: Novikov type inequalities for orbifolds , Math

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

    2025

  32. [40]

    Watson: Manifold maps commuting with the Laplacian , J

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

    1973

  33. [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 F...

    2022

Pith tools

Reviewed May 19, 2026 · model on record in the stance chip above.