{"id":"98d583dc-7d8c-48ee-8d78-f580077749ea","arxiv_id":"2606.13455","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Hypersurfaces in real space forms have constant Ricci eigenvalues exactly when they are curvature homogeneous, generalizing prior Einstein hypersurface classifications.","lead":"This paper proves that a connected hypersurface in a real space form has constant Ricci eigenvalues if and only if it is curvature homogeneous. Smart generalists might read it because the result completes a classification of hypersurfaces by curvature properties and shows when such surfaces must be isoparametric.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's identification of the ambient space-form geometry and reliance on prior classifications as the key assumptions matches the paper's explicit strategy. With no contradictory or unsupported step visible, the UNVERDICTED status due to abstract-only review remains appropriate; the full argument appears internally consistent once the cited classifications are granted.","tokens_in":1728,"tokens_out":280,"duration_ms":15604,"concrete_test":"Re-derive the key step relating constant Ricci eigenvalues to pointwise constancy of the curvature tensor (via the expression for Ric in terms of the shape operator A and ambient curvature c) without assuming any prior classification result; confirm the implication holds identically for c = 0, +1, -1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim establishes an equivalence between constant Ricci eigenvalues and curvature homogeneity for connected hypersurfaces in real space forms, with the converse proved using the constant sectional curvature of the ambient manifold to relate the hypersurface Ricci tensor (via the Gauss equation) to the second fundamental form. This forces the curvature tensor to be isometric at every point. Classification then follows directly from the cited Tsukada and Bryant-Florit-Ziller results on curvature-homogeneous cases. No internal gap, hidden assumption, or dimension-specific failure is apparent in the argument structure.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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).","tokens_in":1833,"tokens_out":425,"duration_ms":18428,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment and recommendation to accept the manuscript. No major comments were provided in the report.","responses":[],"tokens_in":1345,"tokens_out":43,"duration_ms":6138,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main result is that a connected hypersurface in a real space form has constant Ricci eigenvalues if and only if it is curvature homogeneous. The forward direction was already known; the new work supplies the converse and therefore classifies all such hypersurfaces by quoting the lists from Tsukada and from Bryant-Florit-Ziller.\n\nThe argument uses the Gauss equation to relate the Ricci tensor of the hypersurface to its second fundamental form, then exploits the constant sectional curvature of the ambient space to force the curvature tensor to be the same at every point. That step is direct and does not appear to introduce new fitting or hidden parameters. The byproduct claim—that curvature-inhomogeneous manifolds with constant Ricci eigenvalues cannot be immersed as hypersurfaces in any real space form—follows immediately from the equivalence.\n\nThe additional statement that complete examples in spheres, Euclidean space, or most hyperbolic space forms are isoparametric is a clean corollary once the classification is in hand. The paper is explicit about its dependence on the earlier results, so there is no circularity.\n\nThe only part that would benefit from referee scrutiny is the handling of the rank-two cases in S^4 and H^4; those were settled only recently, and a reader will want to see that the new proof invokes them without extra restrictions. Everything else tracks the standard toolkit of hypersurface geometry.\n\nThis is for people who already know the Lawson-Ryan and Tsukada papers and want the classification finished. It is worth sending to referees because the central equivalence is new, the proof structure is short, and the ambient assumption is stated clearly.","headline":"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.","tokens_in":2272,"tokens_out":399,"would_cite":true,"duration_ms":13533,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A connected hypersurface in a real space form has constant Ricci eigenvalues if and only if it is curvature homogeneous.","keywords":["hypersurface","Ricci eigenvalues","curvature homogeneous","real space form","isoparametric hypersurface","Einstein hypersurface","constant sectional curvature"],"falsifier":"A single connected hypersurface in a sphere, Euclidean space, or hyperbolic space that has constant Ricci eigenvalues yet fails to be curvature homogeneous.","tokens_in":2638,"feed_emoji":"","tokens_out":669,"duration_ms":15103,"temperature":0.7,"pith_summary":"This paper proves the equivalence between constant Ricci eigenvalues and curvature homogeneity for connected hypersurfaces immersed in real space forms of constant sectional curvature. Prior classifications of curvature homogeneous hypersurfaces then yield a full list of the hypersurfaces that satisfy the eigenvalue condition. The result extends the 1969 classifications of Einstein hypersurfaces in spheres, Euclidean space, and hyperbolic space. It also shows that no curvature-inhomogeneous manifold with constant Ricci eigenvalues can arise as a codimension-one isometric immersion into a real space form.","feed_headline":"Constant Ricci eigenvalues equivalent to curvature homogeneity","feed_subtitle":"The equivalence classifies all such hypersurfaces in real space forms and shows some manifolds cannot immerse in codimension one.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Ricci eigenvalues constant iff curvature homogeneous","Hypersurfaces with constant Ricci are curvature homogeneous","Constant Ricci eigenvalues imply curvature homogeneity","Equivalence of constant Ricci and curvature homogeneity","Constant Ricci means curvature homogeneous in space forms"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The ambient manifold has constant sectional curvature and the hypersurface is connected.","fun_headline_variants_meta":{"raw":{"variants":["Ricci eigenvalues constant iff curvature homogeneous","Hypersurfaces with constant Ricci are curvature homogeneous","Constant Ricci eigenvalues imply curvature homogeneity","Equivalence of constant Ricci and curvature homogeneity","Constant Ricci means curvature homogeneous in space forms"]},"model":"grok-4.3","cost_usd":0.010234,"raw_usage":{"total_tokens":4567,"prompt_tokens":732,"num_sources_used":0,"completion_tokens":55,"cost_in_usd_ticks":102337000,"prompt_tokens_details":{"text_tokens":732,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3780,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":732,"tokens_out":55,"duration_ms":24107,"temperature":1.0,"reasoning_tokens":3780,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T05:35:37.562890+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A single connected hypersurface in a sphere, Euclidean space, or hyperbolic space that has constant Ricci eigenvalues yet fails to be curvature homogeneous.","supporting_citations":[],"review_version":1}