{"id":"d2c9c0db-040b-4250-8876-6b3d6a223796","arxiv_id":"2507.07655","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Closed submanifolds in nonnegative k-Ricci manifolds with Euclidean volume growth satisfy the sharp inequality ∫|σ|^n ≥ θ|S^n|, with equality rigidity.","lead":"This paper proves a sharp geometric inequality: any closed n-dimensional submanifold inside a space with a generalized nonnegative curvature condition and Euclidean volume growth has total bending at least θ times the area of a unit n-sphere. It generalizes the classical Fenchel and Willmore inequalities to every dimension and codimension, with a full equality description.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the reader-flagged no-focal-point implication in Lemma 2.4 follows from A_r by the triangle inequality, so Lemma 2.4 and Theorem 1.3 stand.","rationale":"The reader's verdict is ACCEPT with high confidence, and the reader identified the no-focal-point implication in Lemma 2.4 as the weakest assumption. I traced this implication in detail and found that it is actually forced by A_r: the defining inequality at r, together with the triangle inequality, shows that every subsegment γ|[0,s] minimizes distance to Σ, and a standard theorem then rules out focal points in its interior. Thus the Jacobian bound in Lemma 2.4 is supported. I also checked the curvature bookkeeping for k=min(n,m−1), including why nonnegative k-Ricci implies the needed n-dimensional tangent sum and (m−1)-dimensional normal sum are nonnegative; the scalar Riccati comparison is applied to smooth quantities after taking the O(s) terms from the expansion in (2.2); and the m=2 product trick preserves both θ and the integral of |σ|^n. The gamma-function evaluation of the fiber integrals is parameter-free and delivers exactly |S^n|, with no fitted constants. The mild nonuniformity in the asymptotic expansion of the fiber volume near t=−1 is not fatal because its contribution vanishes when the r-limit is taken before the α-limit. No circularity, missing hypothesis, or internal inconsistency emerged. The equality analysis is long but coherent, and the rigidity statements are compatible with the inequality proof. Verdict should remain UNCHANGED.","tokens_in":17608,"tokens_out":28318,"duration_ms":315783,"concrete_test":"Write out the omitted proof explicitly: for arbitrary (x,z)∈A_r and 0<s<r, prove d(q,exp_x(sz))≥s|z| for all q∈Σ by the triangle inequality, then invoke the standard no-focal-point theorem for the restricted minimizing geodesic γ|[0,s] to conclude det DΦ_s≠0. Also recompute the fiber integral in (2.8) for m=3, n=2 with |σ|=1, treating the t∈(−1,−α) boundary layer separately, and confirm the Beta-function constant equals 1/(n+1) after the double limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After re-examining the proof, I do not find a load-bearing gap in the central claim. The one genuinely delicate step is Lemma 2.4's assertion that membership in A_r rules out focal points of Σ along γ(s)=exp_x(sz) for 0<s<r. This assertion is correct. If (x,z)∈A_r, then for every q∈Σ and every s<r, the triangle inequality gives d(q,γ(s)) ≥ d(q,γ(r))−d(γ(s),γ(r)) ≥ r|z|−(r−s)|z| = s|z|. Since γ(0)∈Σ, the subsegment γ|[0,s] is a shortest geodesic from Σ to γ(s), and the standard first-focal-point theorem forbids focal points in its interior. Hence P(s) is invertible on (0,r), the Riccati comparison via Lemma 2.3 is legitimate, and the Jacobian bound follows. The asymptotic fiber-integral estimates contain harmless nonuniformities for t near −1, but those contributions vanish in the double limit r→∞ before α→1, so they do not affect the sharp constant. The m=2 product-with-R reduction preserves θ and |σ|, and the m=1 direct computation is consistent. I therefore see no reason to alter the reader's ACCEPT.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a sharp Fenchel–Willmore inequality for closed n-dimensional submanifolds Σ immersed in a complete non-compact Riemannian manifold (M^{n+m}, g) with non-negative k-Ricci curvature and Euclidean volume growth θ>0. The main theorem (Theorem 1.3) states that ∫_Σ |σ|^n ≥ θ|S^n|, where σ is the normalized mean curvature vector and k = min(n, m−1) for m>1, k=n for m=1. This recovers the hypersurface case of Agostiniani–Fogagnolo–Mazzieri and the higher-codimension Euclidean result of Chen. The proof uses a normal-exponential transport map, a monotonicity lemma for the Jacobian determinant obtained from the scalar Riccati inequality, surjectivity via the set A_r, and an exact evaluation of fiber integrals in terms of the Γ function. The equality case (Theorem 1.2) is also analyzed, giving rigidity for n≥2 and a metric description of the model. A corollary rules out closed minimal submanifolds in such ambient spaces. The arguments are detailed and self-contained; the m=1, m=2, and m≥3 cases are treated separately.","tokens_in":17806,"tokens_out":20876,"duration_ms":215070,"significance":"If the results are correct, this is a substantial generalization: it extends the Fenchel–Willmore inequality to arbitrary codimension and to ambient manifolds with only intermediate Ricci curvature bounds, not full non-negative sectional curvature. The sharp constant θ|S^n| for every n,m is a notable improvement over Brendle's Sobolev-type transport approach, which is sharp only in low codimension. The proof is genuinely self-contained: the monotonicity lemma is proved in full, the fiber integrals are computed exactly, and the equality case is derived rather than assumed. The paper also provides a third proof in the hypersurface case. No parameters are fitted and the constants arise from classical comparison and the Γ-function identity. The main caveat is that several delicate steps are compressed into single sentences; these should be expanded for readability, but they appear to be correct.","major_comments":[],"minor_comments":[{"comment":"The assertion that membership in A_r rules out focal points of Σ along γ̄(s)=exp_x(sz) for 0<s<r is stated without proof. It is correct: for s<r and q∈Σ, the triangle inequality gives d(q,γ̄(s)) ≥ d(q,γ̄(r)) − (r−s)|z| ≥ r|z| − (r−s)|z| = s|z|, so γ̄|[0,s] is a shortest geodesic from Σ to γ̄(s) and cannot have an interior focal point. Please include this one-line justification.","section":"Lemma 2.4"},{"comment":"In the fiber-integral computation for m=1, the expression 'r ∫_{−α}^{−1} (1−r|σ(x)|t)^n dt = r^{n+1}|σ(x)|^n ∫_1^α t^n dt + O(r^n)' has reversed integration limits after the substitution. The correct integral is ∫_α^1 u^n du, whose value is (1−α^{n+1})/(n+1); the displayed final result is correct, so this is a typographical slip.","section":"Section 2, proof of Theorem 1.3, m=1 case"},{"comment":"The sentence 'By taking s→0+ in the first equation of (3.8), we have S(z,z)=0' is not directly justified by the displayed first equation, which is indexed only by tangent directions j. The conclusion follows from the block-diagonal form of Q in (3.7): since Q' + Q^2 = −S, the vanishing of all blocks of Q forces the full curvature matrix S to vanish, including the z-component. Please clarify this step.","section":"Section 3, proof of Theorem 1.2(a)"},{"comment":"In the displayed volume computation for |exp(Σ_r^+)|, the integration limits '∫_0^{−1}' should read ∫_{−1}^0, since t ranges over the half-ray ⟨σ,z⟩≤0.","section":"Section 3, Theorem 1.2(c)"},{"comment":"The Eguchi–Hanson manifold is the cotangent bundle T^*S^2, not T S^2; please correct the notation.","section":"Section 1, paragraph on Eguchi–Hanson"},{"comment":"A few scanning/rendering artifacts appear in the title and in the body (e.g., spacing in 'NON-NEGA TIVEk-RICCI'); these should be corrected in the final journal version.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"I have checked the point flagged by the stress-test: the no-focal-point implication in Lemma 2.4 is correct and follows from the triangle inequality, so the central claim stands. The remaining issues are all local and clarificatory. The paper is sound and, after the minor revisions suggested, a strong candidate for publication. I agree with the reader's overall positive assessment, though I recommend a minor revision rather than immediate acceptance to allow the authors to expand the few compressed arguments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real theorem, not a repackaging. It proves the sharp Fenchel-Willmore lower bound ∫Σ |σ|n ≥ θ|S^n| for closed n-submanifolds of any codimension in complete noncompact manifolds with nonnegative k-Ricci and positive asymptotic volume ratio, where k = min(n, m−1) (or n when m = 1). That covers Chen's Euclidean result and the Agostiniani–Fogagnolo–Mazzieri hypersurface result as special cases, and it adds a nontrivial equality rigidity statement.\n\nThe proof uses a transport map from the normal bundle, a Heintze–Karcher/Riccati Jacobian bound, and exact gamma-function evaluation of the fiber integrals. The gamma-function step is what makes the sharp constant survive in all codimensions, and it is the right idea.\n\nI went through the main estimates. The reader-flagged no-focal-point sentence in Lemma 2.4 is terse, but the implication is correct: membership in Ar gives d(q, γ(s)) ≥ s|z| by the triangle inequality, and since γ(0) ∈ Σ, the subsegment is length-minimizing from Σ, so the standard first-focal-point argument applies. The m = 2 product-with-R trick preserves θ and the mean-curvature integral; the m = 1 computation is consistent. The asymptotic estimates have harmless nonuniformities near t = −1 that vanish in the double limit. The equality analysis is intricate, and the \"WLOG y0 ≠ 0\" in Lemma 3.2 is a bit hand-wavy, but it is patchable. I did not find a load-bearing gap.\n\nThere is no circularity and nothing is fitted. The authors are also honest about what is new: they explicitly note that a non-sharp inequality follows from Brendle's Sobolev theorem, and the contribution here is sharpness and rigidity.\n\nThe paper is long and technical. A referee will want to check the Riccati traces and the equality rigidity line by line, but that is ordinary refereeing work, not grounds for rejection. This deserves a serious referee. I would send it out.","headline":"A genuinely sharp Fenchel-Willmore inequality for arbitrary codimension under intermediate Ricci bounds, with a sound proof and real equality analysis.","tokens_in":18387,"tokens_out":8774,"would_cite":true,"duration_ms":103843,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E10","53A07","53C42"],"pacs":[],"model":"deepseek-v4-flash","headline":"Sharp Fenchel–Willmore inequality for submanifolds in nonnegative k-Ricci spaces","keywords":["Fenchel-Willmore inequality","k-Ricci curvature","intermediate Ricci curvature","mean curvature","submanifold","Jacobian comparison","volume growth","umbilical submanifold"],"falsifier":"Find a closed $n$-dimensional submanifold $\\Sigma$ in a complete noncompact manifold with nonnegative $k$-Ricci curvature (with $k$ as in (1.4)) and Euclidean volume growth for which $\\int_\\Sigma |\\sigma|^n < \\theta |S^n|$. In particular, a closed minimal submanifold ($\\sigma=0$) in such an ambient would immediately falsify the theorem, and Corollary 1.4 asserts none exists. A more local test is to compute $|\\det D\\Phi_s|$ for a geodesic starting orthogonally from a non-umbilical $\\Sigma$ with $(x,z)\\in A_r$: the monotonicity bound must hold if the proof is sound.","tokens_in":17340,"feed_emoji":"📐","tokens_out":12539,"duration_ms":116723,"temperature":0.7,"pith_summary":"This paper establishes a sharp Fenchel–Willmore inequality for closed submanifolds of arbitrary dimension and codimension inside a complete, noncompact Riemannian manifold whose intermediate ($k$-)Ricci curvature is nonnegative and whose volume grows like Euclidean space. It says that the total bending of any closed $n$-dimensional submanifold $\\Sigma$, measured by $\\int_\\Sigma |\\sigma|^n$ with $\\sigma$ the normalized mean curvature vector, is at least $\\theta |S^n|$, where $\\theta$ is the asymptotic volume ratio of the ambient space. This unifies classical results in Euclidean space and extends a recent hypersurface theorem to higher codimension. The paper also characterizes equality, showing that in dimension $n\\ge 2$ equality forces $\\Sigma$ to be an embedded umbilical submanifold with parallel mean curvature, and the ambient metric near it to be a conical product.","feed_headline":"Submanifold bending obeys sharp bound in k-Ricci spaces","feed_subtitle":"Generalizes Willmore and Fenchel inequalities to all codimensions with a sharp constant.","key_machinery":"The proof's engine is the normal exponential map $\\Phi_r(x,z)=\\exp_x(rz)$ restricted to the set $A_r=\\{(x,z)\\in T^\\perp\\Sigma: |z|<1,\\ d(q,\\exp_x(rz))\\ge r|z|\\text{ for all }q\\in\\Sigma\\}$. The curvature hypothesis is nonnegative $k$-Ricci curvature, the sum of sectional curvatures over any $k$-plane orthogonal to a unit vector, with $k=\\min(n,m-1)$ for $m>1$ and $k=n$ for $m=1$. The paper proves a monotonicity formula for the Jacobian determinant: $s\\mapsto |\\det D\\Phi_s(x,z)|/(s^m(1-s\\langle\\sigma(x),z\\rangle)^n)$ is nonincreasing and bounded above by $s^m(1-s\\langle\\sigma(x),z\\rangle)^n$. This is derived from the scalar Riccati inequality, using the $k$-Ricci condition to control the relevant curvature traces. The sharp constant $|S^n|$ then emerges by evaluating the fiber integrals exactly with the Euler $\\beta$/gamma identity, rather than by cruder bounds that would lose sharpness in codimension $m>2$.","core_discovery":"The central claim is Theorem 1.3: if $(M^{n+m},g)$ is complete, noncompact, has nonnegative $k$-Ricci curvature with $k=\\min(n,m-1)$ for $m>1$ and $k=n$ for $m=1$, and has asymptotic volume ratio $\\theta>0$, then every closed $n$-dimensional immersed submanifold $\\Sigma$ satisfies $\\int_\\Sigma |\\sigma|^n \\ge \\theta |S^n|$. The constant is optimal, attained by conical metrics $dr^2+(r/r_0)^2 g_\\Sigma$ over any closed positively curved $\\Sigma$. The equality case is rigid: for $n\\ge 2$, $\\Sigma$ is umbilical with parallel nonzero mean curvature vector, and the pullback of the ambient metric under the normal exponential map takes the form $dt^2+dy^2+(1-t|\\sigma(x)|)^2 g_\\Sigma$. A direct consequence is the nonexistence of closed minimal submanifolds in such ambient spaces.","pith_inferences":["The same Jacobian monotonicity likely yields sharp Sobolev-type inequalities under a $k$-Ricci lower bound, extending the transport-map proof beyond nonnegative sectional curvature.","The equality rigidity suggests a strong geometric consequence the paper does not spell out: in the equality case the ambient space must be isometric, off a compact set, to a cone over $\\Sigma$ with a flat normal factor, which connects to rigidity questions for gravitational instantons.","One could test the sharpness numerically in low codimension: perturb a round sphere in Euclidean space and check that $\\int_\\Sigma |\\sigma|^n$ stays above the sharp value, with violations appearing only when the $k$-Ricci hypothesis is dropped."],"forward_implications":["There is no closed $n$-dimensional minimal submanifold in a complete noncompact manifold with nonnegative $k$-Ricci curvature and Euclidean volume growth (Corollary 1.4).","In the hypersurface case $m=1$, the inequality reduces to the nonnegative Ricci curvature setting and gives a third, more direct proof of the known sharp bound.","When the ambient space is Euclidean, the theorem recovers the classical Fenchel–Willmore inequality $\\int_\\Sigma |\\sigma|^n \\ge |S^n|$.","Equality forces a rigid structure: for $n\\ge 2$, $\\Sigma$ is an embedded umbilical submanifold with parallel mean curvature, and the ambient metric near $\\Sigma$ is $dt^2+dy^2+(1-t|\\sigma(x)|)^2 g_\\Sigma$ up to diffeomorphism.","The inequality is sharp, since conical metrics over any closed positively curved $n$-manifold attain equality."],"supporting_citations":[{"why":"Supplies the hypersurface-level sharp inequality and equality model that this paper generalizes to higher codimension.","marker":"[1]"},{"why":"Gives the Euclidean-space higher-codimension inequality and the sharp constant $|S^n|$ that the theorem extends.","marker":"[10]"},{"why":"Provides the Jacobian comparison estimate that Lemma 2.4 refines under the $k$-Ricci curvature condition.","marker":"[13]"},{"why":"Introduces the transport-map strategy for Sobolev inequalities on which the proof structure is based.","marker":"[5]"},{"why":"States the scalar Riccati comparison lemma (Lemma 2.3) used in the monotonicity proof.","marker":"[4]"},{"why":"Supplies the Jacobian comparison under curvature bounds cited alongside the Heintze–Karcher estimates.","marker":"[9]"}],"fun_headline_variants":["Sharp bending bound for submanifolds in k-Ricci spaces","Willmore inequality sharp in k-Ricci manifolds","Submanifold area bounded in k-Ricci spaces","Optimal Fenchel-Willmore bound for all codimensions","No closed minimal submanifolds in k-Ricci spaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that membership in the set $A_r$ rules out focal points of $\\Sigma$ along the geodesic for all earlier times, which is stated without proof and is what makes the Jacobian bound hold.","fun_headline_variants_meta":{"raw":{"variants":["Sharp bending bound for submanifolds in k-Ricci spaces","Willmore inequality sharp in k-Ricci manifolds","Submanifold area bounded in k-Ricci spaces","Optimal Fenchel-Willmore bound for all codimensions","No closed minimal submanifolds in k-Ricci spaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00046,"raw_usage":{"total_tokens":2256,"prompt_tokens":853,"completion_tokens":1403,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":1314}},"tokens_in":469,"tokens_out":1403,"duration_ms":9609,"temperature":1.0,"reasoning_tokens":1314,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:40:13.944793+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a closed $n$-dimensional submanifold $\\Sigma$ in a complete noncompact manifold with nonnegative $k$-Ricci curvature (with $k$ as in (1.4)) and Euclidean volume growth for which $\\int_\\Sigma |\\sigma|^n < \\theta |S^n|$. In particular, a closed minimal submanifold ($\\sigma=0$) in such an ambient would immediately falsify the theorem, and Corollary 1.4 asserts none exists. A more local test is to compute $|\\det D\\Phi_s|$ for a geodesic starting orthogonally from a non-umbilical $\\Sigma$ with $(x,z)\\in A_r$: the monotonicity bound must hold if the proof is sound.","supporting_citations":[{"cited_title":"Agostiniani, M","cited_arxiv_id":null,"evidence_quote":"Supplies the hypersurface-level sharp inequality and equality model that this paper generalizes to higher codimension."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Euclidean-space higher-codimension inequality and the sharp constant $|S^n|$ that the theorem extends."},{"cited_title":"Heintze and H","cited_arxiv_id":null,"evidence_quote":"Provides the Jacobian comparison estimate that Lemma 2.4 refines under the $k$-Ricci curvature condition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the transport-map strategy for Sobolev inequalities on which the proof structure is based."},{"cited_title":"Ballmann","cited_arxiv_id":null,"evidence_quote":"States the scalar Riccati comparison lemma (Lemma 2.3) used in the monotonicity proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Jacobian comparison under curvature bounds cited alongside the Heintze–Karcher estimates."}],"review_version":1}