{"id":"082d7bd6-3ead-4ce9-b5fe-86826c938e6b","arxiv_id":"2605.06074","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A determinant formula for the normal exponential map yields Heintze–Karcher-type comparison bounds and sharp Chern–Lashof and Willmore–Chen inequalities for submanifolds under nonnegative curvature and Euclidean volume growth.","lead":"This paper derives a formula and comparison theorem for how volumes expand around submanifolds in curved spaces, then uses them to prove sharp integral curvature lower bounds for closed submanifolds in noncompact manifolds with nonnegative curvature and Euclidean volume growth. The results generalize classical Fenchel–Chern–Lashof and Willmore–Chen inequalities to higher codimension and to curved ambient spaces.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.11(ii) is false: Ric_M^n does not control the (m−1)-dimensional normal Jacobian factor; M=H^2(-1)×S^3(2) with n=3 is a counterexample.","rationale":"The reader's weakest assumption flagged that Section 6 applies Theorem 2.11(ii) without the umbilicality hypothesis. That is a genuine gap, but it is repairable by a trace-AM-GM argument using Lemma 2.7, as the reader suspected. The more serious finding here is that Theorem 2.11(ii) itself is false under its stated hypotheses: the proof uses Bishop's volume-distortion comparison for the (m−1) normal directions, which requires Ric_M^{m−1}, not Ric_M^n. The product H^2(-1)×S^3(2) with n=3,m=2 gives a concrete closed totally geodesic submanifold for which the vertical normal Jacobian grows like sinh t while the claimed bound is 1. This invalidates the central comparison theorem and, with it, the proof of Theorem 1.3 and Corollary 1.4. The paper still contains potentially useful tools (Lemma 2.3, Theorem 2.9, and the sectional-curvature Theorem 1.1), but the advertised n-Ricci comparison and Willmore-Chen application are not established. Since the flaw is not an omitted detail but a false statement with a simple counterexample, the verdict should move from CONDITIONAL to REJECT.","tokens_in":37533,"tokens_out":30110,"duration_ms":319759,"concrete_test":"Run the following computation. On M=H^2(-1)×S^3(2) (n=3, m=2), take Σ={p}×S^3 and orthonormal ξ,e1∈T_pH^2. Let γ(t)=exp_x(tξ). The Jacobi field J(t)=d/ds|_{s=0} exp_x(t(ξ+s e1)) satisfies J''+R(J,γ')γ'=0 with R(J,γ')γ'=−J (since sec(ξ,e1)=−1), so J''−J=0, J(0)=0, J′(0)=e1, hence J(t)=sinh(t)E1(t). The horizontal Jacobi fields from S^3 directions are parallel of norm 1, and the radial direction gives factor 1. Therefore |det exp^⊥_*(x,tξ)|=sinh t. Verify Ric_M^3≥0 by checking all unit v and all 3-planes in the product: for v∈H the minimum 3-plane sum is −1+2+2=3; for v∈S it is −2+2=0. Since δ=0,H=0 gives RHS=1 in (2.31), the pointwise determinant bound fails at any t>0, settling that Theorem 2.11(ii) is false.","verdict_should_be":"REJECT","load_bearing_attack":"The proof of Theorem 2.11(ii) bounds |det exp^⊥_∗| by multiplying the tangent Jacobian bound from Theorem 2.10(ii) with (sδ(t)/t)^{m−1}, citing Bishop's Lemma 2.8(i). But Lemma 2.8(i) with l=m−1 requires Ric_M^{m−1} ≥ (m−1)δ, whereas the theorem assumes only Ric_M^n ≥ nδ. The n-Ricci condition constrains an n-plane perpendicular to ξ (in particular T_xΣ); it gives no control of the remaining m−1 normal directions, and no monotonicity among intermediate Ricci lower bounds is stated or generally true. Concretely, let M=H^2(-1)×S^3(2), n=3, m=2. A direct check gives Ric_M^3≥0: for v in H, the minimum 3-plane sum is −1+2+2=3; for v in S, −2+2=0. Let Σ={p}×S^3 (closed, totally geodesic) and choose orthonormal ξ,e1∈T_pH^2. For t>0 the vertical normal Jacobi field in the e1 direction satisfies Y''−Y=0, Y(0)=0, Y′(0)=e1, so |Y(t)|=sinh t; the three horizontal S^3 directions and the radial direction contribute unit factors. Thus |det exp^⊥_∗(x,tξ)|=sinh t. With δ=0,H=0, Theorem 2.11(ii) asserts this is ≤1, which fails for any t>0. The Section 6 application is therefore not a minor missing-umbilicality repair; the comparison theorem it invokes is false as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives an explicit formula for the Jacobian determinant of the normal exponential map (Lemma 2.4), uses it to prove a submanifold comparison theorem (Theorem 2.11), and applies it to obtain a Fenchel–Borsuk–Chern–Lashof-type inequality under nonnegative sectional curvature (Theorem 1.1) and a Willmore–Chen-type inequality under nonnegative n-Ricci curvature (Theorem 1.3), together with equality-case rigidity statements. The central claimed novelty is Theorem 2.11(ii): under Ric_M^n ≥ nδ, an umbilical submanifold with hH,ξi ≥ hH,ξi satisfies the pointwise normal-exponential Jacobian bound (2.31).","tokens_in":1634,"tokens_out":1521,"duration_ms":142241,"significance":"If correct, Theorem 2.11 would constitute a genuine extension of the Heintze–Karcher comparison theorem and would give sharp global inequalities in a broad Riemannian setting. The paper also contains useful independent material: the determinant decomposition in Lemma 2.4, the localized cut-distance function τ̃_f, and the Hessian monotonicity statement Theorem 2.9 are all presented with substantial detail. However, the central comparison theorem (ii) is false as stated, and the proof of Theorem 1.3 relies on an unjustified application of it. Since the main advertised application and the comparison theorem itself are load-bearing, the manuscript in its current form cannot be accepted.","major_comments":[{"comment":"The statement is false. Let M = H^2(-1) × S^3(2), with n=3, m=2. A direct computation gives Ric_M^3 ≥ 0: for v in the H factor, the minimum 3-plane sum is -1+2+2 = 3; for v in the S factor it is -2+2 = 0. Take Σ = {p} × S^3, which is closed and totally geodesic, so H=0 and it is umbilical. Choose orthonormal ξ, e_1 ∈ T_p H^2. For the normal exponential map in the e_1 direction, the vertical Jacobi field satisfies Y'' − Y = 0 with Y(0)=0, Y′(0)=e_1, so |Y(t)| = sinh t; all other factors are 1. Thus |det exp^⊥_*(x,tξ)| = sinh t for every t before the cut/focal distance, which is infinite in H^2. With δ=0, the right-hand side of (2.31) is (s_0(t)/t)^{m-1}(c_0(t) − 0)^n = 1·1^3 = 1, contradicting sinh t > 1 for any t>0.","section":"Theorem 2.11(ii), Eq. (2.31)"},{"comment":"The proof asserts the bound |det exp^⊥_*| ≤ (s_δ(t)/t)^{m-1} ... by applying Bishop's Lemma 2.8(i) with l = m−1 to the normal directions. But Lemma 2.8(i) requires Ric_M^{m−1} ≥ (m−1)δ, which is not assumed. The hypothesis Ric_M^n ≥ nδ only controls n-planes perpendicular to ξ, in particular T_xΣ; it gives no control of the remaining m−1 normal directions. The counterexample in the previous comment shows this is not a mere technical gap: the missing normal Jacobian factor is genuinely unbounded.","section":"Proof of Theorem 2.11(ii), use of Lemma 2.8(i)"},{"comment":"The proof applies Theorem 2.11 directly to obtain the pointwise bound |det exp^⊥_*(x,y)| ≤ (1 − hH(x),y)^n for an arbitrary closed submanifold. Theorem 2.11(ii) is stated only under the hypothesis that Σ is umbilical at x for the normal ξ, which is not satisfied by a general submanifold. Even if the tangent-factor estimate could be repaired by an arithmetic-geometric-mean inequality on the trace in Lemma 2.7, the normal Jacobian factor discussed above remains uncontrolled. Thus inequality (1.4) is unsupported as written.","section":"Section 6, proof of inequality (1.4)"},{"comment":"The corollary and the equality characterization in Theorem 1.3 depend on Theorem 2.11(ii) and on Lemma 7.4, which in turn invokes Theorem 2.11. Since Theorem 2.11(ii) is false, these conclusions are not established.","section":"Corollary 1.4 and equality cases of Theorem 1.3"}],"minor_comments":[{"comment":"Typo: 'esitimate' should be 'estimate'.","section":"Abstract"},{"comment":"The proof refers to 'Theorem 2.8' where the intended reference is apparently Lemma 2.8.","section":"Proof of Theorem 2.11"},{"comment":"Several spelling/grammar issues occur, e.g. 'satiesfying' (Lemmas 4.4, 7.2), 'sufficiency'/'sufficient' throughout, and inconsistent punctuation in displayed inequalities. These do not affect the mathematics.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The counterexample in major comment 1 is decisive and elementary; Theorem 2.11(ii) cannot be repaired by a local argument because the n-Ricci condition does not control the normal Jacobian factor. The Section 6 application also has an independent gap. Some components (Lemma 2.4, Theorem 2.9) are interesting and might form the basis of a future paper, but the main claims of this manuscript are not sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere’s my take. The determinant identity in Lemma 2.4 is genuinely nice, and the Fenchel–Borsuk–Chern–Lashof inequality under nonnegative sectional curvature (Theorem 1.1) looks like a legitimate extension of the Heintze–Karcher machinery. The monotonicity theorem 2.9 is new and seems correct, even if not used.\n\nBut the paper’s headline n-Ricci comparison, Theorem 2.11(ii), is false as stated. The proof multiplies the tangent Jacobian bound from Theorem 2.10(ii) by (sδ(t)/t)^{m−1}, citing Bishop’s Lemma 2.8(i) with l=m−1. That lemma requires Ric_M^{m−1} ≥ (m−1)δ, not Ric_M^n ≥ nδ. The n-Ricci condition controls n-planes perpendicular to ξ, which include the tangent space of Σ, but it says nothing about the other m−1 normal directions.\n\nConcrete counterexample: M = H^2(−1) × S^3(2), n = 3, m = 2, Σ = {p} × S^3. One checks Ric_M^3 ≥ 0. Σ is totally geodesic, hence umbilical with H = 0. For the geodesic in the H^2 direction, the normal Jacobi field in the other H^2 direction has magnitude sinh t, so |det exp^⊥_∗| = sinh t. Theorem 2.11(ii) with δ = 0 predicts ≤ 1, false for any t > 0. So the pointwise bound behind inequality (1.4) is unsupported.\n\nSection 6 also applies the theorem without the umbilical hypothesis, but that is the least of the problems; the theorem fails even in the umbilical case. The equality-case proofs are mostly sketched or omitted, which is another sign the paper is not ready.\n\nWhat’s worth saving: the determinant identity and the sectional-curvature applications are solid and could form a publishable paper if the authors drop the n-Ricci claims or find a genuinely different condition on the normal directions.\n\nAs it stands, I would not send this to peer review; I’d desk-reject with a pointer to the counterexample and a suggestion to excise Theorem 1.3. If the authors come back with a correct n-Ricci statement, I’d look again.","headline":"Nice determinant lemma and a correct sectional-curvature inequality, but the n-Ricci comparison theorem is false; the Willmore–Chen application collapses.","tokens_in":38448,"tokens_out":10113,"would_cite":false,"duration_ms":96222,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53B30","53C40","53C21"],"pacs":[],"model":"deepseek-v4-flash","headline":"A comparison theorem for the normal exponential map yields sharp total-curvature and L^n mean-curvature inequalities for closed submanifolds.","keywords":["normal exponential map","Jacobian determinant","comparison theorem","n-Ricci curvature","Chern-Lashof inequality","Willmore-Chen inequality","Euclidean volume growth","umbilical submanifolds"],"falsifier":"Test the n=2 case of Theorem 1.3 on the Eguchi-Hanson metric: it is Ricci-flat, has Euclidean volume growth, and contains a closed totally geodesic (minimal) S^2. Computing the tube volume growth of that S^2 under the normal exponential map — predicted by the pointwise bound |det exp⊥| ≤ 1 to be at most quadratic in the tube radius, while the ambient Euclidean volume growth forces quartic growth — would settle whether the theorem is true as stated.","tokens_in":37424,"feed_emoji":"📐","tokens_out":30696,"duration_ms":281353,"temperature":0.7,"pith_summary":"The paper sets out to prove that a single Jacobian determinant governs sharp global inequalities for submanifolds: for the normal exponential map of a closed n-dimensional submanifold in a complete noncompact ambient space with nonnegative n-Ricci curvature and Euclidean volume growth, the paper claims the determinant is bounded by a model expression built from the mean curvature. From this bound it derives a Willmore–Chen-type inequality ∫Σ |H|^n dvol ≥ AVR(M)|S^n|, and, under nonnegative sectional curvature, a Fenchel–Borsuk–Chern–Lashof-type total-absolute-curvature inequality. The equality cases are described rigidly: the normal exponential map restricts to a diffeomorphism, and the submanifold is totally umbilical with parallel mean curvature vector. A corollary asserts the non-existence of closed minimal submanifolds in the allowed dimensions. The route is a determinant factorization combined with Hessian/Laplacian comparison in the ambient manifold.","feed_headline":"Closed submanifolds get sharp mean-curvature lower bound","feed_subtitle":"A Jacobian comparison for the normal exponential map yields Willmore–Chen and total-curvature inequalities with equality rigidity.","key_machinery":"The load-bearing object is the Jacobian determinant of the normal exponential map exp⊥: T⊥Σ → M. The paper factorizes its differential as a block lower-triangular matrix (Lemma 2.4), separating the ambient exponential map's Jacobian from the determinant of Q = (1/2)Hess d² − h(·,·). The comparison theorem Theorem 2.11 then controls that determinant by the model-space-form expression (sδ/t)^{m−1}(cδ − sδ⟨H,ξ⟩)^n, using only an n-Ricci lower bound (plus an umbilicality assumption in the pointwise version). This comparison is what replaces the stronger sectional-curvature hypotheses of earlier comparison theorems in the high-codimension cases.","core_discovery":"The central discovery is the determinant formula |det Φ_*| = |det Exp_*| · |det Q|, where Q = (1/2)Hess d² − h(·,·) (plus a Hessian of a gradient term in the general version). Applying this to the normal exponential map, the paper proves Theorem 2.11: under Ric_M^n ≥ nδ, with an umbilical point and mean curvature at least the model value, |det exp⊥_*(x,tξ)| ≤ (sδ(t)/t)^{m−1}(cδ(t) − sδ(t)⟨H,ξ⟩)^n. Setting δ=0 and integrating this pointwise bound over the unit normal bundle yields the Willmore–Chen-type inequality in Theorem 1.3, with equality forcing the normal exponential map to be a diffeomorphism and the submanifold to be totally umbilical with D⊥-parallel mean curvature.","pith_inferences":["The pointwise bound used in the proof of (1.4) is stated in Theorem 2.11 only under umbilicality; a trace-Hessian-plus-AM-GM argument would likely repair it, but the text does not supply that step.","The introduction's Eguchi-Hanson example (Ricci-flat with Euclidean volume growth and a closed totally geodesic S^2) appears to be a direct counterexample to the n=2 case of Theorem 1.3; reconciling it requires an extra hypothesis or a different reading of n-Ricci curvature.","The same determinant comparison should yield sharp volume comparisons for tubular neighborhoods and isoperimetric-type bounds for higher-codimension submanifolds under intermediate Ricci curvature; the paper indicates but does not carry these out.","The equality metric (1−⟨H,y⟩)^2 gΣ + gT⊥Σ is formally the Euclidean cone-type metric, so the paper's equality analysis suggests asking whether equality forces the ambient manifold to be Euclidean, a question the authors leave open."],"forward_implications":["If Ric_M^n ≥ 0 and AVR(M)>0, every closed n-dimensional submanifold satisfies ∫Σ |H|^n dvol ≥ AVR(M)|S^n|; equality forces exp⊥ to be a diffeomorphism, total umbilicality, and parallel mean curvature.","Under nonnegative sectional curvature, the total absolute curvature satisfies ∫Σ K* dvol ≥ 2 AVR(M)|S^{n+m−1}|, with equality as described in Theorem 1.1.","There is no closed minimal k-dimensional submanifold for n ≤ k ≤ N−1 in a complete noncompact N-manifold with nonnegative n-Ricci curvature and Euclidean volume growth.","The comparison theorem weakens the Heintze–Karcher sectional-curvature condition to an n-Ricci bound in the umbilical high-codimension case.","The determinant formula itself works with an added gradient field, so it applies to a family of maps beyond exp⊥ and may have further comparison consequences."],"fun_headline_variants":["Jacobian comparison gives sharp Willmore-Chen and curvature bounds","Normal exponential map yields rigidity in sharp submanifold inequalities","New determinant formula sharpens submanifold mean-curvature bounds","Umbilical rigidity from a Jacobian bound on exponential maps","Fenchel-Borsuk and Willmore-Chen inequalities via Jacobian"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that nonnegative n-Ricci curvature plus Euclidean volume growth forces the pointwise Jacobian bound to hold for every closed submanifold and thereby makes closed minimal submanifolds impossible — yet the paper's own Eguchi-Hanson example, with its closed totally geodesic S^2, appears to contradict the n=2 case of that premise.","fun_headline_variants_meta":{"raw":{"variants":["Jacobian comparison gives sharp Willmore-Chen and curvature bounds","Normal exponential map yields rigidity in sharp submanifold inequalities","New determinant formula sharpens submanifold mean-curvature bounds","Umbilical rigidity from a Jacobian bound on exponential maps","Fenchel-Borsuk and Willmore-Chen inequalities via Jacobian"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000163,"raw_usage":{"total_tokens":1038,"prompt_tokens":662,"completion_tokens":376,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":406,"completion_tokens_details":{"reasoning_tokens":284}},"tokens_in":406,"tokens_out":376,"duration_ms":4217,"temperature":1.0,"reasoning_tokens":284,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T14:43:48.005791+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the n=2 case of Theorem 1.3 on the Eguchi-Hanson metric: it is Ricci-flat, has Euclidean volume growth, and contains a closed totally geodesic (minimal) S^2. Computing the tube volume growth of that S^2 under the normal exponential map — predicted by the pointwise bound |det exp⊥| ≤ 1 to be at most quadratic in the tube radius, while the ambient Euclidean volume growth forces quartic growth — would settle whether the theorem is true as stated.","supporting_citations":[],"review_version":2}