{"id":"92ab3b2c-f90b-4e4a-8478-5277597e385d","arxiv_id":"2411.15093","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A closed negatively curved manifold whose horospheres have nonnegative scalar curvature must have constant negative sectional curvature.","lead":"Horospheres are the surfaces at infinity that look like expanding spheres in a negatively curved space. This paper proves that if the horospheres in a closed negatively curved manifold have nonnegative scalar curvature, the whole manifold must have constant negative curvature, so it is a hyperbolic space.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (9) omits the nonnegative ∫s term in the key inequality chain, so the displayed proof does not force equality and constant curvature; the corrected inequality must be retained.","rationale":"The reader's verdict CONDITIONAL is justified. The proof of Theorem 1.1 has two gaps: (i) equation (9) omits the nonnegative ∫s term, making the displayed inequality tautological; (ii) Proposition 2.1 relies on an unproved density claim for unstable leaves. I focused on (i) because it is the step where the assumptions actually force the equality that leads to umbilicality; without the retained term, the proof fails even under assumption (i). The fix is straightforward and the intended argument is clear, so the theorem remains plausible and the verdict stays CONDITIONAL pending correction. Proposition 2.1 is a legitimate secondary concern because it affects the reduction of assumption (ii), but the density of strong unstable leaves in closed negatively curved manifolds is a known property (and is cited from [3]), so it is less likely to be false. The paper's core contribution is sound in spirit, and no other significant issues were identified.","tokens_in":5963,"tokens_out":24475,"duration_ms":243801,"concrete_test":"Recompute inequality (9) by substituting (8) into (6) without omitting the ∫s term: ∫trace(S^2) ≥ 1/(n−2)(2∫Ric − ∫Scal + ∫s) = −(1/n)∫Scal + 1/(n−2)∫s. Combining with (6) yields 0 ≥ 1/(n−2)∫s, i.e., ∫s ≤ 0. If this corrected chain is verified, the proof can proceed; if the chain does not yield ∫s ≤ 0, the core rigidity argument collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing gap is in the substitution of (8) into (6). Correctly, (8) gives ∫trace(S^2) ≥ 1/(n−2)(2∫Ric − ∫Scal + ∫s). Since ∫Ric = (1/n)∫Scal, the right-hand side equals −(1/n)∫Scal + 1/(n−2)∫s. Equation (9) as printed drops the ∫s term, reducing the inequality to −(1/n)∫Scal ≥ −(1/n)∫Scal, a tautology. The intended conclusion — equality in (8) and hence umbilicality of every horosphere — follows only if the omitted term is kept: then −(1/n)∫Scal ≥ −(1/n)∫Scal + 1/(n−2)∫s, so ∫s ≤ 0, and the theorem's assumption ∫s ≥ 0 forces ∫s = 0 and equality pointwise in (8). Without this step, the proof of Theorem 1.1 does not establish constant curvature. A secondary concern is Proposition 2.1, which rests on an unstated density/minimality of unstable leaves cited from [3]; if that density fails, assumption (ii) cannot be reduced to (i), but the equation (9) issue affects the core inequality for all cases.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies closed Riemannian manifolds of dimension n ≥ 3 with negative sectional curvature, and proves that under either (i) nonnegative integral of the horospherical scalar curvature over the unit tangent bundle with Liouville measure, or (ii) existence of one horosphere whose scalar curvature is everywhere nonnegative, the manifold must have constant negative sectional curvature. The proof averages the Riccati equation over the Liouville measure, combines it with the Gauss equation and an elementary algebraic inequality to show that the horospheres are totally umbilical, and then applies Schur's lemma to conclude constancy of the sectional curvature. A corollary states that a single flat horosphere forces hyperbolicity.","tokens_in":6083,"tokens_out":5686,"duration_ms":54397,"significance":"If the proof is repaired, the result is a clean intrinsic characterization of real hyperbolic manifolds in terms of horospherical scalar curvature, complementing earlier extrinsic criteria such as constant mean curvature or umbilical horospheres. The approach is elegant and mostly elementary: averaging the Riccati equation, combining it with the Gauss equation, and using a simple algebraic inequality. The paper also has the virtue of being short and to the point, with the main geometric ideas clearly exposed. The final step via Schur's lemma is standard and appropriate.","major_comments":[{"comment":"Equation (9) as displayed drops the nonnegative term (1/(n−2))∫s from the right-hand side. Substituting (8) into (6) and using ∫Ric = (1/n)∫Scal gives −(1/n)∫Scal ≥ −(1/n)∫Scal + (1/(n−2))∫s. As printed, the chain reduces to a tautology and does not force equality in (8), so the proof of Theorem 1.1 does not go through. The intended argument is recovered by keeping the ∫s term: since ∫s ≥ 0, the corrected inequality forces ∫s ≤ 0 and hence ∫s = 0, and then the nonnegative integrand trace(S²) − (1/(n−2))(2Ric − Scal + s) has integral zero, so it vanishes pointwise, yielding equality in Lemma 2.1 and umbilic horospheres. This correction is essential and should be made explicit.","section":"§2, Eq. (9)"},{"comment":"Proposition 2.1 is load-bearing for the implication (ii) ⇒ (i), but its proof is deferred to the authors' previous article [3] with no statement of the exact density result used. Since the theorem's second assertion depends on this, the paper should either prove the density of each strong unstable leaf in T¹M or state and cite the precise theorem from [3]. If the density claim fails, assumption (ii) would only give nonnegativity of s along one horosphere, which is insufficient for the averaging argument.","section":"§2, Proposition 2.1"}],"minor_comments":[{"comment":"The keyword 'negativey curved' should be 'negatively curved'.","section":"Keywords"},{"comment":"Reference [5] (Foulon–Labourie) is missing its title; please complete it.","section":"References"},{"comment":"The proof of Lemma 2.1 is correct, but the explanation of the counting ('a given index i appears once for each j > i but also once for each j < i') could be phrased more clearly.","section":"§2, Lemma 2.1"},{"comment":"The sentence 'Assertion ii) implies that the scalar curvature function, s(·), is non negative on the lift to T¹(M) of one horosphere' is somewhat confusing since s is already defined on T¹M; consider rephrasing to avoid the impression that a new lift is introduced.","section":"§2, proof of Theorem 1.1"},{"comment":"The notation 'Scal ◦p(v)' is unconventional; since Scal is a function on M, one may write Scal(p(v)) or simply note the abuse of notation.","section":"§2, Eq. (6)"}],"recommendation":"major_revision","confidential_remarks":"The gap in Eq. (9) appears to be a typographical omission of a term, but as printed it breaks the main proof. The intended argument is clear and repairable. The other concern is the reliance on the authors' prior density result [3] for assumption (ii); if that result is correct and applicable, the paper is likely acceptable after revision. The editor may wish to ask the authors to make the dependency on [3] precise and to include the corrected inequality chain."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this short note proves a new intrinsic rigidity theorem — for a closed negatively curved manifold of dimension n ≥ 3, if the horospherical scalar curvature has nonnegative Liouville average, or one entire horosphere has s ≥ 0, then the manifold has constant negative sectional curvature. That is genuine progress: earlier work used extrinsic conditions like mean curvature or umbilicity, while this uses the intrinsic scalar curvature of horospheres.\n\nThe paper does several things well. The proof is transparent. It averages the Riccati equation, combines it with the Gauss equation, and applies an elementary inequality; equality forces every horosphere to be umbilical. Then the Riccati equation makes the curvature operator isotropic, and Schur's lemma gives constant curvature. Lemma 2.1 is correct, and the deduction from equality to all principal curvatures being equal is sound. The paper also honestly credits the dynamical prerequisite from [3] rather than re-proving it.\n\nThe soft spots are real but concentrated. Equation (9) as displayed is wrong. Substituting (8) into (6) actually gives\n-1/n ∫Scal ≥ -1/n ∫Scal + 1/(n−2) ∫s,\nso the immediate conclusion is ∫s ≤ 0, not equality. As printed, the integral of s is dropped and the chain becomes a tautology. With the theorem's assumption ∫s ≥ 0 you then get ∫s = 0 and equality in (8), so the intended argument is recovered by keeping the omitted term. This is a genuine error in the load-bearing step, not a stylistic quibble, and it must be fixed. The stress-test note is accurate on this point.\n\nThe second soft spot is Proposition 2.1. The paper states that nonnegative scalar curvature on one horosphere implies nonnegativity everywhere, relying on density of each strong unstable leaf in T¹M, but it does not state or prove that density property — it only refers to [3]. A referee should ask for the precise statement and either a proof or a clear citation.\n\nOverall, the paper is honest, the mathematics is essentially correct modulo the typo, and the dependency on [3] is legitimate if that paper's density result is correct. The result is a natural successor to Itoh-Satoh and complements the authors' earlier dynamical rigidity work. I would send it to a serious referee and would accept it after minor revision. I'd cite it once the displayed inequality is corrected.","headline":"A short, mostly correct intrinsic rigidity theorem with one real typo in the key inequality chain; worth a referee.","tokens_in":6734,"tokens_out":4149,"would_cite":true,"duration_ms":39626,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a closed negatively curved Riemannian manifold of dimension at least three has constant negative sectional curvature if the integral of the scalar curvature of its horospheres is nonnegative, and in particular if one…","keywords":["horospherical rigidity","scalar curvature","negative curvature","constant curvature","Riccati equation","shape operator","geodesic flow","totally umbilical"],"falsifier":"A concrete falsifying test would be to exhibit a closed negatively curved three-manifold that is not of constant curvature yet has $\\int_{T^1M} s\\,d\\mu_L \\ge 0$, or that contains one flat horosphere; either would contradict Theorem 1.1 and Corollary 1.2. A more targeted check is to examine any closed negatively curved manifold with a non-dense strong unstable leaf: if such a manifold has one nonnegative horosphere, the propagation step in Proposition 2.1 would not apply.","tokens_in":5656,"feed_emoji":"📐","tokens_out":7294,"duration_ms":62210,"temperature":0.7,"pith_summary":"This paper proves a rigidity theorem for closed negatively curved manifolds of dimension at least three: if the scalar curvature of the horospheres is nonnegative, either on average over the unit tangent bundle or pointwise along a single horosphere, then the ambient metric has constant negative sectional curvature. In particular, a single flat horosphere forces the manifold to be hyperbolic. The result is intrinsic, depending only on the induced metric of a horosphere rather than its embedding, and it complements earlier extrinsic characterizations via mean curvature.","feed_headline":"One nonnegative horosphere forces constant negative curvature","feed_subtitle":"A single flat horosphere suffices to force hyperbolicity of the whole closed negatively curved manifold.","key_machinery":"The load-bearing objects are the shape operator $S$ of a horosphere and the Riccati equation $\\dot S + S^2 + R_{\\dot c} = 0$, along with its traced version $X.\\mathrm{tr}(S) + \\mathrm{tr}(S^2) + \\mathrm{Ric}(v) = 0$. Integrating the traced equation against the Liouville measure and combining it with the Gauss equation for a horosphere yields the algebraic inequality $\\sum \\lambda_i^2 \\ge \\frac{1}{n-2}\\sum_{i\\ne j}\\lambda_i\\lambda_j$, where the $\\lambda_i$ are the principal curvatures; equality occurs only when all $\\lambda_i$ coincide. Equality is forced by the nonnegativity assumption, making every horosphere umbilical, and the Riccati equation then shows that the sectional curvature of any plane containing a given direction is independent of the other direction; Schur's lemma upgrades this to constant curvature because $n \\ge 3$.","core_discovery":"The central claim, Theorem 1.1, states that for a closed Riemannian manifold $(M^n,g)$ with $n \\ge 3$ and negative sectional curvature, the condition $\\int_{T^1M} s(v)\\,d\\mu_L(v) \\ge 0$, or the existence of one horosphere $H(v_0)$ along which $s(w) \\ge 0$ for every normal direction $w$, implies that $(M,g)$ has constant negative sectional curvature. Corollary 1.2 adds that if a single horosphere is flat for its induced metric, then $(M,g)$ is hyperbolic. The proof forces each horosphere to be totally umbilical, then uses Schur's lemma to spread the resulting isotropy of sectional curvature to the whole manifold.","pith_inferences":["The averaging argument suggests that the horospherical scalar curvature $s(v)$, integrated against any geodesic-flow-invariant measure, may serve as a hyperbolic detector; the proof's dependence on the Liouville measure is via its invariance, so the same integration could be tried with other invariant measures.","The algebraic trace inequality is dimension-critical: the coefficient $1/(n-2)$ blows up at $n=2$, so a separate argument would be needed to test whether an analogous rigidity statement holds for surfaces.","Since the paper notes only $C^2$ regularity is known for horospheres in the nonnegative curvature case, a breakthrough in horosphere regularity would make the same proof strategy applicable there."],"forward_implications":["If the Liouville average of horospherical scalar curvature is nonnegative on a closed negatively curved $n$-manifold with $n \\ge 3$, the manifold is a quotient of real hyperbolic space.","A single flat horosphere, in any closed negatively curved manifold of dimension at least three, forces the entire manifold to be hyperbolic.","The rigidity is intrinsic: it reads only the induced metric on one horosphere, so no embedding data such as mean curvature is needed.","The theorem gives a practical recognition test: verifying one nonnegativity condition on horospheres decides whether the metric has constant negative curvature."],"supporting_citations":[{"why":"Supplies the density of each strong unstable leaf (horosphere) in the unit tangent bundle, the load-bearing step that turns one nonnegative horosphere into nonnegativity everywhere.","marker":"[3]"},{"why":"Provides the shape-operator formalism and the Gauss equation for horospheres used in the proof.","marker":"[4]"},{"why":"Supplies the traced Riccati equation and the integration against Liouville measure.","marker":"[9]"},{"why":"Supplies Schur's lemma that converts pointwise constant sectional curvature into global constancy.","marker":"[10]"}],"fun_headline_variants":["One flat horosphere makes the manifold hyperbolic","A single nonnegative horosphere implies constant curvature","Horospherical rigidity: one sphere forces hyperbolicity","If one horosphere is flat, the whole space is hyperbolic"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that every horosphere, viewed as a leaf of the unstable foliation of the geodesic flow, is dense in the unit tangent bundle; if this minimality fails, nonnegativity of scalar curvature on one horosphere does not necessarily propagate to all horospheres.","fun_headline_variants_meta":{"raw":{"variants":["One flat horosphere makes the manifold hyperbolic","A single nonnegative horosphere implies constant curvature","Horospherical rigidity: one sphere forces hyperbolicity","If one horosphere is flat, the whole space is hyperbolic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001392,"raw_usage":{"total_tokens":5508,"prompt_tokens":699,"completion_tokens":4809,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":315,"completion_tokens_details":{"reasoning_tokens":4746}},"tokens_in":315,"tokens_out":4809,"duration_ms":39053,"temperature":1.0,"reasoning_tokens":4746,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:32:59.064541+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete falsifying test would be to exhibit a closed negatively curved three-manifold that is not of constant curvature yet has $\\int_{T^1M} s\\,d\\mu_L \\ge 0$, or that contains one flat horosphere; either would contradict Theorem 1.1 and Corollary 1.2. A more targeted check is to examine any closed negatively curved manifold with a non-dense strong unstable leaf: if such a manifold has one nonnegative horosphere, the propagation step in Proposition 2.1 would not apply.","supporting_citations":[{"cited_title":"Besson, G","cited_arxiv_id":null,"evidence_quote":"Supplies the density of each strong unstable leaf (horosphere) in the unit tangent bundle, the load-bearing step that turns one nonnegative horosphere into nonnegativity everywhere."},{"cited_title":"Eschenburg and J.O’Sullivan, Jacobi Tensors and Ricci Curvature Math","cited_arxiv_id":null,"evidence_quote":"Provides the shape-operator formalism and the Gauss equation for horospheres used in the proof."},{"cited_title":"Knieper, Spherical means on compact Riemannian manifolds of negative curvature","cited_arxiv_id":null,"evidence_quote":"Supplies the traced Riccati equation and the integration against Liouville measure."},{"cited_title":"Petersen, Riemannian Geometry","cited_arxiv_id":null,"evidence_quote":"Supplies Schur's lemma that converts pointwise constant sectional curvature into global constancy."}],"review_version":1}