Harmonic quasisometric maps
Joint with Dominique Hulin.
1. The result
We deal with Hadamard manifolds, i.e. complete simply connected nonpositively curved Riemannian manifolds. Say it is pinched if sectional curvature is between two negative constants.
Harmonic maps are critical points of the energy functional . They satisfy the second order PDE trace.
Theorem 1 Let and be pinched Hadamard manifolds with dim. Every quasi-isometric embedding is within bounded distance of a unique harmonic map.
If dim, the theorem fails. Indeed, a bi-Lipschitz parametrization of a geodesic is a quasi-isometry which is not within bounded distance of the harmonic geodesic whose parametrization has constant speed.
2. History and first steps
Motivated by quasi-isometric rigidity of symmetric spaces, Schoen-Li-Wang conjectured this fact in 1995 for rank one symmetric spaces. Markovic-Lemm proved it for , in a series of 3 papers.
Note that if curvature is not pinched, one gets into trouble. Indeed, let and . The map
is a quasi-isometric embedding. Every harmonic map is a pair where is a harmonic function, asymptotic to . Hence achieves a minimum, contradiction. Note that every higher rank symmetric space contains isometric copies of , hence the counterexample is ubiquitous.
Yet, the Dirichlet problem has a unique solution on every bounded subset of . One sees that, when restricting to a ball in and solving the Dirichlet problem, the solution is , which is far away from .
Thus the key point is to get control of the size of harmonic maps. The first step is the fact that the distance between two harmonic maps is a subharmonic function. Hence it must be large somewhere. This applies to contant maps. The second is an apriori estimate, due to Cheng, of the size of the derivative at the center of a unit ball in terms of the diameter of the image of this ball.
3. Proof of existence
One can assume that is smooth with bounded first and second derivatives. Solve the Dirichlet problem on , get .
Proposition 2 There exists such that for all ,
Once this is done, with Cheng’s estimate, a subsequence converges to a global harmonic map within distance of .
3.1. First, a boundary estimate
Inspired by J. Jost.
Indeed, fix and set
As we have seen, is subharmonic, has bounded second derivatives, has large positive Laplacian, due to pinched curvature. So for large enough, is subharmonic, vanishes on the boundary, so it is nonpositive everywhere.
3.2. The interior estimate
The argument is geometric. Choose that maximizes . By contradiction, assume that are very large, and focus on the images of . Let . Viewed from , consider angles (resp. ) of and (resp. and ). Let
- For all , is small,
by hyperbolic trigonometry.
- For all , is small,
by Cheng’s estimate played against subharmonicity of distance to .
- is not small. Its measure (on the sphere) is bounded below by .
From the Lemma, the angle of and is not small, since is quasi-isometric and its boundary value is a quasi-symmetric homeomorphism. This contradicts