arxiv: v1 [math.mg] 20 Oct 2014

Transcription

1 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES ariv: v1 [math.mg] 20 Oct 2014 CHRISTIAN KETTERER Abstract. We prove Obata s rigidity theorem for metric measure spaces that satisfy a Riemannian curvature-dimension condition. As part of the proof, we prove that a lower bound K for the generalized Hessian of a sufficiently regular function u on a compact RCD(κ,N)-space holds if and only if u is K-convex. Contents 1. Introduction 1 2. Preliminaries Curvature-dimension condition via optimal transport Riemannian curvature-dimension condition 4 3. Hessian lower bounds and convexity 7 4. A gradient comparison result Proof of the main theorem Final remarks 16 References Introduction In this article we prove Obata s eigenvalue rigidity theorem in the context of metric measure spaces that satisfy a Riemannian curvature-dimension condition. The main theorem reads as follows: Theorem 1.1. Let (,d,m ) be a metric measure space that satisfies the condition RCD (K,N) for K > 0 and N 1. If N = 1, we assume that diam π. Assume there is u D 2 (L ) such that (a) L u = KN N 1u if N > 1, and (b) L u = u otherwise. N 1 Then, max x,y d (x,y) = π K if N > 1, & max x,y d (x,y) = π if N = 1. D 2 (L ) is the domain of the generalized Laplace operator L. A consequence of this result and the maximal diameter theorem [Ket] is the following rigidity result. Theorem 1.2. Let (,d,m ) and u be as in the previous theorem. Then, there exists a metric measure space (,d,m ) such that (,d,m ) is isomorphic to [0,π] N 1 sin K/(N 1) and 1

2 2 CHRISTIAN KETTERER (1) if N 2, (,d,m ) satisfies RCD (N 2,N 1) and diam π, (2) if N [1,2), is a point, or N = 0 and consists of exactly two points with distance π. We remark that a metric measure space (,d,m ) that satisfies a curvaturedimension CD(K, N) [LV07] or a reduced Riemannian curvature dimension condition RCD (K,N) for some positive constant K (0, ) and N (1, ) satisfies the sharp Lichnerowicz spectral gap inequality: (1) (f f ) 2 dm N 1 KN (Lipf) 2 dm where f is a Lipschitz function, f = fdm its mean value with respect to f(x) f(y) m and Lipf(x) = limsup y x d (x,y) the local Lipschitz constant. In a setting where we have Riemannian curvature-dimension bounds, the local Lipschitz constant yields a quadratic energy functional and this estimate describes the spectral gap of the corresponding self-adjoint operator. It is a simple consequence of Bochner s inequality that was established for general RCD -spaces by Erbar, Kuwada and Sturm in [EKS]. For Riemannian manifolds with positive lower Ricci curvature bounds the theorem was proven by Obata in [Oba62]. Theorem 1.3 (Obata, 1962). Let (M,g M ) be a n-dimensional Riemannian manifold with ric M K > 0. Then, there exist a function u such that u = Kn n 1 u if and only if M is the standard sphere K n 1 S n. Since a Riemannian manifold M satisfies the condition RCD (K,N) if and only if dim M N and ric M K, and since a spherical suspension that is a manifold without boundary, is a sphere, our result also covers Obata s theorem. Corollary 1.4. Let (,d,m ) be a metric measure space that satisfies the condition RCD (K,N) for K > 0 and N 1. If N = 0, we assume that diam π. Then following statements are equivalent. (1) diam = π N 1 K, (2) inf{spec \{0}} = KN N 1, (3) = [0,π] N 1 sin K/(N 1) for some metric measure space. The corollary is another link between the Eulerian picture of Ricci curvature that comes from optimal transport and the Langrangian picture that is encoded via properties of the energy and the corresponding generalized Laplacian. The proof of Theorem 1.1 mainly relies on a gradient comparison result for eigenfunctions with sharp eigenvalue that is an application of a maximum principle for sub-harmonic functions on general metric measure spaces. But we also etablish K/(N 1)-affinity for the eigenfunction that will be used to compare the measure of sub-level sets of u with the measure of balls at a minimum point. K/(N 1)- affinity follows from a new result that states that a bound K for the generalized Hessian of a sufficiently regular function u holds if and only if u is K-convex. The proof is built on the gradient flow construction technique by Sturm [Stua].

3 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 3 Theorem 1.5. Let (,d,m ) be a compact metric measure space that satisfies RCD(κ,N) with N [1, ). Consider V D(H) C 0 (). Then H[V] K iff V is K-convex. In the next section we briefly introduce important definitions, results and tools for the calculus on metric measure space. In section 3 we prove an identity for the Hessian of u and Theorem 1.5. In section 4 we prove a gradient comparison result, and in section 5 we prove Theorem 1.1. Finally, in the last section we make few additional comments on the non-riemannian case. 2. Preliminaries 2.1. Curvature-dimension condition via optimal transport. Throughout this article we assume that (,d ) is a complete and separable metric space equipped with a locally finite Borel measure m. The triple (,d,m ) will be called metric measure space. (,d ) is called length space if d (x,y) = infl(γ) for all x,y, where the infimum runs over all absolutely continuous curves γ in connecting x and y and L(γ) is the length of γ. (,d ) is called geodesic space if every two points x,y are connected by a curve γ such that d (x,y) = L(γ). Distance minimizing curves of constant speed are called geodesics. A length space, which is complete and locally compact, is a geodesic space. (,d ) is called non-branching if for every quadruple (z,x 0,x 1,x 2 ) of points in for which z is a midpoint of x 0 and x 1 as well as of x 0 and x 2, it follows that x 1 = x 2. We say a function f : (,d ) R { } is Kf-concave if for any geodesic γ : [0,1] the composition f γ satisfies (2) u +Kθ 2 u 0 in the distributional sense where θ = L(γ). We say that f is weakly Kf-concave if there exists a geodesic such that (2) holds. We say f is Kf-convex (weakly Kf-convex) if f is Kf-concave (weakly Kf-concave). In the same way we define K-convexity (concavity) and weak convexity (concavity). If f : R is convex and concave, we say it is affine. P 2 () denotes the L 2 -Wasserstein space of probability measures µ on (,d ) with finite second moments: d 2 (x 0,x)dµ(x) <. TheL 2 -Wasserstein distance d W (µ 0,µ 1 )betweentwoprobabilitymeasuresµ 0,µ 1 P 2 (,d ) is defined as (3) d W (µ 0,µ 1 ) 2 = inf d 2 (x,y)dπ(x,y). π Here the infimum ranges over all couplings of µ 0 and µ 1, i.e. over all probability measures on with marginals µ 0 and µ 1. (P 2 (),d W ) is a complete separable metric space. The subspace of m -absolutely continuous probability measures is denoted by P 2 (,m ). A minimizer of (3) always exists and is called optimal coupling between µ 0 and µ 1.

4 4 CHRISTIAN KETTERER The relative entropy Ent : P 2 () [, ] with respect to m is defined as { limǫ 0 ρ>ǫ Ent m (µ) := ρlogρdm if µ = ρdm otherwise We set D(Ent m ) := { µ P 2 () : Ent m (µ) < }. We always assume that (,d,m ) satisfies the following volume growth condition (4) e cd(x0,x)2 dm < for some point x 0. Definition 2.1 ([Stu06, LV09]). A metric measure space (,d,m ) satisfies the curvature condition CD(κ, ) for κ R in the sense of Lott, Sturm and Villani if Ent m is weakly κ-convex. Definition 2.2 (Reduced curvature-dimensioncondition, [BS10]). Let (,d,m ) be a metric measure space. It satisfies the condition CD (K,N) for K R and N [1, ) if for each pair µ 0,µ 1 P 2 (,d,m ) there exists an optimal coupling q of µ 0 = ρ 0 m and µ 1 = ρ 1 m and a geodesic µ t = ρ t m in P 2 (,d,m ) connecting them such that ρ 1/N t ρ t dm [ σ (1 t) K,N (d )ρ 1/N 0 (x 0 )+σ (t) K,N (d )ρ 1/N 1 (x 1 ) ] dq(x 0,x 1 ) for all t (0,1) and all N N where d := d (x 0,x 1 ). In the case K > 0, the volume distortion coefficients σ (t) K,N ( ) for t (0,1) are defined by σ (t) K,N (θ) = sin K/N(θt) sin K/N (θ) if 0 θ < N Kπ and by σ(t) K,N (θ) = if Kθ2 Nπ 2. The generalized sin-functions sin K are defined by sin K (t) = sin( Kt) for K R. The generalized cos-functions are cos K = sin K. If Kθ2 = 0, one sets σ (t) 0,N (θ) = t, and in the case K < 0 one has to replace sin ( ( ) K N ) by sinh K N Riemannian curvature-dimension condition. We introduce some notations for the calculus of metric measure spaces. For more details see for instance [AGS14b, AGS14a, AGS]. For a function u : R {± } the local Lipschitz constant is denoted by Lip : [0, ]. It is finite, if u Lip(). For u L 2 (m ) the Cheeger energy is defined by (5) 2Ch (u) = liminf (Lipv) 2 dm v u. L 2 If Ch (u) <, we say u D(Ch ) that is the W 1,2 -Sobolev space and we also use the notation D(Ch ) = W 1,2 (,m ). If Ch (u) <, then (6) 2Ch (u) = u 2 wdm

5 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 5 where u w L 2 (m ) is the minimal weak upper gradient of u. The definition can be found in [AGS14b]. W 1,2 (,m ) equipped with the norm u 2 W 1,2 = u 2 L 2 + u 2 L 2 becomesabanachspace. Sincethetheminimalweakuppergradientisalocal,there is also a well-defined space of local Sobolov functions W 1,2 loc (,m ). The Cheeger energy is convex and lower semi-continuous but it is not a quadratic form in general. A metric measure space is called infinetisimal Hilbert if Ch is quadratic. Definition 2.3 ([EKS, AGS14b, Gig]). A metric measure space (,d,m ) satisfies the (reduced) Riemannian curvature-dimension condition RCD (K,N) if (,d,m ) is infinitesimal Hilbertian and satisfies the condition CD (K,N). If satisfies a Riemannian curvature-dimension condition, Ch is a strongly local and regular Dirichlet form and the set of Lipschitz functions in W 1,2 () is dense in W 1,2 () with respect to W 1,2. There is a bilinear and symmetric map, : W 1,2 (,m ) W 1,2 (,m ) L 1 (m ) where u, u = u 2. For the rest of the article we assume that is infinitesimal Hilbertian. Theorem 2.4 (Generalized Bonnet-Myers Theorem). Assume that a metric measure space (,d,m ) satisfies RCD (K,N) for some K > 0 and N > 1. Then the diameter of (,d ) is bounded by π N 1 K. The theorem is corollary of results of Cavalletti/Sturm and Ohta[Oht07a, CS12]. One can define a self-adjoint, negative-definite operator (L,D 2 (L )) on L 2 (m ) via integration by parts. Its domain is D 2 (L ) = { u D(E ): v L 2 (m ) : (v,w) L 2 (m ) = E (u,w) w D(E ) }. We set v =: L u. D 2 (L ) is dense in L 2 (m ) and equipped with the topology given by the graph norm. L induces a strongly continuous Markov semi-group (P t ) t 0 on L 2 (,m ). The correspondence between form, operator and semigroup is standard (see [FOT11]). The Γ 2 -operator is defined by 2Γ 2 (u,v;φ) = u, v L φdm for u,v D(Γ 2 ) and φ D + (L ) where and [ u, L v + v, L u ]φdm D(Γ 2 ) := { u D(L ) : L u W 1,2 (m ) } D + (L ) := { φ D 2 (L ) : φ,l φ L (m ),φ 0 }. We set Γ 2 (u,u;φ) = Γ 2 (u;φ). Definition 2.5 (Bakry-Emery curvature-dimension condition). Let K R and N [1, ]. We say that Ch satisfies the Bakry-Emery curvature-dimension condition BE(K,N) if for every u D(Γ 2 ) and φ D + (L ) Γ 2 (u;φ) K u 2 φdm + 1 (7) (L u) 2 φdm. N The implications BE(K,N) BE(K,N ) BE(K, ) for N N hold.

6 6 CHRISTIAN KETTERER Theorem 2.6 (Bakry-Ledoux gradient estimate, [AGS]). The Bakry-Emery condition BE(K,N) with K R, N [1, ] is equivalent to the following gradient estimate. For any u W 1,2 (m ) and t > 0, P t u belongs to W1,2 (m ) and we have (8) P t u e 2Kt NK (L P t u) 2 e 2Kt P t u 2 m -a.e. in. Proof. The proof of the theorem in this form can be found in [AGS]. Definition 2.7 ([AGS14b]). Let (Y,d Y ) be a complete and separable metric space, andlete : Y R { }belowersemi-continuousfunction, κ Randγ : (0, ) D(E) be a locally absolutely continuous curve where D(E) = {y Y : E(y) < }. We say γ is a κ-gradient flow curve for E in the evolutional variational inequality sense (evi κ ) if 1 d 2dt d Y(γ(t),y) 2 + κ 2 d Y(γ(t),y) 2 E(y) E(γ(t)) for L 1 -a.e. t (0, ) for any y Y. We say the gradient flow curve starts in y 0 if γ(t) y 0 if t 0. Proposition 2.8 ([AGS14b]). Consider E and κ as in the previous definition. Assume for every y 0 D(E) there exists a a evi κ gradient flow curve γ starting in y 0. Then E is κ-convex along all geodesics that are contained in D(E). Theorem 2.9. Let (,d,m ) be a metric measure space such that m is finite on bounded sets. We assume the growth condition (4). Then the following two statements are equivalent: (1) (,d ) is a length space and for any µ 0 P 2 (,d,m ) there is a evi κ gradient flow curve of Ent starting in µ 0. (2) (,d,m ) satisfies RCD(κ, ). Assumption ( = suppm,d,m ) is a geodesic metric measure space. Every u D(Ch ) with u w 1 a.e. admits a 1-Lipschitz version ũ. This regularity assumption is always satisfied for RCD-spaces. Theorem 2.11 ([AGS, EKS]). Let K R and N [1, ]. Let (,d,m ) be a metric measure space that satisfies the condition RCD (K,N). Then (1) BE(K,N) holds for (Ch,D(Ch )). Moreover, if (,d,m ) is a metric measure space that is infinitesimal Hilbertian, satisfies the Assumption 2.10 and (Ch,D(Ch )) satisfies the condition BE(K,N), then (2) (,d,m ) satisfies CD (K,N), i.e. the condition RCD (K,N). Remark In the setting of RCD(K,N)-spaces with finite N, it is know that the semi-group P t is L 2 -L -ultra-contractive (see [AGS14b, Proposition 4]). Theorem Let be a metric measure space that satisfies RCD (K,N) for K R and N > 1. Then it follows for all x,y that { } d (x,y) = sup u(x) u(y) : u W 1,2 loc () such that u L ().

7 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 7 3. Hessian lower bounds and convexity For the rest of the article let (,d,m ) be metric measure space that satisfies the Riemannian curvature-dimension condition RCD(K,N) for K > 0 and N 1. We introduce another function space. D = { f D(L ) L (m ) : f L (m ) & L f W 1,2 (m ) } By definition D D(Γ 2 ). In particular, u is Lipschitz continous. Savaré proved in [Sav14] the following implication: u D = u 2 W 1,2 (m ) L (m ) We also set D(H) = { u W 1,2 (m ) : u W 1,2 (m ) } For u D(H) we can define the Hessian. That is a bilinear, symmetric operator on D. H[u] : D D L 1 (m ) H[u](f,g) = 1 2 ( f, u, g + g, u, f u, f, g ) We say H[u] K for some constant K R if H[u](f,g) K f, g for any f,g D. In[Gig]GiglistudiedthepropertiesofSobolevfunctionsf W 1,2 loc ()thatadmit a measure-valued Laplacian. He gave a definition that can be localized easily. We briefly present his approach. We assume the space is compact. In this case Gigli s definition simplifies. For the general definition we refer to Definition 4.4 in [Gig]. Definition 3.1 ([Gig]). Let Ω be an open subset in. We say that u W 1,2 loc () is in the domain of the Laplacian in Ω, u D(L,Ω) if there exists a signed Radon measure µ =: L Ω u on Ω such that for any Lipschitz function f with suppf Ω and Ω Ω open, it holds f, u dm = fdµ. Ω Ω The set of such test functions f is denoted by Test(Ω). There is also the following integration by parts formula (Lemma 4.26 in [Gig]). If u D(L, Ω) such that L Ω u = hdm for h L 2 loc (m Ω ), then for every v W 1,2 () with support in Ω it holds Ch (u,v) = u, v dm = vhdm. Ω Ω Hence, if Ω =, in this case we have L u = L u and the definition is consistent with the previous definition that comes from Dirichlet form theory. Additionally, the definition is also consistent with the notion of measure-valued Laplacian that is used by Savaré in [Sav14] (at least if we assume the space is compact) where he uses the notation M = D(L,).

8 8 CHRISTIAN KETTERER Remark 3.2. A direct consequence of Definition 3.1 is the following global-to-local property. Ω Ω open & u D(L,Ω) = u Ω D(L,Ω ) & (L Ω u) Ω = L Ω (u Ω ). Lemma 3.3 (Lemma 3.4 in [Sav14]). If Ch satisfies BE(κ, ) then for every u D we have that u 2 M with 1 2 L u 2 u, L u m κ u 2 m Moreover, D is an algebra (closed w.r.t. pointwise multiplication) and if f = (f i ) n i=1 [D ]n then Φ(f) D for every smooth function Φ : Rn R with φ(0) = 0. As consequence of the previous lemma Savaré introduced the measure-valued Γ 2 for any u D. Γ 2 (u) := 1 2 L u 2 u, L u m is a finite Borel measure that has finite total variance. We denote by γ 2 L1 (m ) its density with respect to m. It satisfies (9) γ 2 (u) κ u N (L ) 2 Lemma 3.4 ([Sav14]). Let f = (f i ) n i=1 (D ) n and let Φ C 3 (R) with Φ(0) = 0. Then γ 2 (Φ(f)) = i,j Φ i (f)φ j (f)γ 2 (f i,f j ) +2 i,j,kφ i (f)φ j,k (f)h[f i ](f j,f k ) (10) + i,j,k,hφ i,k (f)φ j,h (f) f i, f j f k, f h. Theorem 3.5. Let (,d,m ) satisfy RCD (K,N) for K > 0 and N > 1. Consider u D(L ) such that L u = KN N 1 u. Then u D K and H[u](f,g) = N 1 u f, g for any f,g D, and K N 1 u2 + u 2 = const m -a.e.. Proof. The Bakry-Ledouxgradientestimate yiels immediately that u D. Hence H[u](f,g) is well-defined for all f,g D. It follows that u 2 M and γ2 (u) exists. Now, since there is the Γ 2 -estimate (9) and the statement of the previous lemma, we can perform exactly the same calculations as in the proof of Theorem 3.4 in [Sav14] to obtain a self-improved, sharp Γ 2 -estimate that also involves terms depending on the dimension. These are the same calculations that Sturm did in [Stub] where the existence of a nice functional algebra is assumed. where [ H[u](g,f) 1 N g, f L u ] 2 C 2 [ γ 2 (u) 1 N( L u ) 2 d K u 2 C := N 2 N g, f 2 + g 2 f 2 > 0 m -a.e. ]

9 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 9 if N > 1. Integration with respect to m yields 2 [ ] H[u](g,f)+ K C N 1 g, f u 2dm γ2 (u)dm K u 2 dm 1 (L u) 2 dm N = 0+ (L u) 2 dm +K ul udm 1 (L u) 2 dm N [ = K 2 N 2 (N 1) 2 K2 N N 1 K2 N (N 1) 2 ] u 2 dm = 0. Hence, we obtain the first result. Since u D, we know that K N 1 u2 + u 2 W 1,2 (m ). We observe that Hence H[u](u,g) = 1 2 g, u, u = K N 1 u u, g. ( K N 1 u2 + u 2, g = K N 1 2u u, g + u 2, g = 0 for any g D. It implies K N 1 u2 + u 2 is constant. Theorem 3.6. Let (,d,m ) be a compact metric measure space that satisfies RCD(κ,N) with N [1, ). Consider V D(H) C 0 (). Then H[V] K if and only if V is K-convex. Proof. : Since (,d,m ) satisfies RCD(κ,N), Ch satisfies BE(κ, ): u 2 L φ dm u, L u φ dm +κ u 2 dm for any pair (u,φ) with φ 0 and φ D (L ) and u D(Γ 2 ). H[V] K implies that V, g, g ϕdm 1 g, g, V ϕdm K g 2 ϕdm 2 for any g D and ϕ D+ ). We observe that V is Lipschitz since V (L L (). We will show that the transformed space (,d,m,v ) with dm,v := e V dm satisfies the condition RCD(κ+K, ). Since is assumed to be compact there is δ > 0 such that δ e V δ 1, one can check that W 1,2 (m ) = W 1,2 (m,v ), D(L ) = D(L,V ), D(Γ 2 ) = D(Γ,V 2 ), D = D,V and L,V u = L u V, u for all u D(L ). In particular, φe V D+ (L ) for φ D+ (L ). Consider Ξ := Pt [D(L,V )] & Ξ + := t t>0 t>0p [ D + (L,V ) ] The curvature condition for implies that Ξ D and Ξ + D+ (L ) D. In particular, g = u, u,l u L (m ) if u Ξ or u Ξ +. Hence, we can compute Γ,V 2 (u,φ) for u Ξ and φ Ξ +. Γ,V 2 (u;φ) = 1 2 u 2 L,V φdm,v } {{ } =:(I) u, L,V u φdm,v } {{ } =:(II)

10 10 CHRISTIAN KETTERER Since u W 1,2 (m ), we can continue as follows. (I) = u 2, φ e V dm = u 2, φe V dm + u 2, e V φdm = u 2 L ( φe V) dm u, u, V φe V dm (II) = u, L u φe V dm V, u, u φe V dm Hence 1 2 (I) (II) κ u 2 φdm,v + H[V](u,u)φdm,V (κ+k) u 2 dm In the next step we extend the previous estimate from Ξ to D(Γ,V 2 ). Let u D(Γ,V 2 ) D(L,V ). Then Pt u Ξ. P t u u in ) if t 0. To see that D(L,V we observe L,V Pt u u L,V L 2 L (Pt u u) L + V }{{} 2 L 2 P t u u L 2. }{{} 0 0 Hence, we can take the limit in Γ,V 2 (Pt u;p s φ) 0 if t,s 0 (first t then s), and we obtain Γ,V 2 (u;φ) 0 for u D(Γ,V 2 ) and φ D (L,V ). For instance, this works precisely like in paragraph 3. and 4. of the proof of Theorem 3.23 in [Ket]. Hence, Ch V, satisfies BE(κ + K, ) and by the equivalence result from [AGS] (,d,e V dm ) satisfies RCD(κ+K, ). In the last step we use the proof of Sturm s gradient flow result from [Stua]. Roughly speaking, a time shift transformation applied to Ch makes the diffusion part of the entropy gradient flow of (,d,m,v ) disappear. Let us briefly sketch the main idea. Our situation is simpler since the underlying space is compact. Let α > 0. Consider α = (,α 1 d ) and V α = V/α 2. It is easy to check that u α = α u. Then H[V α ] K with respect to α (one can check that H [V](u) = α 2 H α[v α ](u)). ( α,m ) satisfies RCD(α 2 κ, ). By the previous part of the proof, it follows that ( α,m α,v α) satisfies RCD(α 2 κ+k, ). Hence, there exists a gradient flow curve µ t of Ent m α,v α that satisfies 1 d 2α 2 dt d W(µ t,ν) 2 + α2 κ+k α 2 d W (µ t,ν) 2 Ent m α 2,V α(ν) Ent m α,v α(µ t ). One can easily check that Ent m α,v α(µ) = Ent m α(µ)+ V α dµ = Ent m (µ)+ α 2 Vdµ. If we multiply by α 2 and let α 0, a subsequence of (µ (α) t ) α converges to a evi K gradient flow curve of Vdµ. This follows by compactness of the underlying space. By an estimate for the moments (see Lemma 3 in [Stua]) the evolution is non-diffusive and the contraction property guarantees uniqueness for any starting point. Hence, almost everywhere this yields unique evi K gradient flow curves in the underlying space for m -a.e. starting point. And by the contraction estimate again it is true for everypoint. It follows that V admits unique evi K gradient flow curves for any starting point p that implies V is K-convex by Proposition 2.8.

11 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 11 : ( α,e V α m ) satisfies RCD(α 2 κ + K, ) [AGS14b]. Hence, its Cheeger energy satisfies BE(α 2 κ+k, ) [AGS]. Since V D, we can compute Γ α,m α,v α 2 (u;φ) = Γ 2 (u;φe V α )+ H[V α ](u) φdm,v α... }{{} =α 2 H[V ](u) for any u D = Dα and for any suitable φ > 0. The result follows if multiply the previous inequality by α 2 and let α 0. Corollary 3.7. Let (,d,m ) be a metric measure space that satisfies the condition RCD (K,N) for K > 0 and N (1, ). Assume there is u D 2 (L ) such that L u = KN N 1u. Then u is K/(N 1)u-affine. More precisely, for any geodesic γ : [0,1] we have u(γ(t)) = σ (1 t) K,N 1 ( γ )γ(0)+σ(t) K,N 1 ( γ )γ(1). Proof. First, we replace d by N 1 K d = d. The resulting metric measure space := (,d,m ) satisfies RCD (N 1,N). Then we have L u = Nu. We also observe that u D(Γ 2 ) D. (Con 0 ( ),r N dr dm ) = Con N,0 ( ) is the euclidean N-cone over (for instance, see [Ket] for the definition). Then Con N,0 () is a metric measure space that satisfies RCD(0,N + 1) by [Ket]. Let O Con N,1 ( ) be the origin. Consider V = u 1 u 2 = r u W 1,2 loc (Con N,1()). It is possible to calculate V explicetly by Proposition 3.4 in [Ket]. V 2 = (u 1) 2 u u2 1 r 2 u 2 2 = u 2 + u 2 = const We can conclude that V D Con N,0( ) (H), and since Ch Con N,0( ) is strongly local, H[V] = 0. We set B R (O) = [0,R] N r Con N,0 ( ). By definition of the cone metric B R (O) is a geodesically convex subset of Con N,0 ( ) and therefore it satisfies RCD(0,N +1) as well. Since is local, H[V] is local as well and it follows ConN,0( ) u D = u BR(O) D B R(O) Hence H[V BR(O)] = H[V] BR(O) = 0 and we can prove convexity of V BR(O) by Theorem 3.6. Since B R (O) is geodesicallyconvex, V is convex. The same reasoning yields that V is convex. Hence, V is affine. More precisely, for each geodesic γ : [0,1] Con N,1 () we have (11) V γ(t) = (1 t)v γ(0)+tv γ(1). BydefinitionofV andcon 0 ( )thisyieldsthatuisu-concaveon. Moreprecisely, for any geodesic γ : [0,1] we have (u γ) + γ 2 u γ = 0. Finally, if we transform back into, this is the statement.

12 12 CHRISTIAN KETTERER 4. A gradient comparison result Example 4.1. We introduce 1-dimensional model spaces. For K > 0, N 1 and some interval [a,b] I K/(N 1) let us consider cos K/(N 1) : [a,b] R 0 where [ ] I K/(N 1) = 2 π (N 1)/K, π 2 (N 1)/K. The metric measure space ([a,b],m K,N ) with dm K,N = cos N 1 K/(N 1) rdr satisfies the condition RCD (K,N) and for u C ([a,b]) with Neumann boundary condition the generalized Laplacian is given by L I K/(N 1) u = d2 dr 2u Ksin K/(N 1) cos K/(N 1) d dr u. If [a,b] = I K/(N 1), one can check that sin K/(N 1) : I K/(N 1) R is an eigenfunction for the eigenvalue KN N 1. If u is an eigenfunction of ([a,b],m K,N) for the eigenvalue λ, then the classical Lichnerowicz estimate tells λ 1 KN N 1. In the following we often write v = c sin K/(N 1) for some c = const > 0. Remark 4.2. By the previous theorem we have u 2 = const K N 1 u2 m -almost everywhere. It follows that actually u 2 D 2 (L ) and L u 2 = K N 1 L u 2 = K N 1 ul u u 2 = K2 N (N 1) 2 u 2 u 2 W 1,2 (). By ultra-contractivity of P t, by the Bakry-Ledoux gradient estimate and since u is an eigenfunction we know that u 2 2 = ( K N 1 u2 ) 2 = ( 2K N 1) 2u 2 u 2 CP t u 2 L (m ) for some constant C = C(t) > 0. This yields L u 2 u u + u 2 L (m ). and it follows that L u 2 is Lipschitz continuous by the regularity properties of RCD-spaces (see Assumption 2.10). The next theorem is the main result of [GM13] (see also [Gig]). It shows that Definition 3.1 is compatible with local minimizers of the Cheeger energy. For what follows we assume that satisfies a local 2-Poincareé inequality and has a doubling property. These properties are fullfilled if satisfies a curvature-dimension condition. Ω is an open subset of. We say that u is a sub-minimizer of Ch on Ω if u 2 dm (u+f) 2 dm for all non-positive f Test(). Ω Ω Theorem 4.3 (Theorem 4.3 in [GM13]). Let u D(L,Ω). Then the following statements are equivalent: (i) u is sub-harmonic: u, f dm 0. Ω (ii) u is a sub-minimizer of Ch on Ω A very important consequence of this characterization is the strong maximum principle that was established for sub-minimizers by Björn/Björn in [BB11].

13 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 13 Theorem 4.4 (Strong maximum principle). Let u be a sub-minimizer of Ch in Ω, and Ω has compact closure. If u attains its maximum in Ω, then u is constant. The maximum principle is the main ingridient in the proof of the following theorem. Theorem 4.5. Let (,d,m ) satisfy RCD (K,N) for N > 1. Consider u D(L ) as in the previous theorem. Then u, u (v v 1 ) 2 (u). where v : I K/(N 1) R is an eigenfunction for the eigenvalue λ 1 = KN N 1 with Neumann boundary conditions of the 1-dimensional model space (I K/(N 1),m K,N ) such that [minu,maxu] [ minv,maxv]. Proof. We follow ideas of Kröger [Krö92] and Bakry/Qian [BQ00]. If we consider Ψ C (R 2 ) with bounded first and second derivatives, and u 1,u 2 D, then we have Ψ(u 1,u 2 ) D(L ) and we can compute L Ψ(u 1,u 2 ) explicetly. More precisely, we have that 2 2 L Ψ(u 1,u 2 ) = Ψ i (u 1,u 2 )L u i + Ψ i,j (u 1,u 2 ) u i, u j. i=1 i,j=1 One can actually check that Ψ(u,v) D. In particular, Ψ(u,v) D is Lipschitz continuous. We set u 1 = u, u 2 = u 2 and Ψ(u 1,u 2 ) = ψ(u 1 )(u 2 φ(u 1 )) for non-negative auxiliaryfunctionsψ,φ C ([minu,maxu])withboundedfirstandsecondderivatives. We obtain L Ψ(u, u 2 ) = [ ψ (u) u 2 ψ (u)φ(u) ψ(u)φ(u) ] L u (12) We apply the result of Theorem 3.5: +ψ(u)l u 2 +2ψ (u) u, u 2 + [ ψ (u) u 2 ψ (u)φ(u) 2ψ (u)φ (u) ψ(u)φ (u) ] u 2. u, u 2 u (13) = 2λ 1 N u 2. It is crucial and not available in the case when the eigenvalue is not sharp. Let us remark that at this point Bakry/Qian in [BQ00] use the fact that p is a critical point of L Ψ(u, u 2 ). Since u is an eigenfunction, we can see from Remark 4.2 that L Ψ(u, u 2 ) D. In particular, L Ψ(u, u 2 ) is Lipschitz-continuous. Claim: If Ψ(u, u 2 ) attains its maximum in p, then 0 L Ψ(u, u 2 )(p). Proof of the claim: We set Ψ(u, u 2 ) = f. The claim follows from the maximum principle (see Theorem 4.4 above). First, the Laplacian L f coincides with the notion of measure-valued Laplacian from Definition 3.1. Therefore, L f can be localizedtoan open subsetω. Assume L f(p) > 0. Then by Lipschitzcontinuouity of L f there exists an open ball B δ (p) such that (L f) Bδ (p) c > 0. By the localization property we can say that f Bδ (p) is sub-harmonic, that is 0 fgdm = f, g dm B δ (p) B δ (p) for any non-positive g Test(). By Theorem 4.3 f Bδ (p) is a sub-minimizer of the Cheeger energy in B δ (p). Finally, for these minimizers the strong maximum principle holds (Theorem 4.4). Hence, f Bδ (p) is constant. But this contradicts

14 14 CHRISTIAN KETTERER (L f) Bδ (p) > 0. In the next step we consider L u 2 2K u N (L u) 2 +2 u, L u (14) = 2K u N λ2 1u 2 2λ 1 u 2 and plug (14) also into (12). We set F(u) = Ψ(u, u 2 ) = ψ(u)( u 2 φ(u)), u 2 = F(u)/ψ(u) + φ(u), and φ = (v (v) 1 ) > 0. We choose v such that [minu,maxu] (minv,maxv). Therefore, we have that φ C ([minu,maxu]). A straightforward computation yields L F(u) F 2 ( ψ (15) ψ ) +F ( ψ ψ φ ψ ψ ( 4λu 1 N +2φ +λu ) ) φ 2λ+2K +ψ ( φ λu+2kφ ψ2λφ+ 2 N λ2 u 2 φ φ ) ψ ( 4λu 1 N φ+2φφ ). where F = F(u), ψ = ψ(u) and φ = φ(u) ect. In particular, the previous computation holds u = v and any admissible ψ. In this case we have F = 0 and equality in (15). Consequently, the last line of the previous equation is 0. Additionally, for any x we can choose ψ such that ψ(u(x)) = ǫ for some arbitrarily small ǫ > 0 and ψ (u(x)) = c > 0. Therefore, it follows that 2λx 1 N = φ (x) for any x [minu,maxu]. Hence, we obtain L F(u) 1 [ ψ ] [ (u) ψ F 2 ] (u) (u)+ ψ(u) ψ(u) ψ(u) φ(u) ψ (u) (16) ψ(u) λ 1u F(u). }{{}}{{} =:g(ψ) =:h(ψ) If there is a positive ψ C (R) such that g,h > 0 on [minu,maxu], we can conclude that F 0. Otherwise F(p) > 0 and (16) implies that L F(u)(p) > 0. But this contradicts the previous claim. Consider H(t) = ψ(v(t)) and compute its second derivative H (t) = ψ (v(t))(v (t)) 2 +ψ (v(t))v (t) = ψ (v(t))φ(v(t)) ψ (v(t))λ 1 v(t). Therefore, if we choose H = cosh, we see that ψ(u) = cosh(v 1 (u)) > 0 solves h(ψ) = 1 > 0. We also compute that ] ψ 1 (u) = [cosh(v 1 (v v 1 ) 2 (u))+sinh(v 1 (u)) u v 1 v v 1 on [minu,maxu]. Hence, g(ψ) > 0 on [minu,maxu]. Finally, we obtain the statement for general v if we replace v by cv for c > 1. Then let c 1. Corollary 4.6. The statement of Theorem 1.1 holds provided minu = maxu. Proof. First, assume N > 1. The previous theorem implies that v 1 u 2 1 where v = minu sin K/(N 1) : I K/(N 1) R. Then, the previous Theorem and Theorem 2.13 yield diam = π (N 1)/K. Hence, attains the maximal diameter and we can use the maximal diameter theorem from [Ket].

15 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 15 If N = 1, we can argue as follows. The curvature-dimension condition implies that the Hausdorff-dimension is 1. Even more, the space consists of two points that have maximal distance and at most 2 geodesics that connect them. Hence, isomorphic to c S 1 for some 0 c 1. But the existence of u such that L u = u forces c to be equal 1. Corollary 4.7. Let (,d,m ) satisfy RCD (K,N) for N > 1. Consider u D(L ) as in the previous theorem. Then u, u (w w 1 ) 2 (u). where w : [a,b] R is an eigenfunction for the eigenvalue λ 1 = KN N 1 of the generalized Laplace operator L K,N with Neumann boundary conditions for some 1-dimensional model space ([a,b],m K,N ) with K K and N N such that [minu,maxu] [ minv,maxv]. Proof. Weobservethat(I K,N,m K,N )alsosatisfiesrcd (K,N ). ThenBakry/Qian pove in [BQ00] (Theorem 8) that (v v 1 ) 2 (u) (w w 1 ) 2 (u) where v is an eigenfunction of (I K,N,m K,N ) for the eigenvalue λ 1 = KN N 1 such that [minv,maxv] [minw,maxw]. Together with the previous theorem this yields the result. 5. Proof of the main theorem As we already mentioned the statement of the main theorem would already be true if we had minu = maxu. In the last step we establish this identity. Again, we will apply ideas of Kröger [Krö92] and Bakry/Emery [BQ00], and the situation simplifies significantly since λ 1 = KN N 1. First, we have the following Theorem. Theorem 5.1. Let and u be as in Theorem 1.1. Consider the model space ([a,b],m K,N ) for some interval [a,b] and a eigenfunction w for the eigenvalue λ 1 = KN N 1 where K < K and N > N. If [minu,maxu] [minw,maxw], then ( ) 1 R(c) = )( vdm K,N {u c}udm {v c} is non-decreasing on [minu,0] and non-increasing on [0,maxu]. Proof. For the proof we can follow precisely the proof of the corresponding result in [BQ00]. We only need invariance of m with respect to P t and Corollary 4.7. Corollary 5.2. Let u and w be as in the previous theorem. Then there exists a constant c > 0 such that m (B r (p)) cr N for sufficiently small r > 0 where p such that u(p) = minu. Proof. We know that minu 0. Let r 2 [minu, 1 2 ]. K/(N 1)-affinity of u implies B kr (p) { u r 2} for some constant k > 0. Therefore m (B kr (p)) udm C {u r 2 } dm K,N {v r 2 }

16 16 CHRISTIAN KETTERER where C = {u 0} udm / {v 0} dm K,N. For the same reason there is a constant K > 0 such that { v r 2} B Kr ( 2 π K/(N 1)) in IK/(N 1). It follows that m (B kr (p)) m K,N (B Kr ( π 2 K/(N 1))) cr N that implies the assertion for some constant c > 0. Theorem 5.3. Consider and u as in Theorem 1.1. Consider v K,N that solves the following ordinary differential equation (17) v K sin K /(N 1) v +λ 1 v = 0, v( π cos K ) = minu & N K /(N v ( π K ) = 0. 1 N 1 1) { } Let b(k,n K ) := inf x > π N 1 : w (x) = 0. Then maxu v K,N (b(k,n)). Proof. Assume the contrary. If maxu < v(b). Then we consider a solution w of (17) with parameters K < K and N > N. By definition w is an eigenfunction of ([ π K N 1,b],m K,N ) (with Neumann boundary conditions). Since the solution of (17) depends continuously on the coefficients, w still satisfies max u < w(b) provided (K,N ) is close enough to (K,N). Then, we can apply Corollary 5.2. But on the other hand, by the Bishop-Gromov volume growth estimate 0 < C m (B r (p)) r N Thus we have a contradiction. < m (B r (p)) r N for r 0. Proof of the main theorem. Consider and u as in Theorem 1.1. We have to check that minu = maxu. Assume minu maxu. Otherwise replace u by u. The previous corollary tells us that maxu v K,N (b(k,n)) where v K,N is a solution of (17) for K and N. In this case b(k,n) = π K and v N 1 K,N = minu sin K/(N 1). Therefore maxu = minu. 6. Final remarks We want to make a few additional comments on the non-riemannian case. The Lichnerowicz spectral gap estimate also holds in the case when (,d,m ) just satisfies CD(K,N) for K > 0 and N 1. One can ask if we obtain a similar rigidity results in this situation. However the failure of a metric splitting theorem for non-riemannian CD-spaces indicates that one can not hope for a metric Obata theorem for non-riemannian spaces. But a topological rigidity result might be true. Indeed, for weighted Finsler manifolds that satisfy a curvature-dimension condition CD(K,N) for K > 0 and N 1, the following theorem is an easy consequence of results by Ohta [Oht07b] and Wang/ia [W13]. Theorem 6.1. Let (,F,m ) be a weighted Finsler manifold that satisfies the condition CD(K,N) for K > 0 and N > 1. Assume there is u C () such that L u = KN N 1 u where L is the Finsler Laplacian with respect to m. Then, there exists a Polish space (,m ) such that the measure space (,m ) is isomorphic to a topological suspension over.

17 OBATA S RIGIDITY THEOREM FOR METRIC MEASURE SPACES 17 Proof. Theorem 3.1 in [W13] implies that Lip(sin 1 (u)) 1. Hence, there are points x,y such that d F (x,y) = π, and we can apply Theorem 5.5 from [Oht07b]. Remark 6.2. The previous Theorem suggests that a topological eigenvalue rigidity result may also hold in a more general class of metric measure spaces. However, the recent result of Rajala with the author [RK] tells that a kind of non-branching assumption seems to be necessary. References [AGS] Luigi Ambrosio, Nicola Gigli, and Giuseppe Savaré, Bakry-Emery curvature-dimension condition and Riemannian Ricci curvature bounds, [AGS14a], Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math. 195 (2014), no. 2, MR [AGS14b], Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J. 163 (2014), no. 7, MR [BB11] Anders Björn and Jana Björn, Nonlinear potential theory on metric spaces, EMS Tracts in Mathematics, vol. 17, European Mathematical Society (EMS), Zürich, MR [BQ00] Dominique Bakry and Zhongmin Qian, Some new results on eigenvectors via dimension, diameter, and Ricci curvature, Adv. Math. 155 (2000), no. 1, MR (2002g:58048) [BS10] Kathrin Bacher and Karl-Theodor Sturm, Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, J. Funct. Anal. 259 (2010), no. 1, MR (2011i:53050) [CS12] Fabio Cavalletti and Karl-Theodor Sturm, Local curvature-dimension condition implies measure-contraction property, J. Funct. Anal. 262 (2012), no. 12, MR [EKS] 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, [FOT11] Masatoshi Fukushima, Yoichi Oshima, and Masayoshi Takeda, Dirichlet forms and symmetric Markov processes, extended ed., de Gruyter Studies in Mathematics, vol. 19, Walter de Gruyter & Co., Berlin, MR (2011k:60249) [Gig] Nicola Gigli, On the differential structure of metric measure spaces and applications, [GM13] Nicola Gigli and Andrea Mondino, A PDE approach to nonlinear potential theory in metric measure spaces, J. Math. Pures Appl. (9) 100 (2013), no. 4, MR [Ket] Christian Ketterer, Cones over metric measure spaces and the maximal diameter theorem, [Krö92] Pawel Kröger, On the spectral gap for compact manifolds, J. Differential Geom. 36 (1992), no. 2, MR (94g:58236) [LV07] John Lott and Cédric Villani, Weak curvature conditions and functional inequalities, J. Funct. Anal. 245 (2007), no. 1, MR (2008f:53039) [LV09], Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169 (2009), no. 3, MR (2010i:53068) [Oba62] M. Obata, Certain conditions for a riemannian manifold to be isometric with a sphere, J. Math. Soc. Jpn. 14 (1962), no. 14, [Oht07a] Shin-ichi Ohta, On the measure contraction property of metric measure spaces, Comment. Math. Helv. 82 (2007), no. 4, MR (2008j:53075) [Oht07b] Shin-Ichi Ohta, Products, cones, and suspensions of spaces with the measure contraction property, J. Lond. Math. Soc. (2) 76 (2007), no. 1, MR (2009a:53069) [RK] Tapio Rajala and Christian Ketterer, Failure of topological rigidity results for the measure contraction property,

18 18 CHRISTIAN KETTERER [Sav14] Giuseppe Savaré, Self-improvement of the Bakry-Émery condition and Wasserstein contraction of the heat flow in RCD(K, ) metric measure spaces, Discrete Contin. Dyn. Syst. 34 (2014), no. 4, MR [Stua] Karl-Theodor Sturm, Gradient flows for semi-convex functions on metric measure spaces - Existence, uniqueness and Lipschitz continuouity, [Stub] Karl-Theodor Sturm, Ricci Tensor for Diffusion Operators and Curvature- Dimension Inequalities under Conformal Transformations and Time Changes, [Stu06], On the geometry of metric measure spaces. I, Acta Math. 196 (2006), no. 1, MR (2007k:53051a) [W13] Guofang Wang and Chao ia, A sharp lower bound for the first eigenvalue on Finsler manifolds, Ann. Inst. H. Poincaré Anal. Non Linéaire 30 (2013), no. 6, MR address: christian.ketterer@math.uni-freiburg.de