Pith. sign in

REVIEW 4 minor 13 references

Diffeological Riemannian orbifolds

T0 review · 0 major / 4 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Riemannian metrics on orbifold stacks equal those on their diffeological orbit spaces.

desk verdict Clean equivalence of the three Riemannian-orbifold notions, with a sharp regularity obstruction and a free-action extension; the load-bearing injectivity step holds. read the letter →

arxiv 2607.08939 v1 pith:2Z7RR3YP submitted 2026-07-09 math.DG

David Miyamoto This is my paper · ORCID
classification math.DG MSC 58A4058A0358H0518F15
keywords diffeologyRiemannianmetricorbifolddifferentiablestackLiegroupoid2-metricorbitspaceregular
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

This paper shows that a Riemannian metric on a differentiable stack presented by an orbifold groupoid is the same data as a weak Riemannian metric on the corresponding diffeological orbit space. As a direct consequence, the classical notion of a Riemannian orbifold coincides with the diffeological one. The work answers, affirmatively, an open question posed by Kuribayashi, Sakai, and Shiobara about whether their definition of Riemannian diffeological orbifold matches the classical one. More generally, a 2-metric on a Lie groupoid descends to a metric on the orbit space only when the groupoid is regular; properness is enough for descent but is not required. The result unifies three presentations of the same geometry and clarifies when singular quotients inherit smooth Riemannian structure from their groupoid presentations.

What carries the argument

The natural subduction λ : N^{2}F o T^{2}(M/G) that relates the normal bundle of the orbit foliation to the Kan-extended fibred tangent functor on the orbit space; a 0-metric induces a weak Riemannian metric precisely when it is constant on the fibres of λ, which holds for regular proper groupoids because λ₁ becomes a diffeomorphism.

What would settle it

Exhibit a regular proper Lie groupoid for which λ₁ fails to be injective, or a non-regular groupoid whose 0-metric still produces a smooth weak Riemannian metric on the orbit space.

Watch

Extended reading notes

Core claim

The data of a Riemannian metric on a differentiable stack presented by an orbifold groupoid is equivalent to the data of a Riemannian metric on its diffeological orbit space. Consequently the classical notion of Riemannian orbifold is equivalent to that of a Riemannian diffeological orbifold. A 2-metric induces a weak Riemannian metric on the orbit space only if the Lie groupoid is regular; properness is a sufficient but not necessary condition for this descent.

Load-bearing premise

That the natural map from the orbit space of the fibred tangent groupoid to the fibred tangent of the orbit space is injective whenever the original groupoid is regular and proper.

Editorial extensions

If this is right

  • Classical Riemannian orbifolds, stacky Riemannian orbifolds, and diffeological Riemannian orbifolds carry identical metric data.
  • Every 2-metric on a regular proper Lie groupoid descends to a weak Riemannian metric definite with respect to transversals.
  • The only weak Riemannian metrics (up to scale) on the irrational torus are those induced by the Euclidean metric on the line.
  • Descent of metrics can hold for free countable actions that are not proper, enlarging the class of singular spaces that inherit Riemannian structure.

Reading between the lines

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

  • The same descent criterion may apply to leaf spaces of regular Riemannian foliations and to other quasifolds whose presenting groupoids are diffeologically étale.
  • A uniform characterization of all Lie groupoids for which every 0-metric descends would complete the picture begun by the regularity obstruction and the properness sufficiency.
  • Once metrics descend, curvature and geodesic notions formulated in the diffeological setting become interchangeable with their stacky counterparts for orbifolds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves that a Riemannian metric on a differentiable stack presented by an orbifold groupoid is equivalent to a weak Riemannian metric (in the sense of Kuribayashi–Sakai–Shiobara) on the diffeological orbit space. Consequently the classical notion of Riemannian orbifold coincides with that of a Riemannian diffeological orbifold, answering [KSS25, (P3)] affirmatively. More generally, a 2-metric on a Lie groupoid induces a weak metric on the orbit space only if the groupoid is regular; properness is sufficient (Theorem 4.22) but not necessary (Proposition 4.29). The argument proceeds by constructing a natural subduction λ : N^{2}F o T^{2}(M/G) and showing that a 0-metric descends precisely when it is constant on the fibres of λ; for regular proper groupoids this reduces to injectivity of λ_{1} (Proposition 4.19), established via linearization, the canonical stratification, and a density argument.

Significance. The result cleanly equates three independently defined notions of Riemannian structure on orbifolds (stacky 2-metrics of del Hoyo–Fernandes, classical Satake metrics, and the recent diffeological weak metrics of Kuribayashi–Sakai–Shiobara). It therefore settles an open problem posed in [KSS25] and supplies a precise obstruction (non-regularity) to further generalization. The proofs rely on standard tools (Crainic–Struchiner linearization, Whitney stratification of orbit types) and are free of free parameters or circular definitions. The free-action extension (Proposition 4.29) already yields a complete description of weak metrics on irrational tori, indicating that the framework is useful beyond orbifolds.

minor comments (4)
  1. In the proof of Proposition 4.19 the citation to [BWZ26, Theorem 8.1] is used for the density of the union of interiors of finitely many closed sets; a one-sentence elementary argument (or a pointer to a standard topology reference) would make the paper self-contained for readers who do not have that preprint at hand.
  2. Example 3.3 and Remark 4.21 both illustrate that θ_{2} and λ_{1} fail to be isomorphisms when the groupoid is not regular; a brief cross-reference would help the reader see that the same phenomenon is being tracked in both places.
  3. The notation T^{2} is used both for the Kan-extended functor and for the ordinary fibre product of tangent bundles; a short clarifying sentence near Definition 3.2 would prevent momentary confusion.
  4. In Definition 4.4 the diagram is stated to live in Set; it would be helpful to remind the reader explicitly that η_N need not be continuous a priori, so that the subsequent smoothness argument in Proposition 4.8 is seen as necessary rather than redundant.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: independent comparison of del Hoyo–Fernandes 2-metrics with KSS weak metrics via a natural map λ; self-citations supply only background language.

full rationale

The paper's central claims (Theorems 4.22 and 4.24) equate two independently defined notions of Riemannian metric: equivalence classes of 2-metrics on a Lie groupoid (del Hoyo–Fernandes) versus weak Riemannian metrics on the diffeological orbit space (Kuribayashi–Sakai–Shiobara). Induction is defined by commutativity of a diagram involving a canonically constructed subduction λ : N^{2}F o T^{2}(M/G) (Definitions 4.3–4.4), not by redefining one notion in terms of the other. Necessity of regularity (Proposition 4.8) follows from a direct continuity argument showing that a non-regular TF cannot make η_N continuous. Sufficiency for proper regular groupoids (Proposition 4.19) reduces injectivity of λ_{1} to the single-stratum case via external linearization (CS13), the canonical Whitney stratification (CM18), and a density argument (BWZ26 Theorem 8.1); none of these is a self-citation of an unverified uniqueness claim. The free-action extension (Proposition 4.29) is likewise independent. Self-citations ([KM25], [Miy24], [Miy25]) appear only for diffeological/stacky background (e.g., Proposition 2.16) and do not force the metric equivalence or the affirmative answer to [KSS25, (P3)]. No parameters are fitted, no quantity is defined via the result it claims to prove, and no ansatz is smuggled. The derivation is therefore self-contained against the two external frameworks it compares.

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

The work sits inside standard differential geometry and diffeology. No free parameters are fitted. The only non-standard ingredients are the two competing definitions of Riemannian metric that the paper compares, both taken from the literature, and the technical density fact used for the stratification argument.

assumptions (5)
  • domain assumption Proper Lie groupoids are linearizable (Crainic–Struchiner).
    Invoked in Lemma 4.16 and Proposition 4.19 to obtain local models Pair(A)×G_x ⋉ W.
  • domain assumption The canonical stratification of a proper Lie groupoid is a Whitney stratification (Crainic–Mestre).
    Used in Proposition 4.17–4.19 to reduce to the single-stratum case.
  • standard math A finite collection of closed sets in an open subset of R^n has dense interior union ([BWZ26, Thm 8.1]).
    Density argument that closes the proof of injectivity of λ₁ in the multi-stratum case.
  • domain assumption Definition of weak Riemannian metric via the Kan-extended functor T^{2} (Kuribayashi–Sakai–Shiobara).
    The target notion of metric on the diffeological orbit space.
  • domain assumption Definition of 2-metric / 0-metric on a Lie groupoid (del Hoyo–Fernandes).
    The source notion of metric on the stack.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Diffeological Riemannian orbifolds." pith.science (2026). https://pith.science/paper/2Z7RR3YP

@misc{pith2026260708939,
  author       = {Pith},
  title        = {Pith review of: Diffeological Riemannian orbifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2Z7RR3YP}},
  note         = {Machine review of arXiv:2607.08939}
}
read the original abstract

We show that the data of a Riemannian metric on a differentiable stack presented by an orbifold groupoid is equivalent to the data of a Riemannian metric on its diffeological orbit space. As a consequence, we conclude that the classical notion of Riemannian orbifold is equivalent to that of a Riemannian diffeological orbifold. We use the framework for Riemannian diffeology introduced by Kuribayashi, Sakai, and Shiobara, and our result answers a problem they posed in the affirmative. More generally, we show that a Riemannian metric on a Lie groupoid, namely a 2-metric in the sense of del Hoyo and Fernandes, induces a Riemannian metric on its diffeological orbit space only if the Lie groupoid is regular, and that properness is a sufficient but not necessary condition.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 3 linked inside Pith

  1. [1]

    [Ahm24] Ahmadi, A.Submersions, immersions, and ´ etale maps in diffeology. Indag. Math. (N.S.)35 (2024), no. 3, pp. 459–499. [BH11] Baez, J. C. and Hoffnung, A. E.Convenient categories of smooth spaces. Trans. Am. Math. Soc.363(2011), no. 11, pp. 5789–5825. [BWZ26] Barbieri, G., Watts, J., and Ziegler, F.Remarks on diffeological Frobenius reciprocity. Eng...

    2024

  2. [2]

    Contemp. Math. Amer. Math. Soc., [Providence], RI, 2024, pp. 49–86. [Blo24b] Blohmann, C.Lagrangian field theory. Online lecture notes

    2024

  3. [3]

    [CM18] Crainic, M

    arXiv: 1909.08699[math.DG]. [CM18] Crainic, M. and Mestre, J. N.Orbispaces as differentiable stratified spaces. English. Lett. Math. Phys.108(2018), no. 3, pp. 805–859. [CS13] Crainic, M. and Struchiner, I.On the linearization theorem for proper Lie groupoids. Ann. Sci. ´Ec. Norm. Sup´ er. (4)46(2013), no. 5, pp. 723–746. [dF18] del Hoyo, M. and Fernandes...

    arXiv 1909

  4. [4]

    et al.Groupo¨ ıdes riemanniens

    [Gal+89] Gallego, E. et al.Groupo¨ ıdes riemanniens. Publ. Mat.33(1989), no. 3, pp. 417–422. [GW21] Goldammer, N. and Welker, K.Towards optimization techniques on diffeological spaces by generalizing Riemannian concepts

    1989

  5. [5]

    [GI26] G¨ urer, S

    arXiv: 2009.04262[math.OC]. [GI26] G¨ urer, S. and Iglesias-Zemmour, P.On the diffeology of orbit spaces. Differential Geom. Appl. 103(2026), Paper No. 102391,

    arXiv 2009

  6. [6]

    REFERENCES 25 [IKZ10] Iglesias, P., Karshon, Y., and Zadka, M.Orbifolds as diffeologies. Trans. Am. Math. Soc. 362(2010), no. 6, pp. 2811–2831. [Igl13] Iglesias-Zemmour, P.Diffeology. Vol

    2010

  7. [7]

    and Laffineur, J.-P.Noncommutative geometry and diffeology: the case of orbifolds

    [IL18] Iglesias-Zemmour, P. and Laffineur, J.-P.Noncommutative geometry and diffeology: the case of orbifolds. J. Noncommut. Geom.12(2018), no. 4, pp. 1551–1572. [IP21] Iglesias-Zemmour, P. and Prato, E.Quasifolds, diffeology and noncommutative geometry. J. Noncommut. Geom.15(2021), no. 2, pp. 735–759. [Jor82] Joris, H.UneC ∞-application non-immersive qui...

    2018

  8. [8]

    Proceedings of the Royal Society of Edinburgh: Section A Mathematics (2025), pp

    [KSS25] Kuribayashi, K., Sakai, K., and Shiobara, Y.Towards Riemannian diffeology. Proceedings of the Royal Society of Edinburgh: Section A Mathematics (2025), pp. 1–30. [Ler10] Lerman, E.Orbifolds as stacks?Enseign. Math. (2)56(2010), no. 3-4, pp. 315–363. [Miy24] Miyamoto, D.Lie groupoids determined by their orbit spaces. To appear in J. Noncommut. Geom

    2025

Show all 13 references
  1. [9]

    [Miy25] Miyamoto, D.Lie algebras of quotient groups

    arXiv: 2310.11968[math.DG]. [Miy25] Miyamoto, D.Lie algebras of quotient groups

    arXiv

  2. [10]

    [MM03] Moerdijk, I

    arXiv: 2502.10260[math.DG]. [MM03] Moerdijk, I. and Mrˇ cun, J.Introduction to foliations and Lie groupoids. Vol

  3. [11]

    J., Posthuma, H., and Tang, X.Geometry of orbit spaces of proper Lie groupoids

    [PPT14] Pflaum, M. J., Posthuma, H., and Tang, X.Geometry of orbit spaces of proper Lie groupoids. J. Reine Angew. Math.694(2014), pp. 49–84. [Rei59] Reinhart, B. L.Foliated manifolds with bundle-like metrics. Ann. of Math. (2)69(1959), pp. 119–132. [Sat56] Satake, I.On a gene...

    2014

  4. [12]

    In:Differential geometrical methods in mathematical physics (Proc

    [Sou80] Souriau, J.-M.Groupes diff´ erentiels. In:Differential geometrical methods in mathematical physics (Proc. Conf., Aix-en-Provence/Salamanca, 1979). Vol

    1979

  5. [13]

    Springer, Berlin-New York, 1980, pp 91–128

    Lecture Notes in Math. Springer, Berlin-New York, 1980, pp 91–128. D. Miyamoto, Queen’s University, Kingston, Ontario, Canada Email address:d.miyamoto@queensu.ca

    1980

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.