pith. machine review for the scientific record. sign in

arxiv: 2605.03174 · v1 · submitted 2026-05-04 · 🧮 math.DG

Recognition: unknown

Stratified vector fields on orbit spaces

Fabricio Valencia, Juan Sebastian Herrera-Carmona, Mateus de Melo

Pith reviewed 2026-05-08 17:00 UTC · model grok-4.3

classification 🧮 math.DG
keywords differentiable stacksstratified vector fieldsorbit spacesMorita stratificationsLie groupoidsGauss lemmaPalais isotopy theoremgeometric vector fields
0
0 comments X

The pith

Geometric vector fields on separated differentiable stacks correspond one-to-one with stratified vector fields on their orbit spaces via Morita stratifications.

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

The paper establishes a bijection between geometric vector fields on a separated differentiable stack and stratified vector fields on the orbit space using Morita-type stratifications. This correspondence is used to obtain a stacky analogue of the generalized Gauss lemma. It also yields a smooth version of Palais' covering isotopy theorem for proper Lie groupoids, extending the classical case for group actions. Readers interested in geometric structures with symmetries and singular quotients would find this relevant for handling vector fields consistently across the stack and its orbit space.

Core claim

Using Morita type stratifications, we establish a one-to-one correspondence between geometric vector fields on a separated differentiable stack and stratified vector fields on its orbit space. This correspondence enables us to derive a stacky version of the generalized Gauss lemma and to prove a smooth version of Palais' covering isotopy theorem for a class of proper Lie groupoids, thereby extending the classical result for proper Lie group actions.

What carries the argument

Morita type stratifications on the orbit spaces of separated differentiable stacks that preserve the data of geometric vector fields.

If this is right

  • A stacky version of the generalized Gauss lemma follows directly from the correspondence.
  • A smooth version of Palais' covering isotopy theorem holds for proper Lie groupoids.
  • The classical results for proper Lie group actions extend to the stack setting.
  • The stratified vector fields provide a way to study geometric vector fields on stacks through their orbit spaces.

Where Pith is reading between the lines

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

  • This approach could facilitate the study of flows and symmetries on singular spaces arising from groupoid actions.
  • Similar correspondences might exist for other geometric objects like differential forms on stacks.
  • Applications could arise in understanding the geometry of moduli spaces or orbifolds where orbit spaces are stratified.
  • The result suggests a framework for transferring theorems between stack geometry and stratified geometry.

Load-bearing premise

Separated differentiable stacks have orbit spaces that admit Morita-type stratifications preserving geometric vector field information, and the groupoids are proper.

What would settle it

A counterexample consisting of a separated differentiable stack with a geometric vector field that does not match any stratified vector field on the orbit space under a Morita stratification.

read the original abstract

Using Morita type stratifications, we establish a one-to-one correspondence between geometric vector fields on a separated differentiable stack and stratified vector fields on its orbit space. This correspondence enables us to derive a stacky version of the generalized Gauss lemma and to prove a smooth version of Palais' covering isotopy theorem for a class of proper Lie groupoids, thereby extending the classical result for proper Lie group actions.

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

1 major / 2 minor

Summary. The paper uses Morita-type stratifications to establish a one-to-one correspondence between geometric vector fields on separated differentiable stacks and stratified vector fields on the associated orbit spaces. This bijection is then applied to obtain a stacky version of the generalized Gauss lemma and a smooth extension of Palais' covering isotopy theorem for a class of proper Lie groupoids, generalizing the classical result for proper Lie group actions.

Significance. If the central correspondence is intrinsic to the stack (i.e., independent of groupoid presentation), the work supplies a practical dictionary between stack geometry and stratified geometry on orbit spaces. The extension of Palais' theorem to proper Lie groupoids is a concrete advance with potential applications in equivariant geometry and foliation theory. The manuscript does not appear to rely on ad-hoc axioms or invented entities beyond standard Morita equivalence and stratification techniques.

major comments (1)
  1. [Abstract and introduction] The skeptic's concern about Morita invariance does not land on the manuscript as presented: the abstract and the stated weakest assumption explicitly frame the result for separated differentiable stacks (rather than for a fixed presenting groupoid), and the use of 'Morita type stratifications' indicates that the construction is intended to be invariant. No load-bearing circularity or presentation dependence is visible in the abstract or the reader's summary of the central claim.
minor comments (2)
  1. [Abstract] The abstract is concise but could usefully name the precise class of proper Lie groupoids for which the Palais theorem holds (e.g., source-proper or proper with compact stabilizers).
  2. [Introduction] Notation for geometric vector fields versus stratified vector fields should be introduced with a short comparison table or diagram to clarify the bijection at a glance.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of our work and for confirming that the manuscript's framing for separated differentiable stacks addresses potential concerns about Morita invariance. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract and introduction] The skeptic's concern about Morita invariance does not land on the manuscript as presented: the abstract and the stated weakest assumption explicitly frame the result for separated differentiable stacks (rather than for a fixed presenting groupoid), and the use of 'Morita type stratifications' indicates that the construction is intended to be invariant. No load-bearing circularity or presentation dependence is visible in the abstract or the reader's summary of the central claim.

    Authors: We appreciate the referee's confirmation that our presentation for separated differentiable stacks, together with the use of Morita-type stratifications, renders the correspondence intrinsic and independent of the choice of presenting groupoid. This matches our intent, as the results are stated and proved at the level of the stack. No revision is required on this point. revision: no

Circularity Check

0 steps flagged

No circularity; correspondence presented as new construction on standard Morita stratifications

full rationale

The abstract and reader's summary describe a one-to-one correspondence derived from Morita-type stratifications between geometric vector fields on separated differentiable stacks and stratified vector fields on orbit spaces. This is used to obtain a stacky Gauss lemma and a smooth Palais covering isotopy theorem for proper Lie groupoids. No equations, definitions, or self-citations are quoted that reduce the central bijection to a prior fit, self-definition, or load-bearing author citation. The stratification is invoked as an external tool (Morita type), and the results are framed as extensions rather than renamings or tautologies. The derivation chain remains independent of its inputs under the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background from differential geometry and Lie groupoid theory; the new content is the correspondence itself.

axioms (2)
  • domain assumption Separated differentiable stacks admit Morita-type stratifications on their orbit spaces that are compatible with geometric vector fields.
    Invoked to establish the one-to-one correspondence.
  • domain assumption Proper Lie groupoids form a class for which the smooth Palais theorem can be lifted via the stack-orbit correspondence.
    Required for the isotopy theorem extension.

pith-pipeline@v0.9.0 · 5351 in / 1306 out tokens · 61213 ms · 2026-05-08T17:00:15.218474+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

38 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Crainic, R

    M. Crainic, R. L. Fernandes:Lectures on integrability of Lie brackets, Geom. Topol. Monogr.17(2011), 1–107

    2011

  2. [2]

    Crainic, J

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

    2018

  3. [3]

    Crainic, J

    M. Crainic, J. N. Mestre, I. Struchiner:Deformations of Lie groupoids, Int. Math. Res. Not. IMRN, 2020 (2020) no. 21, 7662–7746

    2020

  4. [4]

    Crainic, I

    M. Crainic, I. Struchiner:On the linearization theorem for proper Lie groupoids, Ann. Sci. ´Ec. Norm. Sup´ er. (4),46(2013) no. 5, 723–746

    2013

  5. [5]

    Davis:Smooth G-manifolds as collections of fiber bundles, Pac

    M. Davis:Smooth G-manifolds as collections of fiber bundles, Pac. J. Math.,77(1978) no. 2, 315–363

    1978

  6. [6]

    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

  7. [7]

    del Hoyo, C

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

    2020

  8. [8]

    del Hoyo, M

    M. del Hoyo, M. de Melo:Geodesics on Riemannian stacks, Transformation Groups,27(2022) no. 2, 403–427

    2022

  9. [9]

    del Hoyo, M

    M. del Hoyo, M. de Melo:On invariant linearization of Lie groupoids, Lett. Math. Phys.,111(2021) no. 4, Paper No. 112, 14

    2021

  10. [10]

    del Hoyo, R

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

    2018

  11. [11]

    del Hoyo, R

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

    2019

  12. [12]

    de Melo, J S

    M. de Melo, J S. Herrera-Carmona, F. Valencia:A Myers-Steenrod type theorem for Riemannian stacks. Work in progress

  13. [13]

    J. S. Herrera-Carmona, F. Valencia:Isometric Lie 2-Group Actions on Riemannian Groupoids, J. Geom. Anal.,33(2023) no. 10, Paper No. 323, 36

    2023

  14. [14]

    R. L. Fernandes:Normal forms and Lie groupoid theory, in:Geometric Methods in Physics, Trends Math., Birkh¨ auser/Springer, Cham (2015), 49–66

    2015

  15. [15]

    Farsi, C

    C. Farsi, C. Seaton:Orbifold Euler characteristics of non-orbifold groupoids, J. Lond. Math. Soc. (2), 106(2022) no. 3, 2342–2378

    2022

  16. [16]

    Goresky, R

    M. Goresky, R. MacPherson,Stratified Morse theory, volume 14 of Ergeb. der Math. Springer-Verlag, Berlin, (1988)

    1988

  17. [17]

    Gray:Tubes, 2nd ed., Progress in Mathematics, vol.221, Birkh¨ auser, Basel, (2003)

    A. Gray:Tubes, 2nd ed., Progress in Mathematics, vol.221, Birkh¨ auser, Basel, (2003)

    2003

  18. [18]

    J. Baez, U. Schreiber:Higher gauge theory: 2-connections on 2-bundles, arXiv:hep-th/0412325 (2004), 1–72

    work page internal anchor Pith review arXiv 2004

  19. [19]

    Igusa:Iterated integrals of superconnections, arXiv:0912.0249 (2009), 1–40

    K. Igusa:Iterated integrals of superconnections, arXiv:0912.0249 (2009), 1–40

    work page arXiv 2009

  20. [20]

    Abraham, J

    R. Abraham, J. E. Marsden, T. Ratiu:Manifolds, tensor analysis, and applications, 2nd ed., Applied Mathematical Sciences, vol.75, Springer-Verlag, New York, (1988)

    1988

  21. [21]

    Kankaanrinta:Lifting smooth homotopies of orbit spaces of proper Lie group actions, J

    M. Kankaanrinta:Lifting smooth homotopies of orbit spaces of proper Lie group actions, J. Lie Theory, 15(2005) no. 2, 447–456

    2005

  22. [22]

    J. N. Mather:Notes on topological stability, Bull. Amer. Math. Soc. (N.S.),49(2012) no. 4, 475–506. STRATIFIED VECTOR FIELDS ON ORBIT SPACES 16

    2012

  23. [23]

    Mackenzie, P

    K. Mackenzie, P. Xu:Classical lifting processes and multiplicative vector fields, Quart. J. Math. Oxford Ser. (2),49(1998) no. 193, 59–85

    1998

  24. [24]

    Meinrenken:Euler-like vector fields, normal forms, and isotropic embeddings, Indag

    E. Meinrenken:Euler-like vector fields, normal forms, and isotropic embeddings, Indag. Math. (N.S.), 32(2021) no. 1, 224–245

    2021

  25. [25]

    Moerdijk, J

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

    2003

  26. [26]

    Ortiz, F

    C. Ortiz, F. Valencia:Morse theory on Lie groupoids, Math. Z.,307(2024) no. 3, Paper No. 46, 55

    2024

  27. [27]

    Ortiz, J

    C. Ortiz, J. Waldron:On the Lie 2-algebra of sections of an LA-groupoid,J. Geom. Phys.,145(2019), 103474, 34

    2019

  28. [28]

    M. J. Pflaum:Analytic and geometric study of stratified spaces, Lecture Notes in Mathematics1768, Springer-Verlag, Berlin, (2001)

    2001

  29. [29]

    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. [30]

    Posthuma, X

    H. Posthuma, X. Tang, K. Wang:Resolutions of proper Riemannian Lie groupoids, Int. Math. Res. Not. IMRN, (2021) no. 2, 1249–1287

    2021

  31. [31]

    G. W. Schwarz:Lifting smooth homotopies of orbit spaces, Inst. Hautes ´Etudes Sci. Publ. Math., bf 51 (1980), 37–135

    1980

  32. [32]

    Nocera, M

    G. Nocera, M. Volpe:Whitney stratifications are conically smooth, Selecta Math. (N.S.),29(2023) no. 5, Paper No. 68, 20

    2023

  33. [33]

    Schmeding, C

    A. Schmeding, C. Wockel:The Lie group of bisections of a Lie groupoid, Ann. Global Anal. Geom.,48 (2015) no. 1, 87–123

    2015

  34. [34]

    R. S. Palais:The classification ofG-spaces, Mem. Amer. Math. Soc.,36(1960), iv+72

    1960

  35. [35]

    R. S. Palais:On the existence of slices for actions of non-compact Lie groups, Ann. of Math. (2),73 (1961), 295–323

    1961

  36. [36]

    Ross:Stratified vector bundles: examples and constructions, J

    E. Ross:Stratified vector bundles: examples and constructions, J. Geom. Phys.,198(2024), Paper No. 105114, 25

    2024

  37. [37]

    Weinstein:Linearization of regular proper groupoids, J

    A. Weinstein:Linearization of regular proper groupoids, J. Inst. Math. Jussieu,1(2002) no. 3, 493–511

    2002

  38. [38]

    Zung:Proper groupoids and momentum maps: linearization, affinity, and convexity, Ann

    N. Zung:Proper groupoids and momentum maps: linearization, affinity, and convexity, Ann. Sci. ´Ecole Norm. Sup. (4),39(2006) no. 5, 841–869. Mateus de Melo - Departamento de Matem´atica, Universidade Federal do Esp´ırito Santo, Avenida Fernando Ferrari 514, Vit´oria, 29075-910, Esp´ırito Santo - Brazil. Juan Sebastian Herrera-Carmona - Departamento de Mat...

    2006