REVIEW 2 minor 1 cited by
Hypersurfaces with Constant Ricci Eigenvalues in Real Space Forms
T0 review · 0 major / 2 minor · reviewed 2026-06-27 · grok-4.3
Pith's one-line read A connected hypersurface in a real space form has constant Ricci eigenvalues if and only if it is curvature homogeneous.
desk verdict This paper proves the missing converse so that constant Ricci eigenvalues on connected hypersurfaces in real space forms are now equivalent to curvature homogeneity, completing the classification. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The equivalence between constant Ricci eigenvalues and curvature homogeneity, established by using the constant sectional curvature of the ambient real space form to relate the Ricci tensor to the second fundamental form.
What would settle it
A single connected hypersurface in a sphere, Euclidean space, or hyperbolic space that has constant Ricci eigenvalues yet fails to be curvature homogeneous.
Extended reading notes
Core claim
A connected hypersurface immersed in real space forms has constant Ricci eigenvalues if and only if it is curvature homogeneous. Hence hypersurfaces with constant Ricci eigenvalues in real space forms are classified, which generalizes the classification of Einstein hypersurfaces. As a byproduct, curvature inhomogeneous Riemannian manifolds with constant Ricci eigenvalues cannot be isometrically immersed in any real space form of codimension one. A hypersurface with constant Ricci eigenvalues is isoparametric if it is complete in the sphere or nonflat Euclidean space for dimension at least three, or if it is not of constant sectional curvature minus one in hyperbolic space for dimension at le
Load-bearing premise
The ambient manifold has constant sectional curvature and the hypersurface is connected.
Editorial extensions
If this is right
- Hypersurfaces with constant Ricci eigenvalues are classified by the existing lists of curvature homogeneous hypersurfaces.
- Curvature inhomogeneous manifolds with constant Ricci eigenvalues cannot arise as codimension-one immersions into real space forms.
- Complete hypersurfaces with constant Ricci eigenvalues in the sphere or nonflat Euclidean space for n at least 3 are isoparametric.
- Hypersurfaces with constant Ricci eigenvalues that are not of constant sectional curvature minus one in hyperbolic space for n at least 5 are isoparametric.
Reading between the lines
- The equivalence may fail when the ambient space does not have constant sectional curvature.
- Constant Ricci eigenvalues become a restrictive condition that forces strong symmetry once an isometric immersion into a space form is assumed.
- The recent resolution of the rank-two cases in four-dimensional spheres and hyperbolic spaces completes the classification for all dimensions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for a connected hypersurface immersed in a real space form, constant Ricci eigenvalues is equivalent to curvature homogeneity. The forward implication is immediate; the converse is established using the Gauss equation and the constant sectional curvature of the ambient space to show that the curvature tensor is determined pointwise by the Ricci eigenvalues, forcing curvature homogeneity. The equivalence yields a classification by combining with Tsukada's 1988 classification and the Bryant-Florit-Ziller 2025 resolution of the remaining rank-two cases in S^4 and H^4. Additional results include a generalization of the 1969 Lawson-Ryan classification of Einstein hypersurfaces, an obstruction to isometric codimension-one immersions of curvature-inhomogeneous manifolds with constant Ricci eigenvalues, and conditions under which complete hypersurfaces with constant Ricci eigenvalues are isoparametric (n≥3 in S^{n+1} or non-flat R^{n+1}; n≥5 in H^{n+1} except constant sectional curvature -1).
Significance. If the proof holds, the result supplies a complete classification of hypersurfaces with constant Ricci eigenvalues in real space forms and a new characterization of curvature homogeneity in this setting. It directly extends the Einstein case and produces a clean obstruction result as a byproduct. The isoparametric conclusions for complete hypersurfaces are concrete and potentially useful for further study of rigidity phenomena.
minor comments (2)
- The abstract states the 2025 Bryant-Florit-Ziller result without a reference number; adding the arXiv or journal citation in the introduction would improve traceability.
- The statement of the isoparametric result in the abstract distinguishes cases by ambient space and dimension; a brief remark on why n≥5 is required in the hyperbolic case (and why the constant-curvature -1 exception appears) would clarify the scope without altering the main theorem.
Simulated Author's Rebuttal
We thank the referee for their positive assessment and recommendation to accept the manuscript. No major comments were provided in the report.
Circularity Check
No significant circularity identified
full rationale
The paper proves that constant Ricci eigenvalues imply curvature homogeneity for connected hypersurfaces in real space forms by relating the Ricci tensor to the second fundamental form via the Gauss equation in constant-curvature ambient space, forcing the curvature tensor to be pointwise isometric. The classification then follows directly from the independently established results of Tsukada (1988) and Bryant-Florit-Ziller (2025) on curvature-homogeneous cases. No derivation step reduces by construction to a fitted input, self-definition, or self-citation chain; all load-bearing steps are external to the present work and rely on standard identities plus prior external classifications.
Assumptions & free parameters
assumptions (2)
- standard math Real space forms are complete Riemannian manifolds of constant sectional curvature.
- domain assumption The hypersurface is connected and smoothly immersed.
Cite this review
Pith. "Pith review of Hypersurfaces with Constant Ricci Eigenvalues in Real Space Forms." pith.science (2026). https://pith.science/paper/RSPCPIGX
@misc{pith2026260613455,
author = {Pith},
title = {Pith review of: Hypersurfaces with Constant Ricci Eigenvalues in Real Space Forms},
year = {2026},
howpublished = {\url{https://pith.science/paper/RSPCPIGX}},
note = {Machine review of arXiv:2606.13455}
}
abstract
The classification of curvature homogeneous hypersurfaces in real space forms was established by Tsukada in 1988, with the remaining rank-two cases in $\mathbb{S}^4$ and $\mathbb{H}^4$ settled by Bryant-Florit-Ziller in 2025. It is obvious that curvature homogeneity implies constant Ricci eigenvalues. In this paper, we prove that for hypersurfaces in real space forms, the converse also holds: a connected hypersurface immersed in real space forms has constant Ricci eigenvalues if and only if it is curvature homogeneous. Hence, hypersurfaces with constant Ricci eigenvalues in real space forms are also classified, which, in particular, generalizes the classification of Einstein hypersurfaces obtained by Lawson for minimal hypersurfaces and by Ryan for general cases in 1969. Moreover, as a byproduct, curvature inhomogeneous Riemannian manifolds with constant Ricci eigenvalues can not be isometrically immersed in any real space form of codimension one. Finally, we show that a hypersurface with constant Ricci eigenvalues is isoparametric if it is a complete hypersurface either in $\mathbb{S}^{n+1}$ or nonflat in $\mathbb{R}^{n+1}$ for $n \geq 3$; or if it is not of constant sectional curvature $-1$ in $\mathbb{H}^{n+1}$ for $n \geq 5$.
Forward citations
Cited by 1 Pith paper
-
Examples of Curvature Inhomogeneous Submanifolds with Constant Ricci Eigenvalues
New examples show constant Ricci eigenvalues do not imply curvature homogeneity, with sharp low-codimension Euclidean immersions.
Reference graph
Works this paper leans on
-
[1]
Math.,475(2025), 110338
Robert Bryant, Luis Florit, and Wolfgang Ziller.Curvature homogeneous hypersurfaces in space forms, Adv. Math.,475(2025), 110338
2025
-
[2]
Cecil and Patrick J
Thomas E. Cecil and Patrick J. Ryan.Geometry of hypersurfaces, Springer Monographs in Mathe- matics. Springer, New York, 2015
2015
-
[3]
Press, Boston, MA, (2020), 197–260
Quo-Shin Chi.The isoparametric story, a heritage of ´Elie Cartan, Proceedings of the International Consortium of Chinese Mathematicians 2018, Int. Press, Boston, MA, (2020), 197–260
2018
-
[4]
Differential Geom., 115(2020), 225–301
Quo-Shin Chi.Isoparametric hypersurfaces with four principal curvatures, iv, J. Differential Geom., 115(2020), 225–301
2020
-
[5]
Jianquan Ge, Chao Qian, Zizhou Tang, and Wenjiao Yan.An overview of the development of isoparametric theory (in chinese), Sci. Sin. Math.,55(1)(2025), 145–168
2025
-
[6]
Jianquan Ge and Yuyang Zhao.Codimension≥2Submanifolds with Constant Ricci Eigenvalues that are not curvature homogeneous, preprint
-
[7]
Herbert Blaine Lawson, Jr.Local rigidity theorems for minimal hypersurfaces, Ann. of Math. (2), 89(1969), 187–197
1969
-
[8]
Ryan.Homogeneity and some curvature conditions for hypersurfaces, Tohoku Math
Patrick J. Ryan.Homogeneity and some curvature conditions for hypersurfaces, Tohoku Math. J. (2),21(1969), 363–388
1969
Show all 12 references
-
[9]
Singer.Infinitesimally homogeneous spaces, Comm
Isadore M. Singer.Infinitesimally homogeneous spaces, Comm. Pure Appl. Math.,13(1960), 685– 697
1960
-
[10]
Zizhou Tang, Dongyi Wei and Wenjiao Yan.A sufficient condition for a hypersurface to be isopara- metric, Tohoku Math. J. (2),72(2020), 493-505
2020
-
[11]
China Math.,66(2023), 143-162
Zizhou Tang and Wenjiao Yan.On the Chern conjecture for isoparametric hypersurfaces, Sci. China Math.,66(2023), 143-162
2023
-
[12]
Kazumi Tsukada.Curvature homogeneous hypersurfaces immersed in a real space form, Tohoku Math. J. (2),40(2)(1988), 221–244. School of Mathematical Sciences, Beijing Normal University, Beijing 100875, P. R. China Email address:jqge@bnu.edu.cn School of Mathematical Sciences, Be...
1988
Reviewed June 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.