Constructions of harmonic maps between Hadamard manifolds
Constructions of harmonic maps between Hadamard manifolds
Constructions of harmonic maps between Hadamard manifolds
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CHAPTER 3<br />
Dirichlet problem at infinity for <strong>harmonic</strong> <strong>maps</strong><br />
<strong>between</strong> Damek-Ricci spaces<br />
3.1 Damek-Ricci spaces<br />
3.1.1 Generalized Heisenberg algebra<br />
We start this section with a brief review <strong>of</strong> generalized Heisenberg algebras due to Kaplan<br />
[21].<br />
Let (n, 〈 , 〉 Ò<br />
) be a 2-step nilpotent Lie algebra with inner product 〈 , 〉 Ò<br />
, z its center<br />
and v the orthogonal complement <strong>of</strong> z in n with respect to 〈 , 〉 Ò<br />
. Since n is 2-step nilpotent,<br />
ad v| Ú<br />
is a map from v to z for any v ∈ v. We set k v := {u ∈ v | ad v(u) =[v, u] =0} and<br />
consider the orthogonal decomposition v = k v ⊕ v v with respect to 〈 , 〉 Ò<br />
. We call (n, 〈 , 〉 Ò<br />
)a<br />
generalized Heisenberg algebra if ad v| Úv : v v → z is a surjective isometry for any unit vector<br />
v ∈ v.<br />
Generalized Heisenberg algebras can be constructed systematically in the following fashion:<br />
Let (u, 〈 , 〉 Ù<br />
) and (v, 〈 , 〉 Ú<br />
) be real vector spaces equipped with inner product. Let<br />
µ : u × v → v be a composition <strong>of</strong> quadratic forms, that is, µ is a bilinear map satisfying<br />
|µ(u, v)| Ú<br />
= |u| Ù<br />
|v| Ú<br />
for all u ∈ u and v ∈ v. Note that µ : u × v → v satisfies µ(u 0 ,v)=v<br />
for some u 0 ∈ u. Indeed, for any given u 0 ∈ u, set T : v → v by T (v) :=µ(u 0 ,v). Then<br />
µ ′ (u, v) :=µ(u, T −1 (v)) satisfies µ ′ (u 0 ,v)=v. Hence we may suppose µ(u 0 ,v)=v. Define<br />
φ : v × v → u by<br />
〈u, φ(v, v ′ )〉 Ù<br />
= 〈µ(u, v),v ′ 〉 Ú<br />
.<br />
Let z be the orthogonal complement <strong>of</strong> Ru 0 = {ru 0 | r ∈ R} in u, π: u → z the orthogonal<br />
projection and n the direct sum n := v ⊕ z <strong>of</strong> v and z with the natural inner product. Define<br />
59