pith. sign in

arxiv: 2604.17367 · v1 · submitted 2026-04-19 · 🧮 math.DG

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

classification 🧮 math.DG
keywords volume comparisonBakry-Émery Ricci curvatureL^p boundsweighted manifoldsKähler-Ricci flowmonotonicityPetersen-Wei theorempotential function
0
0 comments X

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.

The paper establishes a relative volume comparison theorem in the style of Petersen and Wei that applies when the Bakry-Émery Ricci curvature and the gradient of the potential function satisfy only L^p integrability conditions rather than pointwise bounds. This extends classical comparison geometry to weighted manifolds whose curvature is controlled in an integral sense. The result is then applied to recover volume comparison and monotonicity statements for the Kähler-Ricci flow by a modified argument. A sympathetic reader would care because integral bounds arise naturally in geometric analysis and flows, so the theorem enlarges the class of spaces where volume monotonicity can be proved without stronger smoothness assumptions on curvature.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [§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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities can be extracted or audited.

pith-pipeline@v0.9.0 · 5357 in / 1081 out tokens · 60324 ms · 2026-05-10T06:00:31.205120+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Bakry and M

    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

  2. [2]

    Besse,Einstein Manifolds

    A. Besse,Einstein Manifolds. Berlin, Heidelberg: Springer-erlag, 2007

  3. [3]

    Cao and D

    H. Cao and D. Zhou,On complete gradient shrinking Ricci solitonsJ. Differential Geom. 85 (2010), 175-186

  4. [4]

    Cao and Q

    H. Cao and Q. Chen,On Bach-flat gradient shrinking Ricci solitons, Duke Math. J. 162 (2013), 1149-1169. 18 JINTAO YE AND XIAOHUA Zhu ‡

  5. [5]

    Cheeger and T

    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

  6. [6]

    Cheeger, T

    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

  7. [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

  8. [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

  9. [9]

    Perelman, The entropy formula for the Ricci flow and its geometric appli - cations, arXiv math.DG/0211159, (2002)

    G. Perelman,The entropy formula for the Ricci flow and its geometric applications, arXiv, math.DG/0211159, 2002

  10. [10]

    Perelman, unpublished, 2003

    G. Perelman, unpublished, 2003

  11. [11]

    Petersen and G

    P. Petersen and G. Wei,Relative volume comparison with integral curvature bounds. Geom. Funct. Anal. 7 (1997), no. 6, 1031-1045

  12. [12]

    Petersen and C

    P. Petersen and C. Sprouse,integral curvature bounds, distance estimate and appli- cations. Diff. Geom. 50 (1998), no. 2, 269-298

  13. [13]

    Petersen and G

    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

  14. [14]

    Sesum and G

    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

  15. [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

  16. [16]

    Tian and X.H

    G. Tian and X.H. Zhu,A new holomorphic invariant and uniqueness of K¨ ahler-Ricci solitons, Comm. Math. Helv. 77 (2002), 297-325

  17. [17]

    Zhang, Z

    G.Tian, S. Zhang, Z. Zhang and X.H. Zhu,Perelman’s entropy and K¨ ahler-Ricci flow an a Fano Manifold, Trans. Amer. Math. Soc. 365 (2013), 6669-6695

  18. [18]

    Tian and X.H

    G. Tian and X.H. Zhu,H-invariant and its applications, Acta Math. Sinica, doi.org/10.1007/s10114-026-5435-8, 2026

  19. [19]

    G. Tian, Q. Zhang, M. Zhu, Z. Zhang and X.H. Zhu,Laplace comparison on K¨ ahler Ricci flow and convergence, arXiv:2509.14820, 2025

  20. [20]

    Tian and Z

    G. Tian and Z. Zhang,Regularity of K¨ ahler Ricci solitons, Intern. Math. Res. Notices, 2012, 957-985

  21. [21]

    Tian and Z

    G. Tian and Z. Zhang, Zhenlei,Regularity of K¨ ahler Ricci flows on Fano manifolds, Acta Math. 216 (2016), no. 1, 127-176

  22. [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

  23. [23]

    Wang and X.H

    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

  24. [24]

    Wei and W

    G. Wei and W. Wylie, Comparison geometry for Bakry- ´Emery Ricci curvature, J. Differential Geom., 83 (2009), 337-405

  25. [25]

    Wu, J.,Comparison geometry for integral Bakry- ´Emery Ricci tensor bounds, Jour. of Geom. Analysis, vol. 29 (2019), no. 1, 828-867

  26. [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