Weighted volume comparison and monotonicity for L^p-bound of Bakry-\'{E}mery Ricci curvature
Pith reviewed 2026-05-10 06:00 UTC · model grok-4.3
The pith
A Petersen-Wei relative volume comparison theorem holds under L^p bounds on Bakry-Émery Ricci curvature and the potential gradient.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a relative volume comparison theorem of Petersen-Wei for both L^p-bound of Bakry-Émery Ricci curvature and gradient of potential function. As an application, we give a modified proof for a volume comparison and monotonicity of Kähler-Ricci flow established in a recent work of Tian-Zhang-Zhang-Zhu-Zhu.
What carries the argument
Petersen-Wei relative volume comparison theorem adapted to L^p integrability of the Bakry-Émery Ricci curvature and the gradient of the potential function on a weighted manifold.
If this is right
- Volume comparison statements become available for weighted manifolds whose curvature is controlled only by integral norms.
- Monotonicity of weighted volumes along the Kähler-Ricci flow follows from the comparison without additional pointwise curvature estimates.
- The same L^p framework can be used to study other geometric flows that produce integral curvature bounds.
- Relative volume estimates hold in settings where the potential function is merely Sobolev-regular rather than smooth.
Where Pith is reading between the lines
- The L^p threshold may be sharp; testing the result at the critical exponent p=1 could reveal whether the comparison survives or breaks.
- The technique might extend to other integral curvature conditions such as L^p bounds on the full Riemann tensor in the weighted setting.
- Applications to Ricci flow with surgery or to singular Kähler metrics become plausible once the comparison is known to tolerate integral singularities.
Load-bearing premise
L^p integrability of the Bakry-Émery Ricci curvature together with L^p integrability of the potential gradient is enough to obtain the volume comparison, assuming the manifold is complete and smooth.
What would settle it
An explicit complete weighted manifold whose Bakry-Émery Ricci curvature lies in L^p but whose volume ratios along geodesics fail to satisfy the monotonicity conclusion of the Petersen-Wei theorem.
read the original abstract
We prove a relative volume comparison theorem of Petersen-Wei for both $L^P$-bound of Bakry-\'{E}mery Ricci curvature and gradient of potential function. As an application, we give a modified proof for a volume comparison and monotonicity of K\"{a}hler-Ricci flow established in a recent work of Tian-Zhang-Zhang-Zhu-Zhu.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a relative volume comparison theorem extending the Petersen-Wei result to the setting of L^p bounds on the Bakry-Émery Ricci curvature and on |∇f|, under a weighted measure. It applies this to obtain a modified proof of volume comparison and monotonicity along the Kähler-Ricci flow.
Significance. If the central comparison holds under the stated integral hypotheses, the result would extend volume monotonicity tools to weaker curvature controls that arise naturally in geometric flows and singular limits. The application to Kähler-Ricci flow supplies a concrete illustration of utility.
major comments (2)
- [Theorem statement and §3 (proof of comparison)] Main theorem (likely Theorem 1.1 or 2.1): the statement asserts the relative volume comparison for arbitrary L^p bounds on Ric_f and |∇f| without recording a lower threshold on p. The standard proof strategy—integrating the curvature deviation along minimizing geodesics, applying the weighted Bochner formula, and controlling the remainder via Hölder—produces an error whose L^1 integrability requires p > n/2 (or the analogous weighted exponent). For p ≤ n/2 the averaged deviation need not remain small enough to preserve monotonicity of the weighted volume ratio; this restriction must be stated and verified in the estimates.
- [§4 or application section] Application section (Kähler-Ricci flow): the modified proof invokes the new comparison but does not explicitly check that the L^p norms arising from the flow evolution satisfy the exponent threshold needed for the error control; without this verification the application rests on an unstated assumption.
minor comments (2)
- [Introduction and notation section] Notation for the weighted volume element e^{-f} dvol should be introduced once and used consistently; occasional switches between μ and the weighted measure obscure the estimates.
- [Abstract] The abstract claims a 'modified proof' for the Tian-Zhang-Zhang-Zhu-Zhu result; a brief sentence contrasting the new argument with the original would clarify the contribution.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major comments point by point below and will incorporate the necessary clarifications.
read point-by-point responses
-
Referee: [Theorem statement and §3 (proof of comparison)] Main theorem (likely Theorem 1.1 or 2.1): the statement asserts the relative volume comparison for arbitrary L^p bounds on Ric_f and |∇f| without recording a lower threshold on p. The standard proof strategy—integrating the curvature deviation along minimizing geodesics, applying the weighted Bochner formula, and controlling the remainder via Hölder—produces an error whose L^1 integrability requires p > n/2 (or the analogous weighted exponent). For p ≤ n/2 the averaged deviation need not remain small enough to preserve monotonicity of the weighted volume ratio; this restriction must be stated and verified in the estimates.
Authors: We agree with the referee that the Hölder estimate in the proof of the comparison theorem requires p > n/2 to guarantee that the integrated error term remains controllable. The manuscript statement omitted this explicit lower bound. We will revise the main theorem to include the hypothesis p > n/2 and supply the corresponding verification in the estimates of Section 3. revision: yes
-
Referee: [§4 or application section] Application section (Kähler-Ricci flow): the modified proof invokes the new comparison but does not explicitly check that the L^p norms arising from the flow evolution satisfy the exponent threshold needed for the error control; without this verification the application rests on an unstated assumption.
Authors: We accept that an explicit check is required for rigor. Along the Kähler-Ricci flow on a compact manifold the evolving metrics remain smooth, so both the Bakry-Émery Ricci curvature and |∇f| belong to every L^p space. Consequently the condition p > n/2 is automatically satisfied. We will insert a short paragraph in the application section confirming this fact and citing the relevant regularity results for the flow. revision: yes
Circularity Check
No circularity: direct proof of weighted volume comparison under L^p bounds, independent of inputs
full rationale
The manuscript states a direct proof of the Petersen-Wei relative volume comparison under L^p integrability of the Bakry-Émery Ricci curvature and |∇f|, followed by an application that supplies a modified proof of a volume monotonicity result previously established in Tian-Zhang-Zhang-Zhu-Zhu. No equation or step is shown to reduce by construction to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose validity is presupposed inside the present derivation. The central comparison theorem is presented as obtained from standard integration along geodesics and Bochner-type identities with Hölder control, without renaming or smuggling an ansatz from the authors' prior work. The derivation chain therefore remains self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
D. Bakry and M. Emery, Diffusions hypercontractives, In S´ eminaire de probabilit´ es, XIX, 1983/84, Lecture Notes in Math., vol. 1123, 177-206, Springer, Berlin, 1985
work page 1983
-
[2]
A. Besse,Einstein Manifolds. Berlin, Heidelberg: Springer-erlag, 2007
work page 2007
- [3]
- [4]
-
[5]
J. Cheeger and T. Colding,On the structure of spaces with Ricci curvature bounded below. I.J. Differential Geom. 46 (1997), no. 3, 406-480
work page 1997
-
[6]
J. Cheeger, T. Colding and G. Tian,On the singularities of spaces with bounded Ricci curvature, Geom. Funct. Anal. 12 (2002), no. 5, 873-914
work page 2002
-
[7]
Hamilton,Formation of singularities in the Ricci flow, Surveys in Diff
R. Hamilton,Formation of singularities in the Ricci flow, Surveys in Diff. Geom., 2 (1995), 7-136. J. Diff. Geom.17(1982), 255-306
work page 1995
-
[8]
Qian,Estimates for weighted volumes and application
Z. Qian,Estimates for weighted volumes and application. Quarterly Jour. of Math., 48 (1997), no. 1, 235-242
work page 1997
-
[9]
G. Perelman,The entropy formula for the Ricci flow and its geometric applications, arXiv, math.DG/0211159, 2002
- [10]
-
[11]
P. Petersen and G. Wei,Relative volume comparison with integral curvature bounds. Geom. Funct. Anal. 7 (1997), no. 6, 1031-1045
work page 1997
-
[12]
P. Petersen and C. Sprouse,integral curvature bounds, distance estimate and appli- cations. Diff. Geom. 50 (1998), no. 2, 269-298
work page 1998
-
[13]
P. Petersen and G. Wei,Analysis and geometry on manifolds with integral curvature bounds. Trans. of Amer. Math. Soci. 353 (2000), no. 2, 457-478
work page 2000
-
[14]
N. Sesum and G. Tian,Bounding scalar curvature and diameter along the K¨ ahler- Ricci flow (after Perelman), J. Inst. Math. Jussiu,7(2008), 575-587
work page 2008
-
[15]
Tian,K¨ ahler-Einstein metrics with positive scalar curvature.Invent
G. Tian,K¨ ahler-Einstein metrics with positive scalar curvature.Invent. Math., 130 (1997), 1-37
work page 1997
-
[16]
G. Tian and X.H. Zhu,A new holomorphic invariant and uniqueness of K¨ ahler-Ricci solitons, Comm. Math. Helv. 77 (2002), 297-325
work page 2002
- [17]
-
[18]
G. Tian and X.H. Zhu,H-invariant and its applications, Acta Math. Sinica, doi.org/10.1007/s10114-026-5435-8, 2026
- [19]
-
[20]
G. Tian and Z. Zhang,Regularity of K¨ ahler Ricci solitons, Intern. Math. Res. Notices, 2012, 957-985
work page 2012
-
[21]
G. Tian and Z. Zhang, Zhenlei,Regularity of K¨ ahler Ricci flows on Fano manifolds, Acta Math. 216 (2016), no. 1, 127-176
work page 2016
-
[22]
G. Tian, L. Zhang and X. H. Zhu,K¨ ahler-Ricci flow for deformed complex structures, Trans. Amer. Math. Soc. 376 (2023), 1999-2046
work page 2023
-
[23]
F. Wang and X.H. Zhu,Structure of spaces with Bakry-Emery Ricci curvature bounded below, Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), vol. 2019, no. 757, 2019, pp. 1-50
work page 2019
- [24]
-
[25]
Wu, J.,Comparison geometry for integral Bakry- ´Emery Ricci tensor bounds, Jour. of Geom. Analysis, vol. 29 (2019), no. 1, 828-867
work page 2019
-
[26]
Zhang.Bounds on volume growth of geodesic balls under Ricci flow, Math
Q. Zhang.Bounds on volume growth of geodesic balls under Ricci flow, Math. Res. Lett. 19 (2012), no. 1, 245-253. Department of Mathematics, Peking University, Beijing 100080, P. R. China Email address:2501110031@stu.pku.edu.cn Email address:xhzhu@math.pku.edu.cn
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.