2021
DOI: 10.48550/arxiv.2110.05045
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

The rigidity of sharp spectral gap in nonnegatively curved spaces

Abstract: We extend the celebrated rigidity of the sharp first spectral gap under Ric ≥ 0 to compact infinitesimally Hilbertian spaces with nonnegative (weak, also called synthetic) Ricci curvature and bounded (synthetic) dimension i.e. to so-called compact RCD(0, N ) spaces; this is a category of metric measure spaces which in particular includes (Ricci) nonnegatively curved Riemannian manifolds, Alexandorv spaces, Ricci limit spaces, Bakry-Émery manifolds along with products, certain quotients and measured Gromov-Haus… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
5
0

Year Published

2021
2021
2022
2022

Publication Types

Select...
3

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
(5 citation statements)
references
References 70 publications
0
5
0
Order By: Relevance
“…Proof. The proof of the corollary is exactly the content of section 5 and section 6 in [KKL21] that results in the proof of Theorem 6.10 in [KKL21] that corresponds to our statement.…”
Section: Then We Consider Measurable Setsmentioning
confidence: 57%
See 2 more Smart Citations
“…Proof. The proof of the corollary is exactly the content of section 5 and section 6 in [KKL21] that results in the proof of Theorem 6.10 in [KKL21] that corresponds to our statement.…”
Section: Then We Consider Measurable Setsmentioning
confidence: 57%
“…Thanks to locality of Hessf for f ∈ H 2.2 (X) the Hessian Hess(u) for u ∈ H 2,2 loc (Ω) is well-defined. The following theorem is Corollary 4.16 in [KKL21].…”
Section: Then We Consider Measurable Setsmentioning
confidence: 91%
See 1 more Smart Citation
“…where the inequality follows from (6.1) applied on the isoperimetric set E t , since we already know that any mean curvature barrier for E t is nonnegative. Since t > 0 is arbitrary, we proved that ∆d E = 0 on X \ E. (6.5) The isomorphic splitting then follows from the recent [75,Theorem 1.4] and [76], extending the classical Riemannian result [71,Theorem C].…”
Section: The Case Of Nonnegatively Curved Spacesmentioning
confidence: 58%
“…(3.5) The isomorphic splitting then follows from the recent [55, Theorem 1.4] and [56], extending the classical Riemannian result [53, Theorem C].…”
Section: Non Negatively Curved Spacesmentioning
confidence: 73%