pith. sign in

arxiv: 2509.24155 · v2 · submitted 2025-09-29 · 🧮 math.DG

The dual foliation of polar actions on nonnegatively curved manifolds

Yi Shi This is my paper

Pith reviewed 2026-05-18 13:11 UTC · model grok-4.3

classification 🧮 math.DG
keywords polar actionsnonnegative curvaturedual foliationRiemannian submersiontotally geodesichomogeneous spacemanifolds
0
0 comments X

The pith

In simply connected complete nonnegatively curved polar manifolds, dual leaves are totally geodesic and closed, each is itself a polar manifold, and the dual foliation induces a Riemannian submersion to a homogeneous space.

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

The paper shows that dual leaves in these manifolds are totally geodesic submanifolds and form closed subsets. Each dual leaf carries a complete nonnegatively curved polar structure of its own. This setup lets the dual foliation produce a Riemannian submersion whose fibers are totally geodesic and whose base is a homogeneous space. Readers care because the result organizes the geometry of symmetric actions on curved spaces into a quotient that preserves curvature and symmetry properties.

Core claim

Any dual leaf L# of a simply connected, complete nonnegatively curved polar manifold M is totally geodesic and closed in M, and L# is itself a complete nonnegatively curved polar manifold. Furthermore, the dual foliation on M induces a Riemannian submersion with totally geodesic fibers from M to a homogeneous space.

What carries the argument

dual foliation of a polar action, whose leaves consist of points joined by geodesics orthogonal to the principal orbits

If this is right

  • Dual leaves are totally geodesic submanifolds of the original manifold.
  • Dual leaves are closed subsets and inherit completeness.
  • Each dual leaf itself admits a polar action with nonnegative curvature.
  • The dual foliation yields a Riemannian submersion with totally geodesic fibers onto a homogeneous space.

Where Pith is reading between the lines

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

  • The construction may permit iterated decomposition of the manifold along successive dual leaves while keeping curvature nonnegative.
  • The homogeneous base space could serve as a model for the orbit space of the original action.
  • Similar leaf-closure arguments might extend to polar actions on manifolds with other curvature conditions such as nonpositive curvature.

Load-bearing premise

The manifold is simply connected, which is needed to guarantee that dual leaves remain closed and that the quotient space is homogeneous.

What would settle it

A complete non-simply-connected nonnegatively curved polar manifold containing a dual leaf that is neither closed nor totally geodesic.

read the original abstract

We prove that any dual leaf $L^{\#}$ of a simply connected, complete nonnegatively curved polar manifold $M$ is totally geodesic and closed in $M$, and $L^{\#}$ is itself a complete nonnegatively curved polar manifold. Furthermore, the dual foliation on $M$ induces a Riemannian submersion with totally geodesic fibers from $M$ to a homogeneous space.

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

2 major / 2 minor

Summary. The manuscript proves that for a simply connected, complete manifold M of nonnegative sectional curvature admitting a polar action, every dual leaf L# is totally geodesic and closed in M; moreover L# itself carries the structure of a complete nonnegatively curved polar manifold. The dual foliation is shown to induce a Riemannian submersion with totally geodesic fibers from M onto a homogeneous space.

Significance. If the arguments hold, the result supplies a new structural theorem relating polar actions, dual foliations, and nonnegative curvature, showing that the dual leaves inherit the geometric and polar properties of the ambient space and that the quotient is homogeneous. This would strengthen the dictionary between curvature conditions and orbit-space geometry in the presence of polar actions.

major comments (2)
  1. [Proof of closedness of dual leaves (around the statement of the main theorem)] The proof that dual leaves are closed and that the quotient is homogeneous relies on simple connectedness to control the fundamental group and rule out nontrivial deck transformations. The manuscript should explicitly isolate the step where π1(M)=1 is used (likely in the argument that the leaf is a closed embedded submanifold) and verify that the same conclusion fails without this hypothesis, as suggested by the topological nature of the closedness claim.
  2. [Section establishing the totally geodesic property] Nonnegative curvature is invoked to conclude that the second fundamental form vanishes along horizontal directions, making L# totally geodesic. The manuscript should confirm that this vanishing holds uniformly for all dual leaves and does not require additional curvature pinching or diameter bounds beyond the stated nonnegative assumption.
minor comments (2)
  1. [Introduction and notation section] Notation for the dual foliation and the induced submersion should be introduced with a short diagram or commutative square to clarify the relationship between the original polar action, the dual leaves, and the homogeneous base space.
  2. [Statement of the main theorem] The statement that L# is itself polar should include a brief reminder of the definition of polarity used in the paper to avoid any ambiguity with other notions of polarity in the literature.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, indicating the revisions we will incorporate.

read point-by-point responses

  1. Referee: [Proof of closedness of dual leaves (around the statement of the main theorem)] The proof that dual leaves are closed and that the quotient is homogeneous relies on simple connectedness to control the fundamental group and rule out nontrivial deck transformations. The manuscript should explicitly isolate the step where π1(M)=1 is used (likely in the argument that the leaf is a closed embedded submanifold) and verify that the same conclusion fails without this hypothesis, as suggested by the topological nature of the closedness claim.

    Authors: We agree that the dependence on simple connectedness merits explicit isolation for clarity. In the revised manuscript we will insert a dedicated paragraph immediately after the statement of the main theorem that pinpoints the precise invocation of π₁(M)=1: namely, in the covering-space argument showing that the developing map has no nontrivial deck transformations, which guarantees that each dual leaf is a closed embedded submanifold. With respect to verifying that the conclusion fails without the hypothesis, the topological character of closedness indeed indicates necessity; we will add a brief remark to this effect. However, constructing an explicit counterexample on a non-simply-connected manifold lies outside the scope of the present work, which focuses on the simply-connected setting. revision: partial

  2. Referee: [Section establishing the totally geodesic property] Nonnegative curvature is invoked to conclude that the second fundamental form vanishes along horizontal directions, making L# totally geodesic. The manuscript should confirm that this vanishing holds uniformly for all dual leaves and does not require additional curvature pinching or diameter bounds beyond the stated nonnegative assumption.

    Authors: The proof that each dual leaf L# is totally geodesic proceeds from the nonnegativity of sectional curvature alone, combined with the orthogonality between the dual foliation and the orbits of the polar action. The second fundamental form vanishes in horizontal directions because any horizontal geodesic in L# cannot develop focal points under the curvature hypothesis; the argument is local and applies verbatim to every dual leaf. No curvature pinching, diameter bounds, or other global restrictions are used. We will insert an explicit clarifying sentence in the relevant section stating that the vanishing holds uniformly for all dual leaves under the stated nonnegative-curvature assumption. revision: yes

standing simulated objections not resolved
  • Explicit verification, including a concrete counterexample, that dual leaves fail to be closed when the simple-connectedness hypothesis is dropped.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper states a theorem for simply connected complete nonnegatively curved polar manifolds and claims to prove that dual leaves are totally geodesic, closed, and themselves polar, with the dual foliation inducing a Riemannian submersion onto a homogeneous space. The provided abstract and context show a direct proof structure relying on the simple connectedness hypothesis for topological control of leaves and quotients, combined with nonnegative curvature for the totally geodesic property. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations that collapse the central claim to its inputs are evident. The derivation remains self-contained with independent geometric content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard domain assumptions from Riemannian geometry rather than new free parameters or invented entities.

axioms (2)
  • domain assumption M is a simply connected complete Riemannian manifold with nonnegative sectional curvature
    Explicitly stated in the theorem as the ambient space for the polar action.
  • domain assumption The given action on M is polar
    The manifold is assumed polar so that dual leaves and sections are defined.

pith-pipeline@v0.9.0 · 5575 in / 1410 out tokens · 41945 ms · 2026-05-18T13:11:58.536925+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

46 extracted references · 46 canonical work pages

  1. [1]

    M. M. Alexandrino, On polar foliations and the fundamental group. Results Math., 60, 213–223 (2011)

    work page 2011

  2. [2]

    M. M. Alexandrino, R. Briquet and D. T¨ oben, Progress in the theory of singular Riemannian foliations, Diff. Geom. Appl.,31(2), 248–267 (2013)

    work page 2013

  3. [3]

    M. M. Alexandrino and D. T¨ oben, Singular Riemannian foliations on simply con- nected spaces. Differential Geom. Appl.,24, 383–397 (2006)

    work page 2006

  4. [4]

    Angulo-Ardoy, L

    P. Angulo-Ardoy, L. Guijarro and G. Walschap, Twisted submersions in nonneg- ative sectional curvature, Arch. Math. (Basel),101(2), 171–180 (2013)

    work page 2013

  5. [5]

    Berestovskii and L

    V. Berestovskii and L. Guijarro. A metric characterization of Riemannian sub- mersions. Ann. Global Anal. Geom.,18(6), 577–588 (2000)

    work page 2000

  6. [6]

    Bergmann, Reducible polar representations, Manuscripta Math.,104, no

    I. Bergmann, Reducible polar representations, Manuscripta Math.,104, no. 3, 309–324 (2001)

    work page 2001

  7. [7]

    Berndt, J

    J. Berndt, J. C. D´ ıaz-Ramos and H. Tamaru, Hyperpolar homogeneous foliations on symmetric spaces of noncompact type, J. Differential. Geom.,86, 191–235 (2010) 8

    work page 2010

  8. [8]

    Biliotti, Coisotropic and polar actions on compact irreducible Hermitian sym- metric spaces, Trans

    L. Biliotti, Coisotropic and polar actions on compact irreducible Hermitian sym- metric spaces, Trans. Amer. Math. Soc.,358, 3003–3022 (2006)

    work page 2006

  9. [9]

    Mikhail Borovoi, https://mathoverflow.net/questions/62456/ (2011)

    work page 2011

  10. [10]

    Chen and J

    X. Chen and J. Ou, Singular Cotangent Bundle Reduction and Polar Actions, The Journal of Geometric Analysis,30, 3498–3511 (2020)

    work page 2020

  11. [11]

    Dadok, Polar coordinates induced by actions of compact Lie groups, Trans

    J. Dadok, Polar coordinates induced by actions of compact Lie groups, Trans. Amer. Math. Soc.,288, 125–137 (1985)

    work page 1985

  12. [12]

    J. C. D´ ıaz-Ramos, M. Dom´ ınguez-V´ azquez and A. Kollross, Polar actions on com- plex hyperbolic spaces, Math. Z.,287, 1183–1213 (2017)

    work page 2017

  13. [13]

    Eschenburg and E

    J. Eschenburg and E. Heintze, On the classification of polar representations, Math. Z.,232, 391–398(1999)

    work page 1999

  14. [14]

    F. Fang, K. Grove and G. Thorbergsson, Tits geometry and positive curvature, Acta Mathematica,218(1), 1–53 (2017)

    work page 2017

  15. [15]

    Ge and M

    J. Ge and M. Radeschi, Differentiable classification of 4-manifolds with singular Riemannian foliations,Math. Ann., 2015,363(1-2): 525–548

    work page 2015

  16. [16]

    Gorodski, Polar actions on compact symmetric spaces which admit a totally geodesic principal orbit, Geom

    C. Gorodski, Polar actions on compact symmetric spaces which admit a totally geodesic principal orbit, Geom. Dedicata,103, 193–204 (2004)

    work page 2004

  17. [17]

    Gorodski, Topics in polar actions, preprint, arXiv:2208.03577

    C. Gorodski, Topics in polar actions, preprint, arXiv:2208.03577

    work page arXiv

  18. [18]

    Gorodski and A

    C. Gorodski and A. Kollross, Some remarks on polar actions, Ann. Glob. Anal. Geom.,49, 43–58 (2016)

    work page 2016

  19. [19]

    F. J. Gozzi, Low dimensional polar actions, Geom. Dedicata,175, 219–247 (2015)

    work page 2015

  20. [20]

    Gromoll and G

    D. Gromoll and G. Walschap, Metric Foliations and Curvature, Progress in Math- ematics268, Birkh¨ auser Verlag, Basel, (2009)

    work page 2009

  21. [21]

    Grove and W

    K. Grove and W. Ziller, Polar manifolds and actions, J. Fixed Point Theory Appl., 11(2), 279–313 (2012)

    work page 2012

  22. [22]

    Guijarro and G

    L. Guijarro and G. Walschap, The dual foliation in open manifolds with nonneg- ative sectional curvature, Proc. Amer. Math. Soc.,136(4), 1419–1425 (2008)

    work page 2008

  23. [23]

    Heintze, R

    E. Heintze, R. S. Palais, C. L. Terng and G. Thorbergsson, Hyperpolar actions and k-flat homogeneous spaces, J. Reine Angew. Math.,454, 163–179 (1994)

    work page 1994

  24. [24]

    Khalili Samani and M

    E. Khalili Samani and M. Radeschi, On the topology of leaves of singular Rieman- nian foliations, Rev. Mat. Iberoam.40, no. 1, 111–128 (2024)

    work page 2024

  25. [25]

    Kollross, A classification of hyperpolar and cohomogeneity one actions, Trans

    A. Kollross, A classification of hyperpolar and cohomogeneity one actions, Trans. Amer. Math. Soc.,354, 571–612 (2002) 9

    work page 2002

  26. [26]

    Kollross, Polar actions on symmetric spaces, Journal of Differential Geometry, 77, 425–482 (2009)

    A. Kollross, Polar actions on symmetric spaces, Journal of Differential Geometry, 77, 425–482 (2009)

    work page 2009

  27. [27]

    Kollross, Hyperpolar actions on reducible symmetric spaces, Transform

    A. Kollross, Hyperpolar actions on reducible symmetric spaces, Transform. Groups,22, no. 1, 207–228 (2017)

    work page 2017

  28. [28]

    Kollross and A

    A. Kollross and A. Lytchak, Polar actions on symmetric spaces of higher rank, Bull. London Math. Soc.,45(2), 341–350 (2013)

    work page 2013

  29. [29]

    S. Lin, R. Mendes and M. Radeschi, A Weyl’s law for singular Riemannian folia- tions, with applications to invariant theory. arXiv:2312.06533, 2023

    work page arXiv 2023

  30. [30]

    Liu and M

    X. Liu and M. Radeschi, Polar foliations on symmetric spaces and the mean cur- vature flow, J. Reine Angew. Math.,791, 135–155 (2022)

    work page 2022

  31. [31]

    Lytchak, Polar foliations on symmetric spaces, Geom

    A. Lytchak, Polar foliations on symmetric spaces, Geom. Funct. Anal.,24(4), 1298–1315 (2014)

    work page 2014

  32. [32]

    Lytchak, and M

    A. Lytchak, and M. Radeschi, Algebraic nature of singular Riemannian foliations in spheres, J. Reine Angew. Math.,744, 265–273 (2018)

    work page 2018

  33. [33]

    Lytchak and B

    A. Lytchak and B. Wilking, Smoothness of submetries, arXiv:2411.15324 (2024)

    work page arXiv 2024

  34. [34]

    Mendes, Extending tensors on polar manifolds, Math

    R. Mendes, Extending tensors on polar manifolds, Math. Ann.,365(3), 1409–1424 (2016)

    work page 2016

  35. [35]

    Mendes and M

    R. Mendes and M. Radeschi: Laplacian algebras, manifold submetries and the Inverse Invariant Theory Problem, Geom. Funct. Anal.,30, 536–573 (2020)

    work page 2020

  36. [36]

    Molino, Riemannian Foliations, Birkh¨ auser Boston, Inc., Boston, MA, (1988)

    P. Molino, Riemannian Foliations, Birkh¨ auser Boston, Inc., Boston, MA, (1988)

    work page 1988

  37. [37]

    Mucha, Polar actions on certain principal bundles over symmetric spaces of compact type, Proc

    M. Mucha, Polar actions on certain principal bundles over symmetric spaces of compact type, Proc. Amer. Math. Soc.,139, no. 6, 2249–2255 (2011)

    work page 2011

  38. [38]

    R. S. Palais and C. L. Terng, A general theory of canonical forms, Trans. Amer. Math. Soc.,300(2), 771–789 (1987)

    work page 1987

  39. [39]

    Podest` a and G

    F. Podest` a and G. Thorbergsson, Polar actions on rank one symmetric spaces, Journal of Differential Geometry,53, 131–175 (1999)

    work page 1999

  40. [40]

    Radeschi, Clifford algebras and new singular Riemannian foliations in spheres, Geom

    M. Radeschi, Clifford algebras and new singular Riemannian foliations in spheres, Geom. Funct. Anal.,24(5), 1660–1682 (2014)

    work page 2014

  41. [41]

    Ronan, Lectures on Buildings

    M. Ronan, Lectures on Buildings. Perspectives in Mathematics,7. Academic Press, Boston, MA, 1989

    work page 1989

  42. [42]

    Shi, The dual foliation of some singular Riemannian foliations, Diff

    Y. Shi, The dual foliation of some singular Riemannian foliations, Diff. Geom. Appl.,51, 9–14 (2017) 10

    work page 2017

  43. [43]

    R. J. e Silva and L. D. Speran¸ ca, On the completeness of dual foliations on non- negatively curved symmetric spaces. Revista matem´ atica iberoamericana,38(3), 851–856 (2021)

    work page 2021

  44. [44]

    L. D. Speran¸ ca, On Riemannian foliations over positively curved manifolds, The Journal of Geometric Analysis,28, no. 3, 2206–2224 (2018)

    work page 2018

  45. [45]

    Tits, Buildings of spherical type and finite BN-pairs

    J. Tits, Buildings of spherical type and finite BN-pairs. Lecture Notes in Mathe- matics,386. Springer-Verlag, Berlin-New York, (1974)

    work page 1974

  46. [46]

    Wilking, A duality theorem for Riemannian foliations in nonnegative sectional curvature, Geom

    B. Wilking, A duality theorem for Riemannian foliations in nonnegative sectional curvature, Geom. Funct. Anal.,17, 1297–1320 (2007)

    work page 2007