{"id":"fec550b9-3da3-4d57-8860-701e852e8870","arxiv_id":"2608.01171","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves a Fenchel-Willmore-Chen inequality for submanifolds in smooth metric measure spaces with lower bounds on the 1-Bakry-Emery n-Ricci curvature, plus Sobolev and isoperimetric inequalities under nonnegative 1-weighted Ricci curvature.","lead":"A new geometric inequality bounds the total mean curvature of a closed submanifold in a curved weighted space by a volume ratio, unifying several recent results in comparison geometry. It also extends a Sobolev and isoperimetric inequality to a stronger curvature condition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central Jacobian estimate relies on an unproved differential inequality (1.10) imported from an unreviewed preprint; the theorem is conditional on its correctness.","rationale":"I read the proof with particular attention to the sign issue that arises when the bracket in (1.12) could change sign. For a geodesic sphere in hyperbolic space, the apparent contradiction is resolved by the correct sign of the second fundamental form with the outward normal: A_t remains positive definite up to T_cut, so the common n versus n+m notation conflict, while real, does not by itself invalidate the Jacobian estimate. The genuinely fragile point is (1.10): it is the only bridge from the Riccati/weighted comparison to the determinant bound (1.12), and it is quoted from [14, Eq. (3.24)] without proof or a statement of its hypotheses. The remainder of the proof—Proposition 1.5, the Jacobian of the exponential map via [22], and the volume-ratio asymptotics—is standard once (1.12) is granted. Thus the reader's conditional verdict is appropriate: no new fatal flaw was found, but the central claim is conditional on an unverified external inequality.","tokens_in":17746,"tokens_out":25543,"duration_ms":229276,"concrete_test":"Independently re-derive (1.10) from the Jacobi equation and Q_t = tA_t, and check whether the derivation uses only the Jacobi equation and the boundary conditions or also needs an additional curvature lower bound. Then test the resulting inequality numerically in H^{n+m} for n=1,2,3 with a totally umbilical geodesic sphere, including the case where the limiting coefficient in Lemma 1.8 is negative, by computing d/dt log|detQ_t| at several t<T_cut and comparing with the right-hand side of (1.10). If (1.10) fails, or if its proof requires an extra hypothesis such as an unweighted intermediate Ricci bound, then Theorem 0.1 is not established by the presented argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem is gated by inequality (1.10), quoted verbatim from the unreviewed preprint [14, Eq. (3.24)]: d/dt log|detQ_t| ≤ n/t − n|detA_t|^{-1/n}(∏|D_{γ'}J_i|)^{2/n}. This inequality is the only input that converts the weighted Ricci comparison into the determinant estimate (1.12); without it the monotonicity of θ_1 in (1.11) and the Jacobian bound (1.14) do not follow. The paper neither proves (1.10) nor states the hypotheses under which [14] derived it, such as the precise boundary conditions on the Jacobi fields J_i^{t0}, the required positive-definiteness of A_t, and whether any curvature lower bound enters the derivation. Since [14] is an arXiv preprint (2605.06074v2, 2026) that is not independently verified here, a hidden sign, dimension, or coefficient error in (1.10) would invalidate the central claim. The cited positive-definiteness [14, Lemma 3.4(i)] is also load-bearing: the proof applies the AM–GM inequality to eigenvalues of A_t0, so if A_t0 fails to be positive definite for some t0<T_cut, the determinant estimate and the positive-part volume comparison collapse. The rest of the argument—Proposition 1.5, the Jacobian of the exponential map, and the volume-ratio asymptotics—is comparatively standard once (1.12) is available. Thus (1.10) and its hypotheses are the load-bearing pillar of Theorem 0.1.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Fenchel–Willmore–Chen type inequality for closed immersed submanifolds of a complete noncompact smooth metric measure space with a lower bound on the 1-Bakry–Emery n-Ricci curvature, and derives corollaries recovering Chen's classical inequality, the zero-curvature weighted case, and a hypersurface version for K=-1. The proof uses the normal exponential map, a factorization of its Jacobian from an external preprint, a weighted partial Hessian comparison via a reparametrized distance, and Jacobi-field determinant estimates. A second part proves a Sobolev inequality and an isoperimetric inequality under the assumption Ric^1_f ≥ 0.","tokens_in":18045,"tokens_out":11309,"duration_ms":99512,"significance":"If correct, the main theorem would be a substantial unification and extension of known Fenchel–Willmore–Chen inequalities to weighted manifolds with intermediate Ricci curvature bounds, and the paper is honestly and explicitly connected to prior work. The use of the reparametrized distance to absorb the weight function is natural, the Riccati-comparison structure is standard, and the corollaries are meaningful. The main theorem, however, rests on at least one externally imported inequality whose hypotheses are not stated or proved, and there is a systematic notational dimension slip that must be repaired before the proof can be accepted. The Sobolev/isoperimetric part is also of interest if the comparison argument is completed.","major_comments":[{"comment":"Propositions 1.1 and 1.5 are stated for an n-dimensional ambient manifold (M^n,g,e^{-f}dvol) with ℓ ≤ n-1, but Theorem 0.1 is set in an (n+m)-dimensional ambient manifold and applies these propositions with ℓ=n to the submanifold tangent plane. In the proof of Proposition 1.3, Proposition 1.1 is invoked with ℓ=n and a denominator n+m-1; in the paragraph following Proposition 1.5, Proposition 1.5 is invoked with ℓ=n and the same denominator. As written, these applications are outside the stated hypotheses because the propositions use n-1 in the exponent and in the coefficient of f'. The correct statements are obtained by re-stating the propositions for an ambient dimension N with ℓ≤N-1 and denominators N-1, which is what the later applications require. Please correct this conflation; I do not see a substantive failure once the propositions are re-stated for a general ambient dimension.","section":"Section 1.2, Propositions 1.1 and 1.5; application in Propositions 1.3 and 1.7"},{"comment":"The load-bearing determinant estimate (1.10) is quoted verbatim from the unreviewed preprint [14, Eq. (3.24)] without proof. The authors do not state the hypotheses under which (1.10) is derived in [14], such as the boundary conditions on the Jacobi fields J_i^{t_0}, the required positive-definiteness of A_t, and whether any curvature lower bound enters. The monotonicity of θ_1 in (1.11) and the Jacobian estimate (1.12) depend directly on (1.10), so Theorem 0.1 is conditional on an unverified external result. Please either include a full proof of (1.10) in this paper or state and prove the precise hypotheses and give a self-contained derivation.","section":"Section 1.3, inequality (1.10)"},{"comment":"The proof of Proposition 1.3 applies the arithmetic–geometric mean inequality to the eigenvalues of A_{t_0}, which requires A_{t_0} to be positive definite. Positive definiteness is imported from [14, Lemma 3.4(i)] without proof. Because the determinant estimate (1.12) and the subsequent volume comparison collapse if A_{t_0} fails to be positive definite for some t_0<T_cut, this input is load-bearing and should be established within the paper or replaced by a direct argument.","section":"Section 1.3, proof of Proposition 1.3"}],"minor_comments":[{"comment":"The title header contains broken spacing: 'INTERMEDIA TE RICCI CUR V A TURE' should be 'INTERMEDIATE RICCI CURVATURE'.","section":"Abstract and title header"},{"comment":"The phrase 'smooth metric measurement space' should be 'smooth metric measure space'.","section":"Corollary 0.5"},{"comment":"The proof of Lemma 1.9 invokes continuity of the normal cut-time function without a reference or proof; please add a justification or a citation.","section":"Section 1.5, Lemma 1.9"},{"comment":"The notation for the measure on S_x^⊥Σ is not uniform: dω_{S_x^⊥Σ}(y) in the tube formula becomes simply dy in (1.16)–(1.17). Please use one notation consistently.","section":"Equations (1.16) and (1.17)"},{"comment":"The limit for the volume-density comparison is written as t→0^+, but the monotonicity of θ_2 is established in the reparametrized variable s; please spell out the change of variables in the limit computation.","section":"Section 1.4, equation after (1.13)"}],"recommendation":"major_revision","confidential_remarks":"The paper depends essentially on [14], an unreviewed preprint, for the central inequality (1.10) and for the positive-definiteness lemma used in Proposition 1.3. I would ask the editor to require the authors to make these inputs self-contained or to have [14] independently refereed before the paper can be accepted. The dimensional inconsistency in Propositions 1.1/1.5 is fixable but must be addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe main theorem is a genuine consolidation. It subsumes the recent Fenchel-Willmore-Chen inequalities for nonnegative k-Ricci curvature (Ji-Kwong, Pan-Yi), weighted Ric-infinity (Wu-Wu), and the substatic case (Borghini-Fogagnolo) under one lower bound on the 1-Bakry-Emery n-Ricci curvature, and it gives the correct power in the volume ratio. The proof strategy is standard comparison geometry, executed carefully; the reparameterized distance is a clean trick, and the equality/rigidity analysis in Section 1 goes well beyond what is usual in this literature. The Sobolev/isoperimetric half is a solid, if modest, improvement over Fujitani-Sakurai.\n\nThree soft spots, in decreasing order of severity.\n\n1. The determinant estimate for Q_t — the technical heart of the paper — is gated by inequality (1.10), quoted from the unreviewed preprint [14, Eq. (3.24)], plus the factorization [14, Lemma 3.2] and the positive-definiteness [14, Lemma 3.4(i)]. None of these is proved in the present paper. If any of them carries a hidden hypothesis, the Jacobian bound (1.12) and hence Theorem 0.1 would not follow. This is not circularity; it is an unverified dependency. The referee should require a complete proof of (1.10), or at the very least a precise statement of the boundary conditions and semi-positivity assumptions under which it was derived.\n\n2. The notation conflates the submanifold dimension n with the ambient dimension n+m. Proposition 1.1 says M^n, then Proposition 1.3 applies it to M^{n+m} with ℓ=n; denominators and curvature coefficients shift accordingly. The math is consistent if one reads the proposition's n as the ambient dimension, but as written it is hard to follow. Fixable, but it needs to be rewritten.\n\n3. In Section 2, the step from the limsup estimate to ∫ φ^{n/(n-1)} ≥ θ_f e^{2 inf f} is asserted without proof. There is an implicit asymptotic identification of the volume of the 'everywhere within distance r' set with θ_f; the algebra around the AM-GM step also needs a careful check. This is probably repairable, but as written it is a gap.\n\nMy overall assessment: the central claim is likely correct, and if (1.10) can be verified, this is an important paper. The flaws are specific and addressable. Send it to a serious referee before accepting.\n\nBest","headline":"A valuable unified Fenchel–Willmore–Chen inequality whose proof is conditional on an unproved estimate imported from an unreviewed preprint; worth refereeing.","tokens_in":18666,"tokens_out":5220,"would_cite":true,"duration_ms":45711,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C42","53C24"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a sharp scale-invariant Fenchel–Willmore–Chen inequality for closed submanifolds in complete weighted Riemannian manifolds with a lower bound on weighted intermediate Ricci curvature; the lower bound is the weighted…","keywords":["Fenchel–Willmore–Chen inequality","smooth metric measure space","weighted Ricci curvature","Bakry–Emery Ricci curvature","intermediate Ricci curvature","mean curvature","weighted isoperimetric inequality","Sobolev inequality"],"falsifier":"Compute both sides of Theorem 0.1 in an explicit weighted model space — for instance hyperbolic space with weight $f=c\\,d(\\cdot,p)$ and $\\Sigma$ a small round sphere — and check whether the claimed integral strictly bounds $\\mathrm{RV}_{\\mu,K}(\\Sigma)$; any configuration with the left side smaller than the right side would falsify the theorem. Alternatively, test the quoted differential inequality (1.10) directly by computing $|\\det Q_t|$ and the Jacobi-field product for a short normal geodesic in a rank-one symmetric space with nonconstant $f$; a counterexample to (1.10) would falsify the presented proof.","tokens_in":17509,"feed_emoji":"📐","tokens_out":21104,"duration_ms":150559,"temperature":0.7,"pith_summary":"The paper establishes a sharp Fenchel–Willmore–Chen inequality for closed submanifolds in smooth metric measure spaces (weighted Riemannian manifolds) under a lower bound on the 1-Bakry–Emery k-Ricci curvature. The bound expresses the integral of the n-th power of a weighted mean curvature vector, corrected by the gradient of the weight, in terms of a weighted relative volume ratio of the submanifold. The result extends the classical Euclidean inequality and unifies a number of recent extensions to nonnegative Ricci, intermediate Ricci, and substatic settings, while also covering negative curvature bounds. The proof compares the Jacobian of the normal exponential map with a model quantity defined through a weight-reparameterized distance, and it yields an equality case with a warped-product rigidity. A Sobolev inequality and an isoperimetric inequality for nonnegative 1-weighted Ricci curvature follow as corollaries.","feed_headline":"Sharp mean-curvature bound proven in weighted spaces","feed_subtitle":"The classical Euclidean inequality is generalized and previous cases are recovered uniformly.","key_machinery":"The proof is carried by three mechanisms. The first is the weight-reparameterized distance $s(t)=\\int_0^t e^{-2f(\\gamma(\\tau))/(n+m-1)} d\\tau$, which converts the curvature assumption $\\mathrm{Ric}^1_{n,f}\\ge nKe^{-4f/(n+m-1)}$ into the standard Riccati and Jacobi comparisons in the $s$-variable; in this variable the model volume element is $\\mathrm{sn}_K^{n+m-1}(s)\\,ds$, so the weight is absorbed into the geometry. The second is the factorization of the Jacobian of the normal exponential map, $|\\det D\\Phi(x,y,t)| = t^{m-1}|\\det(D\\exp_x)_{ty}|\\,|\\det Q_t|$, with $Q_t = \\frac12 \\mathrm{Hess}\\, d^2_{\\gamma(t)}(x)|_{T_x\\Sigma\\times T_x\\Sigma} - \\langle \\mathrm{II}_x, ty\\rangle$; the determinant $|\\det Q_t|$ is bounded above through the partial Hessian comparison and an arithmetic-geometric-mean step. The third is a pair of monotone quantities, $\\theta_1$ and $\\theta_2$, whose monotonicity yields the sharp pointwise Jacobian bound (1.14); these are integrated over the $s$-tubular neighborhood and passed to the limit $S\\to\\infty$ to produce the weighted relative volume ratio on the right-hand side.","core_discovery":"At the heart of the paper is Theorem 0.1: if $(M^{n+m}, g, e^{-f}d\\mathrm{vol})$ is a complete noncompact smooth metric measure space whose weighted intermediate Ricci curvature obeys $\\mathrm{Ric}^1_{n,f}(v,P) \\ge n K e^{-4f/(n+m-1)}$ with $K \\le 0$, then every closed immersed $n$-dimensional submanifold $\\Sigma$ satisfies $\\int_\\Sigma e^{f(x)} \\int_{S^\\perp_x \\Sigma} (\\sqrt{-K} e^{-2f(x)/(n+m-1)} + \\langle -\\vec H_f(x), y\\rangle)_+^n dy \\, d\\sigma(x) \\ge \\mathrm{RV}_{\\mu,K}(\\Sigma)$, where $\\vec H_f = \\vec H + (\\nabla f)^\\perp/(n+m-1)$ is the weighted mean curvature vector and $\\mathrm{RV}_{\\mu,K}(\\Sigma)$ is the weighted relative volume ratio built from the $s$-tubular volume of $\\Sigma$. The inequality is sharp and scale-invariant: in the Euclidean, unweighted case it reduces to $\\int_\\Sigma |\\vec H|^n d\\sigma \\ge \\mathrm{vol}(S^n)$, and the equality case is rigid, with the pullback of the ambient metric under the normal exponential map taking the warped-product form $(a_t b_t)^2 g_H + a_t^2 g_V + dt^2$. The curvature assumption involves the dimension of $\\Sigma$ and not the codimension, a feature inherited from the Jacobian decomposition used in the proof.","pith_inferences":["Because the curvature condition and the $s$-parameter involve no reference to the codimension, the same Jacobian-factorization strategy could plausibly handle $\\mathrm{Ric}^1_{\\ell,f}$ with $\\ell$ between 1 and $n$, producing a family of intermediate sharp inequalities; this is not pursued in the paper.","The proof quotes the key differential inequality (1.10) from a companion paper; a direct derivation of that inequality from the weighted Jacobi equation would make the argument self-contained and could clarify the role of the factor $n$.","A numerical check of the inequality in a model weighted space (for instance hyperbolic space with a radial weight and a round equatorial sphere) could test whether equality occurs outside the rigid warped-product configuration; if it does, Proposition 1.10 would require modification."],"forward_implications":["In the unweighted case $f=0$ and $K=0$, Theorem 0.1 recovers the classical sharp bound $\\int_\\Sigma |\\vec H|^n d\\sigma \\ge \\mathrm{vol}(S^n)$, with equality constraining $\\Sigma$ to be an umbilical hypersphere in the Euclidean case.","For $K<0$, the inequality remains explicit and non-vacuous: the weight $\\sqrt{-K}\\,e^{-2f(x)/(n+m-1)}$ appears in the integrand, giving a new bound even in negatively curved weighted ambient spaces.","The equality case (Proposition 1.10) implies that a submanifold saturating the bound has an infinite normal cut time in the relevant directions and that the normal exponential map pulls back the metric to a warped product — a strong rigidity statement for submanifolds achieving the volume ratio.","The Sobolev inequality (Theorem 2.1) with $\\mathrm{Ric}^1_f \\ge 0$ and $f$ bounded below implies the weighted isoperimetric inequality $\\mathrm{vol}_f(\\partial\\Omega) \\ge n \\theta_f^{1/n} e^{2\\inf f/n} (\\mu_f(\\Omega))^{(n-1)/n}$, extending the nonnegative-curvature isoperimetric result to the weighted setting."],"supporting_citations":[{"why":"Supplies the factorization $|\\det D\\mathrm{Exp}^{\\perp}| = |\\det(D\\exp)||\\det Q|$ and the differential inequality (3.24) that yield the Jacobian bound (1.12); the central claim inherits these technical inputs.","marker":"[14]"},{"why":"Introduces the weight-reparameterized distance $s(t)$ and the monotone quantity $\\theta_2$ used to control the volume distortion of the exponential map, supplying the $s$-based comparison geometry.","marker":"[22]"},{"why":"Supplies the normal exponential map and the tube-volume formula onto which the Jacobian estimates are integrated.","marker":"[10]"},{"why":"Provides comparison lemmas (e.g., Lemma 5.6) used in the Sobolev part and the angular integration identity used for the $K=0$ case.","marker":"[3]"},{"why":"The Sobolev inequality (their Theorem 5.1) that the paper strengthens by weakening the curvature assumption from $\\mathrm{Ric}^0_f \\ge 0$ to $\\mathrm{Ric}^1_f \\ge 0$.","marker":"[9]"},{"why":"The negative-Ricci hypersurface inequality (their (1.5)) that is recovered in the special case $f=0, m=1, K=-1$, anchoring the theorem as a common generalization.","marker":"[12]"}],"fun_headline_variants":["Sharp weighted mean-curvature bound with rigidity","Weighted Ricci curvature yields sharp Willmore-type inequality","Fenchel-Willmore-Chen generalized to weighted spaces","Rigid equality case in weighted mean-curvature inequality","Weighted intermediate Ricci bound sharpens mean-curvature estimate"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is an unproved differential inequality for the Jacobian determinant of the normal exponential map, quoted from a companion paper; if that inequality or the associated factorization lemma does not hold for the weighted normal exponential map with the stated coefficients, the central inequality does not follow from the presented argument.","fun_headline_variants_meta":{"raw":{"variants":["Sharp weighted mean-curvature bound with rigidity","Weighted Ricci curvature yields sharp Willmore-type inequality","Fenchel-Willmore-Chen generalized to weighted spaces","Rigid equality case in weighted mean-curvature inequality","Weighted intermediate Ricci bound sharpens mean-curvature estimate"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000436,"raw_usage":{"total_tokens":2203,"prompt_tokens":916,"completion_tokens":1287,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":532,"completion_tokens_details":{"reasoning_tokens":1206}},"tokens_in":532,"tokens_out":1287,"duration_ms":11691,"temperature":1.0,"reasoning_tokens":1206,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:13:07.701889+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of Theorem 0.1 in an explicit weighted model space — for instance hyperbolic space with weight $f=c\\,d(\\cdot,p)$ and $\\Sigma$ a small round sphere — and check whether the claimed integral strictly bounds $\\mathrm{RV}_{\\mu,K}(\\Sigma)$; any configuration with the left side smaller than the right side would falsify the theorem. Alternatively, test the quoted differential inequality (1.10) directly by computing $|\\det Q_t|$ and the Jacobi-field product for a short normal geodesic in a rank-one symmetric space with nonconstant $f$; a counterexample to (1.10) would falsify the presented proof.","supporting_citations":[{"cited_title":"A comparison theorem with applications to sharp geometric inequalities for submanifolds","cited_arxiv_id":"2605.06074","evidence_quote":"Supplies the factorization $|\\det D\\mathrm{Exp}^{\\perp}| = |\\det(D\\exp)||\\det Q|$ and the differential inequality (3.24) that yield the Jacobian bound (1.12); the central claim inherits these technical inputs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides comparison lemmas (e.g., Lemma 5.6) used in the Sobolev part and the angular integration identity used for the $K=0$ case."},{"cited_title":"Geometric analysis on weighted manifolds under lower 0-weighted Ricci curvature bounds.Nonlinear Anal., 263:Paper No","cited_arxiv_id":null,"evidence_quote":"The Sobolev inequality (their Theorem 5.1) that the paper strengthens by weakening the curvature assumption from $\\mathrm{Ric}^0_f \\ge 0$ to $\\mathrm{Ric}^1_f \\ge 0$."},{"cited_title":"Willmore-type inequality for closed hypersurfaces in complete manifolds with Ricci curvature bounded below","cited_arxiv_id":"2402.02465","evidence_quote":"The negative-Ricci hypersurface inequality (their (1.5)) that is recovered in the special case $f=0, m=1, K=-1$, anchoring the theorem as a common generalization."}],"review_version":2}