arxiv: v3 [math.dg] 26 Sep 2018

Transcription

1 Bakry-Émery conditions on almost smooth metric measure spaces Shouhei Honda September 27, 208 ariv: v3 [math.dg] 26 Sep 208 Abstract In this short note, we give a sufficient condition for almost smooth compact metric measure spaces to satisfy the Bakry-Émery condition BE(K, N). The sufficient condition is satisfied for the glued space of any two (not necessary same dimensional) closed pointed Riemannian manifolds at their base points. This tells us that the BE condition is strictly weaker than the RCD condition even in this setting, and that the local dimension is not constant even if the space satisfies the BE condition with the coincidence between the induced distance by the Cheeger energy and the original distance. In particular, the glued space gives a first example with a Ricci bound from below in the Bakry-Émery sense, whose local dimension is not constant. We also give a necessary and sufficient condition for such spaces to be RCD(K, N) spaces. Contents Introduction 2 BE and RCD spaces 3 3 Almost smooth metric measure space 5 3. Constant dimensional case Nonconstant dimensional case Appendix 6 Introduction Let (, d,m) be a compact metric measure space, that is, (, d) is a compact metric space with suppm = and m() <. There are several definitions of lower Ricci bounds on (, d, m), whose studies are very quickly, widely developed now. We refer to, [LV09] by Lott-Villani, [St06] by Sturm, and [AGS4b] by Ambrosio-Gigli-Savaré, as their pioneer works. In this paper, we forcus on two of them. One of them is the Bakry-Émery ( BE ) condition [BE85] by Bakry-Émery, denoted by BE(K, N), the other is the Riemannian curvature dimension ( RCD ) condition [AGS4b] by Ambrosio-Gigli-Savaré (in the case when N = ), [G3] by Gigli (in the case when N < ), denoted by RCD(K, N). Both notions give us meanings that the Ricci curvature of (, d,m) is bounded below by K, Tohoku University, shonda@m.tohoku.ac.jp

2 and the dimension of (, d,m) is bounded above by N in synthetic sense. The BE(K, N) condition is roughly stated by: 2 f 2 ( f)2 N + f, f + K f 2 (.) holds in a weak form for all nice functions f on (Definition 2.). It is known that if (, d) is a n-dimensional smooth Riemannian manifold (M n, g) and m is the Riemannian (or equivalently, the Hausdorff) measure, then, the BE(K, N) condition (.) is equivalent to satisfying n N and Ric g M n K, and that the BE(K, N) condition is also equivalent to some gradient estimates on the heat flow, so called Bakry-Émery/Bakry-Ledoux gradient estimates. In general, the implication from RCD(K, N) to BE(K, N) is always satisfied. The converse is true under adding a some property, so-called the Sobolev to Lipschitz property, which is introduced in [G3] (Definition 2.2). This property (with BE), in a point of view in geometric analysis, plays a role to get the coincidence between the analytic distance d Ch (that is, the induced distance by the Cheeger energy) and the original (geometric) distance d. Moreover, the RCD condition also implies the Sobolev to Lipschitz property. Thus, the following equivalence is known: RCD(K, N) BE(K, N) + Sobolev to Lipschitz property. (.2) The RHS of (.2) is also called the metric BE(K, N) condition. Thus, to keep the short presentation, we adopt the RHS of (.2) as the definition of RCD(K, N) condition in this paper (Definition 2.2). We refer to, [AGS5] by Ambrosio-Gigli-Savaré, [AMS5], [AMS6] by Ambrosio-Mondino-Savaré, and [EKS5] by Erbar-Kuwada-Sturm for the details. In these observation, more precisely, RCD should be replaced by RCD. However, since the equivalence between RCD and RCD spaces is also recently established in [CM6] by Cavalletti-Milman, we use the notation RCD only for simplicity. In this paper, we discuss the condition: BE(K, N) + d Ch = d. (.3) One of the goals in this paper is to provide an example satisfying (.3), but it is not an RCD space. More precisely, for any two (not necessary same dimensional) closed pointed Riemannian manifolds (M m i i, g i, p i )(m i 2), the glued metric space M m M m 2 2 at their base points with the standard measure is a BE(K, max{m, m 2 }) space, where K := min{inf Ric g, inf Ric g 2 } (Example 3.8). It is easy to check that this metric measure M m M m 2 2 space does not satisfy the Sobolev to Lipschitz property, thus, it is not a RCD(L, ) space for any L R. This tells us that (.3) does not imply the expected Bishop-Gromov inequality (Remark 3.9), and that (.3) does not imply the constancy of the local dimension. In particular, the glued space gives a first example with a Ricci bound from below in the Bakry-Émery sense, whose local dimension is not constant. We point out a very recent result in [BS8] by Bruè- Semola, which states that for any RCD(K, N) space, there exists a unique k such that the k-dimensional regular set R k has positive measure. This generalizes a result of Colding- Naber in [CN2] for Ricci limit spaces to RCD spaces. Thus, we know that the Sobolev- Lipschitz property is crucial to get the constant dimensional property. Note that in [KR5], Ketterer-Rajala constructed a metric measure space with the measure contraction property (MCP), which also characterize Ricci bounds from below in a synthetic sense, but the local dimension is not constant. diferent from RCD spaces. Therefore, in general, MCP and BE spaces are very 2

3 Moreover, we should pay attention to a similar sufficient condition in [AMS6] by Ambrosio-Mondino-Savaré, so-called the local to global property, which states in our compact setting; if (, d) is a geodesic (or equivalently, length) space and there exists an open covering {U i } i I of such that U i and that (U i, d,m Ui ) satisfies the metric BE(K, N) condition, then, (, d,m) satisfies the metric BE(K, N) condition. In fact, the glued example shows that the openness of U i is essential because although U i := M m i i in M m M m 2 2 satisfies the assumptions except for their openness properties, but the glued space does not satisfy the metric BE(K, N) condition for all K, N. In order to justify these, we study almost smooth compact metric measure spaces. See Definition 3. for the definition, which allows us such spaces to have at least the codimension 2 singularities. Thus, compact (Riemannian) orbifolds with the Hausdorff measure are typical examples of them. Then, the main result in this paper is roughly stated as follows; if an almost smooth compact metric measure space satisfies the L 2 -strong compactness condition and satisfies the gradient estimates on the eigenfunctions, then, a lower bound of the Ricci tensor of the smooth part implies a BE condition (Theorem 3.7). By using this, we can give a necessary and sufficient condition for such a space to be a RCD space (Corollary 3.0). The organization of the paper is as follows. In section 2, to keep the short presentation, we give a very quick introduction to calculus on metric measure spaces. In section 3, we study our main targets, almost smooth metric measure spaces, and prove the main results. Acknowledgement. A part of the work is done during the author s stay in au Mathematical Sciences Center (MSC) at Tsinghua University. The author would like to express his appreciation to Guoyi u for his warm hospitality. He is also grateful to MSC for giving him nice environment. He thanks Luigi Ambrosio, Nicola Gigli, Bangxian Han and Aaron Naber for helpful comments. Moreover, He thanks the referee for the careful reading of the manuscript and for the suggestions in the revision. Finally, he acknowledges the supports of the Grantin-Aid for oung Scientists (B), 6K7585, and of the Grant-in- Aid for Scientific Research (B), 8H08. 2 BE and RCD spaces We use the notation B r (x) for open balls and B r (x) for {y : d(x, y) r}. We also use the standard notation LIP(, d), LIP c (, d) for the spaces of Lipschitz, compactly supported Lipschitz functions, respectively. Let us now recall basic facts about Sobolev spaces in metric measure spaces (, d,m), see [AGS4a], [G5a] and [G5b] for a more systematic treatment of this topic. We shall always assume that the metric space (, d) is compact with suppm = and m() < for simplicity. The Cheeger energy Ch = Ch d,m : L 2 (,m) [0, + ] is a convex and L 2 (,m)-lower semicontinuous functional defined as follows: { } Ch(f) := inf lim inf (Lipf n ) 2 dm : f n Lip(, d), f n f n 2 L 2 0, (2.) where Lipf is the so-called slope, or local Lipschitz constant. 3

4 The Sobolev space H,2 (, d,m) then concides with {f : Ch(f) < + }. When endowed with the norm ) /2 f H,2 := ( f 2 L 2 (,m) + 2Ch(f) this space is Banach, reflexive if (, d) is doubling (see [ACDM5]), and separable Hilbert if Ch is a quadratic form (see [AGS4b]). According to the terminology introduced in [G5a], we say that a metric measure space (, d,m) is infinitesimally Hilbertian if Ch is a quadratic form. By looking at minimal relaxed slopes and by a polarization procedure, one can then define a carré du champ Γ : H,2 (, d,m) H,2 (, d,m) L (,m) playing in this abstract theory the role of the scalar product between gradients (more precisely, the duality between differentials and gradients, see [G5a]). In infinitesimally Hilbertian metric measure spaces, the Γ operator satisfies all natural symmetry, bilinearity, locality and chain rule properties, and provides integral representation to Ch: 2Ch(f) = Γ(f, f) dm for all f H,2 (, d,m). We can now define a densely defined operator : D( ) L 2 (,m) whose domain consists of all functions f H,2 (, d,m) satisfying hgdm = Γ(f, h)dm h H,2 (, d,m) for some g L 2 (,m). The unique g with this property is then denoted by f (see [AGS4a]). From the point of view of Riemannian geometry, we will also adopt the following notaion instead of Γ; f, g := Γ(f, g), f 2 := Γ(f, f). We are now in a position to introduce the BE(K, N) condition (see [AMS5], [AMS6] and [EKS5]): Definition 2. (BE spaces). Let (, d,m) be a compact metric measure space, let K R and let N [, ]. We say that (, d,m) is a BE(K, N) space if for all f D( ) with f H,2 (, d,m), Bochner s inequality holds in the weak form, that is, 2 f 2 ( f)2 + f, f + K f 2 N f 2 ϕdm ϕ 2 ( ( f) 2 N + f, f + K f 2 for all ϕ D( ) L (,m) with ϕ 0 and ϕ L (,m). ) dm (2.2) In order to introduce the class of RCD(K, N) metric measure spaces, we follow the Γ-calculus point of view, based on Bochner s inequality, because this is the point of view more relevant in our proofs. However, the equivalence with the Lagrangian point of view, based on the theory of optimal transport first proved in [AGS5] (in the case N = ) and then in [EKS5], [AMS5] (in the case N < ). Moreover, the following definition should be written as RCD (K, N) spaces. However, since it is known by [CM6] that these are equivalent notions, we use the notation RCD(K, N) only for simplicity. 4

5 Definition 2.2 (RCD spaces). Let (, d,m) be a compact metric measure space, let K R and let N [, ]. We say that (, d,m) is a RCD(K, N) space if it is a BE(K, N) space with the Sobolev-Lipschitz property, that is, (Sobolev to Lipschitz property) any f H,2 (, d,m) with f m-a.e. in has a -Lipschitz representative. We end this section by giving the definition of local Sobolev spaces: Definition 2.3 (Sobolev spaces H,2 0 ). Let U be an open subset of. We denote by H,2 0 (U, d,m) the H,2 -closure of LIP c (U, d). In the next section, the local Sobolev spaces will play a role to localize global Sobolev functions to smooth parts via the zero capacity condition. 3 Almost smooth metric measure space Let us fix a compact metric measure space (, d,m). 3. Constant dimensional case Definition 3. (n-dimensional almost smooth compact metric measure space). Let n N. We say that (, d,m) is an n-dimensional almost smooth compact metric measure space associated with an open subset Ω of if the following three conditions are satisfied;. (Smoothness of Ω) there exist an n-dimensional (possibly incomplete) Riemannian manifold (M n, g) and a map ϕ : Ω M n such that ϕ is a local isometry between (Ω, d) and (M n, d g ), that is, for all p Ω there exists an open neighborhood U Ω of p such that ϕ U is an isometry from U to ϕ(u) as metric spaces; 2. (Hausdorff measure condition) The restricition m Ω of m to Ω coincides with the n-dimensional Hausdorff measure H n on Ω, that is, m(a) = H n (A) holds for all Borel subset A of Ω; 3. (Zero capacity condition) \ Ω has zero capacity in the following sense, that is, m( \Ω) = 0 is satisfied, there exists a sequence ϕ i C c (Ω) such that the following two conditions hold; (a) for any compact subset A Ω, ϕ i A holds for all sufficiently large i; (b) it holds that 0 ϕ i and that sup ϕ i dh n <. (3.) i Ω The zero capacity condition is a kind of that H,2 -capacity of \ Ω is zero whose standard definition is given by replacing (3.) by Ω ϕ i 2 dh n 0 (i ). (3.2) See [KM96]. In particular, (3.2) is satisfied if ϕ i L 0. Compare with (2) of Proposition

6 Remark 3.2. Whenever we discuss analysis/geometry on Ω locally, we can identify (Ω, d) with the smooth Riemannian manifold (M n, g) (thus, sometimes, we will use the notations (Ω, g), Ric g Ω and so on). Note that for all p M n and all sufficiently small r > 0, B g r(p) is convex and it has a uniform lower bound on Ricci curvature. In particular, the volume doubling condition and the Poincaré inequality hold locally. Thus, Cheeger s theory [Ch99] can be applied locally. In particular, the Lipschitz-Lusin property holds for all f H,2 (, d,m) (this notion is equivalent to that of differentiability of functions introduced in [H4]), that is, for all ǫ > 0, there exists a Borel subset A of Ω such that m(ω \ A) < ǫ and that f A is Lipschitz. Combining this with the locality property of the slope on both theories in [AGS4a], in [Ch99], yields f (x) = g (f ϕ ) (ϕ(x)) H n a.e.x Ω, (3.3) where the RHS means the minimal weak upper gradient in [Ch99]. Let us give a quick proof of (3.3) for reader s convenience. By the Lipschitz-Lusin property with the localities of slopes as mentioned above, it suffices to check that under assuming f LIP(, d), the LHS of (3.3) is equal to Lipf for m-a.e. x. Moreover, since it follows from [AGS4a] that f (x) Lipf(x) m-a.e. x, let us check the converse inequality. Let x Ω and fix any sufficiently small r > 0 as above. Note that by [Ch99], if f i LIP(B r (x), d) L 2 -strongly converge to f on B r (x), then lim inf (Lipf i ) 2 dh n (Lipf) 2 dh n. (3.4) i B r(x) B r(x) On the other hand, by [AGS4b], there exists a sequence F i LIP(, d) such that F i, LipF i f, f in L 2 (,m), respectively. Applying (3.4) for f i = F i shows f 2 dh n (Lipf) 2 dh n. B r(x) B r(x) Since r is arbitrary, we have the converse inequality, f (x) Lipf(x) m-a.e. x, which completes the proof. Similarly, the Sobolev space H,2 0 (M n, g, H n ), which is defined by the standard way in Riemannian geometry (that is, the H,2 -closure of Cc (M n )), coincides with H,2 0 (Ω, d,m). We will immediately use these compatibilities below. From now on, we use the same notation as in Definition 3. (e.g. Ω, ϕ i ) without any attention. Proposition 3.3. Let (, d, m) be an n-dimensional almost smooth compact metric measure space. Then. ϕ i in L (,m) with sup i ϕ i H,2 < ; 2. the canonical inclusion map ι : H,2 0 (Ω, d, Hn ) H,2 (, d, H n ) is an isometry. In particular (, d, H n ) is infinitesimally Hilbertian. Proof. Since ϕ i (x) m-a.e. x, applying the dominated convergence theorem shows that ϕ i in L 2 (,m). Moreover, since ϕ i 2 dh n = ϕ i ϕ i dh n ϕ i dh n, we have (). Ω Ω 6 Ω

7 Next, let us check (2). It is trivial that the map ι preserves the distances (we identify H,2 0 (Ω, d,m) with the image by ι for simplicity). As written in Remark 3.2, it also follows from the smoothness of Ω that H,2 0 (Ω, d,m) is a Hilbert space, and that ϕ if H,2 0 (Ω, d,m) for all f LIP(, d). Fix f LIP(, d). Then, since ( (ϕ i f) 2 dm 2 f f 2 ϕ i 2) dm, we have sup i ϕ i f H,2 <. Therefore, since ϕ i f f in L 2 (,m), Mazur s lemma yields f H,2 0 (Ω, d,m). In particular, Ch(ϕ + ψ) + Ch(ϕ ψ) = 2Ch(ϕ) + 2Ch(ψ) ϕ, ψ LIP(, d). (3.5) By [AGS4a], for all F, G H,2 (, d,m), there exist sequences F i, G i LIP(, d) such that F i, G i F, G in L 2 (,m), respectively and that Ch(F i ), Ch(G i ) Ch(F), Ch(G), respectively. Then, letting i in the equality (3.5) for ϕ = F i, ψ = G i with the lower semicontinuity of the Cheeger energy shows Ch(F + G) + Ch(F G) 2Ch(F) + 2Ch(G). (3.6) Replacing F, G by F +G, F G, respectively yields the converse inequality, that is, we have the equality in (3.6) for ϕ = F, ψ = G, which proves that H,2 (, d,m) is a Hilbert space. Thus, by [AGS4b], LIP(, d) is dense in H,2 (, d,m). Since we already proved that LIP(, d) H,2 0 (Ω, d,m), we conclude. Remark 3.4. Recall that if u i L 2 -weakly converge to u in L 2 (,m) with sup i u i H,2 <, then, we see that u H,2 (, d,m) and that u i L 2 -weakly converge to u. Although this statement was already proved in general setting (e.g. [AST6] and [G5b]. See also [AH7] and [H5]), for reader s convenience, let us give a proof as follows. Mazur s lemma yields the first statement, u H,2 (, d,m). To get the second one, since sup i u i L 2 <, it is enough to check that Then, which proves (3.7). u i, f h dm u i, f h dm = u, f h dm (i ) f, h C c u i ( f, h f h)dm u( f, h f h)dm = u, f h dm (Ω). (3.7) Definition 3.5 (L 2 -strong compactness). A compact metric measure space (, d, ν) is said to satisfy the L 2 -strong compactness condition if the canonical inclusion ι : H,2 (, d, ν) L 2 (, ν) is a compact operator. It is well-known that there are several sufficient conditions to satisfy the L 2 -strong compactness condition, for instance, PI-condition (i.e. the volume doubling and the Poincaré inequality are satisfied), which follows from RCD(K, N)-conditions for N < (see for instance [HK00] for the proof of the L 2 -strong compactness condition). However, in general, 7

8 for an n-dimensional almost smooth compact metric measure space, the L 2 -strong compactness condition is not satisfied even if Ω has a uniform lower Ricci bound. To see this, for any two pointed metric spaces ( i, d i, x i )(i =, 2), let us denote by (, d, x ) ( 2, d 2, x 2 ) their glued pointed metric space as x = x 2, that is, the metric space is 2 := ( 2 )/(x = x 2 ) with the intrinsic metric, and the base point is the glued point. See [BBI0] for the detail. Sometimes, we denote the metric space by ( 2, d) without any attention on the base points for simplicity. Example 3.6. Let us define a sequence of pointed compact metric spaces ( i, d i, x i ) as follows. Fix n 3 and consider a sequence of flat n-tori: T n i := S (/2 i ) S (/2 i ) S (/2 i ) with fixed points p i T n i, where S (r) := {v R 2 ; v = r}. Then, let (, d, x ) := (T n, d T n, p ) and let ( i+, d i+, x i+ ) := ( i, d i, x i ) (T n i+, d T n i+, p i+) i. Then, let us denote by (, d, x) the pointed Gromov-Hausdorff limit space of ( i, d i, x i ). Note that (, d) is compact, that Ω := \{x} satisfies the smoothness with Ric g Ω 0, and that there exist canonical isometric embeddings T n i (we identify Tn i with the image). Then, we consider the n-dimensional Hausdorff measure H n as the reference measure m on. Let us check the zero capacity condition. It is trivial that H n ( \ Ω) = 0. For all ǫ > 0, take ψ ǫ C (R) satisfying that ψ ǫ (,ǫ] 0, that 0 ψ ǫ, that ψ ǫ [2ǫ, ), that ψ ǫ 00/ǫ and that ψ ǫ 00/ǫ2. Define ϕ i Cc (Ω) by i ϕ i (y) := T n j (y)ψ π/2 i+0(d(x, y)). j= Then, since it is easy to see that for some universal constant C > 0 ( ) ψ π/2 i+0(d(x, )) (y) C 2 2i j i, y T n j B π/2 i+9(x) \ B π/2 i+0(x), we see that for all j i ψ π/2 i+0(d(x, y)) dh n T n j = T n ( ) ψ π/2 i+0(d(x, y)) dh n C 2 2 (2 n)i, j B π/2 i+9(x)\b π/2 i+0 (x) where C 2 is also a universal constant. In particular, ϕ i dh n C 2 i2 (2 n)i 0 (i ) which proves the zero capacity condition. Thus, (, d, H n ) is an n-dimensional almost smooth compact metric measure space. 8

9 Let us define a sequence f i L 2 (, H n ) by f i := H n (T n i ) T n i. Then, it is easy to see that f i L 2 -weakly converge to 0 and that f i H,2 (, d,m) with f i L 2 = f i H,2 = (see also Example 3.8). Since f i does not L 2 -strongly converge to 0, the L 2 -strong compactness condition does not hold. It follows from standard arguments in functional analysis that if an infinitesimally Hilbertian compact metric measure space (, d, ν) satisfies the L 2 -strong compactness condition with dim L 2 (, ν) =, then, the spectrum of is discrete and unbounded (each eigenvalue has finite multiplicities). Thus, we then denote the eigenvalues by 0 = λ (, d, ν) λ 2 (, d, ν) λ 2 (, d, ν) counted with multiplicities, and denote the corresponding eigenfunctions by ϕ i with ϕ i L 2 =. We always fix an L2 -orthogonal basis {ϕ i } i consisting of eigenfunctions, immediately. Moreover, it also holds that for all f L 2 (, ν), f = i ( ) fϕ i dν ϕ i in L 2 (, ν) (3.8) and that for all f H,2 (, d, ν), f = ( i ) fϕ i dν ϕ i in H,2 (, d, ν). (3.9) For reader s convenience, we will give proofs of them in the appendix. We are now in a position to give the main result: Theorem 3.7 (From Ric g Ω K(n ) to BE(K(n ), n)). Let (, d,m) be an n- dimensional almost smooth compact metric measure space. Assume that (, d, m) satisfies the L 2 -strong compactness condition, that each eigenfunction ϕ i satisfies ϕ i L (,m) and that Ric g Ω K(n ) for some K R. Then, (, d,m) satisfies the BE(K(n ), n)-condition. Proof. Let us use the same notation as above, that is, let f N := N i a i ϕ i, where a i := fϕ i dm. Note that by (3.9), f N, f N f, f in H,2 (, d,m), respectively as N. In the following, for all h C (Ω), the Laplacian tr(hess h ) defined in Riemannian geometry is also denoted by the same notation h, without any attention because h, ψ dh n = tr(hess h )ψdh n, ψ Cc (Ω) (3.0) Ω Ω is satisfied and (3.0) characterizes the function tr(hess f ) in L 2 loc (Ω, Hn ). Fix N N. Then, let us prove that f N 2 H,2 (, d,m) as follows. By our assumption on the eigenfunctions, we see that f N L (,m). Moreover, the elliptic regularity theorem shows that f N Ω C (Ω). Since Ric g Ω K(n ), we have 2 f N 2 Hess fn 2 + f N, f N + K(n ) f N 2 x Ω. (3.) 9

10 Thus, multiplying ϕ i on both sides and then integrating this over Ω show f N 2 ϕ i dh n ϕ i ( Hess fn 2 + f N, f N + K(n ) f N 2) dh n. 2 Ω Ω (3.2) Since f N L (,m) and our assumption on the zero capacity, the inequality (3.2) implies lim sup ϕ i Hess fn 2 dh n <. i Ω In particular, A Hess fn 2 dh n lim sup ϕ i Hess fn 2 dh n < A Ω. i Ω Thus, the monotone convergence theorem yields Hess fn 2 dh n <. (3.3) Ω On the other hand, since ϕ i Cc (Ω) and f N Ω C (Ω), we have ϕ i f N 2 H,2 (, d,m). Moreover, since ( (ϕ i f N 2 ) 2 dm 2 ϕ i 2 f N f N 2 2) dm ( 2 ϕ i 2 f N Hess fn 2 f N 2) dm, by (3.3), we have sup i ϕ i f N 2 H,2 < which completes the proof of the desired statement, f N 2 H,2 (, d,m), because ϕ i f N 2 f N 2 in L 2 (,m). We are now in a position to finish the proof. Let ϕ D( ) L (,m) with ϕ L (,m) and ϕ 0. Multiplying ϕϕ i on both sides of (3.) and integrating this over show (ϕϕ i ), f N 2 dm ϕϕ i ( Hess fn 2 + f N, f N + K(n ) f N 2) dm. 2 (3.4) Recall that ϕ i in L 2 (,m) and that ϕ i L 2 -weakly converge to = 0 with (ϕϕ i ) = ϕ i ϕ + ϕ ϕ i. Thus, we have LHS of (3.4) f N 2 ϕ, 2 dm = f N 2 ϕdm, 2 where we used f N 2 L 2 2 Hess fn L 2 f N L < and f N 2 H,2 (, d,m). Moreover, the dominated convergence theorem yields ( RHS of (3.4) ϕ Hess fn 2 + f N, f N + K(n ) f N 2) dm. Thus, combining these with letting i in (3.4) shows ( f N 2 ϕdm ϕ Hess fn 2 + f N, f N + K(n ) f N 2) dm 2 ( ) ( fn ) 2 ϕ + f N, f N + K(n ) f N 2 dm. n 0

11 Therefore, letting N yields ( ( f) f 2 2 ϕdm ϕ 2 n + f, f + K(n ) f 2 ) dm which completes the proof. Let us apply Theorem 3.7 to an explicit simple example as follows. Example 3.8. Let us check that the metric measure space (, d,m) := (S n () S n (), d, H n ) satisfies the BE(n, n)-condition (n 2), where S n (r) := {v R n+ ; v = r}. Let us denote by S n () and Sm 2 (), respectively, the images of the canonical isometric embeddings S n () to the first sphere and the second one, respectively. Moreover, we denote by p the intersection point of them. It is worth pointing out that (, d,m) satisfies the Ahlfors n-regularity, which is easily checked. Being an n-dimensional almost smooth compact metric measure space. Let Ω := \ {p}. Then, it is trivial that Ω satisfies the smoothness with Ric g Ω (n ) and Hn (\Ω) = 0. Let us use ψ ǫ as in Example 3.6. Then, by an argument similar to that in Example 3.6, it is easy to check that the functions ϕ i (x) := ψ i (d(p, x)) satisfies the zero capacity condition. Thus, (, d, m) is an n-dimensional almost smooth compact metric measure space. Satisfying the L 2 -strong compactness condition. We remark that and f S n j () H,2 (, d,m) f H,2 (, d,m) (3.5) h S n j () H,2 (, d,m) h H,2 (S n j (), d, H n ) (3.6) are satisfied, which come from the zero capacity condition with the truncation argument, that is, for functions ϕ i S n j ()(f L L) and ϕ i S n j ()(h L L), letting i and then letting L show (3.5) and (3.6) (recall the proof of (2) of Proposition 3.3). Let f i H,2 (, d,m) with sup i f i H,2 <. Put f j i := f i S n j () H,2 (S n j (), d, Hn ). Then, since the L 2 -strong compactness condition holds for (S n j (), d, Hn ), there exist a subsequence i(k) and f j L 2 (S n j (), Hn ) such that f j i(k) f j in L 2 (S n j (), Hn ) for all j {, 2}. In particular, f i(k) = f i(k) + f 2 i(k) f + f 2 =: f in L 2 (,m), which proves the L 2 -strong compactness condition for (, d,m). Satisfying the gradient estimates on the eigenfucntions and the BE(n, n) condition. Let f be an eigenfunction, that is, f D( ) with f = λf for some λ 0. For any h H,2 (S n j (), d, Hn ), put ĥ = h S n j () H,2 (, d,m). Then, since and f, ĥ dm = λ LHS of (3.7) = f, h dh n, S n j () fĥdm (3.7) RHS of (3.7) = λ fhdh n, S n j () we see that f S n j () is an eigenfunction of (S n j (), d, Hn ). Thus, (f S n j ()) L (S n j (), Hn ), which implies f L (,m).

12 Therefore, we can apply Theorem 3.7 to show that (, d,m) satisfies the BE(n, n)- condition. Coincidence between the induced distance d Ch by the Cheeger energy and d. Let us prove: d Ch (x, y) = d(x, y), x, y, (3.8) where d Ch (x, y) := sup { } ϕ(x) ϕ(y); ϕ C 0 () H,2 (, d,m), ϕ (z),m a.e.z. Let x S n () and let y Sn 2 (). For any ϕ as in the RHS of (3.9), ϕ(x) ϕ(y) = ϕ S n ()(x) ϕ S n ()(p) + ϕ S n 2 ()(p) ϕ S n 2 ()(y) (3.9) d S n ()(x, p) + d S n 2 ()(p, y) = d(x, y), (3.20) where we used the fact that d = d Ch in (S n j (), d S n j (), H n ). Thus, taking the supremum in (3.20) with respect to ϕ shows the inequality in (3.8). To get the converse inequality, let ϕ(z) := ( S n ()(z) S n 2 ()(z))d(p, z). Then, we see that ϕ LIP(, d), that Lipϕ(z) for all z, and that ϕ(x) ϕ(y) = d(x, y), which proves the converse inequality in (3.8). Similarly, we can prove (3.8) in the remaining case, thus, we have (3.8) for all x, y. Poincaré inequality and RCD(K, ) condition are not satisfied. Assume that (, d, m) satisfies the (, 2)-Poincaré inequality, that is, there exists C > 0 such that for all r > 0, all x and all f H,2 (, d,m), it holds that B r(x) ( m(b r (x)) f /2 fdm m(b r (x)) B r(x) Cr f dm) 2. m(b r (x)) B r(x) (3.2) Let ϕ := S n () S n 2 (). By (3.6), we have ϕ H,2 (, d,m). Then, by the locality of the slope, we have ϕ = 0 m-a.e.. In particular, (3.2) yields that ϕ must be a constant, which is a contradiction. By the same reason, for all K R, (, d,m) does not satisfy RCD(K, )-condition. Remark 3.9. Example 3.8 also tells us that (.3) does not imply the expected Bishop- Gromov inequalty. In fact, under the same notation as in Example 3.8, letting q be the antipodal point of p in S n () yields m(b 2π (q)) m(b π (q)) = 2 > = Hn (B Sn() 2π (x)) H n (B Sn () π (x)) x S n () which is the reverse Bishop-Gromov inequality. Similarly, the BE(n, n) condition with d = d Ch does not imply the expected Bonnet-Myers theorem. Corollary 3.0 (Characterization of RCD condition on almost smooth compact metric measure space). Let (, d, m) be an n-dimensional almost smooth compact metric measure space associated with an open subset Ω of, and let K R. Then, (, d,m) is a RCD(K(n ), n) space if and only if the following four conditions hold: 2

13 . the Sobolev to Lipschitz property holds; 2. the L 2 -strong compactness condition holds; 3. any eigenfunction is Lipschitz; 4. Ric g Ω K(n ) holds. Proof. By Theorem 3.7, it is enough to check only if part. If (, d,m) is a RCD(K(n ), n), then, applying Gigli s Bochner inequality (for H,2 H -vector fields) in [G5b] shows that for all f, h, ϕ Cc (Ω) with ϕ 0, ϕ ( 2 f h 2 ϕ (f h) 2 H (fdh), fdh + K(n ) f h 2) dm which implies 2 f h 2 (f h) 2 H (fdh), fdh + K(n ) f h 2 x Ω (3.22) because ϕ is arbitrary, where H := dδ + δd is the Hodge Laplacian acting on -forms. In particular, since (3.22) is equivalent to Ric g Ω (f h, f h) K(n ) f h 2 for all x Ω, we have Ric g Ω K(n ) because f, h are also arbitrary. The Sobolev to Lipschitz property is in the definition of RCD space. Moreover, as written previously, the L 2 -strong compactness condition follows from the doubling condition and the Poincaré inequality, which are justified by the Bishop-Gromov inequality [St06] and by [Raj2]. Finally, since the Lipschitz regularity on the eigenfunctions is satisfied by [J4], we conclude. Corollary 3. (Another characterization of RCD condition). Let (, d, m) be an n- dimensional almost smooth compact metric measure space associated with an open subset Ω of, and let K R. Then, (, d,m) is a RCD(K(n ), n) space if and only if the following four conditions hold:. (, d,m) is a PI space; 2. the induced distance d Ch by the Cheeger energy is equal to the original distance d; 3. any eigenfunction f satisfies f L (,m); 4. Ric g Ω K(n ) holds. Proof. Since the proof of only if part is same to that of Corollary 3.0, let us check if part. By Theorem 3.7, we see that (, d,m) is a BE(K(n ), n) space. Thus, it suffices to check the Sobolev to Lipschitz property. Let f H,2 (, d,m) with f (x) m-a.e. x. Then, the telescope argument with the PI condition (c.f. [Ch99]) yields that there exists ˆf LIP(, d) such that f(x) = ˆf(x) m-a.e. x. Then, since it is proved in [AES6] that any h H,2 (, d,m) C 0 () with h m-a.e. x is -Lipschitz, we see that ˆf is -Lipschitz, that is, the Sobolev-Lipschitz property holds. conclude. Thus, we Remark 3.2. We should mention that very recently, similar characterization of RCD conditions for stratified spaces, which give almost smooth metric measure spaces as typical examples, is proved in [BKMR8]. 3

14 We end this section by giving a sufficient condition to satisfy the Sobolev to Lipschitz property. For that, let us introduce the definition of the segment inequality: Definition 3.3 (Segment inequality). Let (, d, ν) be a metric measure space satisfying that (, d) is a geodesic space. For a nonnegative valued Borel function f on, define F f (x, y) := inf γ [0,d(x,y)] f(γ)ds, x, y, where the infimum runs over all minimal geodesics γ from x to y. Then, we say that (, d, ν) satisfies the segment inequality if there exists λ > 0 such that B r(x) B r(x) F f (y, z)d(ν ν) λrν(b r (x)) fdν B λr (x) x, r > 0, f. Cheeger-Colding proved in [CC00] that if (, d, ν) satisfies the volume doubling condition and the segment inequality, then, the (, )-Poincaré inequality holds (see also [CC96] and [HP07]). Proposition 3.4 (Segment inequality with doubling condition implies Sobolev to Lipschitz property). Let (, d, ν) be a compact metric measure space satisfying that (, d) is a geodesic space. Assume that (, d, ν) satisfies the volume doubling condition and the segment inequality. Then, the Sobolev to Lipschitz property holds. Proof. Let f H,2 (, d, ν) with f ν-a.e.. As written above, since (, )-Poincaré inequality is satisfied, f has a representative in ˆf LIP(, d) by the telescope argument (see for instance [Ch99]). Thus, since we have Lip ˆf ν-a.e., which also follows from [Ch99], it suffices to check that ˆf is -Lipschitz. Let us take a Borel subset A of such that ν( \ A) = 0 and that Lip ˆf, x A. Applying the segment inequality for \A yields that there exists a Borel subset B of such that (ν ν)(( ) \ B) = 0 and that for any (x, y) B and any ǫ > 0, there exists a minimal geodesic γ from x to y such that \A (γ(s))ds < ǫ. [0,d(x,y)] Therefore, since Lip ˆf is an upper gradient of ˆf, we have ˆf(x) ˆf(y) Lip ˆf(γ(s))ds = [0,d(x,y)] [0,d(x,y)] A (γ(s))lip ˆf(γ(s))ds + \A (γ(s))lip ˆf(γ(s))ds [0,d(x,y)] d(x, y) + sup Lip ˆf(z)ǫ. (3.23) z Since ǫ is arbitrary and B is dense in, (3.23) yields that ˆf is -Lipschitz. Remark 3.5. Let us give remarks on related works. Note that in the following, the spaces are not necessary compact. As we already used, Jiang proved in [J4] the gradient estimates on solutions of Poisson s equations (including eigenfunctions) in the setting of metric measure spaces under assuming mild geometric conditions and a heat semigroup 4

15 curvature condition (or called an weighted Sobolev inequality). Bamler and Chen-Wang proved in [B7], in [CW7], such conditions (including the segment inequality) in their almost smooth settings, independently. One of interesting questions is; if an n-dimensional almost smooth (compact) metric measure space (, d,m) satisfies that the induced distance d g by g on Ω coincides with d Ω, then, being Ric g Ω K(n ) is equivalent to that (, d,m) is a RCD(K(n ), n)-space? 3.2 Nonconstant dimensional case In this section, let us discuss a variant of n-dimensional almost smooth compact metric measure spaces. Let us recall that we fix a compact metric measure space (, d,m). Definition 3.6 (Generalized almost smooth compact metric measure space). We say that (, d, m) is a generalized almost smooth compact metric measure space associated with an open subset Ω of if the following two conditions are satisfied;. (Generalized smoothness of Ω) for all p Ω, there exist an integer n(p) N, an open neighborhood U p of p in Ω, an n(p)-dimensional (possibly incomplete) Riemannian manifold (M n(p), g) and a map ϕ : U p M n(p) such that ϕ is a local isometry between (U p, d) and (M n(p), d g ); 2. (Hausdorff measure condition) For all p Ω, take U p as above. Then, the restriction of m to U p coincides with the n(p)-dimensional Hausdorff measure H n(p) ; 3. (Zero capacity condition) \ Ω has zero capacity in the sense of Definition 3.. By an argument similar to the proof of Theorem 3.7, we have the following: Theorem 3.7 (From Ric g Ω K to BE(K, N)). Let (, d,m) be a generalized almost smooth compact metric measure space associated with an open subset Ω of. Assume that (, d,m) satisfies the L 2 -strong compactness condition, that each eigenfunction ϕ i satisfies ϕ i L (,m) and that Ric g Ω K for some K R. Then, (, d,m) satisfies the BE(K, N)-condition, where N := sup p n(p). Example 3.8. By an argument similar to that in Example 3.8, we can easily see that for any two (not necessary same dimensional) closed pointed Riemannian manifolds (M m i i, g i, p i )(m i 2) with Ric g i M m i K for some K R, the metric measure space i ( M m M m 2 2, d, H m M m +H m 2 is a BE(K, max{m, m 2 }) space with d Ch = d. More generally, similar constructions of BE(K, N) spaces by gluing embedded closed convex submanifolds N n i i M m i i, which are isometric to each other, with m i n i 2 are also justified. Remark 3.9. In this paper we discuss only the unweighted case, that is, the restriction of the reference measure to the smooth part is the optimal Hausdorff measure H n. Similar results are also obtained in the weighted case, e f dh n, where f C (Ω), under suitable assumptions on f by using the Bakry-Émery (N-) Ricci tensor (and the Witten Laplacian f, respectively) instead of using the original Ricci tensor (and the Laplacian, respectively). However, we do not discuss the details because our main forcus is to discuss some flexibility on the BE(K, N) conditions as in Example 3.8, which is very different from the RCD(K, N) conditions, and to give a bridge between almost smooth spaces and noncollapsed RCD spaces introduced in [DePhG7], as in Corollary M m 2 2 )

16 4 Appendix Let (, d, ν) be an infinitesimally Hilbertian compact metric measure space and assume that (, d, ν) satisfies the L 2 -strong compactness condition with dim L 2 (, ν) =. In this appendix, we will show that the spectrum of is discrete and unbounded, and that (3.8) and (3.9) hold. Let us begin with proving the following lemma: Lemma 4.. For all λ R, let E(λ) := {f D( ); f = λf}.. If dim E(λ), then λ 0 (which is called an eigenvalue of ). 2. dim E(λ) < holds. Proof. Let us check (). Taking f E(λ) with f 0 in L 2 (, ν) yields λ = f 2 dν 0. f 2 dν To prove (2), with no loss of generality, we can assume dim E(λ). Let us check (E(λ), L 2) is a Hilbert space. Take a Cauchy sequence f i in E(λ). Let f L 2 (, ν) be the L 2 -strong limit function. Since f i 2 L = λ f 2 i 2 L, f 2 i is a bounded sequence in H,2 (, d, ν). Thus, Mazur s lemma shows that f H,2 (, d, ν) and that f i converge weaky to f in H,2 (, d, ν). Therefore, letting i in yields f i, g dν = λ f i gdν g H,2 (, d, ν) f, g dν = λ fgdν g H,2 (, d, ν) which shows f E(λ), where the convergence of the left hand sides comes from the polarization. Thus, (E(λ), L 2) is a Hilbert space. Then, similar argument with the L 2 -strong compactness condition allows us to prove that S(λ) is a compact subset of E(λ), where S(λ) := {f E(λ); f L 2 = }. Therefore, dim E(λ) <. Lemma 4.2. The set E(, d, ν) := {λ R 0 ; dim E(λ) } is discrete. Proof. The proof is done by contradiction. Assume that there exists a sequence λ i E(, d, ν) such that λ i λ j (i j) and that λ i λ R. Take f i E(λ i ) with f i L 2 =. Then, since f i 2 H,2 = λ i, by the L 2 -strong compactness condition, with no loss of generality, we can assume that there exists the L 2 -strong limit function f of f i. Thus, f L 2 =. Moreover, similar argument as in the proof of (2) of Lemma 4. shows f E(λ). In particular, λ is an eigenvalue of. Let {g j } j=,2,...,n be an ONB of E(λ). Since g j f i in L 2 (, ν), letting i yields g j f. Therefore, {g j } j {f} are linearly independent in E(λ), which contradicts that {g j } j is a basis of E(λ). Lemma 4.3. The set E(, d, ν) is unbounded. Proof. Note that since E(0), we have E(, d, ν). Assume that E(, d, ν) is bounded. Then, Lemma 4.2 yields that E(, d, ν) is a finite set. By Lemma 4., there exists an ONB, {f i } i=,2,...,n, of λ E(,d,ν) E(λ)(=: V ). On the other hand, it is easy to see that the number λ := inf f V f 2 dν f 2 dν 6

17 is also an eigenvalue of and that there exists a minimizer f of the right hand side with f E(λ ) and f L 2 =, where we used our assumption, dim L 2 (, ν) =, to make sence in the infimum. Thus, since f V and f V, we have f = 0, which contradicts that f L 2 =. Lemmas 4.2 and 4.3 allow us to denote the eigenvalues of by 0 = λ (, d, ν) λ 2 (, d, ν) counted with multiplicities. Fix the corresponding eigenfunctions by ϕ i with ϕ i L 2 =. Proposition 4.4. For all f L 2 (, ν), we have (3.8). Proof. We first assume that f H,2 (, d, ν). For all N N, let f N := N i ( fϕ i dν)ϕ i and let g N := f f N. With no loss of generality, we can assume that g N 0 for all N. Then, since for all i N g N ϕ i dν = = fϕ i dν fϕ i dν N ( j fϕ i ) fϕ j dν ϕ j ϕ i dν dν = 0, we have g N V N, where V N := span {ϕ i } i=,2,...,n. On the other hand, it is easy to see that the number λ N+ := inf h V N h 2 dν h 2 dν coincides with λ N+ (, d, ν) (the inequality λ N+ λ N+ (, d, ν) is trivial. The converce is done by checking that λ N+ is an eigenvalue of, which is similar to the proof of Lemma 4.3). Therefore, we have g N 2 L 2 λ N+ (, d, ν) g N 2 L 2. Since g N 2 dν = = f 2 dν 2 f, f N dν + f N 2 dν f 2 dν f N 2 dν f 2 dν, we have g N 2 L (λ 2 N+ (, d, ν)) f 2 L 0 as N, which shows (3.8) in the 2 case when f H,2 (, d, ν). Next, let us check (3.8) for general f L 2 (, ν). Take a sequence F n H,2 (, d, ν) with F n f in L 2 (, ν). Let a i := fϕ i dν, let a n,i := F nϕ i dν, let f N := N i a i ϕ i and let F n,n := N i a n,i ϕ i. For all ǫ > 0, there exists n 0 such that f F n0 L 2 < ǫ. Then, there exists N 0 such that for all N N 0, we have F n0 F n0,n L 2 < ǫ. Moreover, N F n0,n f N 2 dν = (a n0,i a i ) 2 i (a n0,i a i ) 2 i = i ( ) 2 (F n0 f i )ϕ i dν F n0 f 2 L 2 ǫ2, 7

18 where we used the fact that for any ONS, {e i } i, in a Hilbert space (H,, ), we have v 2 i v, e i 2 for all v H. Therefore, for all N N 0, f f N L 2 f F n0 L 2 + F n0 F n0,n L 2 + F n0,n f N L 2 3ǫ, which completes the proof. Proposition 4.5. For all f H,2 (, d, ν), we have (3.9). Proof. Let f N := N i a i ϕ i, where a i = fϕ i dν. Then, On the other hand, f, f N dν = = N a i i N i N f N 2 L 2 = λ i (, d, ν)(a i ) 2. f, ϕ i dν a i λ i (, d, ν) fϕ i dν = i N λ i (, d, ν)(a i ) 2 = f N 2 L 2. i In particular, the Cauchy-Schwartz inequality yields f N 2 L 2 f L 2 f N L 2. Thus, since f N L 2 f L 2, we have sup i f N H,2 <. Since f N f in L 2 (, ν) as N, Mazur s lemma shows (3.9). References [AGS4a] L. Ambrosio, N. Gigli, G. Savaré: Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below. Invent. Math. 95 (204), [AGS4b] L. Ambrosio, N. Gigli, G. Savaré: Metric measure spaces with Riemannian Ricci curvature bounded from below. Duke Math. J. 63 (204), [AGS5] L. Ambrosio, N. Gigli, G. Savaré: Bakry-Émery curvature-dimension condition and Riemannian Ricci curvature bounds. Ann. of Prob. 43 (205), [AGMR5] L. Ambrosio, N. Gigli, A. Mondino, T. Rajala: Riemannian Ricci curvature lower bounds in metric measure spaces with σ-finite measure. Trans. of the AMS. 367 (205), [AES6] L. Ambrosio, M. Erbar, G. Savaré: Optimal transport, Cheeger energies and contractivity of dynamic transport distances in extended spaces. Nonlinear Anal. 37 (206), [AH7] L. Ambrosio, S. Honda: New stability results for sequences of metric measure spaces with uniform Ricci bounds from below. Measure theory in non-smooth spaces, 5, Partial Differ. Equ. Meas. Theory, De Gruyter Open, Warsaw, 207. [AMS6] L. Ambrosio, A. Mondino, G. Savaré: On the Bakry-Émery condition, the gradient estimates and the Local-to-Global property of RCD (K, N) metric measure spaces. J. Geom. Anal. 26 (206),

19 [ACDM5] L. Ambrosio, M. Colombo, S. Di Marino: Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope. Adv. Stud. in Pure Math. 67 (205), 58. [AMS5] L. Ambrosio, A. Mondino, G. Savaré: Nonlinear diffusion equations and curvature conditions in metric measure spaces. Ariv preprint , to appear in Mem. Amer. Math. Soc. [AST6] L. Ambrosio, F. Stra, D. Trevisan: Weak and strong convergence of derivations and stability of flows with respect to MGH convergence. J. Funct. Anal. 272 (207), [AMS6] L. Ambrosio, A. Mondino, G. Savaré: On the Bakry-Émery Condition, the Gradient Estimates and the Local-to-Global Property of RCD (K, N) Metric Measure Spaces. J. Geom. Anal. 26 (206), [BE85] [BL06] D. Bakry, M. Émery: Diffusions hypercontractives. In Séminaire de Probabilités, I, 983/84. Lecture Notes in Math Springer, Berlin. D. Bakry, M. Ledoux: A logarithmic Sobolev form of the Li-au parabolic inequality. Rev. Mat. Iberoam. 22 (2006), [B7] R. Bamler: Structure theory of singular spaces. J. Funct. Anal. 272 (207), [BKMR8] J. Bertrand. C. Ketterer, I. Mondello, T. Richard: Stratified spaces and synthetic Ricci curvature bounds. Ariv preprint [BS8] [BBI0] [CM6] [Ch99] [CC96] [CC00] [CW7] [CN2] E. Bruè, D. Semola: Constancy of the dimension for RCD(K, N) spaces via regularity of Lagrangian flows. Ariv preprint, ariv: D. Burago,. Burago, S. Ivanov: A course in metric geometry, Graduate Studies in Mathematics, 33. American Mathematical Society, Providence, RI, 200. F. Cavalletti, E. Milman: The Globalization Theorem for the Curvature Dimension Condition. Ariv preprint J. Cheeger: Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal. 9 (999), J. Cheeger, T. H. Colding: Lower bounds on Ricci curvature and the almost rigidity of warped products. Ann. of Math. 44 (996), J. Cheeger, T. H. Colding: On the structure of spaces with Ricci curvature bounded below, III. J. Differential Geom. 54 (2000), Chen, B. Wang: Space of Ricci flows (II)-part A: moduli of singular Calabi-au spaces. Forum Math. Sigma 5 (207), e32, 03 pp. T. H. Colding, A. Naber: Sharp Hölder continuity of tangent cones for spaces with a lower Ricci curvature bound and applications. Ann. of Math. 76 (202), [DePhG7] G. De Phillipis, N. Gigli: Non-collapsed spaces with Ricci curvature bounded from below. Ariv preprint

20 [EKS5] M. Erbar, K. Kuwada, K.-T. Sturm: On the equivalence of the entropic curvature-dimension condition and Bochner s inequality on metric measure spaces. Invent. Math. 20 (205), [G3] N. Gigli: The splitting theorem in non-smooth context. Ariv preprint [G5a] [G5b] N. Gigli: On the differential structure of metric measure spaces and applications. Mem. Amer. Math. Soc. 236 (205), no. 3. N. Gigli: Nonsmooth differential geometry An approach tailored for spaces with Ricci curvature bounded from below. Mem. Amer. Math. Soc. 25 (208), no. 96. [HK00] P. Hajłasz, P. Koskela, Sobolev met Poincaré. Mem. Amer. Math. Soc. 45 (2000), no [HP07] [H4] C. Hinde, P. Petersen: Generalized doubling meets Poincaré. J. Geom. Anal. 7 (2007), S. Honda: A weakly second-order differential structure on rectifiable metric measure space. Geom. Topol. 8 (204), [H5] S. Honda: Ricci curvature and L p -convergence. J. Reine Angew Math. 705 (205), [J4] R. Jiang: Cheeger-harmonic functions in metric measure spaces revisited. J. Funct. Anal. 266 (204), [KR5] [KM96] [LV09] [Raj2] [St06] C. Ketterer, T. Rajala: Failure of topological rigidity results for the measure contraction property. Potential Anal., 42 (205), J. Kinnunen, O. Martio: The Sobolev capacity on metric spaces. Ann. Acad. Sci. Fenn. Math. 2 (996), J. Lott, C. Villani: Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math. 69 (2009), T. Rajala: Local Poincaré inequalities from stable curvature conditions on metric spaces. Calc. Var. Partial Differential Equations 44(3) (202), K.-T. Sturm: On the geometry of metric measure spaces, I and II. Acta Math. 96 (2006), 65 3 and