Cheng's eigenvalue comparison on metric measure spaces and applications

Alessandro Tomasiello; Andrea Mondino; G. Bruno De Luca; Nicol\`o De Ponti

Cheng's eigenvalue comparison on metric measure spaces and applications

T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Cheng's sharp eigenvalue bound is extended to singular metric measure spaces.

desk verdict A clean localization proof of Cheng's eigenvalue bound for essentially non-branching CD*(K,N) spaces, with rigidity and stability; the central theorem holds up, and the paper deserves a serious referee. read the letter →

arxiv 2507.23671 v2 pith:PMXMCUTI submitted 2025-07-31 math.SP hep-thmath.DGmath.MG

G. Bruno De Luca , Nicolò De Ponti , Andrea Mondino , Alessandro Tomasiello This is my paper

classification math.SPhep-thmath.DGmath.MG MSC 58J5053C2335P15

keywords ChengeigenvaluecomparisonmetricmeasurespacesCD*(KN)RCD*(KlocalizationtechniqueDirichleteigenvaluesKaluza-Kleinmassesessentialspectrum

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 proves that a sharp upper bound on the first Dirichlet eigenvalue of geodesic balls, classically due to Cheng for Riemannian manifolds with Ricci curvature bounded below, holds on much more general metric measure spaces that satisfy a synthetic Ricci lower bound, namely the essentially non-branching $\mathsf{CD}^*(K,N)$ condition. This class includes weighted and Finsler manifolds, Alexandrov spaces, and Ricci limit spaces. The comparison is sharp: the ball's eigenvalue is no larger than the first Dirichlet eigenvalue of a ball of the same radius in an explicit one-dimensional model space $(I_{K,N}, d_{\mathrm{eu}}, m_{K,N})$. For the Riemannian refinement $\mathsf{RCD}^*(K,N)$, equality forces one of three rigid geometries, and near-equality implies pointed measured Gromov–Hausdorff closeness to a $(K,N)$-cone, a stability statement that appears new even for smooth manifolds. The same circle of estimates yields bounds on higher Neumann eigenvalues and on the essential spectrum, and translates into upper bounds on the masses of spin-2 Kaluza–Klein particles around warped compactifications of gravity theories.

What carries the argument

The load-bearing mechanism is localization with respect to the distance function $d(x_0,\cdot)$, combined with the one-dimensional model space $(I_{K,N}, d_{\mathrm{eu}}, m_{K,N})$ and its first eigenfunction $\phi_{K,N,r_0}$. The crucial pointwise identity is the almost-everywhere comparison $(\log h)' \leq (\log h_{K,N})'$ on $(0,r_0)$ for every $\mathsf{CD}(K,N)$ density $h$; this makes the Sturm–Liouville operator on each geodesic fiber a repulsive perturbation of the model operator, so the integrated fiberwise estimate is controlled by the model eigenvalue. The composed function $\phi_{K,N,r_0}\circ d_{x_0}$, which lies in $W^{1,2}_0(B(x_0,r_0))$, is the test function that connects the high-dimensional ball to the one-dimensional interval.

What would settle it

Compute the first Dirichlet eigenvalue of a metric ball in a concrete essentially non-branching $\mathsf{CD}^*(K,N)$ space that is not a model space and check whether it exceeds $\lambda_{K,N,r_0}$; for instance, take an interval with a $\mathsf{CD}(K,N)$ density $h$ that violates $(\log h)' \leq (\log h_{K,N})'$ on a set of positive measure, solve the Sturm–Liouville problem, and see whether the resulting eigenvalue is larger than $\lambda_{K,N,r_0}$. A direct numerical test of inequality (3.1) for such densities would also settle the correctness of the proof's key lemma.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.1: given an essentially non-branching $\mathsf{CD}^*(K,N)$ metric measure space $(X,d,m)$ with $K\in\mathbb{R}$, $N\in(1,\infty)$, every ball $B(x_0,r_0)$ satisfies $\lambda^D_1(B(x_0,r_0)) \leq \lambda_{K,N,r_0}$, where $\lambda_{K,N,r_0}$ is the first Dirichlet eigenvalue of the interval $[0,r_0)$ in the one-dimensional model space $(I_{K,N}, d_{\mathrm{eu}}, m_{K,N})$ with density $h_{K,N}(\theta)=s_{K/(N-1)}^{N-1}(\theta)$. The proof reduces the high-dimensional problem to one dimension: localization partitions the space into geodesic rays, on each of which the reference measure has a $\mathsf{CD}(K,N)$ density $h_q$, and a one-dimensional comparison shows that the Rayleigh quotient of $\phi_{K,N,r_0}\circ d_{x_0}$ on each fiber, and hence on the whole ball, is controlled by $\lambda_{K,N,r_0}$. In the $\mathsf{RCD}^*(K,N)$ case, equality forces one of three rigid geometries: an interval with the model density, a one-dimensional Riemannian manifold, or a local $(K,N)$-cone over a lower-dimensional $\mathsf{RCD}^*(N-2,N-1)$ space. Near-equality yields the stability theorem, under which the ball is pmGH-close to the corresponding rigid configuration. Applications bound the $j$-th Neumann eigenvalue of a finite-diameter space by $\lambda_{K,N,D/(2j)}$, show that the essential spectrum of a non-compact $\mathsf{RCD}(K,N)$ space with $K\leq 0$, $N\geq 3$ intersects $[0,-(N-1)K/4]$, and, physically, bound the mass squared of the $j$-th spin-2 Kaluza–Klein excitation by the same model eigenvalue.

Load-bearing premise

The whole argument rests on the pointwise comparison $(\log h)' \leq (\log h_{K,N})'$ holding almost everywhere for every $\mathsf{CD}(K,N)$ density $h$; if a positive-measure family of localization fibers violated it, the integrated fiberwise estimate (3.4) would fail and Theorem 1.1 would have no proof.

Editorial extensions

If this is right

Every geodesic ball in an essentially non-branching $\mathsf{CD}^*(K,N)$ space has first Dirichlet eigenvalue at most $\lambda_{K,N,r_0}$, and the bound is sharp because the one-dimensional model balls attain equality.
In the $\mathsf{RCD}^*(K,N)$ setting, equality forces rigidity: the ball is an interval with density $c\,h_{K,N}$, a one-dimensional Riemannian manifold, or is locally isometric to a $(K,N)$-cone over an $\mathsf{RCD}^*(N-2,N-1)$ space.
Near-equality implies pointed measured Gromov–Hausdorff stability to the corresponding rigid configuration, a result the paper notes is new even for smooth Riemannian manifolds.
For spaces of finite diameter $D$, the $j$-th Neumann eigenvalue is bounded above by $\lambda_{K,N,D/(2j)}$; for non-compact $\mathsf{RCD}(K,N)$ spaces with $K\leq 0$ and $N\geq 3$, the essential spectrum meets $[0,-(N-1)K/4]$.
For warped compactifications of higher-dimensional gravity that satisfy the reduced energy condition, the mass squared of the $j$-th spin-2 Kaluza–Klein excitation is bounded by $\lambda_{K,N,r_0}$ with $K$, $N$, and $r_0$ expressed through the cosmological constant, the warp gradient, and the diameter of the internal space.

Reading between the lines

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

The stability theorem suggests a quantitative version: the spectral deficit $\lambda_{K,N,r_0}-\lambda^D_1(B(x_0,r_0))$ should control the pmGH distance to the rigid cone, and extracting an explicit rate would yield an almost-rigidity statement with independent geometric applications.
Because the localization scheme bounds the Rayleigh quotient of the composed first eigenfunction, the method is likely to extend to Robin boundary conditions, higher Dirichlet eigenvalues on geodesic balls, and possibly to non-reduced $\mathsf{CD}(K,N)$ spaces whenever the same log-derivative comparison holds.
The physical bound depends on a free parameter $N>D-d$; since $\lambda_{K,N,r_0}$ diverges as $N\to\infty$ and as $N\to D-d$, optimizing over $N$ gives a sharper numerical bound that could be tested against explicit spectra of known warped compactifications.
The rigidity trichotomy indicates that eigenvalue equality is a local, radial phenomenon around the chosen center, which may be useful for inverse spectral problems on singular spaces where only ball eigenvalue data are available.

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.

Desk Editor's Note

read the letter

The main news: this paper proves Cheng's eigenvalue comparison on essentially non-branching CD*(K,N) spaces for all K in R and N > 1, via localization. The previous non-smooth version required negative curvature and extra assumptions, so this is a genuine extension. The proof is clean: the one-dimensional inequality is the core, and it is done carefully. Rigidity and stability for RCD* spaces follow, and the stability claim looks new even in the smooth category.

What is good: the paper is honest about what is new. The localization argument is standard but applied with the right test function, and Theorem 3.1 reduces everything to a known log-density comparison from Cavalletti-Milman. The equality analysis is thorough. The applications (Neumann bound, essential spectrum) are natural and quick. The physical section does not oversell: it explicitly flags that the curvature bound (4.6) comes from prior work and that D6 branes require case-by-case treatment. That is fair.

Soft spots: the main theorem leans on heavy external machinery (localization, the Cavalletti-Milman density comparison, De Philippis-Gigli cone rigidity). None of it is re-derived, but that is normal for this subfield. The physical application is genuinely conditional on (4.6), which is not proven for singular RCD backgrounds here; the authors say so. The explicit value of the model eigenvalue is not known except via bounds, but Remark 3.5 gives usable bounds, so that is minor. The stability proof is a standard compactness argument and is short, which is fine.

I have no serious reservation about the central theorem. The proof checks out on my reading; the weakest external input is the pointwise log-density inequality, but it is applied exactly where it applies. I would send this to a good spectral-geometry referee and expect it to be accepted after minor revisions.

Referee Report

0 major / 5 minor

Summary. The paper proves a sharp upper bound for the first Dirichlet eigenvalue of metric balls in essentially non-branching CD*(K,N) spaces, extending Cheng's classical comparison theorem to the non-smooth setting of metric measure spaces with synthetic Ricci curvature bounds. The proof uses the localization technique to reduce the problem to a one-dimensional comparison (Theorem 3.1) against the model space (I_{K,N}, d_eu, m_{K,N}), whose eigenfunction and eigenvalue are studied in Proposition 2.5. In the RCD* case, rigidity (Theorem 3.2) and stability (Theorem 3.4) are proved, the latter by combining the rigidity with precompactness and upper semi-continuity of Dirichlet eigenvalues. The paper then gives two mathematical consequences (a Neumann eigenvalue bound in Theorem 3.6 and an essential-spectrum bound in Theorem 3.7) and applies the results to bound masses of spin-2 Kaluza-Klein excitations in warped compactifications (Proposition 4.1).

Significance. If the result holds, it is a substantial and natural extension of a classical comparison theorem to the broad class of essentially non-branching CD*(K,N) spaces, including RCD spaces and hence many singular spaces of interest. The main inequality is a parameter-free comparison: the model eigenvalue λ_{K,N,r0} is defined as an infimum and no quantity is fitted to data, and the proof is transparent in its reliance on localization and a one-dimensional log-density comparison from the literature. The rigidity statement is a useful local description, and the stability statement is claimed to be new even for smooth Riemannian manifolds; the proof strategy via contradiction and pmGH convergence is sound. The physical application is interesting but explicitly conditional on the Reduced Energy Condition and on curvature bounds imported from previous work, with a clear caveat in Remark 4.2 that some D-brane cases are not covered. Overall the mathematical core is strong, well-motivated, and appropriately contextualized with respect to prior work.

minor comments (5)

[Theorem 3.1] The statement assumes the density h has right endpoint b ≥ r0, but in the application in the proof of Theorem 1.1, fibers with length r(q) < r0 occur and are integrated up to θ = r(q). The proof of Theorem 3.1 only needs the estimates on [0, θ] with θ ≤ min{r0, b}; I suggest restating the theorem with 'for every θ ∈ (0, min{r0,b}]' or adding a sentence explaining that short fibers are handled by the same argument.
[Remark 3.5] Equation (3.10a) contains a stray '1' before λ_{K,N,r0} and is ambiguous; it should either read λ_{K,N,r0} ≤ ... or 1/λ_{K,N,r0} ≤ ..., and the current display is dimensionally inconsistent with (3.10b) and (3.10c).
[Proof of Theorem 3.2] In the paragraph after (3.6), 'the disintegration Theorem 3.1' should cite Theorem 2.6, and 'the second identity follows (3.5)' is missing the word 'from'.
[Section 4] The symbol N in Proposition 4.1 is a free parameter in (4.6)-(4.8), whereas N denotes the dimension bound in the CD condition elsewhere; the authors should add a sentence distinguishing the two roles, especially since Remark 4.3 already discusses the dependence on N.
[Theorem 3.4] The phrase 'exactly one of the following cases holds' is potentially misleading in the ε-approximate setting, since the three cases can overlap for moderate ε; the intended meaning is that at least one of the cases holds, with exclusivity only in the limiting rigid configurations. This does not affect the argument.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Cheng-type comparison is derived from localization plus an external one-dimensional CD-density comparison; self-citations enter only as physical inputs.

full rationale

Theorem 1.1 is proved by disintegrating an essentially non-branching CD*(K,N) metric measure space along the distance function (Theorem 2.6), obtaining fiber measures h_q that are CD(K,N) densities, and then applying the pointwise log-derivative comparison (log h)' <= (log h_{K,N})' cited from [8, Lemma A.9]. That cited lemma concerns one-dimensional CD(K,N) densities and is independent of the eigenvalue statement; it is applied to exactly the densities produced by localization. The localization theorem itself is a general structural result from prior published work, not a statement equivalent to the eigenvalue comparison. The model eigenvalue lambda_{K,N,r0} of Definition 2.3 is an infimum over the one-dimensional model interval, not a fitted constant, and the proof uses the model eigenfunction only as a test function in the Rayleigh quotient: lambda_D^1(B) <= R(phi composed with d) <= lambda_{K,N,r0}. Thus the target inequality is not assumed. The rigidity and stability results invoke external results [16, Thm 4.1] and [4, Lemma 2.10] that are not authored by the present writers and do not presuppose Theorem 1.1. The physical section cites [13,14,15] for the REC, the warped-curvature bound, and RCD regularity of physical backgrounds; these are hypotheses for the application, not steps that define or fit the eigenvalue upper bound. No parameter is fitted to data and no prediction reduces by construction to an input.

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

The central theorem is parameter-free in the sense that its only inputs are the synthetic curvature parameters K,N and the radius r0; λ_{K,N,r0} is defined by a one-dimensional Rayleigh quotient and is not fitted. In the physical application, the dimension parameter N is free and the final bound is optimized over it. The proof relies on established localization and density-comparison theorems; no new entities are postulated.

free parameters (1)

N (dimension parameter in KK mass bound, Proposition 4.1) = arbitrary real > D-d; optimized numerically
In the physical application, K in (4.8) depends on the choice of N. The bound holds for every N>D-d, and the tightest bound is found by numerical optimization. This is a hand-chosen parameter of the application, not fitted to data.

assumptions (6)

standard math Localization theorem: distance functions on essentially non-branching CD*(K,N) spaces induce a partition into geodesics with CD(K,N) fiber densities.
Invoked in Section 3, proof of Theorem 1.1; cited to [9,10].
standard math Log-density comparison for CD(K,N) densities: (log h)' ≤ (log h_{K,N})' a.e.
Key input in Theorem 3.1; cited to [8, Lemma A.9].
standard math Volume cone to metric cone rigidity theorem of De Philippis and Gigli [16, Thm 4.1].
Used to conclude rigidity in Theorem 3.2.
standard math Upper semi-continuity of the first Dirichlet eigenvalue under pmGH convergence [4, Lemma 2.10] together with RCD stability.
Used in stability Theorem 3.4.
domain assumption Reduced Energy Condition implies the weighted-Ricci lower bound (4.6), from prior work [14,15].
Physical input for Proposition 4.1; not derived in this paper.
domain assumption Spin-2 KK masses equal eigenvalues of the weighted Laplacian (4.2) on the internal space.
Bridges the spectral bound to the physics conclusion.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cheng's eigenvalue comparison on metric measure spaces and applications." pith.science (2026). https://pith.science/paper/PMXMCUTI

@misc{pith2026250723671,
  author       = {Pith},
  title        = {Pith review of: Cheng's eigenvalue comparison on metric measure spaces and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PMXMCUTI}},
  note         = {Machine review of arXiv:2507.23671}
}

abstract

Using the localization technique, we prove a sharp upper bound on the first Dirichlet eigenvalue of metric balls in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces. This extends a celebrated result of Cheng to the non-smooth setting of metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense, via optimal transport. Rigidity and stability statements are provided for $\mathsf{RCD}^{\star}(K,N)$ spaces; the stability seems to be new even for smooth Riemannian manifolds. We then present some mathematical and physical applications: in the former, we obtain an upper bound on the $j^{th}$ Neumann eigenvalue in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces and a bound on the essential spectrum in non-compact $\mathsf{RCD}^{\star}(K,N)$ spaces; in the latter, the eigenvalue bounds correspond to general upper bounds on the masses of the spin-2 Kaluza-Klein excitations around general warped compactifications of higher-dimensional theories of gravity.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Optimal paths across potentials on scalar field space
hep-th 2026-04 unverdicted novelty 7.0 of 10

Optimal transport yields a generalized Wasserstein distance on field space, obtained from a WKB expansion of a Schrödinger equation and extended to dynamical gravity via the Wheeler-DeWitt equation in the ADM formalism.
Alice in Warpland: KK modes, Warped Compactifications and the Swampland
hep-th 2026-03 unverdicted novelty 7.0 of 10

In codimension-one warped compactifications with exponential potentials, the KK mass decay rate λ_KK is reduced by warping but still satisfies the Sharpened Distance Conjecture precisely when the higher-dimensional po...

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 2 Pith papers

[1]

Ambrosio, N

L. Ambrosio, N. Gigli, A. Mondino, and T. Rajala , Riemannian Ricci curvature lower bounds in metric measure spaces with σ-finite measure, Trans. Amer. Math. Soc., 367 (2015), pp. 4661–4701

work page 2015
[2]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Sa v aré , Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math., 195 (2014), pp. 289–391

work page 2014
[3]

J., 163 (2014), pp

, Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J., 163 (2014), pp. 1405–1490

work page 2014
[4]

Ambrosio and S

L. Ambrosio and S. Honda , Local spectral convergence inRCD∗(K, N) spaces, Nonlinear Anal., 177 (2018), pp. 1–23

work page 2018
[5]

Bachas and J

C. Bachas and J. Estes , Spin-2 spectrum of defect theories, JHEP, 06 (2011), p. 005

work page 2011
[6]

Bacher and K.-T

K. Bacher and K.-T. Sturm , Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, Journal of Functional Analysis, 259 (2010), pp. 28–56

work page 2010
[7]

Borisov and P

D. Borisov and P. Freitas , The spectrum of geodesic balls on spherically sym- metric manifolds, Communications in Analysis and Geometry, 25 (2017), pp. 507– 544

work page 2017
[8]

Ca v alletti and E

F. Ca v alletti and E. Milman , The globalization theorem for the curvature dimension condition, Invent. Math., 226 (2021), pp. 1–137. 25

work page 2021

Show all 31 references

[9]

Ca v alletti and A

F. Ca v alletti and A. Mondino , Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds, Invent. Math., 208 (2017), pp. 803–849

2017
[10]

PDE, 13 (2020), pp

, New formulas for the Laplacian of distance functions and applications, Anal. PDE, 13 (2020), pp. 2091–2147

2020
[11]

Cheng , Eigenvalue comparison theorems and its geometric applications, Mathematische Zeitschrift, 143 (1975), pp

S.-Y. Cheng , Eigenvalue comparison theorems and its geometric applications, Mathematische Zeitschrift, 143 (1975), pp. 289–297

1975
[12]

Csaki, J

C. Csaki, J. Erlich, T. J. Hollowood, and Y. Shirman , Universal aspects of gravity localized on thick branes, Nucl. Phys., B581 (2000), pp. 309–338

2000
[13]

G. B. De Luca, N. De Ponti, A. Mondino, and A. Tomasiello , Cheeger bounds on spin-two fields, JHEP, 12 (2021), p. 217

2021
[14]

, Gravity from thermodynamics: optimal transport and negative effective di- mensions, SciPost Phys., 15 (2023), p. 039

2023
[15]

G. B. De Luca and A. Tomasiello , Leaps and bounds towards scale separation, JHEP, 12 (2021), p. 086

2021
[16]

De Philippis and N

G. De Philippis and N. Gigli , From volume cone to metric cone in the nons- mooth setting, Geom. Funct. Anal., 26 (2016), pp. 1526–1587

2016
[17]

Donnelly, On the essential spectrum of a complete Riemannian manifold, Topology, 20 (1981), pp

H. Donnelly, On the essential spectrum of a complete Riemannian manifold, Topology, 20 (1981), pp. 1–14

1981
[18]

Gigli, On the differential structure of metric measure spaces and applications, Mem

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

2015
[19]

Gigli, A

N. Gigli, A. Mondino, and G. Sa v aré , Convergence of pointed non-compact metric measure spaces and stability of Ricci curvature bounds and heat flows, Proc. Lond. Math. Soc. (3), 111 (2015), pp. 1071–1129

2015
[20]

Ketterer, Cones over metric measure spaces and the maximal diameter the- orem, J

C. Ketterer, Cones over metric measure spaces and the maximal diameter the- orem, J. Math. Pures Appl. (9), 103 (2015), pp. 1228–1275

2015
[21]

Kristály, New features of the first eigenvalue on negatively curved spaces, Advances in Calculus of Variations, 15 (2022), pp

A. Kristály, New features of the first eigenvalue on negatively curved spaces, Advances in Calculus of Variations, 15 (2022), pp. 475–495. 26

2022
[22]

Levitin, D

M. Levitin, D. Mangoubi, and I. Polterovich , Topics in spectral geometry, vol. 237 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, [2023]©2023

2023
[23]

Li, The globalization theorem forCD(K, N) on locally finite spaces, Annali di matematica pura ed applicata, 203 (2024), pp

Z. Li, The globalization theorem forCD(K, N) on locally finite spaces, Annali di matematica pura ed applicata, 203 (2024), pp. 49–70

2024
[24]

Lott and C

J. Lott and C. Villani , Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2), 169 (2009), pp. 903–991

2009
[25]

Milman, Sharp isoperimetric inequalities and model spaces for the curvature- dimension-diameter condition, Journal of the European Mathematical Society, 17 (2015), pp

E. Milman, Sharp isoperimetric inequalities and model spaces for the curvature- dimension-diameter condition, Journal of the European Mathematical Society, 17 (2015), pp. 1041–1078

2015
[26]

Rajala and K.-T

T. Rajala and K.-T. Sturm , Non-branching geodesics and optimal maps in strong CD(K, ∞)-spaces, Calc. Var. Partial Differential Equations, 50 (2014), pp. 831–846

2014
[27]

A. G. Setti , Eigenvalue estimates for the weighted laplacian on a riemannian manifold, Rendiconti del Seminario Matematico della Università di Padova, 100 (1998), pp. 27–55

1998
[28]

Sturm , On the geometry of metric measure spaces

K.-T. Sturm , On the geometry of metric measure spaces. I, Acta Math., 196 (2006), pp. 65–131

2006
[29]

II, Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. II, Acta Math., 196 (2006), pp. 133–177

2006
[30]

Villani, Optimal transport, Old and new, vol

C. Villani, Optimal transport, Old and new, vol. 338 of Grundlehren der Math- ematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer, 2009

2009
[31]

Yin and Q

S. Yin and Q. He , Eigenvalue comparison theorems on Finsler manifolds, Chinese Ann. Math. Ser. B, 36 (2015), pp. 31–44. 27

2015

Pith tools

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

[1] [1]

Ambrosio, N

L. Ambrosio, N. Gigli, A. Mondino, and T. Rajala , Riemannian Ricci curvature lower bounds in metric measure spaces with σ-finite measure, Trans. Amer. Math. Soc., 367 (2015), pp. 4661–4701

work page 2015

[2] [2]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Sa v aré , Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math., 195 (2014), pp. 289–391

work page 2014

[3] [3]

J., 163 (2014), pp

, Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J., 163 (2014), pp. 1405–1490

work page 2014

[4] [4]

Ambrosio and S

L. Ambrosio and S. Honda , Local spectral convergence inRCD∗(K, N) spaces, Nonlinear Anal., 177 (2018), pp. 1–23

work page 2018

[5] [5]

Bachas and J

C. Bachas and J. Estes , Spin-2 spectrum of defect theories, JHEP, 06 (2011), p. 005

work page 2011

[6] [6]

Bacher and K.-T

K. Bacher and K.-T. Sturm , Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, Journal of Functional Analysis, 259 (2010), pp. 28–56

work page 2010

[7] [7]

Borisov and P

D. Borisov and P. Freitas , The spectrum of geodesic balls on spherically sym- metric manifolds, Communications in Analysis and Geometry, 25 (2017), pp. 507– 544

work page 2017

[8] [8]

Ca v alletti and E

F. Ca v alletti and E. Milman , The globalization theorem for the curvature dimension condition, Invent. Math., 226 (2021), pp. 1–137. 25

work page 2021