Pith. sign in

REVIEW 3 major objections 5 minor 53 references

Warped products over one-dimensional base spaces and the RCD condition

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A single inequality and a fiber curvature bound decide when a warped product over a one-dimensional base satisfies the Riemannian curvature-dimension condition.

desk verdict Strong, referee-worthy characterization of RCD warped products, but the diameter-bound typo in the main theorem must be fixed and the hyperbolic cone case needs a real proof. read the letter →

arxiv 2506.10809 v3 pith:NEI6SF23 submitted 2025-06-12 math.DG math.MG

Christian Ketterer This is my paper · ORCID
classification math.DGmath.MG MSC 51M1553C2149Q22
keywords warpedproductsmetricmeasurespacesRiemanniancurvature-dimensionconditionRCDBakry-Émeryone-dimensionalbasespectraldecompositionSchrödingeroperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes a sharp criterion for when a warped product over a one-dimensional base space carries a lower Ricci curvature bound in the modern metric-measure sense. Writing the warped product as $B\times_f^N F$, with base $B$, Lipschitz warping function $f$, and compact fiber $F$, the criterion is: $f$ must satisfy the differential inequality $f''+Kf\le 0$, a sub-Neumann boundary condition on the boundary where $f$ is positive, and the fiber $F$ must satisfy $\mathsf{RCD}(K_F(N-1),N)$ with $K_F=\operatorname{ess-sup}_B((f')^2+Kf^2)$. The paper proves both sufficiency and, for $K_F\ge 0$, necessity, so the conditions are not convenient assumptions but the exact content of the curvature bound. This turns a broad family of nonsmooth constructions—cones, suspensions, products, and more—into objects whose Ricci bound is read off from one number and one inequality.

What carries the argument

The proof is carried by a $\Gamma_2$ (carré-du-champ, or Bochner-formula) identity for the Cheeger energy of the warped product that mirrors the Ricci-tensor computation for smooth warped products. On a compact fiber, the Laplace operator has discrete spectrum, so the warped-product Laplacian splits along eigenspaces and reduces to Schrödinger operators on the one-dimensional base; essential self-adjointness of these operators is decided by the classical limit-point criterion. The $fK$-concavity inequality and the fiber curvature bound then feed term-by-term into the Bakry-Émery inequality, with the algebraic identity $a^2+\frac{1}{N}b^2=\frac{1}{N+1}(a+b)^2+\frac{1}{(N+1)N}(b-Na)^2$ producing the exact dimension $N+1$. Smoothness of $f$ is removed by convolution approximation and stability of the condition under measured Gromov-Hausdorff convergence.

What would settle it

Set $B=\mathbb{R}$, $f\equiv 1$, $K=0$, and let $F$ be a flat 2-torus; the warped product is the metric product $\mathbb{R}\times F$ and satisfies $\mathsf{RCD}(0,3)$, while condition (3) of the corollary would require $F$ to satisfy $\mathsf{RCD}(1,2)$, which the flat torus does not, so computing this case decides the iff claim.

Watch

Extended reading notes

Core claim

The central claim is that for a compact, geodesic fiber $F$ and a one-dimensional base $B$, the $N$-warped product $B\times_f^N F$ satisfies $\mathsf{RCD}(KN,N+1)$ if and only if: $f$ is $fK$-concave ($f''+Kf\le 0$), $f$ satisfies $\partial f/\partial n\ge 0$ on $\partial B\setminus f^{-1}(0)$, and $F$ satisfies $\mathsf{RCD}(K_F(N-1),N)$ with $K_F=\operatorname{ess-sup}_B((f')^2+Kf^2)$, together with the stated diameter bound in the $N=1$, $K_F>0$ case. Theorem 1.1 is the forward direction, Theorem 1.2 is the reverse direction when $K_F\ge 0$, and Theorem 1.6 sharpens the equivalence to an iff statement for all real $K_F$ when $f$ is affine, $f''+Kf=0$. The author presents this as a unification and extension of previous results for spherical suspensions, Euclidean cones, and related model spaces.

Load-bearing premise

The proof rests on the fiber $F$ being compact, so the Laplace operator on $F$ has discrete spectrum and the problem reduces to Schrödinger operators on the one-dimensional base; the author states that removing this requires a finer spectral analysis and postpones it.

Editorial extensions

If this is right

  • Every warped product satisfying the conditions obeys the sharp Brunn-Minkowski inequality of Corollary 1.8, with distortion coefficients computed from the base curvature $K$.
  • The affine case $f''+Kf=0$ yields a complete iff statement covering spherical suspensions, Euclidean, elliptic, parabolic, and hyperbolic cones, and Cartesian products.
  • The necessity direction doubles as a rigidity tool: any $\mathsf{RCD}(-N,N+1)$ space with a function of unit gradient and Laplacian $N$ splits as an $N$-warped product $\mathbb{R}\times_{\exp}^N Y$ with $Y$ an $\mathsf{RCD}(0,N)$ space (Theorem 1.9).
  • The theorem provides a construction kit: any compact $\mathsf{RCD}(K_F(N-1),N)$ fiber combined with any $f$ satisfying the two conditions produces a new $\mathsf{RCD}(KN,N+1)$ space, for example over a circle base with sufficiently negative $K$.
  • The fiber's effective curvature is exactly $K_F=\operatorname{ess-sup}_B((f')^2+Kf^2)$, so the fiber curvature is not independent data but is dictated by the warping and the base curvature.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Removing the compactness of $F$ would require replacing the discrete-spectrum decomposition by a continuous-spectrum analogue, and the spectral reduction that carries the proof is the natural place to start.
  • The same $\Gamma_2$ identity could be re-weighted to produce Bochner inequalities with dimension parameters other than $N+1$, potentially extending the characterization to other curvature-dimension pairs.
  • Because the conditions are local on $B$, the proof suggests a gluing procedure: warped products over intervals that satisfy the conditions piece together into global $\mathsf{RCD}(KN,N+1)$ spaces, as already used in the proof for unbounded bases.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proves a sharp characterization of the Riemannian curvature-dimension condition RCD(KN,N+1) for N-warped products B×_f^N F whose base B is one-dimensional. The main sufficient direction (Theorem 1.1) requires f to be fK-concave, a sub-Neumann boundary condition, and the fiber F to satisfy RCD(KF(N−1),N) with KF = sup_B{(Df)^2+Kf^2}; the necessity direction (Theorem 1.2) and the affine-case iff (Theorem 1.6) are also stated. The proof uses a spectral decomposition of the fiber Laplacian to reduce the problem to Schrödinger operators on B, establishes a Gamma2 formula mimicking the smooth Ricci tensor, and removes smoothness of f by approximation and Gromov-Hausdorff stability.

Significance. If the central computation is correct, this is a substantial contribution to the synthetic Ricci curvature literature: it unifies and extends previous cone and suspension results, allows non-smooth warping functions and non-compact bases, and gives a two-sided characterization rather than merely sufficient conditions. The detailed Gamma2 computation in Section 5.1 and Corollary 5.7, the spectral reduction in Proposition 5.8, and the explicit approximation arguments in Section 5.3 are serious technical achievements that go well beyond earlier work. The paper is self-contained in its main sufficiency arguments and clearly delineates the compactness restriction on F, which is acknowledged in Section 1.0.3.

major comments (3)
  1. [Theorem 1.1 and Corollary 1.5] The diameter condition is stated as 'diamF ≤ π sqrt((N−1)/KF) if N = 1 and KF > 0'. Since N ∈ [1,∞), the case N=1 gives diamF ≤ 0, which is only possible for a point fiber. This makes the stated iff false: take B=[0,π], f(r)=sin r, K=1, N=1, F=[0,π] with its flat metric and Lebesgue measure. Then F is RCD(0,1), KF=sup{(cos r)^2+sin^2 r}=1, f''+f=0, and the boundary condition is vacuous; the warped product is the round hemisphere, hence RCD(1,2), so the RCD side holds, but diamF=π>0 violates the stated bound. The technical body explicitly assumes N>1 (Section 3.1), and the N=1 proof in Section 5.3 invokes Theorem 3.6 and [44] without deriving a diameter bound. The intended condition is evidently 'if N>1'; as written, the theorem, corollary, and Theorem 1.6 need correction and a separate statement for N=1.
  2. [Section 6.0.1, proof of Theorem 1.6] The hyperbolic cone case (K=−1, KF=−1, B=R, f(r)=cosh(r)) is explicitly not proved in this paper. The text says this case 'can be treated exactly like the cases in [37]' and that the proof is 'verbatim the same', then refers to [37] without supplying the details. Since Theorem 1.6 claims an iff for all KF∈R, including KF=−1, this is a missing proof of one of the six enumerated cases. The deferred argument should either be included or the theorem should be restricted to the cases actually proved.
  3. [Section 6, proof of Theorem 1.2, item (4)] In the proof for the case KF<0, the stated goal is to show 'the condition CDloc(KN,N+1) for F', and the final conclusion is RCD(KN,N+1). But Theorem 1.2 asserts RCD(KF N,N+1), which is a stronger statement when KF>K. The rescaling step sets inf f^2=1, which does not by itself force KF=K. Unless an additional argument identifies K with KF in this regime, the proof establishes a weaker bound than the theorem claims. Please clarify the constants used in Step (4).
minor comments (5)
  1. [Theorem 4.2 and Proposition 4.3] The statement of Theorem 4.2 says MCP(KN, K+1); the second parameter is a dimension and should be N+1. This appears to be a typo, but it affects the reader's understanding of which measure-contraction property is used.
  2. [Section 1 and Section 2.1] The notation 'f K-concave' is used inconsistently (also written 'fK-concave' and 'f K-conave' in Section 2.1). Please standardize the term and add a definition at first use.
  3. [Example 1.4] The word 'conditon' should be 'condition'. There are also several other typographical errors (e.g., 'conave', 'dicussions', 'exsits') that should be corrected in a final revision.
  4. [Section 5.2, Proposition 5.8] The proof of Proposition 5.8 uses a strict inequality KF>sup_B{(f')^2+Kf^2} and then removes it by a scaling/Gromov-Hausdorff argument in Corollary 5.10. The wording of Proposition 5.8 should state the strict inequality explicitly in the assumption or clarify that the non-strict case is handled later.
  5. [Section 6.0.1] The list of six cases for Theorem 1.6 is helpful, but the cases 'elliptic cone' and 'parabolic cone' are dispatched by referring to prior work; given that Theorem 1.6 is a headline result, it would be useful to state precisely which parts of the proof appear in [37] and which are new here.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the warped-product RCD theorem is derived from independent spectral/Γ2 arguments, with self-citations serving as external tools rather than disguised inputs.

full rationale

The derivation is genuinely sufficiency/necessity rather than a repackaging. In Section 5, the warped-product Γ2 formula (Corollary 5.7, Proposition 5.8) is obtained from an explicit spectral decomposition of the fiber Laplacian (compact F gives discrete spectrum), the Schrödinger operators L_{B,N,λ} on the one-dimensional base, and known RCD estimates on the fiber; the target inequality (13) is then established for a dense set and extended by approximation. Nothing in that chain assumes B×F is already RCD. The converse (Theorem 1.2) starts from RCD(KN,N+1) on the warped product and derives f''+Kf≤0, the boundary condition, and the fiber condition by disintegration and tangent-cone arguments; these are not definitions of the assumed conditions. KF is a function of f and K, not a fitted parameter, and the fiber condition RCD(KF(N−1),N) concerns F only, so it cannot be a renamed prediction of the product statement. The paper does cite the author's prior work [37], [35], [12], but those are used as independent published theorems (cone characterizations, CD-meets-CAT, MCP for generalized cones) whose assumptions do not include the current theorem; hence they are real evidence, not a circularity chain. The only mild self-citation is Theorem 1.6's hyperbolic-cone case, whose proof is said to be 'verbatim the same' as [37] and omitted; this is a proof-detail gap, not a reduction of the claim to its inputs. The N=1 diameter-bound wording and the compactness restriction are substantive correctness/scope caveats, not circularity. Overall: no significant circularity; score 2 only acknowledges the self-citations, not a circular derivation.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted to data; the quantities K, N, and KF are defined by the geometry. The axioms are standard results in metric measure theory, RCD theory, and operator theory, plus the explicit domain assumption that F is compact. No new entities are postulated.

assumptions (6)
  • standard math The Bakry-Emery condition BE(K,N) is equivalent to the Riemannian curvature-dimension condition RCD(K,N) (Definition 2.8 and Remark 2.9).
    Used throughout to prove BE and then conclude RCD; this equivalence is established in the literature [30,7,23,8,13].
  • domain assumption F is compact, so the Laplace operator L_F has discrete spectrum (Section 3.1, before Proposition 3.11).
    The spectral decomposition and the reduction to Schrodinger operators on B rely on this discreteness; the paper lists compactness of F as a restriction in Section 1.0.3.
  • standard math The fiber independence theorem of Alexander-Bishop (Theorem 3.3) characterizes minimizers in warped products.
    Used to prove the metric structure (Section 4) and the intrinsic distance equality.
  • standard math Nonbranching of geodesics in RCD spaces (used in Theorem 1.2(2)).
    Used to rule out boundary branching; cites [22].
  • standard math Stability of RCD under pointed measured Gromov-Hausdorff convergence (Remark 2.10).
    Used to remove smoothness of f by approximation in Section 5.3.
  • standard math Essential self-adjointness criterion for Schrodinger operators on one-dimensional spaces (Proposition 2.22).
    Key for the spectral reduction in Section 5.2; conditions include max_{boundary} |f'| <= 1 and lambda > 1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Warped products over one-dimensional base spaces and the RCD condition." pith.science (2026). https://pith.science/paper/NEI6SF23

@misc{pith2026250610809,
  author       = {Pith},
  title        = {Pith review of: Warped products over one-dimensional base spaces and the RCD condition},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NEI6SF23}},
  note         = {Machine review of arXiv:2506.10809}
}
abstract

We prove the Riemannian curvature-dimension condition $\mathsf{RCD}(KN,N+1)$ for an $N$-warped product $B\times_f^N F$ over a one-dimensional base space $B$ with a Lipschitz function $f: B\rightarrow \mathbb R_{\geq 0}$, provided (1) $f$ is a $Kf$-concave function, (2) $f$ satisfies a sub-Neumann boundary condition $\frac{\partial f}{\partial n}\geq 0$ on $\partial B\backslash f^{-1}(0)$ and $F$ is a compact metric measure space satisfying (3) the condition $\mathsf{RCD}(K_F (N-1), N)$ with $K_F:= \sup_B \{ (Df)^2 + Kf^2\}$. The result is sharp, i.e. we show that (1), (2) and (3) are necessary for the validity of statement provided $K_F\geq 0$. In general, only a weaker statement is true. If $f$ is assumed to be $Kf$-affine, then the condition $\mathsf{RCD}(K N, N+1)$ for the $N$-warped product holds if and only if the condition $\mathsf{RCD}(K_F(N-1), N)$ holds for $F$ for any $K_F\in \mathbb R$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

53 extracted references · 48 canonical work pages

  1. [37]

    Cones over metric measure spaces and the maximal diameter theorem

    Christian Ketterer. Cones over metric measure spaces and the maximal diameter theorem. J. Math. Pures Appl. (9) , 103(5):1228–1275, 2015

    work page 2015

  2. [12]

    Generalized cones admit- ting a curvature-dimension condition, 2025

    Matteo Calisti, Christian Ketterer, and Clemens S¨ amann. Generalized cones admit- ting a curvature-dimension condition, 2025

    2025

  3. [44]

    Ricci curvature in dimension 2

    Alexander Lytchak and Stephan Stadler. Ricci curvature in dimension 2. J. Eur. Math. Soc. (JEMS) , 25(3):845–867, 2023

    work page 2023

  4. [1]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Warped products of Hadamard spaces. Manuscripta Math. , 96(4):487–505, 1998

    work page 1998

  5. [2]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Curvature bounds for warped prod- ucts of metric spaces. Geom. Funct. Anal., 14(6):1143–1181, 2004

    work page 2004

  6. [3]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. A cone splitting theorem for Alexan- drov spaces. Pacific J. Math. , 218(1):1–15, 2005

    work page 2005

  7. [4]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Warped products admitting a cur- vature bound. Adv. Math., 303:88–122, 2016

    work page 2016

  8. [5]

    Gradient flows in metric spaces and in the space of probability measures

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e. Gradient flows in metric spaces and in the space of probability measures . Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, second edition, 2008

    work page 2008

Show all 53 references
  1. [6]

    Metric measure spaces with Rie- mannian Ricci curvature bounded from below

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e. Metric measure spaces with Rie- mannian Ricci curvature bounded from below. Duke Math. J. , 163(7):1405–1490, 2014

    2014

  2. [7]

    Bakry- ´Emery curvature- dimension condition and Riemannian Ricci curvature bounds

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e. Bakry- ´Emery curvature- dimension condition and Riemannian Ricci curvature bounds. Ann. Probab. , 43(1):339–404, 2015

    2015

  3. [8]

    Nonlinear Diffusion Equa- tions and Curvature Conditions in Metric Measure Spaces

    Luigi Ambrosio, Andrea Mondino, and Giuseppe Savar´ e. Nonlinear Diffusion Equa- tions and Curvature Conditions in Metric Measure Spaces. Mem. Amer. Math. Soc. , 262(1270):0, 2019

    2019

  4. [9]

    Anderson

    Michael T. Anderson. Metrics of positive Ricci curvature with large diameter. Manuscripta Math. , 68(4):405–415, 1990

    1990

  5. [10]

    Localization and tensorization properties of the curvature-dimension condition for metric measure spaces

    Kathrin Bacher and Karl-Theodor Sturm. Localization and tensorization properties of the curvature-dimension condition for metric measure spaces. J. Funct. Anal. , 259(1):28–56, 2010

    2010

  6. [11]

    A course in metric geometry , vol- ume 33 of Graduate Studies in Mathematics

    Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry , vol- ume 33 of Graduate Studies in Mathematics . American Mathematical Society, Prov- idence, RI, 2001. W ARPED PRODUCTS AND THE RCD CONDITION 51

    2001

  7. [13]

    The globalization theorem for the curvature- dimension condition

    Fabio Cavalletti and Emanuel Milman. The globalization theorem for the curvature- dimension condition. Invent. Math. , 226(1):1–137, 2021

    2021

  8. [14]

    Scalar and mean curvature comparison via the Dirac operator

    Simone Cecchini and Rudolf Zeidler. Scalar and mean curvature comparison via the Dirac operator. Geom. Topol., 28(3):1167–1212, 2024

    2024

  9. [15]

    Differentiability of Lipschitz functions on metric measure spaces

    Jeff Cheeger. Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal., 9(3):428–517, 1999

    1999

  10. [16]

    Jeff Cheeger and Tobias H. Colding. Lower bounds on Ricci curvature and the almost rigidity of warped products. Ann. of Math. (2) , 144(1):189–237, 1996

    1996

  11. [17]

    Jeff Cheeger and Tobias H. Colding. On the structure of spaces with Ricci curvature bounded below. I. J. Differential Geom. , 46(3):406–480, 1997

    1997

  12. [18]

    Almost volume cone implies almost metric cone for annuluses centered at a compact set in RCD (K, N)-spaces

    Lina Chen. Almost volume cone implies almost metric cone for annuluses centered at a compact set in RCD (K, N)-spaces. Preprint, arXiv:2112.09353 [math.DG] (2021), 2021

    2021 arXiv

  13. [19]

    Characterization of tangent cones of non- collapsed limits with lower Ricci bounds and applications

    Tobias Holck Colding and Aaron Naber. Characterization of tangent cones of non- collapsed limits with lower Ricci bounds and applications. Geom. Funct. Anal. , 23(1):134–148, 2013

    2013

  14. [20]

    Maximal volume entropy rigidity for RCD∗(−(N − 1), N) spaces

    Chris Connell, Xianzhe Dai, Jes´ us N´ u˜ nez-Zimbr´ on, Raquel Perales, Pablo Su´ arez- Serrato, and Guofang Wei. Maximal volume entropy rigidity for RCD∗(−(N − 1), N) spaces. J. Lond. Math. Soc., II. Ser. , 104(4):1615–1681, 2021

    2021

  15. [21]

    From volume cone to metric cone in the non- smooth setting

    Guido De Philippis and Nicola Gigli. From volume cone to metric cone in the non- smooth setting. Geom. Funct. Anal., 26(6):1526–1587, 2016

    2016

  16. [22]

    H¨ older continuity of tangent cones in RCD(K, N) spaces and applications to nonbranching

    Qin Deng. H¨ older continuity of tangent cones in RCD(K, N) spaces and applications to nonbranching. Geom. Topol., 29(2):1037–1114, 2025

    2025

  17. [23]

    On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces

    Matthias Erbar, Kazumasa Kuwada, and Karl-Theodor Sturm. On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces. Invent. Math. , 201(3):993–1071, 2015

    2015

  18. [24]

    The splitting theorem in non-smooth context

    Nicola Gigli. The splitting theorem in non-smooth context. https://arxiv.org/abs/1302.5555, 2013

    2013 arXiv

  19. [25]

    An overview of the proof of the splitting theorem in spaces with non- negative Ricci curvature

    Nicola Gigli. An overview of the proof of the splitting theorem in spaces with non- negative Ricci curvature. Anal. Geom. Metr. Spaces , 2:169–213, 2014

    2014

  20. [26]

    On the differential structure of metric measure spaces and applications

    Nicola Gigli. On the differential structure of metric measure spaces and applications. Mem. Amer. Math. Soc. , 236(1113):vi+91, 2015

    2015

  21. [27]

    Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below

    Nicola Gigli. Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below. Mem. Amer. Math. Soc. , 251(1196):v+161, 2018

    2018

  22. [28]

    De Giorgi and Gromov working together

    Nicola Gigli. De Giorgi and Gromov working together. Preprint, arXiv:2306.14604 [math.MG] (2023), 2023

    2023 arXiv

  23. [29]

    Sobolev spaces on warped products

    Nicola Gigli and Bang-Xian Han. Sobolev spaces on warped products. J. Funct. Anal., 275(8):2059–2095, 2018

    2018

  24. [30]

    Heat flow on Alexandrov spaces

    Nicola Gigli, Kazumasa Kuwada, and Shin-Ichi Ohta. Heat flow on Alexandrov spaces. Comm. Pure Appl. Math. , 66(3):307–331, 2013

    2013

  25. [31]

    A general splitting principle on RCD spaces and applications to spaces with positive spectrum

    Nicola Gigli and Fabio Marconi. A general splitting principle on RCD spaces and applications to spaces with positive spectrum. Preprint, arXiv:2312.06252 [math.MG] (2023), 2023

    2023 arXiv

  26. [32]

    Convergence of pointed non- compact metric measure spaces and stability of Ricci curvature bounds and heat flows

    Nicola Gigli, Andrea Mondino, and Giuseppe Savar´ e. Convergence of pointed non- compact metric measure spaces and stability of Ricci curvature bounds and heat flows. Proc. Lond. Math. Soc. (3) , 111(5):1071–1129, 2015

    2015

  27. [33]

    Sobolev met Poincar´ e

    Piotr Haj lasz and Pekka Koskela. Sobolev met Poincar´ e. Mem. Amer. Math. Soc. , 145(688):x+101, 2000

    2000

  28. [34]

    Lower Ricci curvature and nonex- istence of manifold structure

    Erik Hupp, Aaron Naber, and Kai-Hsiang Wang. Lower Ricci curvature and nonex- istence of manifold structure. Geom. Topol., 29(1):443–477, 2025. 52 CHRISTIAN KETTERER

    2025

  29. [35]

    CD meets CAT

    Vitali Kapovitch and Christian Ketterer. CD meets CAT. J. Reine Angew. Math. , 766:1–44, 2020

    2020

  30. [36]

    Ricci curvature bounds for warped products

    Christian Ketterer. Ricci curvature bounds for warped products. J. Funct. Anal. , 265(2):266–299, 2013

    2013

  31. [38]

    Obata’s rigidity theorem for metric measure spaces

    Christian Ketterer. Obata’s rigidity theorem for metric measure spaces. Anal. Geom. Metr. Spaces, 3:278–295, 2015

    2015

  32. [39]

    Warped products and synthetic lower curvature bounds: an overview

    Christian Ketterer. Warped products and synthetic lower curvature bounds: an overview. Preprint, arXiv:2503.05521 [math.DG] (2025), 2025

    2025 arXiv

  33. [40]

    Geometry and analysis of Dirichlet forms.Adv

    Pekka Koskela and Yuan Zhou. Geometry and analysis of Dirichlet forms.Adv. Math., 231(5):2755–2801, 2012

    2012

  34. [41]

    Infinitesimal Bishop-Gromov condition for Alexandrov spaces

    Kazuhiro Kuwae and Takashi Shioya. Infinitesimal Bishop-Gromov condition for Alexandrov spaces. In Probabilistic approach to geometry , volume 57 of Adv. Stud. Pure Math., pages 293–302. Math. Soc. Japan, Tokyo, 2010

    2010

  35. [42]

    Some geometric properties of the Bakry- ´Emery-Ricci tensor

    John Lott. Some geometric properties of the Bakry- ´Emery-Ricci tensor. Comment. Math. Helv. , 78(4):865–883, 2003

    2003

  36. [43]

    Ricci curvature for metric-measure spaces via optimal transport

    John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math. (2) , 169(3):903–991, 2009

    2009

  37. [45]

    On the measure contraction property of metric measure spaces

    Shin-ichi Ohta. On the measure contraction property of metric measure spaces. Com- ment. Math. Helv. , 82(4):805–828, 2007

    2007

  38. [46]

    Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm

    Tapio Rajala. Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm. J. Funct. Anal. , 263(4):896–924, 2012

    2012

  39. [47]

    Methods of modern mathematical physics

    Michael Reed and Barry Simon. Methods of modern mathematical physics. II. Fourier analysis, self-adjointness . Academic Press [Harcourt Brace Jovanovich Publishers], New York, 1975

    1975

  40. [48]

    Self-improvement of the Bakry-´Emery condition and Wasserstein contraction of the heat flow in RCD( K, ∞) metric measure spaces

    Giuseppe Savar´ e. Self-improvement of the Bakry-´Emery condition and Wasserstein contraction of the heat flow in RCD( K, ∞) metric measure spaces. Discrete Contin. Dyn. Syst. , 34(4):1641–1661, 2014

    2014

  41. [49]

    Analysis on local Dirichlet spaces

    Karl-Theodor Sturm. Analysis on local Dirichlet spaces. II. Upper Gaussian estimates for the fundamental solutions of parabolic equations. Osaka J. Math. , 32(2):275–312, 1995

    1995

  42. [50]

    Analysis on local Dirichlet spaces

    Karl-Theodor Sturm. Analysis on local Dirichlet spaces. III. The parabolic Harnack inequality. J. Math. Pures Appl. (9) , 75(3):273–297, 1996

    1996

  43. [51]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. I. Acta Math. , 196(1):65–131, 2006

    2006

  44. [52]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. II. Acta Math. , 196(1):133–177, 2006

    2006

  45. [53]

    Bakry-´ emery, Hardy, and spectral gap estimates on manifolds with conical singularities

    Karl-Theodor Sturm. Bakry-´ emery, Hardy, and spectral gap estimates on manifolds with conical singularities. Calc. Var. Partial Differ. Equ. , 64(3):31, 2025. Id/No 94. Department of Mathematics & Statistics, Logic House, South Campus, Maynooth University, Ireland Email addre...

    2025

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.