In this paper, we extend the sharp lower bounds of spectal gap, due to Chen- Wang [12, 13], Bakry-Qian [6] and Andrews-Clutterbuck [5], from smooth Riemannian manifolds to general metric measure spaces with Riemannian curvature-dimension condition RCD(K;N).

In this paper, we establish a Bochner type formula on Alexandrov spaces with Ricci curvature bounded below. Yau’s gradient estimate for harmonic functions is also obtained on Alexandrov spaces.

In this paper, we will study the (linear) geometric analysis on metric measure spaces. We will establish a local Li-Yau’s estimate for weak solutions of the heat equation and prove a sharp Yau’s gradient gradient for harmonic functions on metric measure spaces, under the Riemannian curvature-dimension condition RCD(K; N).

In 1997, J. Jost [27] and F. H. Lin [39], independently proved that every energy minimizing harmonic map from an Alexandrov space with curvature bounded from below to an Alexandrov space with non-positive curvature is locally H¨older continuous. In [39], F. H. Lin proposed a challenge problem: Can the H¨older continuity be improved to Lipschitz continuity? J. Jost also asked a similar problem about Lipschitz regularity of harmonic maps between singular spaces (see Page 38 in [28]). The main theorem of this paper gives a complete resolution to it.

In a symmetric space of noncompact type X = G=K oriented geodesic segments correspond modulo isometries to vectors in the Euclidean Weyl chamber. We can hence assign vector valued lengths to segments. Our main result is a system of homogeneous linear inequalities, which we call the generalized triangle inequalities or stability inequalities, describing the restrictions on the vector valued side lengths of oriented polygons. It is based on the mod 2 Schubert calculus in the real Grassmannians G=P for maximal parabolic subgroups P. The side lengths of polygons in Euclidean buildings are studied in the related paper [KLM2]. Applications of the geomet- ric results in both papers to algebraic group theory are given in[KLM3].