Professional Documents
Culture Documents
(Progress in Nonlinear Differential Equations and Their Applications 23) Yuanlong Xin (Auth.) - Geometry of Harmonic Maps (1996, Birkhäuser Basel)
(Progress in Nonlinear Differential Equations and Their Applications 23) Yuanlong Xin (Auth.) - Geometry of Harmonic Maps (1996, Birkhäuser Basel)
Editor
Haim Brezis
Universite Pierre et Marie Curie
Paris
and
Rutgers University
New Brunswick, N.J.
Editorial Board
Antonio Ambrosetti, Scuola Normale Superiore, Pisa
A. Bahrl, Rutgers University, New Brunswick
Luis Cafarelli, Institute for Advanced Study, Princeton
L. C. Evans, University of California, Berkeley
Mariano Giaquinta, University of Florence
David Kinderlehrer, Carnegie-Mellon University, Pittsburgh
S. Klainerman, Princeton University
Robert Kohn, New York University
P. L. Lions, University of Paris IX
Jean Mawhin, Universite Catholique de Louvain
Louis Nirenberg, New York University
Lambertus Peletier, University of Leiden
Paul Rabinowitz, University of Wisconsin, Madison
John Toland, University of Bath
Yuanlong Xin
Birkhauser
Boston - Basel- Berlin
Yuanlong Xin
Institute of Mathematics
Fudan University
Shanghai 200433 China
9 876 5 432 I
CONTENTS
Preface ix
Chapter I. Introduction 1
1.1 Vector Bundles 1
1.1.1 Vector Bundles 1
1.1.2 Connections 5
1.2 Harmonic Maps 9
1.2.1 Energy 10
1.2.2 Tension Field 11
1.2.3 The First Variational Formula 13
1.2.4 Examples of Harmonic Maps 15
1.3 A Bochner Type Formula 17
1.3.1 Hodge-Laplace Operator and Weitzenb6ck
Formula 17
1.3.2 A Bochner Type Formula and Its Applications 22
1.4 Basic Properties of Harmonic Maps 28
1.4.1 Maximum Principle 28
1.4.2 Unique Continuation Theorems 32
1.4.3 Second Variational Formula and Stable
Harmonic Maps 33
Chapter II. Conservation Law 39
2.1 Stress-Energy Tensor and Conservation Law 39
2.2 Monotonicity Formula 43
2.3 Applications of Conservation Law to Liouville
type Theorems 46
2.4 FUrther Generalizations 49
Chapter III. Harmonic Maps and Gauss Maps 61
3.1 Generalized Gauss Maps 61
3.2 Cone-like Harmonic Maps 64
3.3 Generalized Maximum Principle 70
3.4 Estimates of Image Diameter and its
Applications 76
v
3.5 Gauss Image of a Space-Like Hypersurface in
Minkowski Space 79
3.6 Gauss Image of a Space-Like Submanifold in
Pseudo-Euclidean Space 86
3.6.1 Geometry of ~IV(2) 87
3.6.2 Gauss Map 89
3.6.3 Gauss Image of a Space-like Surface in lR~ 91
Chapter IV. Harmonic Maps and Holomorphic 97
Maps
4.1 Partial Energies 97
4.2 Harmonicity of Holomorphic Maps 99
4.3 Holomorphicity of Harmonic Maps 102
Chapter V. Existence, Nonexistence and Regularity
121
5.1 Direct Method of the Calculus of Variations 121
5.2 Regularity Theorems 124
5.3 Nonexistence and Existence 127
5.4. Regularity Results of Harmonic Maps into
Positively Curved Manifolds 132
Chapter VI. Equivariant Harmonic Maps 147
6.1 Riemannian Submersions and Equivariant
Harmonic Maps 147
6.2 Reduction Theorems 152
6.3 Equivariant Variational Formulas 156
6.4 On Harmonic Representatives of IIm(8m) 162
6.4.1 ODE of Smith's Construction 163
6.4.2 The Solvability of ODE (6.31) and (6.33) 166
6.4.3 Application of Smith's Construction 179
6.4.4 Another Construction of Equivariant Maps 181
6.4.5 The Solvability of ODE (6.63) and (6.65) 186
6.4.6 On Harmonic Representatives of Homotopy
Group of the Higher Dimensional Sphere 191
6.5 Harmonic Maps via Isoparametric Maps 193
6.6 Harmonic Maps of Projective Spaces 202
6.6.1 Harmonic Maps from QJP>n - 1 into 8 m1 205
6.6.2 Harmonic Maps from QJP>n - 1 into QJP>m-l 206
VI
6.7 Equivariant Boundary Value Problems 209
6.7.1 The Reduced PDE 209
6.7.2 The Solvability of PDE 212
6.7.3 Construction of Equivariant Maps into CP2 216
6.7.4 Heat Flow 217
6.7.5 Global Existence and Sub convergence 223
References 227
Index 239
vii
PREFACE
IX
and the dimensions of the singular sets of a minimizing weakly harmonic
maps into certain positively curved manifolds can be estimated
Chapter 6 is a systematic study of the method of equivariant harmonic
maps. A rather general framework for the method is given. The reduced
harmonicity equations can be a single ODE, a system of ODE's, or a scalar
PDE. By solving several concrete problems, it is shown that this method is
useful for finding non-minimal critical points of the geometric variational
problems.
We use freely and without explanation well known facts from Riemann-
ian geometry. Readers are referred to standard text books for these basic
results. This book is primarily a translation of the original Chinese version.
Some material was added and refined during the translation, partially due
to suggestions of the referee, to whom I would like to express my sincere
thanks.
The present text is based on lectures given by the author at the Institute
of Mathematics, FUdan University; the Institute of Mathematics, Academia
Sinica; the Nationwide Summer School for Graduate Students held at Uni-
versity of Sceinces and Technologies of China and the Nankai Institute of
Mathematics. I take this opportunity to acknowledge the hospitality of
these institutions. I also express my deep appreciation to my colleagues
and students who, through suggestions and corrections, contributed to the
improvement of this book. Special thanks are due to Professors Su Buchin,
Gu Chaohao and Hu Hesheng for their encouragement during the prepra-
tion of this book. Professor Gu read through the manuscript of the Chinese
version of this book and gave many valuable comments and suggestions.
In conclusion I acknowledge the grants from the National Natural Sci-
ence Foundation of China, and the Science Foundation of Educational Com-
mittee of China which partially supported my work, including this book.
Y. L. Xin
FUdan University
August, 1995
x
CHAPTER I
INTRODUCTION
e, M and rr are called the total manifold, the base manifold and
the projection map, respectively. rr-l(p) is a fiber over the point p, and
e.
(U, h) is a coordinate chart of Here U can be the whole base manifold
M. In this situation E is called a trivial vector bundle.
e
DEFINITION 1.1.2 Let s : M --t be a differentiable map from the base
manifold M of a vector bundle E into the total manifold e.
It is called a
cross-section if it satisfies
where v = (vI, ... ,vn). Here and in the sequel we use summation con-
ventions, namely summing up repeated indices over the range of indices.
. a
On the other hand, for any e = e' ax' Ip, we have
1.1 VECTOR BUNDLES 3
+ t 2(p, e2))
j(tl (p, el)
= j(p, tIel + t2e2)
= tIel + t 2 e 2
h-1(e) = (f(p),v),
Obviously,
hI 0 hl1(ed = h1(p,v)
= (p,h(f(p),v))
= (p, h 0 h -1 (e))
= (p, e) = e1,
and
Define
E= U Fp
pEM
and the projection 7l" : E --+ M by 7l"(Fp) = p. Then there exists a topo-
logical structure and a differentiable structure on E such that E is a
total manifold and forms a vector bundle. The concrete verification can
be found in the standard books (say, [MIl or [S]).
, Many notions in differential geometry can be viewed as cross-sections
of an appropriate vector bundle. As mentioned before, any smooth vec-
tor field on a manifold M is a cross-section of the tangent bundle T M.
The differential I-forms are cross-sections of the dual bundle TM* of the
tangent bundle T M. Any exterior differential k-forms are cross-sections
of the vector bundle AkT M*. More generally, we can consider differen-
tial forms with values in a vector bundle which are also cross-sections.
For instance, let f : M --+ N be an isometric immersion. Its second
fundamental form can be viewed as a cross-section of the vector bundle
Hom(TM 0 TM,TN).
1.1.2 Connections.
To discuss the geometrical properties of vector bundles let us intro-
duce the notion of connections.
Let M be a Riemannian manifold, and 7l" : E --+ M a vector bundle.
Let f(E) denote the infinite-dimensional vector space consisting of all
cross-sections of E.
DEFINITION 1.1.3 A connection on the vector bundle E is a map V :
f(TM) x f(E) --+ r(E) satisfying the following properties (for X E
f(TM) and </> E f(E), V x </> denotes the image of (X,</» under the map
V):
(1) For any f E f(M x lR)
VfX</> = fVx</>;
6 I INTRODUCTION
v X f¢ = X(f)¢ + fV x¢.
(1.1.1)
REMARK 2 Note that there are different sign conventions for the curva-
ture. Our convention here coincides with the classical curvature tensor.
Let E1 -; M and E2 -; M be vector bundles over the same base
manifold M. The various connections on the corresponding induced vector
bundles may be defined naturally from the known connections VEi on the
vector bundles E i , i = 1, 2.
(i) The connection for the direct sum
(1.1.2)
(1.1.3)
From the above examples it can be seen that the various induced
connections are something like "derivatives" and commute with the con-
traction of tensor.
Now let us discuss Riemannian vector bundles. Starting from the
vector bundle E ----t M, we can obtain the symmetric 2-tensor product of
the dual bundle 8 2 E*. Any cross-section a E r( 8 2 E*) defines a metric
for the vector bundle E, if it is positive definite at any point in M. For
any vector bundle with a connection \7 and a metric a, if a is parallel with
respect to the induced connection, namely \7 xa = 0 for any X E r(T M),
then (E, \7, a) forms a Riemannian vector bundle. Let c/J, "p E r( E) and
X E r(TM). Denote a(c/J,,,p) = (c/J,,,p). Then
Therefore, \7 xa = 0 is equivalent to
(1.1.6)
(1.1. 7)
to verify that the metric (1.1.7) and the connection (1.1.5) satisfy the
condition (1.1.6) for Riemannian vector bundles.
To close this section we would like to describe an important diffe-
rential operator, namely the trace-Laplacian operator, by the terminology
of the cross-section of vector bundles.
Let X E r(TM) and 'lj; E r(E). Define
(V 2 'lj;,¢) = (V~V~'lj;,¢)
= ei (V~'lj;,¢) - (V~¢, V~'lj;) (1.1.9)
= ei (V~'lj;,¢) - (V¢, V'lj;) .
Define
v = (V~'lj;,¢) ei,
(1.1.10)
(1.1.11)
1.2 HARMONIC MAPS 9
where *1 denotes the volume element. We shall use this notation later as
well. By using Green's theorem, (1.1.11) becomes
(1.1.12)
Similarly,
(1.1.13)
Therefore,
(1.1.14)
(1.1.15)
This coincides with the local expression of the ordinary Laplacian oper-
ator acting on smooth functions. We will use the symbol dM to denote
the Laplace operator on M.
1.2.1 Energy.
(1.2.1)
(1.2.2)
Taking the trace of 1* h with respect to the metric 9 of M gives the energy
density of the given map i
(1.2.3)
(1.2.4)
points under the map I whose tangent vectors of the coordinate curves
are a~. and a;n'respectively. Then
where gij and ha!3 are the components of the metric tensors in the local
coordinates on M and N, respectively. Hence, the expression of the
energy in local coordinates is given by
_11
E(J) - -
2 M
ij8r 81!3
9 -8. -8. ha!3
x' xl
* 1. (1.2.5)
(1.2.6)
From the definition above it is not difficult to see that Bx y is linear with
respect to X and Y, namely for any smooth function >. on M
(1.2.7)
we have verified our claim. Taking the trace of the second fundamental
form Bxy gives the tension field
(1.2.8)
(1.2.9)
where D..M denotes the Laplace operator on M. We thus obtain the har-
monicity equations in local coordinates
A
UM
fa
+9
ij=<>r
1'''1 ox i orr
0 fl'
ox _o.
j - (1.2.10)
(1.2.11 )
14 I INTRODUCTION
(1.2.13)
(1.2.14)
The first variational formula shows that harmonic maps are critical points
of the energy functional and rU) = 0 is the Euler-Lagrange equation of
the energy functional.
REMARK If 8M -::f. 0 and VlaM -::f. 0, then
(1.2.15)
where iw, (*1) denotes the inner product of the volume form *1 and the
vector Wt . If we choose el,· .. ,em-l E T( 8M), em is normal to 8M. Let
1.2 HARMONIC MAPS 15
Bxy(f) = (V'xdf)(Y)
= V'f.xf*Y - f*(V'x Y )
= V' f.xf*Y - (V' f.xf*Yf
= (V' f.X f*y)N
16 I INTRODUCTION
1
H = -r(l),
m
which means that vanishing of the mean curvature vector coincides with
vanishing of the tension field in this case.
EXAMPLE 4 Let G 1 and G 2 be Lie groups endowed with bi-invariant
Riemannian metrics, and f : G 1 -+ G 2 a Lie homomorphism. Then, f is
a harmonic map.
In fact, it suffices to show that its tension field is equal to zero at
the identity element. Let el E G 1 and e2 E G 2 be identity elements.
Choose the normal coordinates at el and at e2, respectively. Therefore,
we can use the coordinates of corresponding Lie algebra Ql to represent
all points near el, as well as that of Lie algebra Q2 for points near e2.
Consequently, f* : Ql -+ Q2 is a linear transformation which keeps Lie
brackets invariant. This means that in normal coordinates the map f is
represented by linear functions. Noting the Christoffel's symbols vanish
at the origin of normal coordinates from (1.2.9) we have r(l)lel = O.
EXAMPLE 5 Suppose that M -+ jRm+n is an immersed submanifold in
the Euclidean space. We can define the generalized Gauss map as follows.
For any p E M parallel translation of the tangent space TpM to the origin
in the ambient Euclidean space yields an m-subspace of jRm+n which is a
point i(P) of the Grassmannian manifold Gm,n' The map i : M -+ Gm,n
is called the generalized Gauss map. E. Ruh and J. Vilms proved that i
is a harmonic map if and only if M has parallel mean curvature in jRm+n
[R-V]. We shall return to this topic and study applications of harmonic
maps in the geometry of submanifolds in Chapter 3.
EXAMPLE 6 If M and N are Kahler manifolds and f : M -+ N is a
holomorphic map, then f has to be a harmonic map.
Therefore, there are important applications of harmonic maps in com-
plex differential geometry. We shall discuss them in detail in Chapter 4.
EXAMPLE 7 In homotopy theory there is a basic, so-called Hopf map
h: S3 -+ S2. This is also a harmonic map.
Let S3 = {(Zl,Z2) E C 2j IZll2 + IZ212 = I}. For any (Zl,Z2) E S3
(1.2.16)
if Z2 of. 0,
(1.2.17)
if Z2 = 0
for [(ZI, Z2)] E 1ClP'1, where [(., .)] denotes the equivalence class of (., .).
By stereographic projection P : C U {oo} - t S2 we obtain a point in S2.
Note that for any Z E C U {oo}.
2Rez 2Imz
( (1.2.18)
P(z)= IzI 2 +1' IzI2 + l'
From (1.2.16),(1.2.17) and (1.2.18) we see that h = Po hI 071".
(1.3.4)
It is well known that there is a property of = 0 for usual exterior differ-
d2
ential forms. But, there is no such property in general for the differential
forms with values in a vector bundle. From (1.3.4) we have
d 2 w(Xo,'" , X p+l )
~ k+l
= L,....(-1) (R(XZ,Xk)W)(XO"" ,Xz,··· 'Xk"" ,Xp+d·
A A
l<k
We also define the co-differential operator 8 : r( APT* M ® E) --+
r(AP-IT* M ® E) as follows.
(1.3.5)
where {eJ is a local orthonormal frame field.
For two exterior differential p-forms wand () their global inner prod-
uct is defined by
(w, ()) d~l 1M (w, ()) * 1.
PROPOSITION 1.3.1 Let M be a compact (without boundary if there is
no specification) Riemannian manifold, and 7!" : E --t M a Riemannian
vector bundle. Then the operators d and 8 defined by (1.3.4) and (1.3.5)
are adjoint with respect to the above global inner product.
1.3 A BOCHNER-TYPE FORMULA 19
- \ w(ei 1 , ' " , eik"" , eip), (\7 eik f))(eikl ei 1 ,'" , ei k ,'" , eip);
= (-I)k+l\7ei k (W(eill'" ,eik'''' ,eip),f)(eill'" ,eip))
+ (w, bf)) .
(1.3.6)
Let
\ ~1 , ". ,1,k
O=lw(e- e- , ". ' e-)
l p ' f)(e-'1,1 , ". e-
'l,p ))Wl/\"'/\W-'l,k /\"·/\W m,
(1.3.8)
which maps every p-form with values in E into a p-form with values in
E.
20 I INTRODUCTION
and the equality holds if and only if dw == 0 and hw == 0, which means that
Ll is a semi-positive operator. We know that the trace-Laplace operator
is elliptic, from which and the following Weitzenbock formula follows the
ellipticity of the Hodge-Laplace operator.
Q.E.D.
where 1·1 denotes the Hilbert-Schmidt norm of the linear map f. : TpM ----+
Tf(p)N. From (1.3.4) we have
wbere 'V 2 denotes tbe trace-Laplace operator introduced in tbe last sec-
tion and for any Xl, ... , Xp E r(T M)
(1.3.10)
22 I INTRODUCTION
= -Ve,(Ve,W)(XI,··· ,Xp)
- (-1) k Ve,(V xkw)(ei,XI,··· ,Xk'···
'
,Xp)
+ L(Ve,w)(XI ,··· ,Ve,Xj,··· ,Xp)
j
1
t::.e(f) = t::."2 (df, df)
= (Y' 2df, dfl + I B(f) 12 (1.3.14)
= - (t::.( df), df) + I B(f) 12
- (RN (f*ei, f*ej )f*ei, f*ej 1+ U*Ric M ei,!*eil .
Noting f being harmonic, we see that t::.(df) = 0, and (1.3.13) follows
from (1.3.14).
Q.E.D.
In what follows some applications of the formula (1.3.13) will be
given.
THEOREM 1.3.6 ([E-S]) Let M be a compact manifold with nonnega-
tive Ricci curvature, N a manifold with nonpositive sectional curvature
and f : M - t N a harmonic map. Then f is a totally geodesic map.
Furthermore,
(1) If the RicCi curvature ofthe domain manifold M is positive some-
where, then f is a constant map.
(2) If the sectional curvature of the target manifold N is negative,
then f is either a constant map or f(M) is a closed geodesic in N.
PROOF. Integrating both sides of the equality (1.3.13) over M gives
(1.3.16)
24 I INTRODUCTION
Furthermore,
(1) If the Ricci curvature of M is positive at x E M. Choose a local
frame field {ei} such that eilx coincide with the principal Ricci directions
at x. So we have
At x
Noting (1.3.16),
Therefore at x
On the other hand, from (1.3.13) and the assumptions it follows that
b..e(J) ~ O.
By using Hopf's maximum principle we know that e(J) is constant, so
e(J) == 0 and f is a constant map.
(2) Note
(RN(J*ei,f*ej)f*ei,f*ej) == 0, (1.3.17)
where there is no summation over the indices i and j. If there exists a
point x such that at least two vectors among f*ei are linearly independent
at x, which are assumed to be f*el and f*e2, then when the sectional
curvature of N is negative,
(R N (J*el,f*e2)f*el,f*e2) < 0
which contradicts (1.3.17). Hence, the rank of f is one at most. If the
rank of f is zero at one point, then from the above discussion e(J) is
constant and the rank is zero everywhere. Otherwise, the rank of f is
equal to one everywhere and f(M) is a closed geodesic in N.
Q.E.D.
iJ.e(f) ::::: O.
If e(f) =f=- 0, then f is a totally geodesic map and e(f) == 2(;:!:I)b' Particu-
larly, if e(f) <:::: 2ab which implies e(f) < 2d:!:l)b' then the above discussion
shows that e(f) is zero identically.
Q.E.D.
If the domain manifold M is complete and noncompact the corre-
sponding result can also be obtained provided the energy is finite.
THEOREM 1.3.8 ([S- Y1]) Let M be a complete noncompact manifold
with nonnegative Ricci curvature, and N a manifold with nonpositive
sectional curvature. 1£ f : M ---+ N is a harmonic map with finite energy,
then f is a constant map.
26 I INTRODUCTION
(1.3.22)
1 2 1 2
2: -2( e(f) + c )-2 e(f)1 B(f) I + 2( e(f) + c )-21 B(f) I
3 1
- 1M "121 Vve(f) + c 12 * 1.
Let Xo be a point in M. BR and B2R denote geodesic balls centered at
Xo with radii Rand 2R, respectively. Choose a cut-off function "1 defined
by
I,
"1{x) = {
0,
moreover 0 ::::; "1 : : ; 1, IV"11 : : ; 'ii, where d is a positive constant. Thus,
(1.3.24) becomes
Therefore,
(1.3.25)
Letting R --. 00 and noting the assumption of the energy being finite we
have
( [Ve(f) [2 *1 < 0
lM\{e(f)=o} 4 e(f) -,
which means e(f) is constant. If e(f) ¢. 0, then the volume of M is finite.
On the other hand, the volume of a complete and noncompact manifold
with nonnegative Ricci curvature is infinite [01] [Y1]. This leads to a
contradiction. Therefore, f must be constant.
Q.E.D.
Similarly, Theorem 1.3.7 can also be generalized to the case of com-
plete and noncompact domain manifold. We omit writing the generaliza-
tion here.
28 I INTRODUCTION
(1.4.2)
d2 (fo"() --
ds 2 = B-yl "I' (f) + df( r( "())
= Hess(f)("(', "('),
1.4 BASIC PROPERTIES OF HARMONIC MAPS 29
from which the conclusion follows immediately. As for the above formula,
it can be verified by using the properties of homogeneous functions. We
leave it to readers as an easy exercise.
Q.E.D.
Let us discuss the maximum principle again. To this end we need
the following result.
LEMMA 1.4.6 Let N' be a hypersurface in N. Suppose that the second
fundamental form B of N' in N is definite at a point Yo E N'. Then there
exists a strongly convex function 1 : V -+ IR in a neighborhood V C N
of Yo such that 1-1(0) = N' n V and 1 < 0 on the concave side.
REMARK The second fundamental form is called definite at the point
Yo if for any X, Y E TYoN' there exists). > 0 such that B(X,X) =
)'B(Y, Y). The side oriented by the direction of B(X, X) is called the
concave side.
PROOF. There exist the geodesic parallel coordinates with director hy-
persurface N' in a neighborhood V of Yo in N, namely, local coordinates
(U1,' .. ,un) in V such that N' n V is defined by Un = OJ the coordinate
curve along Un is a geodesic with arc length Iunl starting from the hyper-
surface N'. In the concave side of N' the coordinate Un is negative. Obvi-
ously, there are the induced coordinates (U1' ... ,U n -1) in N' n V. Choose
the standard embedding of N' n V in N defined by i: (U1,'" ,un-d -+
(U1' ... ,Un-1, 0). Define a function Un : (U1,'" ,un) -+ Un. Obviously,
Un 0 i = O. By using formula (1.4.1) we have
-(8 8)
and
Hess(f) 8u n ' 8u n = 2.
This means that 1 is strongly convex near Yo. Obviously, 1 satisfies other
conditions of the lemma.
Q.E.D.
32 I INTRODUCTION
-,a _Q
Here, r Ih denotes r f31'( v). The right-hand side of the above expression
can be rewritten as
we have
dd:
t
EUt)\
t=o
= -
J[M / v, V
\
~a. rUt)) It=O * 1. (1.4.3)
8~ 8t I
V~
at
rUt) = V ~(Veodft)ei
at I
= (V ~ Veodft)ei
a. •
(1.4.5)
This formula is due to R. T. Smith and E. Mazet [Sm1] [Ma]. From the
second variational formula we define the index form for harmonic maps
by
I(v,w) d~l1M (_V2v - RNU*ei,v)f*ei,w) * 1
(1.4.6)
= 1M (JJV'W) * 1,
1.4 BASIC PROPERTIES OF HARMONIC MAPS 35
where
(1.4.7)
where {eJ is a local orthonormal frame field of sn. It is easily seen that
v is the projection of a parallel vector field in jRn+l into the sphere.
Furthermore, it satisfies
\7 x v = -hX, (1.4.8)
\7 2 v = -v, (1.4.9)
\7 2 v = \7e.(-he i)
= -ei(h)ei
= -grad h = -v.
(1.4.10)
(1.4.11)
(1.4.13)
(1.4.14)
I(J*v,f*v) = r (2 -
Jsn n) (f*v,f*v) d.
Consequently,
and
CONSERVATION LAW
Thus, (2.3) follows immediately from the above equality and the sym-
metry in X and Y of the second fundamental form Bxy(f). Hence, any
relatively affine map is also a generalization of the totally geodesic map
and satisfies the conservation law.
A relatively affine map may not be a harmonic map. There are such
examples. Consider a nonminimal Clifford hypersurface in sn+l
Noting
1
Y' xe(f) = 2" Y' X (f*ei, f*ei)
= (Y' X f*ei, f*ei)
= ((Y' Xdf)ei, f*ei)
= ((Y'eidf)X,f*ei)
= (Y' eJ*X, f*ei) - (f* Y' eiX, f*ei)
= Y' e, (f*X, f*ei) - (f*X, (Y' eidf)ei)
- (Y'eiX, ej) (f*ei, f*ej)
= div((f*X,f*ei) ei) - (f*X,T(f))
-(Y'X,j*h),
we have
div(e(f)X) = div((f*X,f*ei) ed
(2.4)
- U*X,T(f)) + (Sf, Y'X).
If suppX (supporting set of X) is compact, integrating both sides of (2.4),
then using Green's theorem and Theorem 2.1 we obtain
f(divX)*l= f (X,n)*1.
lD laD
Integrating (2.4) over D gives
(2.5) and (2.6) are important formulas and we will use them to prove
several results.
2.2 A MONO TONICITY INEQUALITY 43
where
y'crcot(y'cr), e> 0,
vfcfrF (vfcfr) = { 1, e= 0,
Fcreoth (Fcr) , e < 0,
and
(2.8)
We have therefore
(2.9)
~ er + e+ e(m -l)MrF (Mr) ,
and
(f*h, V'X) = (f*e a ,!*e(3) (V'e X , e(3)
a
+(er+O\I*!,I*!)
:s er(f*e I*e vTaTF (vTaTr)
a, a) (2.10)
+(er+e)\I*!,I*!)
= erldf1 vTaTF (vTaTr) + er \I*! ,I*!)
2
I, for r E [0,1],
{
¢(r)= 0, for rE[I+<'oo)
'-, ,
and ¢' ::; 0, where c: > ° is a sufficiently small number. For r E [0', p] set
Then
and
~Tr = ¢ C~) r ::; ¢ (S) r(1 + c:) = ~T(1 + c: )r.
Substituting the above formulas into (2.11) gives
Q.E.D.
REMARK From the monotonicity inequality Liouville-type theorems can
be proved. If certain geometric conditions insure A to be zero and the
validity of the monotonicity inequality when the radius goes to infinity,
then a corresponding Liouville-type theorem follows. This will be the
subject of the next section.
46 II CONSERVATION LAW
Physicists first proved that any harmonic map with finite energy from
Euclidean space ]Rn (n 2:: 3) into the sphere has to be constant [G-R-S].
J. Eells and 1. Lemaire pointed out that the theorem would be valid for
any target manifold. Afterward, H. C. J. Sealey proved that the domain
manifolds may be ]Rn and JH[n (n 2:: 3) [SI]. We have the following more
general result.
THEOREM 2.8 ([X8]) Let M be a Cartan-Hadamard manifold whose
sectional curvature varies in a small range (the precise range will be seen
in the proof below), and 1 a harmonic map from M into any Riemannian
manifold N with moderate divergent energy (the meaning will be shown
in the proof). If the dimension m of the domain manifold is greater than
2, then 1 has to be constant.
PROOF. Let D = BR(XO) be a geodesic ball of radius R and centered at
Xo. Its boundary is the geodesic sphere SR(XO). Obviously, the square
of the distance function from Xo in B R( xo) is smooth. Let denote :r
the unit radial vector field which is also the unit normal vector field n to
:r
aBR(XO). Choose X = r in formula (2.6). We have
and
(Sf' VX) = e(J)div X - (f*e a , l*ef3) (Ve a X , ef3)
- rHess(r)(e.,et} (f*e.,I*et).
(2.14)
where ~ > 0, provided 7110;-1 b - a 2': O.
Case 2. If K 2': - Itr 2 ' then, by the Hessian comparison theorem
(see [G-W]),
1
-(g - dr ® dr)
r
.s Hess(r) .s -(g
~
r
- dr ® dr)'
where
1 1 1
~ = 2 + 2(1 + 4A)2.
48 II CONSERVATION LAW
( e(f) d '2 e,
i Bn(zo)
where e is a positive constant. Thus
LEMMA 2.9
PROOF. At point x E M
= ((Vxw),w)
+ L \(-l)j(VeiiW)(X,eill··· ,Eii ,"· ,eip),w(eill··· ,eip))
= (ixdw,w)
L \(-l)jVeiiW(X,eill··· ,Eii ,·'· ,eip),w(eill··· ,eip))
= (ixdw + dixw,w)
L \w(ei1 , · · · ,VeiiX"., ,eip),w(eill··· ,eip)).
i1 < ···<ip,j
Q.E.D.
LEMMA 2.10
PROOF. At x,
Q.E.D.
PROPOSITION 2.11
LHS = (V"eiSw)(ei,X)
= V"eiSw(ei,X) - Sw(ei' V"eiX)
(2.21 )
52 II CONSERVATION LAW
and
(w0 w ,VX)+
j1 <···<jp-1
= (dixw,w).
Substitution of the above expression into (2.21) gives (2.20).
Q.E.D.
PROPOSITION 2.12
t,
for any x E B t (xo) and 0 < (Y ::::: p ::::: where C is a constant depending
on m and p, A is a constant depending on the bounds of the sectional
curvature in B 1 (xo).
Similarly, we can use the formula (2.23) to prove the vanishing the-
orem for L2 p-forms.
THEOREM 2.14 ([X12]) Let M be a complete simply connected Rie-
mannian manifold whose sectional curvature varies in a small range, and
E ---+ M a Riemannian vector bundle. Let w be an L2 p-form with values
in E satisfying the conservation law. If m > 2p, then w == o.
We return to study the case of harmonic maps again.
The condition of sectional curvature in Theorem 2.8 might not be
necessary. It was conjectured by J. H. Sampson that it is also the case for
any complete simply connected manifolds of negative sectional curvature
[Sal]. We can prove such a Liouville-type theorem for harmonic maps
from any higher-dimensional bounded symmetric domains.
Bounded symmetric domains were introduced by E. Cartan [Cal]
[Ca2] and were systematically studied by Hua, Look and Siegel [Hual]
54 II CONSERVATION LAW
[Hua2] [Lo] and [Silo By the work done by Y. C. Wong [Wo] a bounded
symmetric domain can be viewed as a pseudo-Grassmannian manifold of
all the space-like subspaces of dimension m in pseudo-Euclidean space
lR~+n of index n.
Let c~+m be an (n + m )-dimensional complex vector space. For
any u = (x,y) = (Xl'··· ,XnjXn+I,··· ,X n + m ) E c~+m, define a pseudo-
Euclidean inner product
d (flr)
dr .(8
= -Rzc 8r'8
8r) - IHess(r)1 2 . (2.27)
2
Hess(r) (8 8) =
8r' 8r 2,
56 II CONSERVATION LAW
(2.27) becomes
d
-(~r)
dr
(8 8) - (
;::: -Rzc
. -, -
8r 8r
~r )2 . (2.28)
Similarly, in !VI
d -_
d,/~r)
~. (8 8)
= -Rzc 8r' 8r
_
-IHess(r)l·
2
(2.29)
d -
-(~r)
dr -
~ -
< -Ric (88r' -8r8) - - - (_)2 .
1
m - 1
~r (2.30)
From (2.28), (2.30) and the conditions of the theorem it follows that
(2.31 )
Denote
1 -
H=~r---~r,
m-1
1 -
P=~r+--~r.
m-1
Then, (2.31) can be expressed by
dH
a;:+PH;::: O. (2.32)
m-1
~r = - -
r
+ O(r),
and similarly,
- m-1
~i = -_- + O(T).
r
Hence,
m-2
H=--+O(r).
r
namely,
~ ( H exp (iT P( s) dS)) ?: 0,
(2.33)
a
VJLX=-a'
aT r
divX=1+rl:!..r,
where {ei} = {e., :r} is an orthonormal frame field on BR(XO). There-
fore,
and
(Sf, VX) = e(f)div X - U*ei, f*ej) (VeiX, ej)
H "()
x =
2(xcothx-1)
>0
2 sinh x -
and H"(x) = 0 only when x = O. Both H(x) and H'(x) are nondecreasing
functions. Let
1 1
K(r) = "2 + "2H(br) - H(ar).
2.4 FURTHER GENERALIZATIONS 59
K(r) > 0
when r > O. The above argument shows that
and when e(f) is not identically zero there always exists a neighborhood
U c M, such that e(f) is positive in U. It turns out that (Sf' V'X) is
positive in U and there exists Ro > 0, such that when R > Ro
(2.34)
1 1
This means
·
11m
R-+OC! BR(XO)
e(f)(x)
7J;( r( x))
*1 >
-
J,
OC!
-dR-
7J;(R) SR(XO)
e(f) *1
rOC! CdR
2: J, R7J;(R) = 00,
Wij + Wji = 0,
62 III HARMONIC MAPS AND GAUSS MAPS
where Wij and D. ij are the connection forms and the curvature forms for
M, respectively. There are similar notations for N with superscript *.
For a smooth map f : M --t N,
(3.1 )
aAjj == 0.
t
Its energy density is e(f) = LA,i a~i·
Let f : M --t jRm+p be an isometric immersion. Choose an orthonor-
mal frame field {eI'· .. , e m +p }, such that e~s are tangent vectors. Let
{WI'··· ,W m +P} be its dual frame field. Then the structure equations of
jRm+p along M are as follows.
Wa = 0,
(3.2)
P (JJ Q -------''------+> SO ( m + p)
7r) )K
M
,
-----'-------'>-) Gm,p'
a,f3,···=m+1,··· ,m+p.
Then BAB satisfies the Maurer-Cartan equations
dB AB = BAC 1\ BCB .
And
dS~ = LB~i (3.3)
i,a
(3.4)
Let
64 III HARMONIC MAPS AND GAUSS MAPS
and
(3.5)
Then the energy density of the Gauss map I : M -+ Gm,p is given by
- 1 N
H = - - ('VEE;
m+1 •
+ 'VrT) , (3.7)
and
d
dr ('VE;Ej,Ed = ('Vr'VE;Ej,Ed
= ('V E; 'V rEj, Ek ) + ( 'V[r,E;l~j, Ek ) (3.8)
1
= -;: ('VE;Ej,Ek).
(3.9)
(3.10)
(3.11)
66 III HARMONIC MAPS AND GAUSS MAPS
where A ijk and B ija are constants along the ray. They can be determined
by the conditions at T = 1 as follows.
A ijk = 0, (3.12)
(3.13)
,e :
along any generator are the same one. This means that the Gauss map
CMc ---; G m +1 ,p is a cone-like map.
On the other hand, for the sub manifold M in sm+p we already define
the normal Gauss map, : M ---; G p,m+l, and
where 'T} : G p,m+l ---; G m+1,p is an isometry. Obviously,
,*
= 'T} 0 , : M ---; G m+1,p,
'e='*O'l/J. (3.14)
,e is harmonic.
We thus prove the following theorem by a different approach from
that in [Oh] and [lsI].
THEOREM 3.4 ([OH] [lSI]) M is a minimal submanifold in the sphere if
and only if its normal Gauss map, : M ---; G p,m+l is a harmonic map.
To explore the relationship between minimal submanifolds in the
sphere and its Gauss map we consider the case of compact hypersur-
faces. First of all, M is an unstable minimal hypersurface and so is its
Gauss map. But the CMc' as a hypersurface in IRm+2, may be stable.
1 ( Mx(O,oo)
m - 1
-~u---Id,l
m +
1
2
U-T
2 cPu
-2 -mT-
aT
aU)
aT
T
m
-
2
ud ::::0. (3.15 )
(3.16)
namely,
(3.17)
3.2 CONE-LIKE HARMONIC MAPS 69
Let the squared norm of the second fundamental form of Min sm+l be
IBI2. We have
(3.18)
By a method similar to that used to obtain (3.6) we can also derive the
above formula for submanifolds in the sphere. From the Gauss equation
for hypersurfaces it follows that
(3.20)
(3.21)
Takl· ng 0: = (m+1)(m-2)
4(m-l)2
l·n (3 . 21) gl·ves
Define
u(r) = Jo
r ds
G(s)
f"
Jo G(t) dt,
which satisfies .6.u == 1 and
supu(r) = Jo
roo G(:)
d r
Jo G(t)dt.
1+ 2+<
If we take G(r) = r °e r (when r :::: 1), the above integral converges.
The function u( r) is bounded from above, but does not satisfy the max-
imum principle. The Gauss curvature of the surface (~2, ds 2 ) is like
_r2+2o near infinity. This means that the curvature diverges to infinity
too fast to satisfy the maximum principle. But we can prove the following
result.
3.3 GENERALIZED MAXIMUM PRINCIPLE 71
~U(Xk) < c.
We first prove the following lemma.
LEMMA 3.7 Let M be a complete m-dimensional Riemannian manifold
with Ricci curvature satsfying Riel", ~ -CP(r), where C > is a con-
stant, r is the distance from a fixed point Xo to x, and F ~ 1 is a
°
nondecreasing function. If x does not lie on the cut locus of Xo, then
a=2
= f
a=2
(J a, V J a ..y) I: (3.23)
72 III HARMONIC MAPS AND GAUSS MAPS
(3.24)
f{' - GIF h = 0,
{ (3.27)
fl (0) = 0, f{(O) = 1.
h~ - Glhl(t) = 0,
{
hl(O) = 0, h~(O) = 1.
Noting
we have
3.3 GENERALIZED MAXIMUM PRINCIPLE 73
therefore,
namely,
h(t) 2: h1(t) = vh sinh( y'(J;t). (3.28)
l r
((m - 1)(1')2 + CF(t)f2)dt
= (m -1) l r
((1')2 + f!,,)dt = (m -1)j'(r).
Substituting it into (3.24) gives
{ h~(t) - C1F~r)h2(t) = 0,
h2 (0) = 0, h2 (0) = 1.
By using the similar method as before we have
(3.31 )
74 III HARMONIC MAPS AND GAUSS MAPS
(3.32)
and
( ) _ u(x)-u(xo)+l (3.34)
9 x - 11k·
[In(r2 + 2) ]
It is easily seen that 9 must attain its supremum at the point Xk EM. By
the well-known technique of support function we assume that, without
loss of generality, Xk does not lie on the cut locus of Xo and 9 is smooth
near x k. We have
which reads
1
This proves the second inequality of the theorem. We also have the first
one. Otherwise, there would exist h> 0, a subsequence of {xd (which is
also denoted by {x d) and x E M, such that
(3.36)
If k ---... 00, r(xk) ---... 00. From (3.36) it follows that when r(xk) > r(x),
( ) _ u(x)-u(xo)+1 u(xk)-u(xo)+1
9 x - 11 k > 11 k '
[In(r2(x) + 2)] [In(r 2(x k) + 2)]
~U _ 4r (V"u, V"r)
k(r (xk) + 2) In(r 2(xk) + 2)
2
2(U(Xk) - u(xo) + 1)(r~r + lV"rI2)
k(r 2 (xk) + 2) In(r 2(xk) + 2)
4(U(Xk) - u(xo) + 1)r21V"rI2
+ 2 2
k(r (xk) + 2) In(r 2(xk) + 2)
4(1 + i-)(u(x k) - u(xo) + 1)r21V"rI2
+ 2 :::; O.
k(r2(xk) + 2) In(r2(xk) + 2)
By using (3.35), we can then simplify the above inequality and obtain
the following
76 III HARMONIC MAPS AND GAUSS MAPS
(1 ) R ~
1
fT7 tan
-1 (2VKinfe(f))
, when K > OJ
yK mro
(3.38)
(2) R ~ 2infe(f), w en
h K = OJ (3.39)
mro
(3) R ~
1
!T7tanh- 1 (2V-Kinf e(f)) , when K < O.
y-K mro
(3.40)
PROOF. In the case K > 0 we consider a smooth bounded function
h = 1- cos VKp
in BR(yo), where p is the distance function from the point Yo in N. By
using the Hessian comparison theorem [G-W] we have
Thus the right-hand side of the above inequality cannot be positive. This
gives the estimate (3.38).
In the case K = 0 we consider a smooth bounded function u = p2 0 f
in M. Then the similar argument gives the estimate (3.39). As for the
case K < 0 it suffices to consider a smooth bounded function u = h 0 f
in M, where h = 1 + coshy'-Kp.
Q.E.D.
Therefore, H == o.
Q.E.D.
REMARK Comparing Theorem 3.8, Theorem 3.12 and Chern's theorem
cited at the beginning of this section, we see that the results in Theorem
3.8 and Theorem 3.12 are valid under the assumption on Ricci curvature
going to -00 not too fast. Is the condition essential or technical? This
problem deserves further investigation.
3.5 GAUSS IMAGE OF A SPACE-LIKE HYFERSURFACE 79
THEOREM 3.13 ([PAl]) For H -I- 0 there exists a number T(m, H) > 0
with the following property: Let M ---+ ~;n+1 be a space-like hypersurface
with constant mean curvature H. If v( M) is contained in a geodesic ball
of radius T1 < T( m, H) in lHlm( -1) then M is not complete.
We observe that in the case when M has constant mean curvature,
the Gauss map I is a harmonic map into the hyperbolic space [lsI]. Then
the Liouville-type theorem of harmonic maps is applicable provided one
can show M has nonnegative Ricci curvature [Cheng]. This can be done
by using the maximum principle as described above.
In view of the proof of Cheng-Yau's theorem we can estimate the
squared norm of the second fundamental form of M in ~;n+1 in terms of
the mean curvature and the diameter of the Gauss image. We obtain a
more general result by a totally different approach.
80 III HARMONIC MAPS AND GAUSS MAPS
1 ~ i,j,'" ~ m,
o ~ a,p,'" ~ m.
DeO = wOiei,
Dei = Wijej - wiOeO.
Wo = 0
+ Wji = 0,
Wij
1
Oij = dw ij - Wik 1\ Wkj = -2RijklWk 1\ Wz,
where Oij and R ijkl denote the curvature forms and the components of
the curvature tensor of M, respectively. By Cartan's lemma, we have
1 2H2
Ri CM 2: C N - 4"m . (3.43)
(3.44)
(3.45)
82 III HARMONIC MAPS AND GAUSS MAPS
(3.46)
From (3.45) and (3.46) it follows that the Laplacian of hij satisfies
where
1
2,!:l.S = "~ h 2ijk + mhijHij + S 2 - mHhijhjkhki
i,j,k
+ hijhkmRmijk + hijhimRmkjk
+ hijROijkk + hijROkikj.
If M has constant mean curvature in Minkowski space N then
1 "2
2,!:l.S 2': ~ h ijk +S2 - mIHIS2.
3
(3.47)
i,j,k
For a fixed positive number a, choose b 2': cosh(JLh, a)). Define j: Ea ---+
R by
(a 2 _ r2 )2 S
j= (b-ho"(p'
where S is the squared length of the second fundamental form of M in
1D>m+l
ill>.1
h = cosh r.
,
-
3.5 GAUSS IMAGE OF A SPACE-LIKE HYFERSURFACE 83
2Vr2 VS 2V(h01')
- + -S + b - h 01' = 0, (3.48)
a 2 -r 2
-21Vr212 2!:l.r2 !:l.S IV Sl2
2
(a - r 2)2 - a2 - r2 .+ S - ~
(3.49)
+ 2!:l.(h ° 1') + 21V(h ° 1'W < O.
b-h01' (b-h01'F-
The Schwarz inequality implies that
2
Ivsl < " 2
S - 4 L-t h ijk ·
i,j,k
so
(3.50)
(3.52)
84 III HARMONIC MAPS AND GAUSS MAPS
Since
Hess i = coth i(g - di Q9 di),
we have
Hess h = (cosh i)g,
where 9 is the metric tensor of JH[m. It follows that
The last equality follows from the Codazzi equation (3.45) and the as-
sumption of constant mean curvature.
Since the Ricci curvature of M is bounded from below by _m 2 H2 /4,
we can use the Laplacian comparison theorem and obtain
(
4(sinh r)r
( (b-cosh r)(a2-r2) + m IHI) 2
S:::;k
cosh r _ + 1)
2
( b-cosh r
and
+ma2IHI)2
( 4(sinh I-')a
b-cosh I-'
f (z) < k (
--'---------;2;;------"--
- (t + 1) (b - cosh J.L)2
2(ma 2 + (m - 1)ca 3 ) + 8a 2 )
+ (i- + l)(b - cosh J.L)2 .
(m + 4)a 2 + (m - 1)ca3 )
inf e("() = O.
Then by the same argument as in the proof of Theorem 3.12 we also
have H == o. Therefore, M has nonnegative Ricci curvature. By using
the Liouville-type theorem for harmonic maps in [Cheng] we conclude 'Y
to be constant, namely M is a linear subspace in ~:+n.
Q.E.D.
(3.59)
then
u 1\ v = LPabea 1\ eb,
a<b
u 1\ v 1\ u 1\ v = 0,
there is an equation
Set
2222221
-Xl+X2 +X3 -YI +Y2 +Y3 = -2'
Since G~ 2 consists of space-like planes in ~i, under the above correspon-
dence, it~ image in V lies in a connected component with Xl > 0 and
YI > 0, namely, in JH[2 x JH[2, where JH[2 is the hyperbolic plane with con-
stant curvature - 2. Conversely, for any point (Xl, X2, X3; YI, Y2, Y3)( Xl >
oand YI > 0) in JH[2 x JH[2, by the above correspondence, we have a 2-vector
XI(el /\ e2 + e3 /\ e4) + x2(el /\ e3 + e2 /\ e4) + x3(el /\ e4 - e2 /\ e3)
+ YI(el /\ e2 - e3 /\ e4) + Y2(el /\ e3 - e2 /\ e4)
+ Y3(el /\ e4 + e2 /\ e3),
which is decomposable and can be expressed by
and
v = (Xl + yde2 + (X2 + Y2)e3 + (X3 + Y3)e4'
By a direct computation (u,u) + (v,v) > 0, we can assume that, without
loss of generality, u is a space-like vector. Since the length of u /\ v is
negative, v is also a space-like vector. Therefore, p2 is a space-like plane.
Consequently, G~,2 is diffeomorphic to JH[2 x JH[2.
Let {ei' es } be a local Lorentzian orthonormal frame field in ~~. Let
{Wi,W .• } be its dual frame field, so that the metric 9 = LiW; - LsW;,
The Lorentzian connection forms Wab of ~~ are uniquely determined by
the equations
dw i = Wij /\ Wj - Wis /\ ws ,
dw s= Wsj /\ Wj - Wst /\ Wt,
(3.62)
dWab = CeWae /\ Web,
Wab + Wba = 0
3.6 GAUSS IMAGE OF A SPACE-LIKE SUBMANIFOLD 89
(3.63)
and
(3.64)
It is easily seen that dsi is the induced metric of the first factor of
G~ ,2 = IHI 2 X IHI 2 • From (3.62) it follows that the Levi-Civita connection
of dsi is -(W12 + W34) and the corresponding Gaussian curvature is -2.
Similarly, ds~ is the induced metric of the second factor of G~ 2' There-
fore, Rw(2) is isometric to IHI 2 x IHI 2 • In fact, it is well known 'that G~ 2
is equivalent to IHI 2 x IHI 2 as homogeneous spaces (see [He]). '
3.6.2 Gauss map.
Let f : M ---+ lRi be a space-like surface. Choose a local Lorentzian
frame field {ei' e.} along M with dual frame field {Wi, w.}, such that ei
are tangent vectors to M. The induced Riemannian metric of M is given
by 9 = I:i wI
and the induced structure equations of Mare
Wij + Wji = 0,
dWij = Wik 1\ Wkj - Wi. 1\ Wsj,
1
n-'J--- , 1\ Wk J- -- --R-
dw-'J- - WOk 2 'J-klWk 1\ WI .
(3.65)
(3.66)
90 III HARMONIC MAPS AND GAUSS MAPS
(3.68)
(3.69)
(3.70)
From (3.68) and (3.70) it follows that the Gauss map, is harmonic (resp.
totally geodesic) iff M has parallel mean curvature (resp. parallel second
fundamental form).
Let 11'1 : G~ 2 ---+ JHl2 be the projection of G~ 2 into its first factor,
and 11'2 be the pr~jection into the second factor. D~fine ,i = 1I'i 0,. From
(3.63) and (3.69) we have
Then
al1
J2
= T ( h 311 + h 421 ), a12
J2
= T ( h 312 + h 422 ),
(3.72)
a21
J2
= T(h411 - h 321 ), a22
J2
= T ( h 412 - h 322 ),
3.6 GAUSS IMAGE OF A SPACE-LIKE SUBMANIFOLD 91
and
y'2
a121 = T ( h3121 + h 4221 ),
y'2 y'2
a211 = T( h4111 - h 3211 ), a212 = T( h4112 - h 3212 ),
y'2
a222 = T ( h 4122 - h3222)·
H14 - H 23 = 0, (3.73)
where His are the components of DH. Similarly, the harmonicity condi-
tion for 12 is
H14 + H23 = o.
A direct computation shows that those conditions are independent of the
choice of the frames. Now, we arrive at the following result:
PROPOSITION 3.16 If M is a space-like surface in lR~ with parallel mean
curvature, then both 11 and 12 are harmonic.
If {ia} is a subset of {i} with the complementary subset {is}, such that
!.ei a parallel to vi and !.ei, E r(TNr ), where N r is the isoparametric
hypersurface in the distance i from IHlk. The principal curvatures of N r
are - tanh i and - coth i (in the case of n = 2 there is only one principal
curvature - tanh i). From (3.75) it follows that
(3.76)
PROOF. Choose a local orthonormal frame field {ei' es}, such that ei are
tangent to M, e3 is the unit mean curvature vector IZI' Since e3 is parallel
in the normal bundle,
W34 = 0,
h 3ij and h 4ij can be diagonalized simultaneously. Choose ei, such that
ei(p) are in principal directions at p E M. Then at p,
J2
au = T h 311'
(3.79)
J2
a21 = Th411'
and
e(-Yd =1 2 2 2 2 ) 1()
4(h311 + h322 + h411 + h422 ="2 e I .
o -2IHIW!)
o 0 . (3.80)
o 0
!HI ! (-e) = {2
x - y 2= - e1 2 ' y> 0 } .
Choose e to be its unit tangent vector field, and n its unit normal vector
field. Then n = eX, where X = (x,y) is the position vector. Obviously,
dX = we,
( 0 -ew). (3.81)
ew 0
From (3.80) and (3.81), the Frobenius theorem and the standard argu-
ment tell us that M is an open submanifold of the hyperbolic cylinder
!HI! x R, up to a rigid motion of the ambient space. By completeness M
is congruent to !HI! x R.
(2) If H4 -=I- 0, let
H3 H3H4
H4 IH412·
Since the normal bundle is fiat,
H3 = kH4,
IH312 + IH412 = IHI2 + K = IHI2,
where the Gauss curvature K is zero. It turns out that
IH 12 = _1_IHI2
4 1 + k2
is constant. Noting that H4 is an analytic function, it has to be a con-
stant. Hence,
and
h4ij
clHI
= ( 0 -clHl
0) ' (3.82)
(kC+1)IHI) . ( clHI )
cos(} ( -clHI +sm(} (kc-1)IHI =0.
(
e3 )
e4 -
(cos (}
- sin (}
sin (})
cos (}
(e
e4·
3 )
Then
and furthermore,
96 III HARMONIC MAPS AND GAUSS MAPS
This means that el and e4 span a fixed plane, and e2 and e3 span a fixed
plane as well. In an adequate frame field the connection forms in JR.;,
restricted to M, are given by
-~lWl )
o . (3.84)
o
Therefore, M is congruent to JH[1 X JH[1 and the proof is completed.
Q.E.D.
Similarly,
8f : T MO,l -7 T N1,o,
by
dfl TM l,O = af + af,
dfl TM O,l = af + 81.
It is easily seen that af = af, af = af.
98 IV HARMONIC MAPS AND HOLOMORPHIC MAPS
=1 ) ,
"4((f*ej,f*ej + (f*Jej,f*Jej) + 2 (fJej,J f*ej)).
Similarly,
Therefore, we have
(4.1)
We call 18fl 2 = e'(f) and 1811 2 = e"(f) partial energy densities. If Mis
compact,
w(e;,ej) = (Jei,ej) = 0,
w(Je;, Jej) = - (e;,Jej) = 0,
w(e;,Jej) = (Je;,Jej) = D;j,
then
(J*WN,WM) = j*wN(e;,ej)wM(e;,ej)
+ j*w N(ei' J ej )w M(ei, J ej)
+ j*w N (Je;, Jej )w M(J ei, Jej}
= wN(f*e;,f*Jej)D;j
= (J'f*e;,f*Je;).
100 IV HARMONIC MAPS AND HOLOMORPHIC MAPS
(4.4)
In fact, for a closed p-form w on N let v = ft. :t. Then for Xl, ... , Xp E
TM satisfying \7 ej Xilx = 0, we have
k,l
= -dw(v,ft*Xl ,··· ,ftoXk,··· ,ftoXp) + (\7v W)(fto X l'··· ,ftoXp)
+ W(ftoXl,··· , \7 f .. X k v,··· , ft.Xp)
+~ L.".(-l) k+l w(V,ft.Xl'··· ,[ft.Xk,ftoXzj,··· ,ftoXk,···
---
,ft.Xp)
k<l
= (\7v W)(fto X l'··· ,ftoXp)+W(ftoXl,··· ,\7vftoX k,··· ,ft*Xp)
= \7v W(ft. X l'··· ,ftoXp)
= \7vftW(Xl'··· ,Xp)
= (\7ltft*w) (Xl,··· ,Xp).
We then obtain
(4.5)
4.2 HARMONICITY OF HOLOMORPHIC MAPS 101
= 1M (:/twN,w M ) d
= 1M (dOt,w M ) * 1
= 1M (Ot,Sw M ) * 1
= 1M (()t, - * d * w M ) * 1
d '() 1 d ( )
dt E it = dtd E I/()
it ="2 dt E it .
Therefore, every critical point of the energy functional coincides with that
of the partial energies.
Theorem 4.2 shows that the index of every holomorphic map is zero.
The following theorem involves its nullity.
102 IV HARMONIC MAPS AND HOLOMORPHIC MAPS
THEOREM 4.5 ([5- V]) Let N be a Kiihler manifold with positive holo-
morphic bisectional curvature. Then any stable harmonic map f : S2 -+
N is a holomorphic (or anti-holomorphic) map.
PROOF. Choose v E 0 = {gradhj h = FJs2, F is a linear function in Il~n.
Then, we have
V'xv = -hX,
{
V' 2 v = -v.
Take J'f*v E rU-1TN), where J and J' are the complex structures in
S2 and N, respectively. We compute
substituting it into the second variational formula (1.4.5), then, and set-
ting el = e and e2 = J e, we have
where
x = (fJe - J' f*e)/lf*Je - J' f*el,
Y = (f*Je + J' f*e))/lf*Je + J' f*eI-
This contradicts (4.11).
Q.E.D.
4.3 HOLOMORPHICITY OF HARMONIC MAPS 105
a : AP,q (E) ---t AP+l,q (E), a*: AP,q (E) ---t AP-l,q (E)
a : AP,q (E) ---t AP,q+l (E), a*: AP,q (E) ---t AP,q-l (E)
by
a = Wj 1\ V e a* = - i ( E: j ) V t
j , j ,
a = Wj 1\ Vtj, a* = -i(tj)Vej'
where {E:j} is a local holomorphic orthonormal frame field, {Wj} are its
dual frame field. By a direct computation we obtain
k -
= (-1) (R(€i,Yk)W)(X 1 , · · · ,Xp;€i,Y 1 , · · · ,Yk,··· ,Yq),
~
+ (R(f*ti,f*€i)f~'€j,f~tj) - U;Rictj,f;'€j),
where Ric€j = R(ti,€d€j, and f~€i,f~'€i denote the (1,0) component
and the (0,1) component of f*€i, respectively.
Suppose that M is a Riemann surface with the Gauss curvature K,
and N is the complex projective space with constant holomorphic sec-
tional curvature 1 of the Fubini-Study metric. The curvature tensor of
N can be expressed by
e, 1 "
< K + -e - 8
- 2 '
then f is an anti-holomorphic map, where 8 is a positive constant.
4.3 HOLOMORPHICITY OF HARMONIC MAPS 107
igradki<c;,
e" +C
.6. (ve"1)
+C
> -c;
and
1 . f 1
----==== < In + c;.
ve" +C Ve" +C
Substituting them into (4.14) gives
~.6.e"
2
> ~e"(e' - 2e" + 2K).
- 2
e" {j
..,.-:-:-----=:-:--:: < 12c;2 + c; (
inf 1 )
+ c; . ( 4.16)
(e"+Cp ve"+C
When c; --t 0
1 . f 1
----==== --t In ,
Ve" + C ve" +C
therefore, e" --t sup e", and (4.16) gives sup e" :::; 0, namely e" == 0 and
f is a holomorphic map. Similarly, by using (4.12) we know that when
e' :::; K + tell -8, f is anti-holomorphic.
Q.E.D.
108 IV HARMONIC MAPS AND HOLOMORPHIC MAPS
r
iBR
e"*1=o(R 2 )(or r
iBR
e'*1=o(R 2 )),
where BR denotes the geodesic ball of radius R and centered at Po. Then
fis a holomorphic (or anti-holomorphic) map.
PROOF. We have
Vee"V ge" :s: e"IV g8112 ( 4.17)
by the Schwarz inequality. Noting (4.13), for any C > 0 we have
1
-/).Ve"
2 + C >- O.
Let", be a function with compact support on M. By Green's theorem,
- 1M TJ 2IV-Ve" + CI 2* 1.
Let BRand B2R be geodesic balls centered at Po of radii Rand 2R,
respectively. Choose TJ to be
I, if p E BR,
TJ(p) = { 0, if p EM \ B 2R ,
o :s: 2 r
iB2R\BR
",2IV-ve" + CI2 d
x r
iB2R\BR
(e" + C)IV",12 * 1
- iB2R\BR
r ",2IV-ve"+CI 2*1- iBR
r IV-ve"+CI 2*1.
4.3 HOLOMORPHICITY OF HARMONIC MAPS 109
Therefore,
A = ~ = D, B =", = c.
Let Ci, [j be as above, and Wi the dual frame field to Ci. For a map
I: M -> N between Kahler manifolds, consider a (1, I)-form
-
w- - ) W- j
(I"*Ci, I'*Cj /\ w.
i ( 4.21)
We have
i'l - -k
UW-W /\"
vek ((I", -.) W- j /\ Wi)
*c" I'*cJ
and
88w = w l /\ V'OI (Wk /\ V'ek((f~'ci,/~[j)wj /\wi)).
nn -_ W 1/\ W
UUW -k" "
V E, V Ek
((I"
'* ci, 1'-)
*c j W
-j /\ W i)
-" "-ek (I"*c". I'*cJ
- VE,V - .) W I /\ W- k /\ W- j /\ Wi
" , I'*cJ-.) W I /\ W- k / \Ve,VlkW
+ (I*c" " " - j /\ W i
" , I'*cJ
+ (I*c" -,) W I /\ W- k /\,W,- j / \Ve,VlkW
"" i
((V' e, V' lk I~' ci, I~[j) + (V' lk I~' Ci, V' eJ~[j) (4.22)
+ (V'eJ~'Ci' V'lk/~[j)
+ (f~'Ci'V'E'V'lk/~[j))wl/\wk /\w j /\w i
-) W I /\ W,
" I'*c.
+ (I*ci, - k / \ Ve,VlkW
" " - . /\ W i
Note
V'el V'i'kWS(€j) = V'el ((V'i'kWS)(€j)) - (V'i'kWS) (V'el€j)
= -wS(V'€!V'i'k€j),
namely,
(4.23)
Similarly,
(4.24)
Substituting (4.23) and (4.24) into (4.22) we obtain
08 w = ((V' el V' i'k f~' Ci, f~€j) + (V' i'k f~' ci, V' eJ~€j) + (V' eJ~' ci, V' i'k f~€j)
Note that
V'i'kf;€j = (V'i'k 8 f)€j
is symmetric in k, j and w Z1\ w k 1\ w j 1\ wi is anti-symmetric in k, j. The
third term in (4.25) vanishes, and
08w = ((RN(f*cz,f*€k)f;'ci,f~€j)
- U;'RM(cZ,€k)ci,f~€j)
( 4.26)
+ (V'i'k(V'cI°f)ci,f;€j)
+( "t"7 f" "t"7 f'-)) W ZI\-kl\-jl\
Vi'k*Ci,Vel*Cj W W w.
i
112 IV HARMONIC MAPS AND HOLOMORPHIC MAPS
( 4.27)
+ (R N(f'*cz, f"-)f"
*Ck *Ci, f'-))
*Cj W Z/\-k/\-j/\
W W w.
i
It is worth while pointing out that (4.27) is valid without the harmonicity
condition.
- (RN(f~'ci,f~cj)f~'tj,f~ti) + (RN(f~'ci,f~cj)f~'ti,f~tj)
- (RN(f~'cj,f~ci)f~'ti,f~tj) + (RN(f~'cj,f~ci)f~'tj,f~ti) = O.
(4.28)
( '<"7
V
f" . '<"7
ek *c"v el *cJ W
f'-.) Z/\-k/\-j/\
W W W
i/\on-2
H
+ ( V ei f"* Ci,
'<"7 '<"7
Vej
f'-)
*Cj W
j /\ - i /\ - j /\
W W W
i /\ on-2
H
_ 2)'
-- (_l)n-l( n v ok f"
. ('<"7_ . '<"7V ok f'*C,
* C,' -.) * 1, (4.29)
4.3 HOLOMORPHICITY OF HARMONIC MAPS 113
+ (RN(f'*"*J
c' f"t·)f"e· f' t·) wi /\ wi /\ wi /\ wi
*Jl*'
+ (R N(f'*ej, f"-
*ej )f"
*ei, f'-)
*ei wj /\ w
- j /\ w
- i /\ wi
~ 1 1 ~.~. ...-,...-, n n
X L...J w /\ w /\ ... /\ w· /\ W· /\ ... /\ W J /\ WJ /\ ••• /\ w /\ w
i#j
- - l)n-l( n -2)'(-(R
-( . N (f'*e.,·f"-·)f" ·f'-,)
*e, *eJl *eJ
+ (RNU~ei,f:'tj)f~'ej,j~ti)
- (RNU~ej,j~'tj)f:'ei,f~ti)
+ (RNU~ej,j:'ti)f~'ei'f:tj)) * 1
- (RNU~'ej,f~ei)f*tj,j~ti)
+ (RN U~' ei, f~ej )f~'tj, f~ti)
- (RNU~'ei,f~ej)f~'ti,j~tj)) * 1
= (_l)n-l(n - 2)! ((R N U:' ej, f~ei)f~tj, f~' ti)
+ (RNU~'ej,f:ei)f;'tj,f;ti)
+ (RNU;ej,f;'ei)f;'tj,f;ti)
+ (RNU~ej'f;'ei)f;tj,f;'ti)) * 1.
(4.30)
By using (4.27), (4.28), (4.29) and (4.30), Stokes' formula and the as-
sumption of the strongly semi-negative curvature of the target manifold
we obtain the conclusion immediately.
Q.E.D.
either of == 0, or 8f == o. ( 4.31)
either of = 0, or 8f = 0 ( 4.32)
(4.33)
namely,
(4.34)
where f;O(X) (resp. f;'O(X)) are the components of f;(X) (resp. f;'(X))
with respect to an orthonormal basis of TqNI,o (resp. an orthonormal
basis of TqNO,I). If both of and 8f are not zero at the point p E U
simultaneously, then there is an X o E TpMI,o such that
and f~'(Xo) -I O.
Indeed, let Xl, X2 E TpMI,o satisfying f;(X I ) -I 0 and f;'(X 2 ) -I o.
If both f;(X I + X 2 ) -I 0 and f;'(X I + X 2 ) -I 0, then we may simply
4.3 HOLOMORPHICITY OF HARMONIC MAPS 115
f;"(X) f;,f3(X)
f~"(Xo) n,f3(X 0)
for any 0:, f3 with f;"(Xo) i- 0 and f;,f3(X o) i- 0, i.e., there is a complex
number C such that
f;(X) = C f;(X 0),
f;'(X) = C f;'(X o)
for each X E TpMI,O. This means that the real rank of the map f at p is
at most 2, contradicting p E U.
Q.E.D.
Theorem 4.12 can be used to prove the following metric rigidity the-
orem. We omit the proof here. Please consult [Y-Z] for details.
THEOREM 4.13 ([Y-Z]) If a compact Kiihler manifold Mn (n :::: 2) ad-
mits a negative ~-pinched Riemannian metric ds 2 , then (M,ds 2 ) is iso-
metric to a compact quotient Jan If, equipped with the standard metric.
Here Jan ~ en is the unit ball.
In their recent work Jost-Yau and Mok-Siu-Yeung [J-Y3] [M-S-Y]
show that the theory of harmonic maps is also applicable to the super-
rigidity theorem of Margulis' [Mg]. The method is to show that har-
monic maps from compact locally symmetric spaces of noncompact type
and rank:::: 2 into Riemannian manifolds with nonpositive curvature op-
erator are totally geodesic. The main technical tool is the Matsushima
type formula for harmonic maps. Although the topic is beyond complex
geometry we are going to introduce this interesting formula [J-Y3].
Let M be a compact Einstein manifold, and f : M - t N a harmonic
map into another Riemannian manifold N. We compute
1M U*R(ei,ej)ek,(VeiVejdf)ek) * 1
= 1M U*R(ei,ej)ek, V ei [(Vejdf) ek]) * 1
(4.38) becomes
- 1M (RNU*ei,f*ej)f*ek,f*R(ei,ej)ek) * 1
- 2 1M (R(ei,ej)ek,el) (Bil,B jk ) * 1. (4.39)
= 1M (RNU*ei,f*ej)J*ek,f*R(ei,ej)ek) * 1 (4.40)
- 1M U*R(ei,ej)ek,f*R(ei,ej)ek) * 1.
4.3 HOLOMORPHICITY OF HARMONIC MAPS 119
+ 1M (RNU*ei,f*ej)f*ek,f*R(ei,ej)ek) * 1
- 1M (f*R(ei,ej)ek,f*R(ei,ej)ek) * 1,
(4.41 )
where .x is any real number.
CHAPTER V
EXISTENCE, NONEXISTENCE
AND REGULARITY
(5.1)
which is the relevant space for the direct method of the calculus of vari-
ations. Obviously, for any map f E Li(M, N) the energy can be defined,
and it coincides with one defined in Chapter 2 when f is smooth.
PROPOSITION 5.1 The energy functional E is lower semi-continuous
with respect to the weak convergence on Li(M,]Rk).
122 V EXISTENCE, NONEXISTENCE AND REGULARITY
E(fd - E(f) =~
21M
r Idfi - dfl2 * 1 + 1Mr ((dfi - df), df) *1
: : : 1M ((dfi - df),df) * 1
which means
lim (E(fi) - E(f)) ::::: o.
i-+oo
Q.E.D.
(5.2)
DEFINITION 5.4 For f E Li(M, N), if it satisfies the weak form of (5.2),
namely
(5.3)
REMARK When the target manifold N is the sphere sn, the second
fundamental form B(X, Y) = - (X, Y) F, where X, Yare vectors at any
point in N, (5.3) becomes
The key point for proving existence of harmonic maps by the direct
method of the calculus of variations is regularity, which consists of two
parts. The first part is partial regularity, namely to prove the Holder
continuity outside the singular set which is relatively small, then by the
main regularity theorem with which one can claim smoothness outside
the singular set.
Partial regularity is local with respect to the domain manifold M,
whereas it is global with respect to the target manifold. This can be seen
from the example in the last section where any small neighborhood of
the isolated singularity maps to the whole target manifold N. Once we
establish partial regularity, we take local coordinates near a regular point
Xo E M and corresponding local coordinates near f(xo). Thus, the map
f can be expressed as a vector-valued function (11, ... ,fn) defined on
a domain n c ~m. They satisfy nonlinear elliptic equations in the weak
sense:
where E~(f) denotes the energy of the map I on B~. Hence, there is
a subsequence of {f>.} that weakly converges to 10, which is the energy
minimizing tangential map. In fact, Schoen-Uhlenbeck proved the strong
compactness theorem. For any A > 0, 0 < r < 1, the set
U(O) = ! 'Yult=u=o = 0,
l
have
LI/(O) =
r
{IU1f - (R(-y, UL)-y, UL )} dt. (5.6)
a void of focal points implies that J i are independent at each point of 10.
Set
U~(t) = fi(t)Ji(t),
where f;(0) = O. Substituting it into (5.6) gives
L"(O) = iT {jdj (Ji' Jj) + fdj (ji' jj) + jdj (Ji' jj)
+ fd j ( ji,Jj ) - (R( '1, fJi)7, fjJ j ) }dt (5.7)
dg. A + B + C + D - E.
Noting the Jacobi equation and the conditions f;(0) = 0 and ji(r) = 0,
Therefore,
L"(O) > o.
Furthermore,
2
= 2r d 2L(U)1
du u=o
+ 2 (!£L(U))21
du
'
u=o
where L(u) denotes the arc length of lu. Thus, we complete the proof of
\1 2 f( V, v) > 0, namely, \1 2 f is positively definite on N \ {q}. Obviously,
\1 2 f is positively definite at TqN without the assumption of the metric.
Q.E.D.
e(h)(x) = e(f)(7rM(X)).
Let p = d 2 ( q, x) be the square of the distance function from a point
q. By using Proposition 5.8 it is a smooth function. Consider the function
PO/2 on M. By Corollary. 1.4.4, 12 is constant, so is the f.
Q.E.D.
Let ,1, ... ,,1 be the generators of the fundamental group 71'1 (M) at
certain point, its tubular neighborhood be T 1 ,'" ,Tz, viewed as Sl X
Dm-1. Since the energy on {fJ is uniformly bounded, we can use the
Fubini theorem and the Fatou theorem to conclude that for almost all
s E Dm-1, there is a constant K s , such that
Similarly, we have
THEOREM 5.12 ([X4]) Let M be a compact 3-manifold, N a surface
without conjugate points. Then there exists a harmonic map in any
homotopy class of the maps from Minto N which attains the minimum
energy of this class.
THEOREM 5.13 ([X3]) Let M be a compact Riemannian manifold
with boundary, N a compact Riemannian manifold without focal points.
Then given a smooth map v : 8M ---+ N, there exists a harmonic map
1:M N such that 11aM = v.
---+
REMARK 1 Theorem 5.11 is a generalization of the fundamental exis-
tence theorem due to Eells-Sampson.
REMARK 2 Let M be a compact manifold with boundary, N a compact
manifold with sectional curvature bounded from above by a positive con-
stant K,. Given a map v: 8M ---+ N such that v(8M) c BR(YO), R < 2ft'
which does not meet the cut locus of Yo. Hildebrandt-Kaul-Widman
proved the existence of the boundary value problem for harmonic maps.
Considering the remark of the last section we can use a similar method
to prove their theorem
When the target manifold is not of the topological type of K(7r, 1),
the existence problem becomes more complicated. But we can still use
Theorem 5.6 to analyze the singular sets of certain minimizing maps. In
[S-U3] Schoen-Uhlenbeck discussed the situation when the target mani-
fold is the sphere. The key point is to treat the stability inequality. In the
case of the sphere, the variational cross-section is conformal vector fields
along the image of the map. Similar technique can be used for certain
submanifolds in the Euclidean space, compact irreducible homogeneous
spaces and 8-pinched manifolds [X8] [Xg] [XID]. More generally, we can
analyze the singular sets of p-harmonic maps into those manifolds [X-Y].
We first prove the following result.
Let
2, if I<.'.:A S 1,
{
.d(A,K,)= 5, if I<.'.:A = 5,
[min(I + ,..'.:A' 6)], other cases,
where [t] denotes the greatest integer in t.
5.4 REGULARITY RESULTS 133
(5.7)
1 51-1 x(o,oo)
(
-~u - A Idcpl u- r aaru
2 2 2
-2 -
au) r 1- 3u* 12: 0,
r(l-l)-
ar
(5.8)
where ~ denotes the Laplace operator on SI-3. Let us consider a strongly
elliptic operator on SI-1
(5.9)
(5.10)
134 V EXISTENCE, NONEXISTENCE AND REGULARITY
Now let us estimate /-£1. Using the Bochner-type formula (1.3.13) and
noting the curvature conditions of SI-l and N, we have
Then,
4>e6.4>e ~ (l- 2)1#1 2- K~l ~ 12) Id4>1 4,
and
-4>e6.4>e - K~l ~12) 4>; Id4>1 2 ~ -(l - 2) Id4>12. (5.13)
If 1 ~ d( A, K), namely,
K(l- 2) A
1-1 < ,
and 4> is not a constant map, then (5.13) means that
<. f fS'-' (-6.4>e - A Id4>124>e) 4>e * 1
/-£1 - m J)"2
S'-l 'Pe *
1
~ 2 -l.
From (5.9), (5.10) and (5.14) we immediately obtain 1 > 6, which con-
tradicts the assumption of 1 ~ d(A, K). Therefore, 4> has to be a constant
map.
Q.E.D.
-n- (b - -an )
b+ l(n-4)alvn-1
n-1 2 3n-4 2.
2 "L...Jaki
2 - aaii:::; 2 -- - --2-a
n n n
k
i,a
(5.16)
where we have used L.i ht; = 0, >. = n + 2, ... ,n + k and I L.i h~+ll =
niHI. The above inequality is also valid for those points where ¢*e a = 0
and H = o. Combining (5.15) and (5.16) we get the stability inequality
(5.17)
where
1{I Vu I2 (VeaF)(Ve"F)
o = -~(V'c,B
n
V'c,B V'cOo Fa)(V'cOo Fa)
other cases.
where
(5.26)
-2}
1
and
n
trace (VT, VT) x = L (Cal ca ) = n. (5.28)
a=l
Noting
we have
a
(5.29)
=L (e~, VeJ~)x = ~Vei (e a , ea ) = O.
a
Thus,
/ T
trace\V'e;V,V'eY T) x:::; [(n+1)(1+C)
4 2
k3(c5)+1+~
1] Id4>l, 2
(5.31)
/ N T
trace \R (4)*ei, V )4>*ei, V
T) x 215
~ 1 + c5(n -l)ld4>1 2 . (5.32)
Taking the trace of (5.27) and substituting (5.28), (5.29), (5.31) and
(5.32) into it gives
(5.34)
where
n+1 U
k(n, 15) = --ki(c5) + vn+lk3(c5) + 1- -,(n -1). (5.35)
4 l+u
REMARK When 15 ~ 1, then k(n, 15) ~ 2 - n. Therefore, (5.34) is also a
generalization of the stability inequality when the target manifold is the
sphere.
142 V EXISTENCE, NONEXISTENCE AND REGULARITY
h 2n
W en 2n+(1+o)k(n,o) - 1·,
<
h 2n =5;
W en 2n+(1+o)k(n,o)
other cases.
5.4.4. The stablity inequalities (5.17), (5.23) and (5.24) also give
us nonexistence theorems of stable harmonic maps from complete non-
compact manifolds into those manifolds. We only show the situation
of irreducible homogeneous spaces. As for the other two cases we have
similar results and the readers are referred to [X8] and [X10] for details.
A Riemannian manifold is called strongly parabolic if it admits no
nonconstant negative subharmonic function. As is known, ]R2 is strongly
parabolic while ]Rn (n :::: 3) is not. In fact, there is the following cri-
terion. A complete noncompact Riemannian manifold has moderate vol-
ume growth if there is F E F such that limsuPr---+oo r 2 t(r) vol Br(xo) < 00
for some Xo EM, where
foo dr }
and il rF(r) = +00
). < 28,
n
we know that it is one of the spaces that are listed in Section 4
of Chapter 1.
If M is a noncompact complete manifold, we consider the strongly
elliptic operator on D c M
. JD- uLu *l
t£=mf JDU 2 * 1
. JD (-U!:"U - ~(2s - n).)ld(W) *1
= mf JDU * 1
2 ::::: o.
(5.36)
_1_ f v21V'ld4>W * 1
2mn1M
:::; - 1M v21V'ld4>W * 1 + 1M Ald4>1 2 v2* 1
+ f r - IJ1;ld4>1 4 v2* 1 _ 2 f vld4>1 (V'ld4>l, V'v) * 1.
1M r 1M
(5.39)
Adding both sides of (5.37) and (5.39) gives
_1_ f v21V'ld4>W * 1
2mn1M
:::; 1M [ld4>1 2 1V'v I2 + Ald4>1 2 v2 ] * 1
(5.40)
+ [r~IJ1;_ :2(2s-n>.)] 1M Id4>1 4 v2 *1
:::; 1M [ld4>1 2 1V' v I2 + Ald4>1 2v2 ] * 1.
5.4 REGULARITY RESULTS 145
-1
Id</>1 2u21Y'uI 2 S ~u4Id</>14 + TIY'u l\
(5.43)
1, when x E BE.(xo)j
u(x) = { 2
0, when x E M \ BR(XO)j
146 V EXISTENCE, NONEXISTENCE AND REGULARITY
I, when x E BR(O);
u(x)= {
R2
In lzl
InR '
when R :S Ixl :S R2;
0, when x E R4 \ BR2(0).
where gc>{3 is the inverse metric tensor on MO. Its squared length is
ass. Let (a st ) be the inverse matrix of (ast). If flMo is a Riemannian
submersion the squared length of
/ a a) =
\ ays 'ayt
st
a .
Such locally defined inner products clearly patch together to give a metric
ds} on NO.
150 VI EQUIVARIANT HARMONIC MAPS
where Cst is constant on any fiber. Hence the mean curvature vector field
H of the fiber submanifold F in MO (up to a constant factor) is
H = -(VeaeS,ea)es
= -Cst (Veagrad ft,e a ) es
= -Cst (VeAgrad ft,eA) es + Cst (Vergrad ft,e r ) es
= -Cst(llft)e s + Cst (Vergrad ft, e r ) es·
We see that, by (6.2), the coefficients Cst(llft) are constant on any fiber.
By the properties of Riemannian submersion HV er grad ft are basic vec-
tor fields. It follows that the coefficients (Ve r grad ft, e r ) are constants
on any fiber. Hence H is a basic vector field on MO .
Q.E.D.
(6.3)
(V'eaea)T (1) = 0,
we have
1::.1 = (I::. 1) 0 71" - H(1), (6.4)
where I::. denotes the Laplacian operator on the base manifold M. If the
mean curvature vector field H of the fiber manifolds of E is a basic vector
field, then there exists H E T M, such that 71"* H = Hand (6.4) reduces
to
1::.1 = (I::. 1) 071" - H(f) 071".
(6.5)
(6.6)
6.2 REDUCTION THEOREMS 153
Note that
[v2,I.ei] = V v2 / . ei - V j• ei V2 (6.7)
is a vertical vector field. Hence, (6.6) and (6.7) give
(6.8)
which means that V j.e.!.ei is a horizontal vector field for each i. By the
same reason Ve·ei is a horizontal vector field. Ve·ei and Vj~* e~./--:'ei are
I 1 t
the projections of V ei ei and V j. e'!. ei, respectively, since 71"1 and 71"2 are
Riemannian submersions. Therefore,
Set
r'(f) = \lj.e.!.ei - I. \lei ei,
which is a horizontal lift of r(/) in E 2 •
Now we are in "a position to compute the tension field of the map I.
r(f) = (\leidf)ei + (\le,df)et
= \lj.eJ.ei - I. \lei ei + (\lj.e.!.et)H + (\lj.c.!.et)V
(6.10)
- 1.(\le,et)H - 1.(\lc,ed V
= r'(/) + B 2 (f.et,l.et) - I.H I + r(J~).
I is harmonic if and only if the horizontal part and the vertical part of
its tension field vanish. Hence the Theorem follows.
Q.E.D.
(6.11)
A = a',
f.H I = f. (Vet et)H
=f.((Vetet,v)v)
= - (Vet grad r, et) f.v
= -(~ r)a'v,
and
7*(f-) -- aI/v ,
Let G l and G 2 be compact Lie groups. They are endowed with bi-
invariant Riemannian metrics. Suppose HI C G l and H2 C G 2 are closed
subgroups. We have the homogeneous spaces GIl HI and Gd H2 which
inherit natural Riemannian metrics from G l and G 2 such that 11"1 : G I ----+
GIl HI and 11"2 : G 2 ----+ Gd H2 are Riemannian submersions with totally
geodesic fibers. Suppose </J: G I ----+ G 2 is a homomorphism with </J(Hl ) C
H 2 • Thus, </J is an equivariant harmonic map from G I into G 2 with respect
to biinvariant metrics. There is the induced map ¢ : GIl HI ----+ Gd H 2 •
A necessary and sufficient condition for the harmonicity of the map ~ has
been given in [Gue]. Here we will give a useful sufficient condition for the
harmonicity of ¢. First, we prove the following result:
THEOREM 6.4 ([X13]) Let 11"1 : El ----+ Ml and 11"2 : E2 ----+ M2 be Rie-
mannian submersions witb totally geodesic fibers and integrable borizon-
tal distribution in E 2. Suppose f : EI ----+ E2 is an equivariant barmonic
map. Tben it induces a barmonic map f : Ml ----+ M 2 •
PROOF. Choose a local orthonormal frame field {ei} on Ml whose lift
into EI is {ei}. Suppose {et} is a local orthonormal frame field of the
fibers of Fl. Then {ei' ed is a local orthonormal frame field in E I .
Note that V ei ei are basic vector fields whose projections are Ve,ei.
6.2 REDUCTION THEOREMS 155
(6.13)
r • (f)
- + 2 (\lU.e;)v(f.e;) H)H = O.
For any basic vector field Z in E 2 , by the standard formula for Levi-Civita
connection in terms of its Riemannian metric and brackets,
~ E(Jt)lt=o = - r (hofr(J),r(J)) *1
lE,
= - rho flr(JW * 1,
lE,
which together with the assumption gives r(J) == 0, namely f is harmonic.
Q.E.D.
d
J= ds it(c(s))I.=o,
is a horizontal vector field since the formula V' X Y = (V' X y)H + HX, Ylv
holds for X, Y horizontal (see [ON]). In summary, we have:
PROPOSITION 6.6 For any equivariant horizontal map i : El -> E2 with
respect to Riemannian submersions, there exist equivariant horizontal
variations with basic variational vector fields.
Then the first equivariant variational formula follows:
THEOREM 6.7 Let 7["1 : El -> Ml be a Riemannian submersion with
basic mean curvature vector field HI of the compact fiber submanifolds
Fl in El and 7["2 : E2 -> M2 be a Riemannian submersion with second
fundamental form B2 of the fiber submanifolds F2 in E 2. Let i : El -> E2
be a horizontal equivariant map. If trace(J* B 2 ) is a basic vector field in
E 1 , then for any equivariant horizontal variation it : El -> E2 with basic
and compact support variational vector field w = %t It=o'
(6.15)
Iditl 2 = + (ft*e
(ft*ei, ihei) Sl it*e.)
= (!t*Ei,ft*ei) + (ft*e Sl it,e.).
By the properties of the Riemannian submersion,
(6.16)
6.3 EQUIVARIANT VARIATIONAL FORMULAS 159
( 6.17)
By using Green's theorem, the integral of the first term of the above
expression vanishes. This yields
(6.18)
(6.19)
(6.20)
Since
= V'".v
•
(V'iLdft)
8t
ei
= V'e,v (V'e,dft) :t
= V'e,vV'e,dft (!)
2-a -a
= v V' It* at + V' gradv It* at '
(6.20) becomes
6.3 EQUIVARIANT VARIATIONAL FORMULAS 161
Y'f,Y'e, \ft>:t,ft.es)lt=o
= Y'c (/Y'I
.1 \ hat
~ft>88t ,ft. e.) (6.23)
and
(6.24)
1
-2Y' ~
at
Y' ~
at
(ft>es,!t.es)lt=o
= - (Y' ww, B(f.e., f.e.)) - (Y'7.e, Y'7.e, w, w) (6.25)
+ (B(f.e., ca), w) (B(f.e., ca), w)
- (R E 2(f*e.,w)f. es,w).
From (6.21) and (6.25) we obtain the equivariant second variational for-
mula as follows.
162 VI EQUIVARIANT HARMONIC MAPS
THEOREM 6.8
~s = div (!)
-8 +\ 8 ea )
i )
e-
=
\ V~
e' -
8s ' sin s
V~---
CO" 8s ' cos s
+\Vi,!':s)
= (p-I)cots - (q -I)tans.
164 VI EQUIVARIANT HARMONIC MAPS
a (6.27)
H = [( q - 1) tan s - (p - 1) cot s1as .
T
- r II~
'(I) - ar. (6.29)
ei ei )
B2 ( i,-.-,i,-.- + B2 ( ea eo: )
i*--,i,--
sln s sln s cos s cos s
1 1
= -.-2-B2
sln s
(i,ei, i,ei) + --2-B2
cos s
(i,e a , i,e a )
=
1 a 1 a
--.-2-
sln s
(i,ei,i*ei)sn-l cotr- ar
+ - - 2 - (i,ea,i*eo:)sn-l tanr-
cos s r a
- sin 2 r a cos 2 r a
. 2
sln s a
(i.ei, i.ei) S a - l cot r - + --2- (i,e a, i,ea)sfJ-1 tan r -
r cos s r a
( -A2- - -AI) . a
- Slnrcosr-.
cos 2 s sin 2 s ar
(6.30)
6.4 ON HARMONIC REPRESENTATIVES OF IIm(sm) 165
For any solution to the equation (6.31) satisfying (6.33), (6.32) defines
a continuous map f : sm-I ----t sn-I. Furthermore, f is harmonic on
Mo = sm-I \ Sp-l U Sq-I. By using the technique of cut-off functions
it is not hard to show that f is a weakly harmonic map from sm-I into
sn-l. Let i : sn-l '--+ ]Rn be the standard embbeding and F = i 0 f. The
harmonicity of f on Mo means that for each 7/Jo E C~(Mo,]Rn) we have
(see (5.4))
(6.34)
when 0 S t S 1,
TJ = { 0,
1, when t ~ 2
and ITJ'I < c. Let TJk = TJ( ks), where s is the isoparametric function in
sm-l defined as before and k is a positive integer. Since
166 VI EQUIVARIANT HARMONIC MAPS
we have
• 71"
lim res) = 0, hm res) = -,
8--->0 8--t 2
°
where p, q 2: 2, AI, A2 > are parameters.
Smith in [Sm2] proved that the problem has a solution if
(1) (p _1)2 < 4AI and (q - 1)2 < 4A2,
or
(2) p = q and Al = A2.
6.4 ON HARMONIC REPRESENTATIVES OF IIm(sm) 167
or
(6.35)
(2) (q - 2)2 2 4A2 and
J(p - 2)2 + 4AI + J(q - 2)2 - 4A2 < p + q - 4.
E(f) = c 1% (,2 + Al . r+ A2 r)
o
r
sin 2
2
sm s
cos 2
2
cos s
V
d
s,
and
if a 2 sinP - 1 s cosq- 3 s ds :::; cJJaJJ2.
7r
2' if a> f,
a*(s) = {
a(s), if 0:::; a :::; f,
0, if a < O.
Denote
\ • 2 \
G( s, a ) -_ Al sIn a A2cos 2 a
. 2
SIn s
+ cos 2 s
.
Then
J(a) = if [a/ 2 + G(s,a)] v ds.
Define
where
G (s, f) , if a(s) > f,
F(s,a) = { G(s,a), if 0:::; a :::;f,
G(s,O), if a < O.
Obviously,
J(a*) = r(a*) :::; rea). (6.37)
Choose a minimizing sequence {ai} E X with respect to the functional
J*. Because of (6.37), we can assume ai E X o, without loss of generality.
{ail is bounded and is weakly closed in X. There exists a subsequence,
also denoted by {ail, weakly converging to r E Xo. It is easily checked
that J* is weakly lower semi-continuous. Thus,
otherwise, there exists t E JR. such that A(t) = 0, then, from the equation
(6.38) it follows that A'(t) #- O. Hence, A would take negative value near
t, contradicting r E Xo. Similarly, A does not reach ~. Denote
v= 2 ),---e-,-t_--c-(p-----,---_2-'-)e_-_2
-'-(q_---..e
et + e- t '
\ t \ -t
U= A2 e - Ale
et + e- t
The equation (6.38) can be written as
(6.40), A"(to) < O. We then know that when t > to > R, A'(t) < 0 and
AI/(t) < O. This contradicts (6.39). Therefore, A'(t) > 0 when t > R.
(2) If q = 2, choose R such that U is positive on (R,oo). If there
exist to, tl > R satisfying A'(to) = A'(tt) = 0, then, from (6.40) we have
A"(t o) < 0 and AI/(td < 0, namely, to and tl are maximum points of A.
Hence, there must be a minimum point t*, A'(t*) = 0, A"(t*) > O. But
this situation contradicts (6.40). Therefore, we can choose larger R such
that A' keeps its sign on (R, 00). Noting the continuity of the functional J
with respect to the parameter q and the conclusion of the previous case,
it is impossible that A'(t) < 0 for t E (R,oo). Thus, A'(t) > 0, when
t > R.
The monotone increasing of A(t), when t is sufficiently large, guar-
antees the existence of limt--->oo A(t). By (6.39) there exist points ti ---4 00,
such that
lim A'(t;) = lim A"(t i ) = O.
ti-OO ti- OO
It is easily seen that the only constant solutions to Eq. (6.31) are 0
and ~. We have the following result.
J (7r)
- =
2
l'i
0
)'lV
-'-2-ds
sm s
= )'1(q-2)1'i sinP - 1 s cosq- 3 s ds,
p- 2 0
J(O) = l 'i
o
.A v
_2-2-ds
cos s
= .A2
l'i
0
sinP - 1 s cosq- 3 s ds.
Hence,
J (%) 2: J(O),
provided
(6.41 )
I(u,u) = io
f [,2
u + ().1
-.-2- -
sm s
- -).2)
2-
cos s
U2] V ds. (6.42)
( 6.43)
+ i f (a2 .cos2 2 s + 2ab + +). ) sin2a+p~1 s cosq~2b~1 s ds.
o SIn s sm s
Q(s)=~-~.
2 2 sln s cos s
I(u,u) = if -uLuds.
Assume that
Jor
fLo = inf {I(U,U); u E X,
f u 2 vds = I}. (6.44)
U~X
172 VI EQUIVARIANT HARMONIC MAPS
it
and
On the other hand, for any U E X, Jot u 2 vds = 1, set Ue = rku, where rio
is a continuous function and
0, when SE[O,cl,[f-c,f]'
"1e = { 1, when s E [2c, f - 2c],
linear, other cases.
Then, U E E HE, and UE ----> U, I(u"u e ) ----> I(u,u) when t:: ----> O. Since
therefore,
namely,
:t (u~v) - Quov + fLuov = 0. ( 6.45)
Substituting u/L = sin a s cos- b s into (6.45) and comparing the coefficients
gives
a =~ [J (p - 2)2 + 4'\ 1 - (p - 2)] ,
it follows that
(6.4 7)
On the other hand, for the first eigenvalue fLo of L on H€ with Dirichlet
boundary condition and its corresponding eigenfunction u€ > 0, we have
and
Hence,
which shows that the right-hand side of the above formula is nonnegative
and {to ::::: {t. Therefore,
{to ::::: {t. (6.48)
The lemma follows from (6.47) and (6.48).
Q.E.D.
The above discussion proves that when 4'x2 :S (q - 2)2, the stability
of critical point 0 is determined by the sign of {t, namely, when {t < 0
it is unstable and {t ::::: 0 it is stable. From (6.46) {t < 0 is equivalent to
b - a > 0, namely,
B"(s) = -Z+(t)sinB(s)B'(s)
= _(l+(t))2 sinB(s)cosB(s)
= V Z+ sin B (s ) cos B ( s) - A2 sin B (s ) cos B ( s )
< V B'(S) - A2 sin B(s) cos B(s).
hence, B' (s) < A' (s) for any s ;:0: t. This contradicts the fact that
7r
lim A(s) = lim B(s) = - .
~---+\X)
• ,s--+cx:;' 2
Therefore, we obtain
i.e.,
tan r -d (
vr' ) = v (.AI
-.-- - -.A2) . 2r.
- SIn
ds sm 2 s cos 2 s
On the other hand, from the asymptotic estimates in Lemma 6.14 and
the relation between r( s) and A( t), we have the following inequalities:
when s --+ f,
(k - O(tans))sinrcosr , (k + O(tans))sinr
. S r S. .
SIn s COS s SIn s COS s
From those inequalities, we know that the second term of the right-hand
side in (6.49) vanishes. Therefore,
Q.E.D.
(6.50)
dJ(ad(ai - aj)
where
Let us now estimate the second term of the right-hand side in (6.51).
Obviously, it is controlled by
io(T IQI(ai - 2
aj) vds.
Furthermore,
12
~
E
(i + ~~E + iT-E) IQI(ai - aj)2v ds
are sufficiently small, then for the fixed e the third term is also arbitrarily
small when i, j are sufficiently large. Therefore, when i, j ----+ 00
when i, j ----+ 00. Combining it with (6.50), we conclude that (O:i) con-
verges strongly in Xo.
Q.E.D.
If
(1) Cd~hnfxEan f(x) > max{f(xo),f(Xl)}'
(2) f satisfies (PS) conditions on X o,
then, Co :::: C is a critical value of f.
COROLLARY ([A-RD Let Xo be a convex closed subset in Banach space
X, f E Cl(Xo,JR). Let 0:1 and 0:2 be isolated local minimum points of f,
which satisfies (PS) conditions. Then, there has to be the third critical
point 0: satisfying
f(o:) > max{f(0:1),f(0:2)}'
PROPOSITION 6.18 Let J(f) :::: J(O). Then Eq. (6.31) has a solution
satisfying (6.33) if and only if 0 E Xo is an unstable critical point of J.
PROOF. The sufficiency follows from Lemma 6.10 and Lemma 6.11 im-
mediately.
If p, q > 2, 0 E Xo is a strongly stable critical point, namely, J-£ > 0
in (6.46), Eq. (6.31) with (6.33) has no solution. Otherwise, assume 0: to
be a solution. From Lemma 6.15,
It follows that J(r) = inf,BExo J(j3) < J(O). Applying the above corollary
to J defined on the convex closed set
we know that 0 and ,( s) are isolated local minimum points. Similar to the
proof of Lemma 6.16, J satisfies (PS) conditions on Yo and there exists
j3 E Yo satisfying J(j3) > J(O). Since j3 i- 0, i, j3 is a solution to (6.31)
and (6.33). By Lemma 6.15, J(j3) < J(O), a contradiction. Therefore,
when p, q > 2, 0 E Xo is a strongly stable critical point, there is no
solution to (6.31) and (6.33).
If either p or q is equal to 2, or J.L = 0, we can find nearby parameters
with p, q > 2, J.L > 0, such that there is no solution to (6.31) and
(6.33) for those nearby parameters. It follows that inLYExo J(r) 2 J(O),
so does it for the original parameters by the continuity. On the other
hand, if there is a solution to (6.31) and (6.33), by Lemma 6.15 we have
infl'E x O J(r) < J(O), a contradiction.
Q.E.D.
Z = (X sin s, Y cos s) ,
then
fr * h(Z) = (JI(X)sins,fz(Y)coss).
When 11 and 12 are smooth, it is not difficult to verify deg (11 * fz) =
* deg 12' Therefore, it is valid for continuous maps.
deg fr
When 11 and fz are harmonic homogeneous polynomial maps, Smith
defined
I(Z) = (fr(X) sino:(s),h(Y) coso:(s)),
where 0: is a solution to (6.31) with the condition (6.33). Obviously, 1 is
homotopic to JI * h·
Suppose that JI (z) = zk, z E Sl C C, k is a nonnegative integer
and h = id, that is, apply Theorem 6.9 to the situation that p = 2, >'1 =
k 2 , >'2 = q-l. We obtain a solution to (6.31) and (6.33) when 2::; q ::; 6.
180 VI EQUIVARIANT HARMONIC MAPS
h6 : S9 ---t S9.
We do not know the mapping degree of h5' h6 and h s . Note that when
the dimension > 7, all of those maps are in odd-dimensional spheres.
6.4 ON HARMONIC REPRESENTATIVES OF IIm(5 m ) 181
U sing any two of those maps in Theorem 6.9 we can obtain harmonic
maps under appropriate conditions. In particular, replacing h = id by
h7 in Theorem 6.19 one concludes that every element of II9(5 9) has a
harmonic representative (d. [E-L4]).
For the homotopy group IIm(5 n ) when m > n the situation becomes
more complicated. Among them II3(5 2) = Z, which can be characterized
by Hopf invariant. As is well known, the Hopf fibration h : 53 --+ 52 is
the generator of II3(5 2) whose Hopf invariant H(h) is 1.
LEMMA 6.20 Let 7r : E --+ M be a Riemannian harmonic submersion.
Then f : M --+ N is harmonic if and only if f 0 7r : E --+ N is harmonic.
PROOF. Choose a local orthonormal frame field {ei' eo:}, such that ei are
basic vector fields and eo: are tangent to fibers. Then {7r*ei} is a local
orthonormal frame field in M, 7r*eo: = O. From the composition formula
(1.64)
T(f 0 7r)(x) = T(f)(7r(X)).
Q.E.D.
THEOREM 6.21 Any class with HopE invariant ±k2 in II3(5 2 ) has a
harmonic representative.
PROOF. Let !k : 52 --+ 52 be a harmonic map with mapping degree k.
Composing it with the Hopf map h : 53 --+ 52 gives !k 0 h. By Lemma
6.21, it is harmonic. From the properties of the Hopf invariant
Q.E.D.
REMARK For the definition of the Hopf invariant and its properties the
readers are referred to Husemoller's book (Fibre Bundles pp.196-202).
Let
m
(z,w) = LZkWk
k=O
I fz~1 =
k=O
1.
( 6.53)
where sm is the unit sphere in the real space IRm+ 1 . For x E sm, we have
xcost+iysint.
Hence, the normal geodesic to Mo through the point eiOx in the direction
eiOiy is
p = (e1 cos Bcos t - e2 sin Bsin t, e1 sin Bcos t + e2 cos Bsin t).
The normal vector field of M t is
8
8t = ( -x cos Bsin t - y sin Bcos t, -x sin Bsin t + y cos Bcos t)
for (x,y) E V,n+l,2. Let
Thus, we have a frame {ai, {3i, " ;0' ft} for S2m+1 at p E M t. It can be
checked by a direct computation that
8 .
V Q. 8t =- tan t( ei cos B, ei sm B),
m-l 2m-2
tant 0 0 0 0 0
m-l 0 tan t 0 0 0 0
0 0 - cot t 0 0 0
B=
2m-2 0 0 0 - cot t 0 0
0 0 0 0 0 cos 2t
0 0 0 0 cos 2t 0
(6.55)
Let
17 = V2 - ~ sin 2t (, + %0) ,
T = V2 + ~ sin 2t (, - %0) .
Hence {ai, {3i, 17, T, :t} form an orthonormal frame of s2m+1 at p
and ai, (3i, 17, T are in principal directions of M t in S2m+1 correspond-
ing to principal curvatures tan t, - cot t of multiplicity m - 1 and
tan( t + f), - cot( t + f) of multiplicity 1. Although the computation
above was carried out at a special point, the conclusion is valid at any
point of M t because of its homogeneity.
Let us define a map from S2m+1 into itself.
For any z E s2m+1 we have z E M t for t E [0, fl. Since Sl X Vm +1,2
is a double covering of M t there exist 0 E Sl and (x,y) E Vm + 1,2 such
that
z = eill(x cost +iy sint).
We define a map f : S2m+1 --+ S2m+1 by
then,
Let
1 d cosr
f.O:i = -- f(Gi(u))1 = = - O : i ·
cos t du u 0 cos t
Similarly,
sIn r
f.!3i = -.-t
sIn
!3i.
Then
d
f., = du f(d(u))lu=o = /.
Obviously,
186 VI EQUIVARIANT HARMONIC MAPS
B(f.CXi,i.CXi) =
cos 2 r
--2- B
m -1 .
(CXi, CXi) = --2-s1nrcosr-a '
a
cos t cos t r
m-1
B(J.(3i,i.(3i) = --.-2-sinrcosr-a '
a
sm t r
1
B(J.1J,f.''l) = 2 _ 2 sin2t B (i., + i. :O,i., + i. :0)
k cos 2r a (6.59)
(sin t - cos tF ar
kcos 2r a
- 2 cos 2( t + f) ar'
kcos2r a
B(J.T,i.T) = - 2sin2(t +~) ar·
Obviously,
T
*(i-) =
r ,,~
ar. (6.60)
Substituting (6.58), (6.59) and (6.60) into (6.5) gives the harmonicity
equation
+ [ 2t
cos t + 4"
71") - .2 k
sm (t + f)
lSin(r+~)cos(r+~)=o.
4 4
(6.61)
" (
r + 2 ml cot 2t - m2 tan2t r + )' (AI A2) SIn. r cos r
-2- - -.-2-
cos t sm t
4
11"
4
( 6.63)
6.4 ON HARMONIC REPRESENTATIVES OF I1m(sm) 187
where ml, m2, AI, A2, A3 and A4 are positive parameters. Eq. (6.63) is
the Euler-Lagrange equation of the functional
(6.66)
if r( t) > ~,
7r
4'
r*(t) = {
r(t), if 0 S r(t) :s: ~, ( 6.67)
0, ifr(t) < O.
Then
188 VI EQUIVARIANT HARMONIC MAPS
Define
(6.68)
where
G(t,f), if r(t) > f,
F(t,r) = { G(t,r), if 0 ~ r ( t) ~ f,
G(t,O), ifr(t) < O.
It is easily seen that
J(r*) = J*(r*) ~ J*(r) (6.69)
which means that
inf{J(r), r E Xo} = inf{J*(r), rEX}.
Let {rJ be a minimizing sequence in X for J*. Noting (6.69), we
may assume ri E Xo. {rJ is weakly closed since it is bounded. There is
a subsequence weakly converging to a point ro E Xo. It can be verified
that J* is weakly lower semicontinuous on X. Therefore,
J*(ro) = inf J*(r),
rEX
where
L(s) = (ml -l)e- S - ~m2 -l)e S ,
(6.71 )
eS +e S
By a direct computation we know that pI (s) >0 and Q' (s) > O.
6.4 ON HARMONIC REPRESENTATIVES OF I1m(sm) 189
LEMMA 6.23 Assume >'1 :::; >'2 and >'4 :::; >'3' If r E Xo is a nonconstant
solution to Eq. (6.63), then A'(s) 2: O. Moreover,
lim A(s)
8--+-00
= 0 and lim A(s)
8---+00
= ~,
4
Let
A"
Ur (s)=2 ( y,+L(s) ) ,
v: (s ) _
r -
_ P( s) sin 2A + Q( s) cos 2A
2 A' .
s
N(s) = -21 (p(y)sin2A + Q(y)cos2A)A'
x (1 + e- 2y )1-m ' (1 + e 2Y )1- m2 dy + c.
N(s2) = D(s2) = O.
for s E (Sl, S2). Substituting the above inequality into the expression of
N(s) gives N'(s) > 0 for s E (SI,S2). This contradicts N'(S3) = 0 for
S3 E (SI, S2).
(2) If Sl is finite and S2 = 00, then from (6.74) we know that
-e; < A' < 0 for some points going to infinity. It turns out that N goes
to zero on those points. This together with N(SI) = 0 and N(s) > 0
for s E (SI,OO) means that N has an interior maximum and N'(S3) =
o for S3 E (SI, 00). Then the same argument as the above leads to a
contradiction.
(3) If Sl = -00, then (6.74) means for any small e; > 0 and any
sufficiently negative So there is s < So with -e; < A'(s) < o. Then a
similar discussion to the case (2) shows that N has an interior maximum
and N' (S3) = 0 for S3 E (-00, S2), where S2 is either finite or 00. Then we
take Sl sufficiently negative such that A"(sd ::; 0 and L(sd > o. Hence,
the same reasoning shows that this case is also impossible.
6.4 ON HARMONIC REPRESENTATIVES OF IIm(sm) 191
1
-I(u,u)
2
= 1
0
i- [,2
u +u 2 ( -.-2----2-
.A2
sm t
.AI) cos2r
cos t
+ u 2 (.A3 - .A 4 )sm
. 2r
] v dt
cos
2 (t + f) sin 2 (t + f)
where v sin m, 2tcosTn 2 2t. It is easily seen that I(u,u) > 0 for any
u E x.
Q.E.D.
COROLLARY 6.25 There always exists a solution to Eq. (6.61) with the
condition (6.57).
"1
M t -------'----) Mr(t)
f I·,
where h is defined by
(O,(x,y)) f-------t (kO,(x,y)),
7rl is defined by
( 0, ( x, y)) f-------t ei 9 (x cos t + i y sin t)
and 7r2 is defined by
( 0, (x, y)) ei9 ( X cos r( t) + i y sin r (t) )
. f-------t
for any (x, y) E Vm+l,2. Recall that 7rl and 7r2 are local isometries and
double coverings. If z = eik 9 (xcosr(t) +iysinr(t)), then there are 2k
points
2l7r ( x,y) ) E S 1 X Vm + 1 ,2
( 0+ k'
and
( 0+ (2l +k 1)7r ,(-x,-y) ) ESXV
1
m + 1 ,2
{(2;8++
1
t} 1=8, ... ,28 = {[2(8 ;8[17 117r
} 1'=0,. .. ,8
= { 282['71r}
7r+--
+ 1'=0,. .. ,8
and
2l'7r}
= { 7r+ --
28 + 1 1'=8+1,. .. ,28
.
6.5 HARMONIC MAPS VIA ISOPARAMETRIC MAPS 193
From Corollary 6.25 and Lemma 6.26, we know that for any odd
k > 0, there exists a map with mapping degree k. By its composition
with the reflection over a plane passing through the center of the sphere,
we obtain a map having degree -k. On the other hand, f is harmonic in
the regular part of the isoparametric function t. By using the technique
of cut-off functions, as was done in §6.4.I, the weak harmonicity of f can
be extended over the focal varieties Mo and M ~. Thus, f is smooth in
all of S2m+1 by the main regularity of harmonic maps. We complete the
proof of the following theorem.
THEOREM 6.27 ([XI5]) Any odd class of the homotopy groups in the
sphere II 2m + 1 (S2m+1) has a harmonic representative.
2 1
IdT21 = -2- and
cos T1
By a direct computation,
f(X cos t, Y sin t) = (II (X) cos rl cos r2, 12 (Y) cos rl sin r2, h(Y) sin rl),
(6.76)
where II, 12 and h are harmonic maps between spheres with constant
energy densities ~l, ~2 and ~3; rl and r2 are functins of t. Certainly,
HI =((p-l)tant-(q-l)cott)at'
a
Then
+( V c f - ei
f. ~ * cos t ' cos Tl
a)
-1- - -1- -
aT2 cos Tl
a
aT2
,in'
ea
+ ( V f. .!OJLf* -sin -
t' aTl
a) a -
aTl
(6.79)
196 VI EQUIVARIANT HARMONIC MAPS
Substituting (6.77), (6.78) and (6.79) into (6.5) gives the following equa-
tions:
+ >'1 - -'-2-
( --2- >'2) SIn
. r2 cos r2 = 0,
cos t sm t
where
7r
0< t < 2'
If we suppose
(6.81 )
then the map f can be continuously extended over the focal varieties
Sp-l and Sq-l of the isoparametric function t on sn-l.
It is easy to verify that the energy functional of the map f is, up to
a constant factor,
E = l'
o
" ( ,2
rl +r2
,2 2
cos TI +
>'1 cos 2 Tl cos 2 r2
2
cos t
+
\
/\2 2 -2 _2
"2)
cos TI SIn T2 + /\3 SIn rl
V
d
t, ( 6.82)
SIn t
(6.83)
(6.84)
where S E JR..
Let T = (Tl(t),T2(t)) E Xo be a solution to Eqs. (6.80), where neither
Tl(t) nor T2(t) is constant. Its corresponding solution to Eqs. (6.83) and
(6.84) is A(s) = (A 1 (s),A 2(s)). At first, note that for any s E IR.
7r
0< Ai(S) < -. (6.85)
2
Otherwise, if Ai(S) = 0 for certain S E JR., then A;(s) -=I- 0 by Eqs. (6.83)
and (6.84). Thus, Ai would take negative value and T ~ Xo. Similarly,
Ai do not take the value ~.
From Eqs. (6.83) and (6.84) it follows that A;'(s) are bounded. Thus
A;( s) are uniformly continuous. Then, (6.85) implies lim A;( s) = 0
s-+oo
provided A;( s) do not change sign when s goes to infinity. A similar
conclusion holds true when s goes to -00.
In what follows we assume .A3 2 .A2'
If A~ (s) :::: 0 for a sufficiently large s, then from (6.83) it follows
A~(s) < O. Thus A~(s) < 0 for s > s. Otherwise, A~(s) remains positive
for all sufficiently large s. By (6.85) IA~(s)1 < c; when s goes to infinity.
198 VI EQUIVARIANT HARMONIC MAPS
It can be shown that A~ (s) < 0 for all sufficiently large s is impossible
by the following consideration. When s -+ 00, Eq. (6.83) can be rewritten
as
Set
A" (Q-2)e-S-(p-2)eS]
P( s) = 2 [ _1 + ~-'-------'=----'------
A~ e + e-
S S
and
Then
P(s) = Q(s)
and Y( s) == 1 is a solution to the following linear equation
Hence,
N(s) = D(s) > 0,
6.5 HARMONIC MAPS VIA ISOPARAMETRIC MAPS 199
A~ + (q - 2)e-" - (p - 2)e S
A; e" +C S
where
P=2(A~ +(Q-2)e- -(p-2)e S S
)
A~ e" + e- s
and
Y(s) == 1 = N(s)
D(s)
where
200 VI EQUIVARIANT HARMONIC MAPS
and
Then we have N(s) > 0 and fl'(s) < O. Since A~(s) must be close
to zero arbitrarily, D( s) and N( s) must have values arbitrarily close to
zero. This leads to a contradiction.
3) If for sufficiently negative s, A~(s) :::; 0 and 0 < A~(s) < E for
s < s. Then (6.83) gives A~(s) > 0 and -E < A~(s) < 0 when s < s.
Then (6.87) shows N'(s) < O. Note N(s) is also arbitrarily close to zero
when s --t -00. This is a contradiction.
Therefore, the only possibility is the case A~ (s) > 0 and A~ (s) > 0
when s --t -00.
Now, the existence of the limits of Ai(S) is obvious when s goes to
±oo. If lim A2(S) -I=- ~, then there is Eo > 0 such that cosA(s) > Eo
S---+CXJ
for sufficiently large s. On the other hand, from (6.85) it follows that for
any E > 0 and any So > 0 there is s > So such that A~(s) < E and -E <
A~'(s) < E. Considering Eq. (6.83) at those points gives a contradiction.
This forces lim Al (s) = ~. Similarly we have lim Ai( s) = o.
s --+ (X) S --+ - OCI
II(u,u) = 1~ [,2 + 2u I ul
(A3
-'-2- -
AI)
--2-
o sm t cos t
+ u ,22 + u 22 A2 -
( -.-2- AI)] vdt,
--2-
sm t cos t
6.5 HARMONIC MAPS VIA ISOPARAMETRIC MAPS 201
- ( A3 . - 2 A2) Sln
. _ _
r1 cos r1 = 0, (6.90)
sm t
r~ + [( q - 1) cot t - (p - 1) tan t] r;
+ ( - -AI2 - - A2) SIn
-.-2-
. r2 cos r2 = 0. (6.91 )
cos t sm t
+ U 22 + U 22 (
I A2 -
-.-2-
sm t
- -AI)
2-
cos t
1
cos 2 T2 vdt.
a and
2
(i 1,2,3)
n=-
at Jin = -.--Vi
sm2t
=
Then choose the following orthonormal frame field in S4n-l at p = 71"-1 (p)
satisfying
-
7I"*e s l = -
e s ' ,7I"*e4n-4 = e4n-4
where e4n is the position vector of s4n-l in ((It ~ 1R4n, 1; are the quater-
nionic Kahler structures in Qn.
Let hs't' be the second fundamental form of M t in QlP'n-l, hAl' be
that of M = 7I"-l(Md = S4p-l(cost) x s4Q-l(sint) in S4n-l. By using
the properties of Riemannian submersion (cf. [ON]) we have
- -
hs't' = hs't' , h 4n - 7 4n-3 = -1,
-h4n-64n-2 = -1 , -h 4n - 5 4n-l = -1
hst hs4n-4-j
-1 0 0
h4n-4-it h4n-4-i4n-4-j 0 -1 0
hAl' = 0 0 -1
-1 0 0 0 0 0
0 -1 0 0 0 0
0 0 -1 0 0 0
ILl
ILl
where J-Lb = -2 cot 2t = tan t - cot t, Assume that J-Li has multiplicity ai,
From (6.92) the principal equation of M t in S4n-l is
/1-b - x 0 0 -1 0 0
0 /1-b - x 0 0 -1 0
0 0 /1-b - X 0 0 -1
(J-Ll-xt''''(J-Lb-xtb-3 = 0,
-1 0 0 -x 0 0
0 -1 0 0 -x 0
0 0 -1 0 0 -x
namely,
(J-Ll - x)a 1 ••• (J-Lb - xt b- 3(x 2 - J-LbX _1)3 = O.
In our case M t has principal curvatures tan t of multiplicity 4p - 1 and
- cot t of multiplicity 4q - 1 by a direct computation. Noting
(x 2 - /1-bX - 1)3 = (x - tan t)3(x + cot t?,
the only possibility is the case when b = 3, al = 4p - 4, a2 = 4q - 4 and
a3 = 3. Summarizing the above argument, we have the following.
PROPOSITION 6.32 M t = S4p-l(cost) x S4 q-l(sint)/S3 in QlP'n-l has
principal curvatures tan t of multiplicity 4p -4, cot t of multiplicity 4q - 4,
and tan t - cot t of multiplicity 3.
REMARK 1 By a similar but simpler discussion one has principal cur-
vatures of M t = S2p-l(cost) x S2 q-l(sint)/SI in ClP'n-l. They are tant
of multiplicity 2p - 2, - cot t of multiplicity 2q - 2, and tan t - cot t.
REMARK 2 It is easily seen that {e,,} may be taken as follows. For any
Z E M t there are two points A E QlP'p-l and B E QlP'q-l on an integral
curve 1'( t) of grad t passing through Z and normal to M t . Choose local
orthonormal frame fields near A in ((J!lP'p-l and near B in ((J!lP'q-l, Then
parallel translate them to the M t along 1'( t).
t
at S3( sin 2r). Similarly, Z determines a point Z3 in S3( ~ sin 2t) which
is the intersection of the level hypersurface M t and the quaternionic pro-
jective line passing through Zl and Z2 and normal to QlP'p-1 and QlP'Q-1.
Using the map fa we have Z~ = fa(Z3). Suppose r(t) : (a, f) --t [a, fl is
a smooth function and it will be determined later. We define a smooth
map I : QlP'n-1 \ (QlP'p-1 U QlP'q-1) --t QlP'm-1 given by
then, the above defined map can be extended over the focal varieties. We
still denote the extended one by the same letter f:
1 1
Ea = --e a , En = -.-e a ·
cos t sm t
Let E 4n -8+i = Jift(i = 1,2,3). Thus {E a ,Ea ,E4n -8+J forms a local
orthonormal frame field near M t . Since {%t' J i %t} is an integrable distri-
b utlOn Its.Integra bl e mam·f0 ld·IS ffl\lP'
· an d . '-I'.
1 = S4 ,t h en E 4n-8+i = e4n-8+i
1. ,
2" sm2t
where {e4n-8+i} is an orthonormal frame field in S3. Thus, the conclusion
follows from the fact that the tension field T(f 1-) is a linear combination
of tension fields T(fl), T(h) and T(f3) with function coefficients (in the
argument t).
Q.E.D.
and
Substituting (6.96) and (6.97) into (6.5) gives the following ODE
d2 r dr
dt2 +{(4q-1)cott-(4p-1)tant} dt
+ ( -AI-
2
- ->'2)
-
2
.
smrcosr - 2A3
sin 2r cos 2r
= 0 (6.98)
cos t sin t sin 2 2 t '
which is the same kind of equation as in the complex case. We have the
following result.
THEOREM 6.35 ([UR lAND [X13]) Suppose Al (2q-1) :::; A2(2p-1). The
equation (6.98) has a solution with boundary conditions (6.94) provided
either
density 9. The composition of this map and S29 -+ lRlP 29 -+ QIP'29 gives a
harmonic map II = h : QIP'I -+ QIP'29 of Al = A2 = 18. Let h : S3 -+ S3
be an isometry and A3 = 3. This case satisfies condition (1) of Theorem
6.35. The theorem provides a harmonic map f : QIP'3 -+ Q1P'62.
REMARK 2 A similar argument also gives a harmonic map from ClP'n-l
into ClP'm-l. In this case h : SI -+ SI and A3 = k 2 , k = 0, 1,· ...
The method here reveals the geometric meaning of the coefficients in the
equation (6.98), in contrast with the group representation aspect of the
equation in fUrl.
where
By a direct computation
m-1
6.r = --,
r
6.z1 = o.
Hence i = (r, Zl, ... , Zk) : ]Bm+k --+ D is an isoparametric map of rank
k + 1 with fiber sub manifolds sm-1 (r). In D we define a usual flat
k
metric dr2 + 2: dz; such that i : ]Bm+k \ {r = O} --+ D is a Riemannian
l=l
submersion.
We now consider the polar coordinates in sn. For any Z E sn there
exist X E sn-1 and 4> E [0,71"], such that
where !1(X) is a harmonic map from sm-1 into sn-1 of constant energy
density ~. It is easily seen that! is also a horizontal map. By Theorem
6.3, f is harmonic if and only if 4> satisfies a reduction equation. Let us
deri ve it as follows.
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 211
m-18
HI = - - - - ,
r 8r
(6.100)
m-18¢ 8
f*H 1 = - - - - - .
r 8r 8¢
(6.101)
The defined map f induces a map f between base manifolds. Then the
tension field
( 6.102)
+L
8 2¢ k 82 ¢ m - 1 8¢ .\.
!l2
ur
!l2
UZn
+ -r- nur - -2
2r
sm 2¢ = O.
£=1 '
8 2¢ 82¢ 1 8¢ .\.
!l2 + !l2 + -r nur - -2 sm 2¢ = O. (6.103)
ur uz 2r
Therefore, any solution to the equation (6.103) with the boundary con-
ditions (6.104) defines a continuous map f : 1IB 3 ----; 52 which is smooth on
1IB 3 \ {r = o}. We also can prove f is weakly harmonic on 1IB 3 • Thus, by
using the main regularity for harmonic maps, f is smooth on 1IB 3 •
(6.105)
x = {f E Li(1IB 3 , 52);
We will solve the above equation by finding a smooth critical point of the
functional (6.105).
LEMMA 6.36 Any critical point </J of E is a local minimum in the sense
that
E(</J) ~ E(</J + 1])
provided 1] E C(f(D) and
where d(·, .) and p(.) denote the distance and the diameter, and C is a
constant.
PROOF. Suppose that </J E X is a critical point of E and 1] is a map
in C(f(D). Using integration by parts, equation (6.103) and Taylor's
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 213
theorem, we have
2(E(¢)-E(¢+",))
= 1{
D
2 "\(sin2¢-sin2(¢+",)+,,,sin2¢)} d d
-r 1V'", 1 +
r
r z
< - 1
D
r 1V'",1 2drdz + 1 D
..\",2
-drdz
r
JD ..\",2drdz
+ d(8D,supp(",))
Noting that the first eigenvalue of the Laplace operator on a bounded
domain n c ]Rn is bounded from below by {p(n)} -2, we obtain the
required inequality, provided the condition on supp(",) is satisfied.
Q.E.D.
d(8D,supp(",)) ~ C p(supp(",)).
214 VI EQUIVARIANT HARMONIC MAPS
We define
St = {( r, z) ED; ¢ + tTf > ¢2},
M t = ((r,z) E D; ¢ + tTf < ¢d·
Since ¢1 :S ¢ :S ¢2, St and M t are subsets of supp( Tf) and they satisfy the
following conditions
e
d(8D,St) 2: p(St),
d(8D,Mt ) 2: e p(Md·
Define
¢I = { ¢ + tTf on Mt,
¢1 on D \ Mt;
¢; = { ¢ + tTf on St,
¢2 onD\St.
By the definition of ¢, we know that E(¢) :S E(¢t). By using Lemma
6.36 we have
d2 ¢ 1 d¢ ). sin 2¢
-+-
dr2
--
r dr 2r2
=0. ( 6.107)
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 215
We know that its general solutions are <pc(r) = 2tan- 1 ( cr V>:) and
7r - <pc(r) with c > o. It is easily seen that <Pc(O) = 0 and for any
fixed r > 0, <pc(r) = 2tan- 1 ( cr V>:) --+ 7r when c --+ 00.
Since the boundary condition (6.104)-(ii) holds, there are constant
K and 8 such that
Thus, we have shown that there exists Co such that <Pca laD 2: 'ljJ and <Pea
is the desired <P2.
Q.E.D.
Z = (rX,z),
where
D={(r,z)EIR2, r2+z2 < 1, r > o}.
On the other hand, on the target manifold Cp2, as described in the
last section, there is an isoparametric function </>. The level hypersurfaces
of </> are given by
(6.108)
with principal curvatures - cot </> of multiplicity 2 and -2 cot 2</>. It has
the focal point A and the focal variety Cpl and can be viewed as the
distance function from A.
Let h : Sl ---7 Cpl be a harmonic map with the constant energy
density~, 12: Sl ---7 Sl be a harmonic map with the constant energy
density >'2'. Now we define a map 1 : ]R3 ---7 ClP'2 as follows. For any
Z = (rX,z) E ]R3 \ {r = o} we join A and h(X) E ClP'l by the unique
complex projective line which intersects a level hypersurface Mrf>(r,z) at a
circle SIn sin 24». Then by using 12 we have a point I(Z) E Mq,(r,z) E
CP2, where the smooth function </>(r, z) on D will be determined later
by the harmonicity equation. It is easily seen that 1 is an equivariant
map with respect to Riemannian submersions in both domain and target
manifolds. It induces a harmonic map between fiber submanifolds. It is
also a horizontal map.
Thus, we can use Theorem 6.3 to derive the harmonicity equation.
Let B2 be the second fundamental form of the fiber submanifold Mrf> in
Cp2. Let {~e} be a unit vector field of Sl(~). By a direct computation
B
2 (I !r I!)
* e, * e
r
- _Al
-
sin</>cos</> _ A2 sin2</>cos2</>
r2 2r 2 '
(6.109)
11"
(r,z) ED, 0< </> < 2"'
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 217
If lim4>(r,z)
r--+O
= 0, then f can be continuously extended to whole Iffi3.
Furthermore, f(Iffi3) does not lie in a complex projective line ClP'1 for
Al i=- 0, since any complex projective line starting from A intersects the
focal variety ClP'1 at only one point. If A2 i=- 0, then f(Iffi3) does not
lie in a real projective plane RlP'2. We are interested in the general case
when both Al and A2 do not vanish. Our construction is essentially a
generalization of that in [Z], as shown in previous subsections.
If the boundary data are also equivariant with respect to isoparame-
tric map i and the isoparametric function 4>, then the boundary condition
is also reduced to the boundary aD. Furthermore, suppose that the
function "p = 4>laD satisfies the following conditions:
1) "p=0 when r = 0;
(6.110)
<
7r
2) max· l•
aD 'I' - 2
Any solution to the equation (6.109) with boundary conditions
(6.110) supplies us a continuous map f from Iffi3 into C]P'2, which is smooth
harmonic on Iffi3 \ {r = O}. One can prove that the map is weakly har-
monic on whole Iffi3 by a cut-off function technique. Thus, by the main
regularity theorem for harmonic maps, f is a smooth harmonic map.
7r
4>(., 0) = 4>0 (r, z), 0 ~ 4>0 ~ "2' (6.112)
4>(., t)laD = 4>olaD ="p, "p(0, z) = 0, (6.113)
It is known that for the regular 10 there exists a unique regular soluton
1 : iff,3 x [O,T) -+ ClP'2 to the problem (6.114) and (6.115), where T E
(0,00 1 is the maximal existence time (see [Ha, p122]). In our case the
initial-boundary conditions are equivariant. Besides (6.112) and (6.113)
we also have the following conditions.
a(·,O) = k2 8, a(·,t)ls2 = k 2 8,
,8(·,0) = k1 8, ,8(-,t)IS2 = k 1 8, (6.116)
1'(,,0)=0, 1'(', t)IS2 = 0,
where Al = ki and A2 = k~.
If we can prove that the solution to the equations (6.114) with the
equivariant conditions (6.112), (6.113) and (6.116) is also equivariant,
then by uniqueness we will complete the proof of short time existence
for (6.111)-(6.113). To do this we consider the tension field in the above
coordinates. Notice that the concrete expression of the tension field in
each component does not involve a 8 variable explicitly, and neither do
the cofficients in equations (6.114). The solution to the equations (6.114)
is invariant under translation of the 8 variable. Due to the equivariant
initial-boundary conditions and uniqueness of the solution, a prIOrI we
can assume that the solution has the following form:
¢ = ¢(r, z, t),
a = k 2 8 + a(r, z, t),
(6.117)
,8 = k l 8 + i3(r, z, t),
l' = 'Y(r, z, t),
where ¢(r,z,O) = ¢o(r,z), a(r,z,O) = 0, i3(r,z,O) = 0, 'Y(r,z,O) = 0.
Let h ij be the metric tensor in the geodesic polar coordinates on the
target manifold ClP'2 as described above and
h ij = diag(1, sin 2 ¢ cos 2 ¢, sin 2 ¢, sin 2 ¢ sin 2 ,8 cos 2 ,8).
The equations (6.114) then become
1 8h 22 -2 -2 k~
¢t = I::..¢ - 2 8¢ (a r + a z + :;,2)
1 8h33 ( -2 -2 ki) 1 8h 44 -2 -2
- 2 8¢ ,8r +,8z + r2 - 2 8¢ (';'r +'YJ,
h 22 (at - I::..a) - 8;2 (¢rar + ¢za z ) = 0,
8h
(6.118)
- - 8h33 - - 1 8h 44 -2 -2
h 33 (,8t - 1::..,8) - 8¢ (¢r,8r + ¢>z,8z) + 2 8,8 (';'r + 'Yz) = 0,
_ _ 8h 44 _ _ 8h 44 - _ --
h 44 (';'t - 1::..1') - 8¢ (¢r'Yr + ¢z'Yz) - 8,8 (,8r'Yr + ,8z'Yz) = 0.
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 219
2
-ddr2¢> + -1d¢>
r dr
AI.
- - -2r2 sm2¢> -
A2.
-
2r2
sm 2¢ cos 2¢> = 0, (6.120)
o< r <
7r
1, o< ¢> < 2'
To solve equation (6.120) with the condition lim ¢>(r) = 0 we make
r--+O
the change of variable r = eX, -00 < x :S O. Then (6.120) becomes
(6.121)
7r
-00 < x < 0, o< ¢> < 2' lim ¢>( x) = O.
x-+-oo
(6.122)
2
d¢ ) . 2 A2. 2
(
dx - Al sm ¢ - 4 sm 2¢> = c, (6.123)
Noting (6.122), the minus sign of the right-hand side of the above equation
is impossible. Therefore, (6.123) reduces to
(6.124)
For any initial condition ¢>(xo) = T, -00 < Xo < 00, there is a unique
solution ¢(x) to (6.124), which can be extended to the whole line (-00,00)
since the right-hand side of (6.124) is bounded. Notice that the constant
solutions of (6.124) are ¢> = k7r, (k = 0,±1, .. · ,±oo). Let us consider
the solutions ¢> of (6.124) with initial condition 0 < T < 7r. By unique-
ness the solution curve on the (x, ¢) plane lies within two lines ¢> == 0
and ¢> == 7r. Thus lim ¢>(x) exists, which implies that there exists a se-
x--+- ex:>
o. Furthermore,
for -00 < x :::; In ro. It can be verified that 1/J = 2 arctan( c exp M x) is
a solution to the equation
d4> 1\.
L 1 (4)) = dx - y A1 sm 4>
= -
~! VAl + A2 cos 2 4> sin 4> + VAl + A2 cos 2 4> sin 4> - VI; sin 4>
= VAl + A2 cos 2 4> sin 4> - VI; sin 4> 2: o.
Notice that
If there exists a point x E (-00, In ro) such that (4) - 1/J)( x) > 0, then
there is a positive maximum point Xo E (-00, In ro) of 4> -1/J. We have
222 VI EQUIVARIANT HARMONIC MAPS
but the right-hand side of the above expression is negative. The con-
tradiction implies ¢ < "p on (-oo,lnroj. Reversing back to the original
variable gives
¢(r) s:; 2arctan(cr~).
Let
d"p .
L 2 ("p) = -
dx
- VAl + A2 sm"p.
Then any solution of (6.124) is a supersolution of L2 ("p) = O. By a similar
argument as above we will obtain another inequality of (6.125).
Q.E.D.
¢c~¢o on Dn{r<80 },
where 80 = min( 8,8 1 ), Furthermore, we can choose c sufficiently large
such that on D n {80 s:; r s:; I}
¢c ~ 2arctan(c8tA1 + A2 ) ~ m~x(¢o).
D
Q.E.D.
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 223
¢( r, z, 0) ;::: 4>0 ( r, z) on D,
(6.126)
¢iaD;::: 4>oiaD, ¢(O,z,t) = 4>o(O,z) = 0.
where
=-2
r
1 11 0
cos2[s¢+(1-s)4>]ds- 21
r
11
0
cos4[s¢+(1-s)4>]ds.
where
__ >'1 sin2¢ + >'2 sin2¢cos 2¢
p (r, z, t ) - 2 .
2r
It is easily seen that
6.7 EQUIVARIANT BOUNDARY VALUE PROBLEMS 225
Hence we can apply the estimates for linear parabolic equations to obtain
r r
By a direct computation the energy functional of the defined map f is
dE _ r
(A.. A..
dt - JD 'f'r'f'rt
A.. A..
+ 'f'z'f'zt +
Al sin 24> 4>t
2r2 +
A2 sin 24> cos 24> 4>t)
2r2 r
d d
r z
U sing Stokes' theorem and the fact that 4>t laD = 0, we see that the first
term of the above expression vanishes. From (6.111) it follows that
dE
dt
r
= - JD(4)d rdrdz.
2
(6.132)
Since
E(4)(r,z,O)) = E(4)o(r,z)) < 00,
L 4>;(x,z,tk)rdrdz -t O.
( 6.133)
226 VI EQUIVARIANT HARMONIC MAPS
This means that 4>t(r, z, tk) converges to zero weakly in L2(D) as tk ap-
proaches infinity. From the estimate (6.130) we may choose a subsequence
of {tk} (denoted by {tk} for simplicity), such that 4>(x, z, tk) converges to
4>00 = 4>(r,z,oo) strongly in CHe«D \D c ). Due to (6.133), 4>00 is a weak
solution to (6.109), and therefore a regular solution to (6.109). From the
previous discussion
o ::; 4>( r, z, t) ::; ¢( r )
for any t. It follows that 4>00 --+ 0 as r --+ O. Hence 4>00 is a regular
solution to (6.109)-(6.110) and by our previous discussion supplies an
equivariant harmonic map from Iffi3 into ClP'2.
Q.E.D.
REMARK 1 If the domain manifold is the unit disk Iffi2 we consider the
polar coordinates instead of the axially symmetric coordinates. By a
similar but simpler discussion we have a corresponding theorem. As for
target manifold being ClP'n (n > 2) we can also conclude a similar result.
REMARK 2 Lemma 6.43 is still valid for the more general initial-
boundary data 4>0 with 0 ::; 4>0 < 7r by the following considerations.
From the condition of 4>0 near r = 0 there are constants K and h such
that
4>o(r,z) ::; KrVA1+A2 when r::; hand (r, z) E D.
On the other hand, there is hI > 0, such that for r ::; hI
2crVA1+A2
2arctan(crVA1+A2) > > KrVA1+A2
- 1 + c2 r2vA1 +A2 - ,
when c > .!f and chf A1+ A2 ::; 1. Define 4>T(r) by
4>T(r) = 4>T(lnr),
which is a solution of (6.120). We can use Lemma 6.42 to conclude that
4> TO ( r) ~ 4>0 on D n {r < ho },
where ho = min( h, hd. By Lemma 6.41 the above inequality holds for all
T ~ TO with the same ho.
We see that 4>T(r) converges to 7r when T --+ 7r for each r E (0,1].
Hence, there is TI ~ TO such that
4> T1 (ho ) ~ mJ!:x( 4>0)
D
which gives
on D n {ho < r < I}.
Therefore,
REFERENCES
Cartan-Hadamard manifold, 46
Christoffel's symbols, 9 fiber, 2
Clifford hypersurface, 41 first fundamental form, 10
closed form, 20 first variational formula, 13
closed geodesic, 23 focal submanifold, 182
co-differential operator, 18 Frankel conjecture, 102
co-closed form, 20 Fubini-Study metric, 106
Codazzi equation, 81
comparison principle, 223
complex hyperbolic space, 49, 60 Gauss equation, 81
complex projective space, J06, generalized Gauss map, 16, 61
composition formula, 28 generalized maximum principle, 70
cone-like map, 66 geodesic, 12
connection, 5 geodesic ball, 26
conservation law, 39 geodesic convex neighborhood, 76
convex function, 28 Grassmannian manifold, 16, 61
coordinate chart, 2
cross-section, 2
curvature, 6 harmonic form, 20
240 INDEX
harmonic p-form, 49
harmonic function, 15 index, 35
harmonic homogeneous polyno- index form, 34
mial,30 induced vector bundle, 3
harmonic map, 13 irreducible homogeneous space,
harmonic representative, 162, 179 132
harmonicity equation, 13 isometric immersion, 5
Hausdorff dimension, 125 isoparametric function, 149, 179,
Hausdorff measure, 125 182
heat flow, 217 isoparametric hypersurface, 149
Hermitian inner product, 181 isoparametric map, 149, 193
Hermitian seminegative curvature, isotropy subgroup, 150
116
Hermitian vector bundle, 105 Jacobi field, 35
Hessian comparison theorem, 43,
47,77 Kiihler form, 99
Hessian form, 28 Kiihler manifold, 16, 99
Hessian operator, 43 K(7r, 1) manifold, 132
Hilbert space, 167
Hilbert-Schmidt norm, 20 Laplace operator, 9
Hodge-Laplace operator, 17, 53 Laplacian comparison theorem, 55,
holomorphic bisectional curvature, 74
102 Levi-Civita connection, 7
holomorphic map, 16, 98 Lie group, 16, 150
holomorphic sectional curvature, Lie homomorphism, 16
102 Liouville-type theorem, 45, 53, 57
homogeneous space, 150 local triviality, 1
homology class, 115 Lorentzian manifold, 80
homothetic map, 11 lower semi-continuous, 121
homotopy equivalence, 115 LP estimate, 143
homotopy group, 179
homotopy invariant, 100 main regularity, 124
homotopy theory, 16 manifold without focal points, 127
Hopf fibration, 17 mapping degree, 115, 179
Hopfmap, 16 maximum principle, 30, 31
Hopf's invariant, 180 mean curvature vector, 16
Hopf's maximum principle, 24 minimal immersion, 15
horizontal distribution, 148 minimizing sequence, 122, 168
horizontal lift, 148 minimizing tangential map, 125
horizontal map, 148 Minkowski space, 79
horizontal vector field, 148 moderate divergent energy, 46
hyperbolic space, 79 moderate volume growth, 142
Holder continuity, 124 monotonicity inequality, 43
INDEX 241
Editor
HaimBrezis
Departement de Mathematiques
Universite P. et M. Curie
4, Place Jussieu
75252 Paris Cedex 05
France
and
Department of Mathematics
Rutgers University
New Brunswick, NJ 08903
U.S.A.
Progress in Nonlinear Differential Equations and Their Applications is a book series that
lies at the interface of pure and applied mathematics. Many differential equations are
motivated by problems arising in such diversified fields as Mechanics, Physics, Differential
Geometry, Engineering, Control Theory, Biology, and Economics. This series is open to
both the theoretical and applied aspects, hopefully stimulating a fruitful interaction between
the two sides. It will publish monographs, polished notes arising from lectures and seminars,
graduate level texts, and proceedings of focused and refereed conferences.
Proposals should be sent directly to the editor or to: Birkhiiuser Boston, 675 Massachusetts
Avenue, Cambridge, MA 02139