Hence the energy defines a functional on the space of Lipshitz maps between M and M'. Critical points of this functional are called harmonic maps. These maps were studied by Bochner, Morrey, Rauch, Eells and Sampson, Hartman, Uhlenbeck, Hamilton, Hildebrandt and others. The first fundamental result was due to Eells and Sampson [3] who proved that, in case M'has non-positive sectional curvature, each map from M to M'is homotopic to a harmonic map.(This result was then extended by Hamilton [8] to the case where both M and M'are allowed to have boundary.) Later Hartman [7] was able to prove the harmonic map is unique in each homotopy class if M'has strictly negative curvature. This last result of Hartman leads one to believe that harmonic maps between compact manifolds with negative curvature must enjoy a lot of nice properties. In fact, a few years ago, B. Lawson and the second author conjectured

We prove pinching estimates for dual flows provided the curvature function used in the inverse flow in de Sitter space is convex.

In this paper, we prove that if a compact Kähler manifold X has a smooth Hermitian metric ω such that (T_X,ω) is uniformly RC-positive, then X is projective and rationally connected. Conversely, we show that, if a projective manifold X is rationally connected, then there exists a uniformly RC-positive complex Finsler metric on T_X .

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.

Getzler-Jones-Petrack introduced $A_\infty$ structures on the equivariant complex for manifold $M$ with smooth $\mathbb{S}^1$ action, motivated by geometry of loop spaces. Applying Witten's deformation by Morse functions followed by homological perturbation we obtained a new set of $A_\infty$ structures. We extend and prove Fukaya's conjecture relating this Witten's deformed equivariant de Rham complexes, to a new Morse theoretical $A_\infty$ complexes defined by counting gradient trees with jumping which are closely related to the $\mathbb{S}^1$ equivariant symplectic cohomology proposed by Siedel.