REVIEW 4 major objections 6 minor 1 cited by
Almost rigidity of the Talenti-type comparison theorem on $\mathrm{RCD}(0,N)$ space
T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Near equality in Talenti's comparison forces an RCD(0,N) space to be almost a Euclidean cone.
desk verdict New almost-rigidity and Lp compactness for p-Laplacian on RCD(0,N), with a real gap for 1<N<2 and some presentation issues, but the core strategy is sound and worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two mechanisms carry the argument. First, the comparison chain of Theorem 4.3: the isoperimetric inequality Per(E) ≥ N $ω_N^{{1/N}}$ $AVR_m^{{1/N}}$ m(E)^{(N−1)/N}, combined with the coarea formula and Lemma 4.2, yields the pointwise bound $AVR_m^{{q/N}}$ u⋆ ≤ v on [0,r_a], with the explicit model-space solution formula (3.5) as the comparison target. Second, the almost rigidity uses the compactness theorem (Theorem 6.14), which gives Lp-strong precompactness of $W^{{1,p}}$_0 sequences of functions on balls in varying RCD(0,N) spaces converging in the pmGH sense, together with the Γ-convergence of p-Cheeger energies (Proposition 6.16); passing to the limit turns the small Lp deficit into exact equality, and the quoted rigidity of the isoperimetric inequality (Theorem 5.1, from [21] and [22]) turns that equality into conicity of the limit space.
What would settle it
Take a sequence of spaces obtained by smoothing the tip of a Euclidean metric cone over a small radius r_n→0, solve the p-Poisson problem with a fixed radial datum, and compute both ‖$AVR^{{q/N}}$ u⋆_n − v_n‖_{Lp} and the pmGH-distance to every Euclidean metric measure cone; if the deficit tends to 0 while the distance to every cone stays bounded below by a positive constant, then Theorem 6.18 would be false.
Extended reading notes
Core claim
The central result is Theorem 6.18. For every ε>0, p>1, N>1, and any bounds on the volume a=m(Ω), the volume-growth constant AVR_m, the distance from the marked point, and the norms of the datum f, there is δ>0 such that: if Ω=B_R(x) is a ball in an RCD(0,N) space with AVR_m≥b, f∈$W^{{1,q}}$_0 with c_l≤‖f‖_{Lq}≤‖f‖_{$W^{{1,q}}$}≤c_u, u solves −L_p u = f, v solves −L_p v = f⋆ on the model interval, and ‖$AVR_m^{{q/N}}$ u⋆ − v‖_{Lp} < δ, then there is a Euclidean metric measure cone (Z,d_Z,m_Z,\bar z) with d_pmGH((X,d,m,\bar x),(Z,d_Z,m_Z,\bar z)) < ε. The proof runs by contradiction: a sequence with deficits 1/n is pmGH-compact, the limit solves the same Poisson problem, the limit achieves exact equality in the Talenti chain, and the isoperimetric rigidity theorem forces the limit space to be a Euclidean cone.
Load-bearing premise
The proof depends on Theorem 5.1, taken from earlier work: equality in the isoperimetric inequality (2.7) for some set forces the space to be a Euclidean metric measure cone with the set as a centered ball; if that rigidity statement fails, or fails to apply to the superlevel sets that arise in the limit, the almost-rigidity conclusion has no proof.
Editorial extensions
If this is right
- For p=2 and Euclidean volume growth, the result yields a quantitative stability statement for the classical Talenti comparison on RCD(0,N) spaces, extending the known rigidity to a neighbourhood of equality.
- The L^r gradient estimate (4.1), valid for every 1 ≤ r ≤ p, is a direct consequence of the comparison chain and holds on every RCD(0,N) space with Euclidean volume growth.
- If equality holds at a single point (Theorem 5.4), the comparison is exactly saturated on the whole tail and the space is a Euclidean metric measure cone; with extra regularity the solution is radial about a tip.
- The δ in Theorem 6.18 depends on ε, p, N, the volume bounds a_1,a_2, the volume-growth lower bound b, the ratio c_l/c_u, and the distance bound d, so the almost rigidity is quantitative with respect to all data of the problem.
- When the space is already a Euclidean cone, the comparison is sharp: the paper shows the inequality becomes equality on the half-line model.
Reading between the lines
- A natural next step the paper does not take is to make δ explicit: the contradiction proof gives existence of δ but no rate, and an explicit deficit-to-distance estimate, even in model cases, would turn the almost rigidity into a quantitative stability inequality.
- Because the limit argument uses only the isoperimetric inequality and the Γ-convergence of Cheeger energies, the same scheme may prove almost rigidity for other rearrangement-type inequalities on RCD spaces, such as Sobolev or spectral-gap comparisons, whenever their equality cases are conical.
- For 1<N<2 the quoted rigidity theorem may need separate verification, since the cross-sectional dimension N−1 of the cone is below the usual dimension threshold; a counterexample there would limit the theorem's range even if the comparison itself holds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the Dirichlet p-Poisson problem on open subsets of RCD(0,N) spaces with N in (1,∞). It proves a Talenti-type comparison theorem: the Schwarz symmetrization of the solution, normalized by the asymptotic volume ratio, is pointwise bounded above by the solution of the symmetrized one-dimensional model problem; it also proves L^r gradient estimates, a rigidity theorem saying that equality forces the space to be a Euclidean metric measure cone, and an almost-rigidity theorem (Theorem 6.18) saying that L^p closeness of the symmetrized solution to the model solution forces the underlying space to be pmGH-close to a Euclidean cone. The proof of the almost-rigidity result proceeds by contradiction, passing to a pmGH limit and using rigidity of the isoperimetric inequality on the limit space. A compactness theorem for W^{1,p} functions with respect to varying measures is developed and used as a key tool.
Significance. If correct, Theorem 6.18 is a genuine quantitative rigidity result for Talenti comparison in the nonsmooth RCD setting, and the overall strategy is coherent. The paper contains substantial self-contained material: a detailed proof of the coarea formula, an explicit analysis of the one-dimensional model problem, and a compactness theorem for W^{1,p} under pmGH convergence. It does not introduce free parameters or normalization tricks; the asymptotic volume ratio is a geometric invariant. The main caveats are technical rather than conceptual: the stated range 1<N<2 is not covered by the cone definition and rigidity theorem as written, and Theorem 1.2 is stated without the hypotheses under which it is proved. These issues are local and appear fixable without changing the main strategy.
major comments (4)
- [Section 5, Definition 5.1 and Theorems 5.1, 5.4, 6.18] The statements of Theorem 5.1, Theorem 5.4, and Theorem 6.18 cover every N>1, but Definition 5.1 defines a Euclidean metric measure cone as a cone over an RCD(N−2,N−1) space. For 1<N<2 the cross-section dimension N−1 is below 1, where the standard RCD condition is not defined. Since Step 4 of the proof of Theorem 6.18 uses Theorem 5.1 to infer that the limit space is a Euclidean cone, the main almost-rigidity theorem is unproved on the stated range. Please either restrict the cone definition and all rigidity/almost-rigidity statements to N≥2, or supply a degenerate convention for cross-sections of dimension N−1<1 and verify that the quoted rigidity theorem covers that convention.
- [Section 5, Theorem 5.1] The text states that the boundedness assumption on E in [21] can be dropped thanks to [22], but no specific result of [22] is identified. This strengthening is not needed for the application: every superlevel set appearing in Step 4 of Theorem 6.18 is contained in the ball B_{R∞}(x∞), hence is bounded. Please either quote the precise theorem from [22] that justifies the unbounded version, or remove the strengthening and apply the original bounded statement from [21].
- [Theorem 1.2 and Assumption 6.12] The compactness theorem is stated in the introduction without the technical hypotheses under which it is proved in Section 6.2: the uniform local doubling function D, the Poincaré constant function P, the measure-growth function C, the sphere-boundary condition m∞(∂B_r(z))=0, the proper ambient space Y, and the other conditions of Assumption 6.12. As stated, Theorem 1.2 also uses dpmGH convergence but does not specify that the functions f_n are identified in a common space or that the L^p convergence is understood in the varying-measure sense of Definition 6.1. Since Theorem 6.18 invokes this compactness result, please restate Theorem 1.2 under Assumption 6.12 or prove that the omitted conditions are automatically satisfied in the setting of Theorem 6.18.
- [Section 6.4, Theorem 6.19] Theorem 6.19 is stated as a theorem of the paper but its proof is omitted with the comment that it is 'very similar' to a result in [19]. This is missing support for a stated result. If Theorem 6.19 is not needed for the main almost-rigidity theorem, it should be removed or clearly labeled as a remark; if it is kept as a theorem, a proof or a precise reference for the full statement should be supplied.
minor comments (6)
- [Section 2.3, Lemma 2.4 and Theorem 2.5] In the statement of Lemma 2.4, the notation |Df|_{w,p} is used before it is introduced; please define it or point to the earlier definition. In the proof of Theorem 2.5, the limit 'B → 0 as m → 0' in the estimate of the term B should read 'as m → ∞'.
- [Section 3, Proposition 3.3] In Step 4 of the proof, the term B is estimated with 'm → 0' but the preceding definition uses m→∞; this is a typo that should be corrected.
- [Section 5, Theorem 5.4] In the proof of part (i), the claim that u^♯ is continuous on the whole closed interval [0,m(Ω)] requires justification when u is unbounded, since u^♯(0) may be infinite. The argument only needs continuity away from possible atoms, so please clarify the treatment of the endpoint.
- [Section 6.1, Lemma 6.13] The proof fixes τ>0 and then writes 'let s_k = 2^{-k}r for every r∈(0,τ]', which is formally confusing because r should be fixed for the argument. Please rephrase to make the choice of r and the subsequent limiting procedure clear.
- [Section 6.3, Theorem 6.18 proof, Step 1] After passing to a pmGH limit, the proof uses the lower semicontinuity of the distance to the class of Euclidean metric measure cones to assert that the limit still satisfies (6.19). This should be stated explicitly, with a justification or a reference, since the class of cones is not compact a priori.
- [Throughout] There are numerous typographical issues with arrows and subscripts, such as 'n− →' instead of '→' and 'µ♯' instead of 'µ' in a few places. These do not affect the mathematics but should be corrected in a final revision.
Circularity Check
No significant circularity: the almost-rigidity theorem reduces to external isoperimetric rigidity from [21]–[22] and to the author’s prior published comparison lemmas [19]; the only flagged issues are non-circular applicability gaps for 1<N<2 and the asserted unbounded-E strengthening of Theorem 5.1.
full rationale
The derivation chain is not circular. Theorem 4.3 derives the Talenti comparison from the isoperimetric inequality (2.7), the coarea formula, and the rearrangement Lemmas 4.1–4.2; the constant A_VR_m is a geometric invariant (a limit volume ratio), not a fitted parameter, and the p-Laplacian solutions are genuine PDE solutions. The rigidity Theorem 5.4 reduces equality in the Talenti inequality to equality in the isoperimetric inequality via equations (5.2) and (4.2), then invokes Theorem 5.1, quoted from Cavalletti–Manini [21] and [22]; that is an external rigidity statement, not a renamed version of the equality being proved. The almost-rigidity proof of Theorem 6.18 obtains a pmGH limit and shows that the limit has equality in the isoperimetric chain for its superlevel sets; conicity follows from the same external Theorem 5.1, not from the near-equality assumption by construction. The near-equality assumption only produces equality in the limit through Lp-strong convergence; it does not define the cone. Self-citations are minor and not load-bearing: Lemmas 4.1–4.2, Proposition 6.17(ii)–(vi), and the proof of Theorem 6.19 are referred to the author’s prior published paper [19], which contains a full Talenti-type comparison theorem for the p-Laplacian on RCD(K,N) spaces; using that published result as a lemma for a new compactness/almost-rigidity statement is normal mathematical practice, not a circular reduction. The paper does not import a uniqueness theorem from its own authors; the rigidity theorem is due to [21] and [22]. Two non-circular limitations are flagged: (i) Section 5 asserts without identifying a specific result that the boundedness assumption in [21] can be dropped, writing: 'Theorem 5.1 is stated in [21] with the extra assumption that E is bounded, however this assumption can be dropped thanks to the recent [22].' This is an unsupported strengthening, though it is not needed for the superlevel sets in Theorem 6.18 since they lie inside a fixed ball. (ii) Definition 5.1 and Theorems 5.1, 5.4 and 6.18 are stated for all N>1, but the cone cross-section is required to be RCD(N−2,N−1), whose dimension N−1 is below 1 for 1<N<2, outside the standard range of RCD spaces; no degenerate convention is given. These are applicability/correctness risks, not instances of circular reasoning. Overall score 2: one minor self-citation that is not load-bearing.
Assumptions & free parameters
assumptions (6)
- domain assumption RCD(0,N) synthetic curvature-dimension condition with positive Euclidean volume growth AV_R > 0
- domain assumption Sharp isoperimetric inequality for CD(0,N) spaces, Theorem 2.6, quoted from [16] and [17]
- domain assumption Isoperimetric rigidity: equality in (2.7) implies a Euclidean metric cone, Theorem 5.1, quoted from [21] and [22]
- domain assumption Pólya-Szegő inequality and its rigidity for RCD(0,N) spaces, Propositions 5.2 and 5.3, quoted from [23] and [24]
- domain assumption Gamma-convergence of p-Cheeger energies under pmGH convergence, Proposition 6.16, quoted from [31]
- standard math Compactness of the normalized pmGH class and uniform doubling and Poincaré estimates for RCD spaces, Proposition 6.9 and Remark 6.8
Cite this review
Pith. "Pith review of Almost rigidity of the Talenti-type comparison theorem on $\mathrm{RCD}(0,N)$ space." pith.science (2026). https://pith.science/paper/WXRKOXFB
@misc{pith2026250607100,
author = {Pith},
title = {Pith review of: Almost rigidity of the Talenti-type comparison theorem on $\mathrmRCD(0,N)$ space},
year = {2026},
howpublished = {\url{https://pith.science/paper/WXRKOXFB}},
note = {Machine review of arXiv:2506.07100}
}
abstract
In this paper, we prove a Talenti-type comparison theorem for the $p$-Laplacian with Dirichlet boundary conditions on open subsets of a $\mathrm{RCD}(0,N)$ space with $N\in (1,\infty)$. We also obtain an almost rigidity result of the Talenti-type comparison theorem, whose proof relies on a compactness on varying spaces.
Forward citations
Cited by 1 Pith paper
-
Mean curvature and sharp Willmore inequalities in metric spaces
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.
Reference graph
Works this paper leans on
-
[19]
Wenjing Wu, A Talenti-type comparison theorem for the p-Laplacian on RCD(K,N) spaces and some applications, Nonlinear Analysis, Volume 248, 2024, 113631, ISSN 0362-546X
work page 2024
-
[22]
G. Antonelli, E. Pasqualetto, M. Pozzetta, I.Y. Violo, Topological regularity of isoperimetric sets in PI spaces having a deformation property, Proc. R. Soc. Edinb. Sect. A Math. (2023)
work page 2023
-
[21]
Fabio Cavalletti, Davide Manini, Rigidities of isoperimetric inequality under nonnegative Ricci curvature. J. Eur. Math. Soc. (2024)
work page 2024
-
[1]
Talenti, G.: Elliptic equations and rearrangements. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4(3), 256 (1976)
work page 1976
-
[2]
Daguang Chen, Haizhong Li, Talenti’s comparison theorem for Poisson equation and applica- tions on Riemannian manifold with nonnegative Ricci curvature, J. Geom. Anal. 33 (4) (2023) 20, Paper No. 123
work page 2023
- [3]
-
[4]
J. Bj¨ orn and A. Ka lamajska, Poincar´ e inequalities and compact embeddings from Sobolev type spaces into weighted Lq spaces on metric spaces, J. Funct. Anal. 282 (2022), no. 11, Paper No. 109421, 47 pp
work page 2022
-
[5]
Ambrosio, L., Gigli, N., Savar´ e, G.: Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces. Rev. Mat. Iberoam. 29(3), 969-996 (2013)
work page 2013
Show all 31 references
-
[6]
Ambrosio, L., Gigli, N., Savar´ e, G.: Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below. Invent. Math. 195(2), 289-391 (2014) ALMOST RIGIDITY OF THE TALENTI-TYPE COMPARISON THEOREM 39
2014
-
[7]
Cheeger, J.: Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal. 9(3), 428-517 (1999)
1999
-
[8]
Shanmugalingam, N.: Newtonian spaces: an extension of Sobolev spaces to metric measure spaces. Rev. Mat. Iberoamericana 16(2), 243-279 (2000)
2000
-
[9]
Gigli, N.: On the differential structure of metric measure spaces and applications. Mem. Am. Math. Soc. 236(1113), vi+91 (2015)
2015
-
[10]
Gigli, Nonsmooth differential geometry–an approach tailored for spaces with Ricci curvature bounded from below, Mem
N. Gigli, Nonsmooth differential geometry–an approach tailored for spaces with Ricci curvature bounded from below, Mem. Am. Math. Soc. 251 (2018), v+161
2018
-
[11]
Gigli, F
N. Gigli, F. Nobili, A first-order condition for the independence on p of weak gradients, J. Funct. Anal. 283 (2022) Paper (109686) 52
2022
-
[12]
Miranda, M., Jr.: Functions of bounded variation on ”good” metric spaces. J. Math. Pures Appl. 82(8), 975-1004 (2003)
2003
-
[13]
Ambrosio, L., Di Marino, S.: Equivalent definitions of BV space and of total variation on metric measure spaces. J. Funct. Anal. 266(7), 4150-4188 (2014)
2014
-
[14]
PhD Thesis, Scuola Normale Superiore, Pisa (2014)
Di Marino, S.: Recent advances on BV and Sobolev spaces in metric measure spaces. PhD Thesis, Scuola Normale Superiore, Pisa (2014)
2014
-
[15]
Gigli, N., Han, B.: Independence on p of weak upper gradients on RCD spaces. J. Funct. Anal. 271(1), 1-11 (2014)
2014
-
[16]
Balogh and Alexandru Kristaly
Zoltan M. Balogh and Alexandru Kristaly. Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature. Math. Ann., 385(3-4):1747-1773, 2023
2023
-
[17]
Perimeter as relaxed Minkowski content in metric measure spaces
Luigi Ambrosio, Simone Di Marino, and Nicola Gigli. Perimeter as relaxed Minkowski content in metric measure spaces. Nonlinear Anal., 153:78-88, 2017
2017
-
[18]
Mondino, M
A. Mondino, M. Vedovato, A Talenti-type comparison theorem for RCD(K, N) spaces and applications, Calc. Var. Partial Differential Equations 60 (4) (2021) 157
2021
-
[20]
Folland, Real Analysis: Modern Techniques and their Applications, vol
G. Folland, Real Analysis: Modern Techniques and their Applications, vol. 40, John Wiley Sons, 1999
1999
-
[23]
Francesco Nobili, Ivan Yuri Violo, Rigidity and almost rigidity of Sobolev inequalities on compact spaces with lower Ricci curvature bounds, Calc. Var. Partial Differential Equations 61 (5) (2022) 65, Paper No. 180
2022
-
[24]
Francesco Nobili, Ivan Yuri Violo, Stability of Sobolev inequalities on Riemannian manifolds with Ricci curvature lower bounds, Advances in Mathematics, Volume 440, 2024, 109521, ISSN 0001-8708,
2024
-
[25]
Honda, Ricci curvature and Lp-convergence, J
S. Honda, Ricci curvature and Lp-convergence, J. Reine Angew. Math. 705 (2015) 85-154
2015
-
[26]
Luigi Ambrosio, Nicola Gigli, Giuseppe Savar´ e, Giuseppe: Gradient Flows in Metric Spaces and in the Space of Probability Measures, second ed., in: Lectures Math., ETH Z¨ urich Birkh¨ auser Verlag, Basel, 2008, p. x+334
2008
-
[27]
Tapio Rajala, Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm, J. Funct. Anal. 263 (4) (2012) 896-924
2012
-
[28]
Sturm, On the geometry of metric measure spaces
K.T. Sturm, On the geometry of metric measure spaces. II, Acta Math. 196 (1) (2006) 133-177
2006
-
[29]
Haj lasz, P
P. Haj lasz, P. Koskela, Sobolev met poincar´ e, Mem. Am. Math. Soc. 145 (688) (2000) x-101
2000
-
[30]
Korevaar–Schoen’s energy on strongly rectifiable spaces
Gigli, N., Tyulenev, A. Korevaar–Schoen’s energy on strongly rectifiable spaces. Calc. Var. 60, 235 (2021)
2021
-
[31]
Luigi Ambrosio, Shouhei Honda, New stability results for sequences of metric measure spaces with uniform Ricci bounds from below, in: Measure Theory in Non-Smooth Spaces, in: Partial Differ. Equ. Meas. Theory De Gruyter Open, Warsaw, 2017, pp. 1-51. 40 WENJING WU School of Mat...
2017
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.