{"id":"3c027711-2671-475e-9186-7bc2d785dfb3","arxiv_id":"2607.27012","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Level sets of electrostatic potentials on RCD(0,N) spaces carry an L2 mean curvature vector satisfying the classical sharp Willmore inequality with rigidity and almost-rigidity.","lead":"The paper defines a mean curvature vector for almost every level set of Sobolev functions on non-smooth RCD spaces via a Willmore energy dual to tangential divergence. It proves the same sharp Willmore inequality that holds for smooth manifolds, plus rigidity, for level sets of electrostatic potentials on RCD(0,N) spaces with Euclidean volume growth.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the Euclidean-volume-growth hypothesis as the principal limitation; it is necessary rather than a soft spot inside the argument. The duality definition of W, the extraction of H(u), the density of D(W), the isocapacitary inequality, and the passage from monotonicity of U_β to the pointwise Willmore bound are all internally consistent and use only standard RCD calculus plus results already established by the authors. Consequently the ACCEPT / HIGH verdict stands without adjustment.","tokens_in":36249,"tokens_out":379,"duration_ms":7893,"concrete_test":"Specialize to Euclidean space R^N (N>2) with K a smooth compact obstacle; verify that the abstract vector H(u) recovered from (3.19)–(3.20) coincides with the classical mean-curvature vector of the regular level sets of the Newtonian potential, and that equality holds in (1.6) precisely when those level sets are spheres (recovering the known Euclidean Willmore inequality).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (existence of an L^{2} mean-curvature vector on a.e. level sets of the electrostatic potential, together with the sharp Willmore inequality and rigidity) rests on a clean duality construction (Def. 3.3 + Riesz in Prop. 3.5/3.10) plus the authors’ prior monotonicity formulas. The only essential external hypotheses—AVR(X)>0 and N>2—are stated explicitly and are already known to be necessary for the capacity-potential link and the lower bound on U_β. No hidden gap, circularity, or unjustified interchange of limits appears in the derivation of (1.6) or the equality case.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper introduces a Willmore functional W on W^{1,2} functions on RCD(K,∞) spaces, defined by duality against a tangential divergence TD(v) that removes the normal covariant derivative. When W(u)<∞, Riesz representation yields an L^2 mean-curvature vector H(u) on |du|m-a.e. points that satisfies the expected integration-by-parts identity against TD on a.e. level sets (Theorem 1.1 / Prop. 3.5), and coincides with the classical formula when u∈D(Δ)∩LIP. The domain of finite W is shown dense in L^p. As the main application, in RCD(0,N) spaces with Euclidean volume growth the electrostatic potential has finite local Willmore energy, and its level-set Willmore energies W_{β+1}(t) obey the sharp inequality of the smooth theory, with rigidity to truncated Euclidean cones and an almost-rigidity statement in the pmGH topology. A sharp isocapacitary inequality (with rigidity) is proved en route, and W is shown lower semicontinuous under pmGH convergence.","tokens_in":36376,"tokens_out":1177,"duration_ms":41857,"significance":"The work supplies a pointwise, second-order notion of mean curvature vector on a.e. level sets of a rich class of functions in RCD spaces, characterized by the natural tangential integration-by-parts formula and linked to the existing covariant calculus. This is a genuine advance over previous scalar weak bounds obtained by 1D localization or Laplacian comparison. The sharp Willmore inequality, rigidity, and almost-rigidity for electrostatic potentials extend the Agostiniani–Fogagnolo–Mazzieri theory to the non-smooth setting and appear new even in the smooth category for the almost-rigidity part. The isocapacitary inequality and Γ-liminf of W are independently useful. The constructions are clean (duality + Riesz + coarea) and rest on the authors’ prior monotonicity formulas in a non-circular way.","major_comments":[{"comment":"Theorem 1.1 and Prop. 3.5 leave open whether H(u) is necessarily parallel to e_u when u is not in D(Δ)∩LIP. The paper notes this explicitly after Prop. 3.5, but the geometric applications (Thm 1.4, Cor. 3.11) all use harmonic or D(Δ) functions, so the vector is normal. For the general theory it would help to either give a counter-example sketch or a sufficient condition beyond D(Δ) under which parallelism holds, so that readers know the scope of the ‘mean curvature vector’ terminology.","section":"§3.3, after Prop. 3.5"},{"comment":"The almost-rigidity Theorem 6.7 requires an a-priori L^∞ bound on |du| on {u<t_0}, together with bounds on Cap(K), diam(K) and m(B_1). The text remarks that the gradient bound is often automatic for smooth boundaries, but in the RCD setting it is an extra hypothesis. A short clarification of when this bound follows from the other geometric assumptions (or a reference to the discussion before Prop. 7.5 in [24]) would make the statement more self-contained and easier to apply.","section":"Theorem 6.7 and the paragraph following it"}],"minor_comments":[{"comment":"In Definition 3.3 the non-negativity W_E(u)≥0 is asserted immediately; it follows by taking v=0, but a half-sentence would help first-time readers.","section":"Def. 3.3"},{"comment":"Lemma 2.7 (approximation of bounded vector fields by TestV) is used repeatedly; the three-step proof is correct but dense. A forward reference when it is first invoked in Prop. 3.4 would improve readability.","section":"Lemma 2.7, Prop. 3.4"},{"comment":"The title page and running heads contain spaced letters (‘MEAN CUR V A TURE’, ‘SP ACES’); these are PDF-extraction artefacts but should be cleaned in the final version.","section":"Title / headers"},{"comment":"In the proof of Prop. 5.1 the approximating sequence h_n → −|H|^{p−2}H is taken in L^q(|du|m); existence of such Lipschitz approximants with a dominating function is standard but could be cited or briefly justified.","section":"§5, proof of Prop. 5.1"},{"comment":"Reference [20] is listed as arXiv:2306.14604 (2023); if a published version now exists it should be updated.","section":"References"}],"recommendation":"accept","confidential_remarks":"The manuscript is a natural and substantial continuation of the authors’ earlier monotonicity work [24]. Fit for a top differential-geometry / geometric-analysis journal is clear. I see no novelty or citation concerns. The reader’s and skeptic’s assessments match my own: the central duality construction and the derivation of (1.6) are sound."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real novelty is the dual Willmore functional W(u) defined by testing against tangential divergence, followed by Riesz extraction of an L^{2} mean-curvature vector H(u) that satisfies the expected integration-by-parts identity on a.e. level sets. Once that object exists, they recover the sharp Willmore inequality for electrostatic potentials on RCD(0,N) spaces with AVR>0, together with rigidity and a new almost-rigidity statement under pmGH. Density of the finite-energy domain in every L^p and Γ-convergence of W under pmGH are also new and useful.\n\nThe construction is clean. Tangential divergence is the usual normal subtraction; W is the natural dual energy; existence of H(u) is pure Riesz once W(u)<∞ (Props. 3.5/3.10). For Lipschitz functions in D(Δ) it recovers the classical formula via integration by parts and coarea (Lemma 3.8). Density is proved by harmonic cut-offs and composition (Thm 3.12). The inequality itself rides on their earlier monotonicity formulas for U_β plus a new sharp isocapacitary inequality obtained by rearrangement; both steps look solid and non-circular. Equality cases reduce to the cone rigidity already in the literature.\n\nSoft spots are real but limited and openly stated. The mean-curvature vector lives only on a.e. level sets of sufficiently regular functions, not on arbitrary sets; that is the price of the duality approach. Euclidean volume growth and N>2 are essential for the capacity-potential link and the lower bound on U_β; without them the geometric applications stop. No formal verification is present or expected. Citation pattern is appropriate: heavy but legitimate use of their own monotonicity paper and standard RCD calculus.\n\nThis is for people working on second-order calculus or geometric inequalities in RCD spaces. It supplies a missing object and extends a smooth-manifold program to the singular setting without hidden gaps. I would send it to referees and would cite the existence result and the almost-rigidity statement.","headline":"Clean duality construction of an L^{2} mean-curvature vector on a.e. level sets inside RCD, plus the sharp Willmore inequality with rigidity and almost-rigidity for electrostatic potentials under Euclidean volume growth.","tokens_in":37077,"tokens_out":530,"would_cite":true,"duration_ms":11336,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C23","49Q15","31C15","53C21"],"pacs":[],"model":"grok-4.5","headline":"In non-smooth Ricci spaces, almost every level set of an electrostatic potential carries a mean curvature vector that obeys the same sharp Willmore inequality as in the smooth setting.","keywords":["mean curvature","Willmore inequality","RCD spaces","electrostatic potential","isocapacitary inequality","tangential divergence","metric measure spaces","rigidity"],"falsifier":"Produce an RCD(0,N) space with positive AVR and a compact set whose electrostatic-potential level sets have Willmore energy strictly below the stated lower bound, or show that equality holds for a non-conical exterior.","tokens_in":37074,"feed_emoji":"📐","tokens_out":950,"duration_ms":26032,"temperature":0.7,"pith_summary":"This paper builds a workable notion of mean curvature on metric measure spaces with Ricci bounds from below, where classical surfaces need not exist. It defines a Willmore energy on Sobolev functions by duality against a tangential divergence; whenever that energy is finite, almost every level set admits an L2 mean-curvature vector that integrates by parts exactly as in the smooth case. The domain of finite energy is dense in every Lp, so the construction applies to a rich class of functions. The main geometric payoff is for electrostatic potentials on RCD(0,N) spaces with Euclidean volume growth: their level sets inherit this mean curvature and satisfy the classical sharp Willmore inequality, with rigidity when equality holds and almost-rigidity under near-equality. Along the way the paper also proves the sharp isocapacitary inequality in the same non-smooth setting. A sympathetic reader cares because second-order geometric quantities on hypersurfaces become available in spaces that only have synthetic curvature bounds.","feed_headline":"Mean curvature works on non-smooth Ricci spaces","feed_subtitle":"Electrostatic level sets obey the classical sharp Willmore bound, with cone rigidity","key_machinery":"The Willmore functional W(u), defined as the supremum over test vector fields of the integral of (tangential divergence minus half the squared field) times |du|; Riesz representation then produces the mean-curvature vector that realizes the energy and the level-set integration-by-parts formula.","core_discovery":"On an RCD(K,∞) space, any Sobolev function of finite Willmore energy has, for almost every level, an L2 mean-curvature vector characterized by integration by parts against the tangential divergence; in RCD(0,N) spaces with Euclidean volume growth the electrostatic potential of a compact set has finite Willmore energy on its exterior, and the resulting mean-curvature energies satisfy the sharp Willmore lower bound of the smooth theory, with equality only for truncated Euclidean cones.","pith_inferences":["The same duality construction could be tried for other foliations (distance functions, p-capacitary potentials) once suitable monotonicity formulas are available.","Density of finite-Willmore functions suggests that many variational problems involving mean curvature may be approximable inside RCD spaces without first smoothing the ambient geometry.","Almost-rigidity opens a quantitative stability route from Willmore-type inequalities to cone recognition that does not pass through smooth approximation."],"forward_implications":["Almost every level set of a harmonic function with compact levels on an RCD(K,N) space carries an L2 mean-curvature vector given by the usual second-order formula.","The sharp isocapacitary inequality holds for every bounded Borel set in a CD(0,N) space with Euclidean volume growth, with rigidity to balls in cones under RCD.","Near-equality in the Willmore bound forces the exterior to be close in pointed measured Gromov–Hausdorff distance to a truncated cone.","The Willmore functional is lower-semicontinuous under pointed measured Gromov–Hausdorff convergence of the ambient spaces and strong W1,2 convergence of the functions."],"fun_headline_variants":["Mean curvature vectors arise on level sets in RCD spaces","Sharp Willmore bounds hold for electrostatic levels in RCD(0,N)","Almost every level set carries L2 mean curvature via Willmore energy","Willmore inequality and cone rigidity extend to non-smooth spaces","Electrostatic potentials satisfy classical Willmore inequality in RCD"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The sharp inequalities require the space to have positive Euclidean volume growth at infinity so that a genuine electrostatic potential exists and the capacity-volume comparison can close.","fun_headline_variants_meta":{"raw":{"variants":["Mean curvature vectors arise on level sets in RCD spaces","Sharp Willmore bounds hold for electrostatic levels in RCD(0,N)","Almost every level set carries L2 mean curvature via Willmore energy","Willmore inequality and cone rigidity extend to non-smooth spaces","Electrostatic potentials satisfy classical Willmore inequality in RCD"]},"model":"grok-4.5","effort":"low","cost_usd":0.005076,"raw_usage":{"total_tokens":1385,"prompt_tokens":754,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":50764000,"prompt_tokens_details":{"text_tokens":754,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":558,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":754,"tokens_out":73,"duration_ms":10313,"temperature":1.0,"reasoning_tokens":558,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T14:04:54.956160+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Produce an RCD(0,N) space with positive AVR and a compact set whose electrostatic-potential level sets have Willmore energy strictly below the stated lower bound, or show that equality holds for a non-conical exterior.","supporting_citations":[],"review_version":1}