Cohomogeneity one actions on symmetric spaces of mixed type
Pith reviewed 2026-06-26 19:34 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- 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.
- 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
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
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
axioms (1)
- domain assumption Symmetric spaces of mixed type have universal covers that split nontrivially as products of compact, noncompact, and Euclidean symmetric spaces.
Reference graph
Works this paper leans on
-
[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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
, 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]
, 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]
, 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]
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]
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]
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]
, 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]
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]
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]
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]
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]
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]
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]
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]
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]
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
1978
-
[30]
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]
A. W. Knapp , Lie groups beyond an introduction, second edition, Progress in Mathematics, vol. 40, Birkh\"auser Boston, Inc., Boston, 2002
2002
-
[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]
, 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]
, 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]
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]
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
2025
-
[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
arXiv 2024
-
[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
arXiv 2025
-
[39]
Lytchak , Geometric resolution of singular Riemannian foliations, Geom
A. Lytchak , Geometric resolution of singular Riemannian foliations, Geom. Dedicata, 149 (2010), 379--395
2010
-
[40]
P. W. Michor , Topics in differential geometry, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2008
2008
-
[41]
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]
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]
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]
A. L. Onishchik and \`E.\ B. Vinberg (eds.), Lie groups and Lie algebras, III, Encyclopaedia of Mathematical Sciences, vol. 41, Springer-Verlag, Berlin, 1994
1994
-
[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
1938
-
[46]
I. Solonenko , Homogeneous codimension-one foliations on reducible symmetric spaces of noncompact type, 2021. arXiv:2112.02189 https://arxiv.org/abs/2112.02189
arXiv 2021
-
[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]
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
2024
-
[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]
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
arXiv 2025
-
[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
Pith/arXiv arXiv 2025
-
[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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.