pith. sign in

arxiv: 2606.19323 · v1 · pith:RZ67ANXVnew · submitted 2026-06-17 · 🧮 math.DG

Cohomogeneity one actions on symmetric spaces of mixed type

Pith reviewed 2026-06-26 19:34 UTC · model grok-4.3

classification 🧮 math.DG
keywords cohomogeneity one actionssymmetric spacesmixed typeisometric actionsdiagonal actionsclassificationproduct decomposition
0
0 comments X

The pith

Cohomogeneity-one actions on mixed symmetric spaces decompose as products on their factors except for a new diagonal family on Euclidean-noncompact products.

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

The paper studies isometric actions with one orbit type on symmetric spaces whose universal covers split as products of compact, noncompact, and Euclidean symmetric spaces. It constructs a new family of diagonal actions that act simultaneously across the Euclidean and noncompact factors and therefore do not split. For every other such action the paper proves a splitting theorem: the action must be the product of separate isometric actions, one on each factor. This splitting means that the classification of cohomogeneity-one actions on mixed spaces reduces directly to the three single-type cases.

Core claim

We provide a new family of "diagonal" cohomogeneity-one actions on symmetric spaces of the form R^n × M_-, where M_- is of noncompact type. We show that, with the exception of this family, any cohomogeneity-one action on a symmetric space decomposes as a product of isometric actions on its compact, Euclidean, and noncompact factors. This fully reduces the classification problem for cohomogeneity-one actions to symmetric spaces of a single type.

What carries the argument

The product decomposition of the action across the compact, Euclidean and noncompact factors of the mixed symmetric space, together with the exceptional diagonal family on R^n × M_- that does not decompose.

If this is right

  • Classification of all cohomogeneity-one actions on mixed spaces is reduced to the single-type cases.
  • The new diagonal family supplies concrete examples of non-splitting actions on products of Euclidean and noncompact spaces.
  • Any future classification list for single-type spaces immediately yields the list for mixed spaces except for the diagonal examples.
  • The result applies uniformly to all mixed spaces regardless of the number or dimensions of the factors.

Where Pith is reading between the lines

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

  • The diagonal family may admit further parametrization by choosing different subgroups in the isometry groups of the two factors.
  • One could test whether analogous diagonal constructions exist on other homogeneous spaces that are not symmetric.
  • The splitting may extend to actions of higher cohomogeneity once the single-type cases are fully classified.

Load-bearing premise

The actions under study are isometric and the mixed symmetric space has a universal cover that splits as a nontrivial product of compact, noncompact and Euclidean symmetric spaces.

What would settle it

An explicit isometric cohomogeneity-one action on a mixed-type symmetric space that neither splits as a product of actions on the separate factors nor belongs to the diagonal family on R^n × M_-.

Figures

Figures reproduced from arXiv: 2606.19323 by Hiroshi Tamaru, Ivan Solonenko, Tomas Otero.

Figure 1
Figure 1. Figure 1: A homogeneous foliation of diagonal type on R × RH2 . Here RH2 is represented by the Poincar´e disk model in the horizontal plane. The road towards Theorem A consists of three main steps. First, we study whether a given isometric action on a Riemannian product decomposes based on its behavior on the factors. As an application, we will obtain the following: Theorem B. Let M be a simply connected compact Rie… view at source ↗
read the original abstract

In this article, we study isometric cohomogeneity-one actions on symmetric spaces of mixed type, i.e., those whose universal cover splits as a nontrivial product of symmetric spaces of compact, noncompact, and Euclidean types. We provide a new family of "diagonal" cohomogeneity-one actions on symmetric spaces of the form $\mathbb{R}^n \times M_-$, where $M_-$ is of noncompact type. We show that, with the exception of this family, any cohomogeneity-one action on a symmetric space decomposes as a product of isometric actions on its compact, Euclidean, and noncompact factors. This fully reduces the classification problem for cohomogeneity-one actions to symmetric spaces of a single 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 examines isometric cohomogeneity-one actions on symmetric spaces of mixed type, defined as those whose universal cover splits nontrivially into compact, noncompact, and Euclidean factors. It constructs a new family of diagonal cohomogeneity-one actions on spaces of the form ℝ^n × M_-, where M_- is of noncompact type. The central result is that, except for this family, every such action decomposes as a product of isometric actions on the compact, Euclidean, and noncompact factors, thereby reducing the classification of cohomogeneity-one actions on mixed-type spaces to the single-type cases.

Significance. If the decomposition theorem holds, the result supplies a structural reduction that simplifies the classification problem for cohomogeneity-one actions on symmetric spaces by isolating the exceptional diagonal family on ℝ^n × M_- and routing the remainder to the already-studied pure-type cases. The explicit construction of the new family and the product decomposition together constitute a concrete advance in the theory of isometric actions on symmetric spaces.

minor comments (2)
  1. The abstract and introduction should include a brief statement of the precise definition of 'mixed type' (universal cover splitting) and the standing assumption that all actions are isometric, to make the scope immediately clear without requiring the reader to consult later sections.
  2. Notation for the factors (e.g., M_+, M_0, M_-) is introduced but not uniformly recalled in the statement of the main theorem; a short table or consistent reminder in §3 would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the decomposition theorem and the new diagonal family, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No circularity; decomposition follows from direct analysis of product isometry groups

full rationale

The paper defines mixed-type symmetric spaces via the standard splitting of their universal covers into compact/noncompact/Euclidean factors and restricts to isometric actions. The central result—that all but one explicitly constructed family of cohomogeneity-one actions decompose as products on the factors—is obtained by case analysis of orbit structures and how the isometry group acts on the product decomposition. No equations reduce a claimed prediction to a fitted input by construction, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via self-citation. The argument is self-contained against the given definitions and the geometry of symmetric spaces.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the main background assumption is the product splitting of mixed-type symmetric spaces. No free parameters or invented entities are visible.

axioms (1)
  • domain assumption Symmetric spaces of mixed type have universal covers that split nontrivially as products of compact, noncompact, and Euclidean symmetric spaces.
    Stated directly in the abstract as the definition of mixed type.

pith-pipeline@v0.9.1-grok · 5645 in / 1254 out tokens · 35063 ms · 2026-06-26T19:34:02.386981+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

52 extracted references · 39 canonical work pages

  1. [1]

    M. M. Alexandrino and R. G. Bettiol , Lie groups and geometric aspects of isometric actions, Springer, Cham, 2015. doi:10.1007/978-3-319-16613-1 https://doi.org/10.1007/978-3-319-16613-1

  2. [2]

    D. V. Alekseevskii , Homogeneous Riemannian spaces of negative curvature, Mat. Sb. (N.S.), 96 (1975), no. 138, 93--117. doi:10.1070/SM1975v025n01ABEH002200 https://doi.org/10.1070/SM1975v025n01ABEH002200

  3. [3]

    M. M. Alexandrino , On polar foliations and the fundamental group, Results Math., 60 (2011), no.1--4, 213--223. doi:10.1007/s00025-011-0171-4 https://doi.org/10.1007/s00025-011-0171-4

  4. [4]

    Abresch and H

    U. Abresch and H. Rosenberg , A hopf differential for constant mean curvature surfaces in S ^2 and H ^2 , Acta Math., 193 (2004), no. 2, 141--174. doi:10.1007/BF02392562 https://doi.org/10.1007/BF02392562

  5. [5]

    Azencott and E

    R. Azencott and E. N. Wilson , Homogeneous manifolds with negative curvature I, Trans. Amer. Math. Soc., 215 (1976), 323--362. doi:10.2307/1999731 https://doi.org/10.2307/1999731

  6. [6]

    Berndt and M

    J. Berndt and M. Br\"uck , Cohomogeneity one actions on hyperbolic spaces, J. Reine Angew. Math., 541 (2001), 209--235. doi:10.1515/crll.2001.093 https://doi.org/10.1515/crll.2001.093

  7. [7]

    Berndt , S

    J. Berndt , S. Console , and C. E. Olmos . Submanifolds and holonomy, second edition, Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, 2016. doi:10.1201/b19615 https://doi.org/10.1201/b19615

  8. [8]

    Berndt and M

    J. Berndt and M. Dom\'inguez-V\'azquez . Cohomogeneity one actions on some noncompact symmetric spaces of rank two, Transform. Groups, 20 (2015), no. 4, 921--938. doi:10.1007/s00031-015-9299-8 https://doi.org/10.1007/s00031-015-9299-8

  9. [9]

    Berndt , J

    J. Berndt , J. C. D\'iaz-Ramos , and H. Tamaru , Hyperpolar homogeneous foliations on symmetric spaces of noncompact type, J. Differential Geom., 86 (2010), no. 2, 191--235. doi:10.4310/jdg/1299766787 https://doi.org/10.4310/jdg/1299766787

  10. [10]

    B\"ohm , Inhomogeneous Einstein metrics on low-dimensional spheres and other low-dimensional spaces, Invent

    C. B\"ohm , Inhomogeneous Einstein metrics on low-dimensional spheres and other low-dimensional spaces, Invent. Math., 134 (1998), no. 1, 145--176. doi:10.1007/s002220050261 https://doi.org/10.1007/s002220050261

  11. [11]

    Bourbaki , General topology

    N. Bourbaki , General topology. Chapters 1--4, Elements of Mathematics, Springer-Verlag, Berlin, 1995. doi:10.1007/978-3-642-61701-0 https://doi.org/10.1007/978-3-642-61701-0

  12. [12]

    R. L. Bryant and S. M. Salamon , On the construction of some complete metrics with exceptional holonomy, Duke Math. J., 58 (1989), no. 3, 829--850. doi:10.1215/S0012-7094-89-05839-0 https://doi.org/10.1215/S0012-7094-89-05839-0

  13. [13]

    Berndt and H

    J. Berndt and H. Tamaru , Homogeneous codimension one foliations on noncompact symmetric spaces, J. Differential Geom., 63 (2003), no. 1, 1--40. doi:10.4310/jdg/1080835656 https://doi.org/10.4310/jdg/1080835656

  14. [14]

    , Cohomogeneity one actions on noncompact symmetric spaces with a totally geodesic singular orbit, Tohoku Math. J. (2), 56 (2004), no. 2, 163--177. doi:10.2748/tmj/1113246549 https://doi.org/10.2748/tmj/1113246549

  15. [15]

    , Cohomogeneity one actions on noncompact symmetric spaces of rank one, Trans. Amer. Math. Soc., 359 (2007), no. 7, 3425--3438. doi:10.1090/S0002-9947-07-04305-X https://doi.org/10.1090/S0002-9947-07-04305-X

  16. [16]

    Reine Angew

    , Cohomogeneity one actions on symmetric spaces of noncompact type, J. Reine Angew. Math., 683 (2013), 129--159. doi:10.1515/crelle-2012-0002 https://doi.org/10.1515/crelle-2012-0002

  17. [17]

    Cartan , Familles de surfaces isoparam\`etriques dans les espaces \`a courbure constante, Ann

    \'E. Cartan , Familles de surfaces isoparam\`etriques dans les espaces \`a courbure constante, Ann. Mat. Pura Appl., 17 (1938), no. 1, 177--191. doi:10.1007/BF02410700 https://doi.org/10.1007/BF02410700

  18. [18]

    R. M. B. Chaves and E. Santos , Hypersurfaces with constant principal curvatures in S ^n and H ^n , Illinois J. Math., 63 (2019), no. 4, 551--574. doi:10.1215/00192082-8018599 https://doi.org/10.1215/00192082-8018599

  19. [19]

    J. C. D\'iaz-Ramos , M. Dom\'inguez-V\'azquez , and T. Otero , Cohomogeneity one actions on symmetric spaces of noncompact type and higher rank, Adv. Math., 428 (2023), Paper no. 109165. doi:10.1016/j.aim.2023.109165 https://doi.org/10.1016/j.aim.2023.109165

  20. [20]

    Spanish Network of Geometric Analysis 2007–2021, RSME Springer Ser., vol 10., Springer, Cham, 2023, pp

    , Homogeneous hypersurfaces in symmetric spaces, in: New trends in geometric analysis. Spanish Network of Geometric Analysis 2007–2021, RSME Springer Ser., vol 10., Springer, Cham, 2023, pp. 141--190. doi:10.1007/978-3-031-39916-9 \_ 5 https://doi.org/10.1007/978-3-031-39916-9_5

  21. [21]

    J. C. D\'iaz-Ramos , M. Dom\'inguez-V\'azquez , and A. Rodr\'iguez-V\'azquez , Homogeneous and inhomogeneous isoparametric hypersurfaces in rank one symmetric spaces, J. Reine Angew. Math., 779 (2021), 189--222. doi:10.1515/crelle-2021-0043 https://doi.org/10.1515/crelle-2021-0043

  22. [22]

    Dom\'inguez-V\'azquez and J

    M. Dom\'inguez-V\'azquez and J. M. Manzano , Isoparametric surfaces in E ( , ) -spaces, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 22 (2021), no. 1, 269--285. doi:10.2422/2036-2145.201805 \_ 006 https://doi.org/10.2422/2036-2145.201805_006

  23. [23]

    Dom\'inguez-V\'azquez , Canonical extension of submanifolds and foliations in noncompact symmetric spaces, Int

    M. Dom\'inguez-V\'azquez , Canonical extension of submanifolds and foliations in noncompact symmetric spaces, Int. Math. Res. Not. IMRN, 2015 (2015), no. 22, 12114--12125. doi:10.1093/imrn/rnv072 https://doi.org/10.1093/imrn/rnv072

  24. [24]

    Dom\'inguez-V\'azquez , V

    M. Dom\'inguez-V\'azquez , V. Sanmart\'in-L\'opez , and H. Tamaru , Codimension one Ricci soliton subgroups of solvable Iwasawa groups, J. Math. Pures Appl. (9), 152 (2021), 69--93. doi:10.1016/j.matpur.2021.05.008 https://doi.org/10.1016/j.matpur.2021.05.008

  25. [25]

    Foscolo and M

    L. Foscolo and M. Haskins , New G_2 -holonomy cones and exotic nearly K\"ahler structures on S ^6 and S ^3 S ^3 , Ann. of Math. (2), 185 (2017), no. 1, 59--130. doi:10.4007/annals.2017.185.1.2 https://doi.org/10.4007/annals.2017.185.1.2

  26. [26]

    unzner , Cliffordalgebren und neue isoparametrische Hyperfl\

    D. Ferus , H. Karcher , and H. F. M\"unzner , Cliffordalgebren und neue isoparametrische Hyperfl\"achen, Math. Z., 177 (1981), no 4, 479--502. doi:10.1007/BF01219082 https://doi.org/10.1007/BF01219082

  27. [27]

    C. S. Gordon and E. N. Wilson , Isometry groups of Riemannian solvmanifolds, Trans. Amer. Math. Soc., 307 (1988), no. 1, 245--269. doi:10.2307/2000761 https://doi.org/10.2307/2000761

  28. [28]

    Calabi-Yau connections with torsion on toric bundles

    K. Grove , B. Wilking , and W. Ziller , Positively curved cohomogeneity one manifolds and 3-Sasakian geometry, J. Differential Geom., 78 (2008), no. 1, 33--111. doi:10.4310/jdg/1197320603 https://doi.org/10.4310/jdg/1197320603

  29. [29]

    Helgason , Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathematics, vol

    S. Helgason , Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathematics, vol. 80, Academic Press, Inc., New York-London, 1978

  30. [30]

    Hsiang and H

    W.-Y. Hsiang and H. B. Lawson, Jr. , Minimal submanifolds of low cohomogeneity, J. Differential Geometry, 5 (1971), 1--38. doi:10.4310/jdg/1214429775 https://doi.org/10.4310/jdg/1214429775

  31. [31]

    A. W. Knapp , Lie groups beyond an introduction, second edition, Progress in Mathematics, vol. 40, Birkh\"auser Boston, Inc., Boston, 2002

  32. [32]

    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 (2002), no. 2, 571--612. doi:10.1090/S0002-9947-01-02803-3 https://doi.org/10.1090/S0002-9947-01-02803-3

  33. [33]

    Lie Theory, 21 (2011), no

    , Duality of symmetric spaces and polar actions, J. Lie Theory, 21 (2011), no. 4, 961--986. doi:10.5802/jolt.657 https://doi.org/10.5802/jolt.657

  34. [34]

    Groups, 22 (2017), no

    , Hyperpolar actions on reducible symmetric spaces, Transform. Groups, 22 (2017), no. 1, 207--228. doi:10.1007/s00031-016-9384-7 https://doi.org/10.1007/s00031-016-9384-7

  35. [35]

    Kubo and H

    A. Kubo and H. Tamaru , A sufficient condition for congruency of orbits of Lie groups and some applications, Geom. Dedicata, 167 (2013), 233--238. doi:10.1007/s10711-012-9811-4 https://doi.org/10.1007/s10711-012-9811-4

  36. [36]

    J. M. Lorenzo-Naveiro , Submanifolds and actions on homogeneous manifolds, Ph.D. thesis, Universidade de Santiago de Compostela, 2025. Available at: https://minerva.usc.gal/entities/publication/d6d6eab8-fb84-4b6b-8ce1-d2d3ed9d6cb4 https://minerva.usc.gal/entities/publication/d6d6eab8-fb84-4b6b-8ce1-d2d3ed9d6cb4

  37. [37]

    R. F. de Lima and G. Pipoli , Isoparametric hypersurfaces of H ^n and S ^n , 2024. arXiv:2411.11506 https://arxiv.org/abs/2411.11506

  38. [38]

    arXiv:2511.12527 https://arxiv.org/abs/2511.12527

    , Isoparametric hypersurfaces in products of simply connected space forms, 2025. arXiv:2511.12527 https://arxiv.org/abs/2511.12527

  39. [39]

    Lytchak , Geometric resolution of singular Riemannian foliations, Geom

    A. Lytchak , Geometric resolution of singular Riemannian foliations, Geom. Dedicata, 149 (2010), 379--395

  40. [40]

    P. W. Michor , Topics in differential geometry, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2008

  41. [41]

    , year =

    D. Montgomery , Simply connected homogeneous spaces, Proc. Amer. Math. Soc. , 1 (1950), 467--469. doi:10.2307/2032314 https://doi.org/10.2307/2032314

  42. [42]

    G. D. Mostow , On maximal subgroups of real Lie groups, Ann. of Math. (2), 74 (1961), 503--517. doi:10.2307/1970295 https://doi.org/10.2307/1970295

  43. [43]

    Manfio , J

    F. Manfio , J. B. M. dos Santos , J. P. dos Santos , and J. Van der Veken , Hypersurfaces of S ^3 and H ^3 with constant principal curvatures, J. Geom. Phys., 213 (2025), Paper No. 105495. doi:10.1016/j.geomphys.2025.105495 https://doi.org/doi:10.1016/j.geomphys.2025.105495

  44. [44]

    A. L. Onishchik and \`E.\ B. Vinberg (eds.), Lie groups and Lie algebras, III, Encyclopaedia of Mathematical Sciences, vol. 41, Springer-Verlag, Berlin, 1994

  45. [45]

    Segre , Famiglie di ipersuperficie isoparametriche negli spazi euclidei ad un qualunque numero di dimensioni, Atti Accad

    B. Segre , Famiglie di ipersuperficie isoparametriche negli spazi euclidei ad un qualunque numero di dimensioni, Atti Accad. Naz. Lincei. Rend. Cl. Sci. Fis. Mat. Natur., 27 (1938), 203--207

  46. [46]

    Solonenko , Homogeneous codimension-one foliations on reducible symmetric spaces of noncompact type, 2021

    I. Solonenko , Homogeneous codimension-one foliations on reducible symmetric spaces of noncompact type, 2021. arXiv:2112.02189 https://arxiv.org/abs/2112.02189

  47. [47]

    , Classification of homogeneous hypersurfaces in some noncompact symmetric spaces of rank two, Ann. Mat. Pura Appl. (4), 202 (2023), no. 6, 2915--2946. doi:10.1007/s10231-023-01345-8 https://doi.org/10.1007/s10231-023-01345-8

  48. [48]

    thesis, King’s College London, 2024

    , Homogeneous hypersurfaces in Riemannian symmetric spaces, Ph.D. thesis, King’s College London, 2024. Available at: https://kclpure.kcl.ac.uk/portal/en/studentTheses/homogeneous-hypersurfaces-in-riemannian-symmetric-spaces https://kclpure.kcl.ac.uk/portal/en/studentTheses/homogeneous-hypersurfaces-in-riemannian-symmetric-spaces

  49. [49]

    J. B. M. dos Santos and J. P. dos Santos , Isoparametric hypersurfaces in product spaces, Differential Geom. Appl., 88 (2023), Paper No. 102005. doi:10.1016/j.difgeo.2023.102005 https://doi.org/10.1016/j.difgeo.2023.102005

  50. [50]

    Solonenko and V

    I. Solonenko and V. Sanmart\'in-L\'opez , Classification of cohomogeneity-one actions on symmetric spaces of noncompact type, 2025. arXiv:2501.05553 https://arxiv.org/abs/2501.05553

  51. [51]

    H. Tan , Y. Xie , and W. Yan , Isoparametric hypersurfaces in S ^n ^m and H ^n ^m , 2025. arXiv:2511.07782 https://arxiv.org/abs/2511.07782

  52. [52]

    J. A. Wolf , Spaces of constant curvature, sixth edition, AMS Chelsea Publishing, Providence, RI, 2011. doi:10.1090/chel/372 https://doi.org/10.1090/chel/372