This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
. Then [Ferus, Karcher, Miinzner] the function f: 6824 - 6B defined by f(x) = x14-2 E; 0 fl(x) is isoparametric.
150
466
J. EELLS AND L. LEMAIRE
(10.12)
If Sm denotes the unit sphere of the vector subspace of End(R211)
spanned by P0, ..., Pm, then we have the totally geodesic embedding Sm -> Gq(R22), assigning to each P E Sm its + I eigenspace in Req. Defining the infinite Grassmannian BO (oo) = lima-00 Gq(R27) = classifying space for the infinite orthogonal group 0 (cc), every homotopy class in tcm(BO (co)) has such a totally geodesic embedded representative of constant curvature. [Q.-M. Wang 2]. (10.13)
Let M be a compact hypersurface in S"+' and let V(S "+', M) be its
normal bundle, as a subbundle of T(S"+') 1119. Denote by rl: V(S"+', M) -+ S"+' the restriction of the exponential map exp: T(S"+') -+ S"+' Its critical points (= critical normals) form a set C,, c V(S"+',M). Call M totally focal if q-'(rl(C,)) = C,,. Results of [Cecil, Ryan] combine with those of [Carter, West] to show that a hypersurface M in S"+' is isoparametric if and only if it is totally focal. (10.14) Let f: (M,g) - R bea smooth function satisfying Idfl2 = Aof for some function A : R -+ R. Then [Q.-M. Wang 1]
(a) (b)
the focal varieties off are smooth submanifolds of M; each regular level set off is a tube over either of the focal varieties;
(c)
in case (Mg) is either Sm or Rm (but definitely not RHm), f is in fact
isoparametric. In that case the focal varieties are minimal submanifolds. (10.15) EXAMPLE.
Let f: Cm - C be a k-homogeneous polynomial having 0 as an
isolated critical point. Then M = f-'(0) n S2m-1 is a minimal submanifold of real codimension 2 in S2m-'. For instance, take f: C3 - C of the form f(z) = z; +z2 +z3 (k > 2). Then M =f-'(O) n S5 is a Brieskorn 3-manifold, minimally embedded in S5 and stable under the canonical S'-action on S5. The quotient M/S' = N is a
Riemann surface of genus (k-1)(k-2)/2, and the quotient map 0: M-*N is a harmonic morphism (Baird).
A reduction theorem (10.16)
Let p: (M, g) - I be an isoparametric function such that on M*
M\{xeM: Vp(x) = 0} (i) the integral curves of the normal vector field c = Vp/lVpl are geodesics; (ii) the principal curvatures of each level surface M, = p-'(s) are constant; (iii) the differential of the projection M, --- M8 along integral curves of c maps the principal spaces of M, (that is, the eigenspaces of its second fundamental form /,) to those of M,..
If a: (N, h) -+ J is another such isoparametric function, we shall say that a map 0: (M, g) --> (N, h) is (p, a)-equivariant if there is a function a: I -+ J such that
a o p = or o 0; and if do maps normals to normals.
(10.17) We have a reduction theorem of [Baird 1], [Pluzhnikov 1], in a form given by [Karcher, Wood]. Let 0: (M,g) -+ (N, h) be a (p, a)-equivariant map. Then is harmonic if and only if (a) each map 0, = 01 M, --+ N,,(8) is harmonic ; (b) on M*, at satisfies (10.18)
a"(s) - (Trace,, f,) a'(s) 4 Trace
do,) = 0.
151
ANOTHER REPORT ON HARMONIC MAPS
467
Note that (10.18) can be written in the form (p(s) a'(s))' + w(a, s) p(s) = 0,
where p(u) = exp fu, -Op. That is the Euler-Lagrange equation of the functional F(a) = J(p(s) a'(s)2 - W(a, s)) ds, where W(a, s) = f( w(c, s) p(s) dd.
If each level NN is a Euclidean sphere, then the third term in (10.18) is a multiple of e(0,), which is constant on M, if 0 is harmonic. Several technical obstacles remain before effective application of the reduction theorem can be made. Here are some favourable instances. (10.19) EXAMPLE [Smith 1].
The join of 2 Euclidean spheres
Sm-1 = SP-1
* Sr-1 (p+r = m)
is obtained by representing the points z e S"`-1 in the form z = (sin s x, cos s -y), with x e SP-', y e Sr-1 and 0 < s <, n/2. The function p: S in 1- 11 given by (sin
is isoparametric; in fact; IdpI2 = 1,
-Ap = (r-1) tans-(p-1) cots.
Its level hypersurfaces are given by M. = sins S"-1 x cos s Sr-1 (0 < s < 7Z/2). The join of two maps u: SP-1 -+ Sq-1,
v: Sr-1
SQ-1
is defined by 00 = u * v = Sin-1-+ Ss-1, where 0o(z) _ (sin s - u(x), cos s v(y)). (10.20) Suppose now that u, v are eigenmaps as in (10.4), with eigenvalues A. and A.. Then with an isoparametric function a: Si-1 --+ R analogous to p we see that 0o is (p, a)-equivariant, with an defined by ;(s) = s (0 < s <, n/2). We take
M* = S'"-1
-(Sp_1
x 0) U (O x Sr-1),
N* = Si-1 _ (S11-1 x 0) U (0 x Ss-1)
in (10.16). Now a change of parameter a: I -- J produces a new map 0: M* -+ N* by 0(z) = (sin a(s) . u(x), cos a(s) v(y)), which is also (p, a)-equivariant. We have r(0) = a"(s) + (hp) a'(s) + k(s) sin 2a(s), where
k(s) = 2 (c
s2 s
sine s)
We note especially that k(s) sin 2a(s) is independent of x e M,. And that 0,, is harmonic because u, v are. [R. T. Smith 1] gave conditions under which the equation (10.21)
a' (s) + (Op) a'(s) + k(s) sin 2a(s) = 0
can be solved for a with a(O) = 0, a(n/2) = rz/2; then the associated map 0: S'"-1- Si-1 is harmonic and homotopic to 00 (see [Report (8.7)] or (10.25) below). Writing (10.21) in the form Au(s) - k(s) sin 2a(s) = 0 displays the analogy with the sine-Gordon equation.
152
468
J. EELLS AND L. LEMAIRE
A similar construction for maps 0: Sm-' -> H"-' leads to an analogue of the sinh-Gordon equation. (10.22) EXAMPLE [Baird 1].
The equivariant maps of ER"` to S'° studied in (12.25)
below can also be interpreted in this framework by writing 0: Et --r S' in the form
0(s-x) = (sin a(s),cosa(s)-x) for xeS"t", se R(? 0) and a(0)= 0. (10.23)
The following simple construction is due to Baird and Eells.
Let u: (M,g) -+S°-' and v: (M,g) -> S8-' be eigenmaps, corresponding to the eigenvalues .lu and av of A on (M, g). If 0: (M x S',g+ds2) --> S°+8-' is defined by ¢(x, s) = sin a(s) - u(x) + cos a(s) v(x),
where a is a suitable solution of the pendulum equation sin a cos a = 0, a- ('L then is harmonic. Indeed, treating 0, u and v as maps 0, U and V into RQ+8, R9 and R', we have A(D =
0e,2
where 0 = cos a U- sin a V. Then 1012 = 1 and <(D, 0> = 0. Since A(D is in the plane
spanned by t and 0, we see that 0 is harmonic if and only if 0 = = (Au - A,,) sin a cos a - o(. EXAMPLE. If u, v are minimal Riemannian immersions of (M, g), then A14 = m = 2n. Consequently, the map 0: M x S' -+ Sp+q-' given by O(x, s) _ (sin s - u(x). cos s - v(x)) is harmonic. Other related constructions of harmonic maps St-2 x S' -+ S"-' have been found by Uhlenbeck and [Hsiang, Yu].
(10.24)
Another framework for reduction is the following. Let G be a group of
isometries of both (M, g) and (N, h); and assume M compact. Then G acts on '(M, N) with fixed point set '(M, N)G consisting of equivariant maps; and E: f(M, N) - ER is G-invariant. For any q0 e '(M, N)v, the variation ot(x) = expoowtt(q50)(x)
is in '(M, N)G for all t >, 0; and
dE(0) I
t-0
= - I) M IT(O0)I2 dx.
Consequently, every critical point of EV)c is a critical point of E. That is a special case of a theorem of R. T. Smith [Report (4.17)]-an example of symmetric criticality in the sense of [Palais]. Maps between spheres
Let u: SP-' -SQ-' and v: S'-' -> S8-' be eigenmaps with eigenvalues A. where ku,k are their polynomial degrees. We examine conditions to ensure that their join u * v: Sp+r-' -+ S9+8-' can be deformed into a harmonic map. As in the reduction theorem, we look for a solution of the form (u*av)(x, y) = (sin a(t)-u ( -),cosa(t)-v(y)) (10.25)
and .1"; thus .lu = ku(ku+p-2),2 =
IYI'
153
469
ANOTHER REPORT ON HARMONIC MAPS
for (x,y) e(l '-0) x (184-0) and t = log lxl/jy . The harmonic map equation is thereby reduced to finding a solution a: 18 -> (0, n/2) of
a(t)+(p2)ee+e(`
(10.26)
with
(10.27)
-2)e'a(t)+A"e`+e.`e `sina(t)eosa(t) = 0,
lim a(t) = 0,
lim a(t) = 7t/2
t--00
t..+o]
[R. T. Smith 1].
For 1, > 0 and ,, > 0, that occurs if and only if the damping conditions
(10.28) (a)
(p-2)2 < 42w
(b)
(r-2)'<4A,,
or 2k < (p-2)- (p-2)2-42u, or
2k.,, < (r-2)- (r-2)2-4..,,
are satisfied [Pettinati, Ratto]. (10.29) That characterisation completes the fundamental theorem of [R. T. Smith 1] (see [Report (8.7)]). Using the solution a of (10.26), two eigenmaps u: SP-1-+ SO-', v: Sr-1--> Ss-1 can be harmonically joined (to give a harmonic map u*av: SO"-1) if and only if damping conditions (10.28) are satisfied. SP+r-1
(10.30) Take v = Id,r the identity map on Sr-1. Then u* Id,, is homotopic to the rth suspension of u. Now .lv = r- 1, so its damping condition is satisfied if r < 6; therefore [R. T. Smith 1], [Ratto 3, 4], any eigenmap u: SQ-1 can be Sp-1
harmonically suspended 6 times. (10.31)
The idea of the proof of (10.27) is the following. Define oc4t : (0, n/2) -, (0, + oo)
as follows. Let to be the point where the gravity of (10.26) is 0. For any ao a (0, n/2) let 4 (oco) be such that the solution of (10.26) with initial conditions a(t0) = ao and a(to) = oca(oco) (resp. a(to) = oco(ao)) grows to 7r/2 as t oo (resp. to 0 as t -> - oo). We compare (10.26) with
a(t)+
(p-2)e `-(r-2)e` e`+e `
6:(t) +
(r-1)e`-(p-1)e ` sin a(t) cos a(t) = 0. e`+e-`
That is the equation for harmonicity of Ids,,+,. The key observation is that their gravities satisfy
.lue e'+ e`
(r-1)e'_
(p-1)e'
e'+ e-'
for all t e R. Then a standard comparison theorem ensures that there is an &e (0, n/2) for which 4(6e) = A simplified proof of (10.27) has been given by [Ding 2]; he interprets the non-
existence assertion in terms of the mountain pass theorem. For sufficiency he minimises the reduced energy over maps of the form u *Q v. (10.32) EXAMPLE.
Consider the map uk: S1 -+ S' of (topological) degree k defined
in complex variables by z -+ z' for k >, 0 and z - z -k for k < 0. By (10.30), it can be suspended 6 times to harmonic maps of the same degree. Thus [R. T. Smith 11: for m < 7, every homotopy class of maps from S' to Sm has a harmonic representative.
154
470
J. EELLS AND L. LEMAIRE
(10.33) EXAMPLE.
[Takagi, Takahashi] have obtained as gradient of an
isoparametric function a harmonic polynomial map v: S' - S' which is of polynomial degree 5 and topological degree 1. By (10.27), it can be joined to the maps uk above, so that every homotopy class of maps from S9 to S9 has a harmonic representative [Fells, Lemaire 5]. (10.34) EXAMPLE. The Hopffibrations u: S2m-' - S'n are eigenmaps (m = 1, 2, 4, 8), which can be harmonically suspended 6 times. That follows from (10.30); we remark
that the case m = 8 could not be included in Smith's version. (10.35) EXAMPLE.
If the eigenmaps u, v have the same polynomial degree (that is,
k = kv), then their join u * v: SP"-' - Sq+B-1 can be deformed to a harmonic map (Smith proved that in case p = r). (10.36)
[Ratto 41 modified his arguments in (10.30) to obtain the following
theorem. Let f: SP-' x Sq-1 -+ S"' be a harmonic map with constant energy densities 2P/2, ;q/2 in each variable separately. Then the Hopf construction on f can be deformed to a harmonic map Sp+q-1-+ Sn, provided that either of the damping conditions (10.37) is satisfied :
(10.37)
((p-2)2> 42., and (q-2)2 > 4Aq) or (p = q and AP = 2q).
(10.38) EXAMPLE. If f is the restriction of an orthogonal multiplication, then = p-1, .tq = q- 1. For p, q > 6 the Hopf construction deforms to a harmonic map SP+q-' - S". Together with a theorem of [R. Wood], that ensures that any quadratic polynomial map S'n -+ S" is homotopic to a harmonic map provided m > n + 6. (10.39) EXAMPLE.
The J-homomorphism JP : nP(O (n)) - nP+n(S ") is defined via
the following construction. For a: SP -+ O (n) let fn: S" x Sn-' -+ Sn-1 be given by fn(x, y) = a(x) y. Then denote by JP(a): SP+n -+ Sn the Hopf construction on fn. Take the limits nP = limn. nP+"(S"), JP: it (O (co)) -+ 7r,. Then JJ nP(O (n)) is stable for n -1 > p; and injective for p = 0 or 1 mod 8. Im J,, is a finite cyclic group [Adams 1]. It is known through work of Baum and Hefter that Im J1, c it,, consists precisely of those stable homotopy classes which can be represented through the Hopf construction on an orthogonal multiplication 18P+' x I{84 -+ {18", for some n. [Ratto 4] has applied (10.36) to establish that any element in ImJP can be harmonically represented, provided 6.
More precisely, if ae n,(O (oo)), then for some integer n with n- I > p > 6 there is a Clifford multiplication fn: RP" x Rn -+ Rn for which JP(a) in nP+"(Sn) has a harmonic representative. For instance, if p = 8i (i >, 1) and n = 2", then 712 = Im J,, c nP+n(S4), and by (10.36) the generator has a harmonic representative. Similarly for the other cyclic groups ImJP for p = 1, 3, 7 mod 8. From (10.36) we see that the map constructed is even, and so defines a harmonic map PP+n(R) -+
(10.40)
Sn.
See Items Added in Proof, p. 501.
155
471
ANOTHER REPORT ON HARMONIC MAPS
Rendering (10.41)
As in (5.7), say that a homotopy class of maps can be rendered harmonic
if there are metrics on both manifolds such that the homotopy class contains a harmonic map for these metrics. As an extension of (10.32), [Ratto 2] has shown that each homotopy class of maps from S' to S' can be rendered harmonic, without limitation on m. More precisely: (10.42)
Let g, h be the Euclidean metrics on Sp-1, Sr-1. We consider now
Riemannian metrics on the join Si'' -* Sr-1 =
SI"'-1 of the form
sin's where k: [0, r/2] - R(> 0) is a smooth function [0, e] U [n/2-e,n/2] for small e > 0. Let K(t) = k(arc tan e`). Now the harmonicity equation takes the form
for s E [0, 7c/2],
[(P_2) e -(r2)r'1 rl(t)+`+e`
(10.43)
e t-e` K(t)]A(t)+KZ(t)I
-1
on
sinA cosA = 0.
The idea is to choose any smooth strictly increasing function A that covers the prescribed range. Then (10.43) can be written K(t)-12PA(t)K(t)+12QA(t) K3(t) = 0.
Hence setting y(t) = )C-2(t), Y(t)+P,,(t) Y(t) = QA(t).
We look for-and find-an A so that this has a solution Y with Y(t) > 0 for all t c- 11 and Y = I if Iti > C for some C >, 0. Consequently [Ratto 2, 4] : Sp+r-1- Sa+B-1 of eigenmaps can be (10.44) The homotopy class of any join u * v: rendered harmonic. In particular, every class in it (Sm) can be rendered harmonic.
- Ss-1 is a In the same order of ideas, he proves that if f: SP-1 x map such that the restriction to each factor is an eigenmap (2 < p, q), then its Hopf (10.45)
S°"1
construction Sp+q-1-+ S" can be rendered harmonic.
(10.46) A somewhat different argument is required to show that every class in ic3(S2) can be rendered harmonic [Ratto 1]. And similarly for 7tn+1(S") (n >, 3).
Properties of maps into spheres (10.47) [Solomon]. Let 0: M-+ S" be a harmonic map of a compact manifold to S", and let Sn-2 be a great sphere of codimension 2 in S". If c(M) does not link or meet Sn-2, then 0 is constant.
The proof begins by showing that S"\S' 2 is a warped product. Then 0 lifts as a harmonic map from M to the universal cover of S"\S"-2, and a maximum principle implies that it is constant.
(10.48) [Ramanathan 2]. Let 0: S' --+ S' (m > 3) be a harmonic map not homotopic to a constant. Then E(c) = max {E(o o y) : y e G} > 2m Vol (S'"), where G is the group of orientation preserving conformal automorphisms of S'.
156
472
J. EELLS AND L. LEMAIRE
(10.49) Let V (M,g) --> R" be a non-constant map of a compact manifold; and 0 = (Do+ E'O1 b its spectral representation (relative to A', so the spectrum has the form 0=4<.1i < ... and (Di is an eigenfunction associated to A). Then (Do is the constant vector f,,, (Ddx/f,,, dx, called the centre of mass of (D. If the representation is finite, = (D' + Ei P 4f, where p is the smallest positive index with 0, * 0 and q the largest one, we say 'V has order [p, q] ; and has k-type if exactly k of the 'f are * 0 (.I%1).
(10.50) [Chen, Morvan, Nore]. 2J., E('V) _< f m 10'V12 < 2A E('V), where [p, q] is the order of 0. Either equality holds if and only if 'V has 1-type. As a consequence:
(10.51) Let 0: (M, g) -* S"-1 be a map for which 'o is the centre of S"-1. Then E(O) >
vo1(M, g)
with equality if and only if 0 has order [1,21].
Minimal immersions Mm - S" For general properties in case m >, 3 see [Chern, do Carmo, Kobayashi), [W. Y. Hsiang 1, 2], [Lawson 3], [Simons]. (10.52) Every compact Riemannian homogeneous space can be minimally immersed in some Euclidean sphere. See the references in [Report (4.14)].
(10.53)
In the next results the techniques involve
special properties of
transformation groups of isometries (especially, their principal orbits) to reduce the harmonic map system to an ordinary differential equation. For various n > 4 there are minimally embedded (n-1)-spheres in S" which are not totally geodesic. [W.-Y. Hsiang 5, 6] for small values of n, and [Tomter 1, 2] for all even n. We have seen in (8.40) that there are none for n < 3. A somewhat different method, involving isoparametric families and producing different types of examples, has been exploited by [Ferus, Karcher]. They also foliate R" by complete minimal hypersurfaces which are regular except for one absolutely minimising cone. (10.54) In related directions, there are: (1) codimension I minimal immersions [W.-Y. Hsiang, Sterling]; isotropic
minimal immersions [Tsukada]; (2) codimension 2 minimal immersions of spheres and exotic spheres in S",
with distinct knot types [W.-T. Hsiang, W.-Y. Hsiang, Sterling], [W.-T. Hsiang, W.-Y. Hsiang 4]; (3) minimal hypersurfaces in symmetric spaces [W.-T. Hsiang, W.-Y. Hsiang 1, 2], [W.-T Hsiang, W.-Y. Hsiang, Tomter] ; (4) hypersurfaces with constant mean curvature in S" [W.-Y. Hsiang 4], [W.Y. Hsiang, Teng, Yu 2]; in 111" [W.-Y. Hsiang, Yu], and in RH" [W.-Y. Hsiang 3].
(10.55) [Barbosa, do Carmo].
Let Mm be compact and orientable, and
0: M' -- R"i+' an isometric immersion with constant mean curvature 0 0. Then 0 is V-stable if and only if c(M) is a Euclidean sphere.
157
ANOTHER REPORT ON HARMONIC MAPS
473
Consequently, the examples of (5.30) and (5.32) are not V-stable (m = 2); nor (for m > 3) are those of (10.54 (4)). (10.56) [Moore 1]. If Mm(c) is a compact real space form minimally immersed in S2m-' then the image is either totally geodesic or flat. (10.57) [Ejiri 1] has constructed isometric immersions of S3(4) in S' which are minimal, and totally real with respect to the invariant almost complex structure on S6. [Mashimo] has produced other isometric minimal immersions of S3(-,/[3k(2k+2)])
in S2" fork>3. (10.58) A submanifold M of S"-' is minimal if and only if the cone over M with vertex 0 is a minimal variety of l1".
(10.59) [Simons].
If 0: (Mm,g) --+ S" is a minimal immersion, then
V-index (o) 3 n - m,
V-nullity (0) ,>(m + 1) (n - m),
with equality only when (Mm, g) is a great m-sphere of S". Gauss maps
Various constructions analogous to that of (2.35) play a significant role.
(10.60) [Ishihara 4]. Let 0: (M, g) - S" be an isometric immersion of a surface. Define its Gauss lift q : M -+ Q(S") = SO (n + 1)/SO (n - 2) x SO (2) by ¢(x) = (gi(x), dq5(7 M)). Then 0 has parallel mean curvature if and only if is harmonic. (10.61) Let 0: (Mg) -+ R' be an isometric immersion, and ST 1(M) -+ M its normal unit sphere bundle, with standard bundle metric. The spherical Gauss map vo: ST'(M) -+ S"-' assigns to each vector in ST1(M) its translate to the origin in R".
Then [Rigoli 1], [Jensen, Rigoli 2]: v. is harmonic if and only if 0 has parallel mean curvature and conformal second fundamental form; that is, if we define f'c-W(O2cb_'T*(N)) for VE'(T'(M)) by
Q°(X, Y) =
then we require (fiPW> _ )2
The same assertion is valid [Jensen, Rigoli 1] for the spherical Gauss map vo: ST'(M) -+ ST(S") of an isometric immersion 0: (M,g) -+ S". And there is a version for general isometric immersions 0: (M, g) ---+ (N, h). (10.62) Let (M, g) be a Riemannian surface and 0: (M, g) -+ 1k" an immersionthough not necessarily an isometric immersion. [Jensen, Rigoli] have extended the results of (2.35) to this situation as follows. Consider ¢ as a map from (M, g) to C", using the inclusion li" c C", and define the complex Gauss map y': (M, g) - P"_1(E) by y, (x) = [00], a complex line in C". Then (1) y' factors through the quadric Qn_2 c Pn_1(C) if and only if 0 is conformal, (2) yc is harmonic if and only if 0 has parallel mean curvature, (3) yc is antiholomorphic if and only if 0 is harmonic.
158
474
J. EELLS AND L. LEMAIRE
(10.63)
Let (Mg) be
a Kahler manifold with dime M = m, and let
0: (M, g) -+ R" c C" be an isometric immersion with complex Gauss map yo': (Mg) -- Gm(C") c S(AmC"). Then (1) 0 is harmonic (equivalently, (1,1)-geodesic by (4.46)) if and only if yo is antiholomorphic ; (2) 0 is (2, 0)-geodesic if and only if y' is holomorphic [Rigoli, Tribuzy].
(10.64) [Rigoli 2] (following [Bryant 3] in dimension 2).
space with quadratic form
Let R"n" be the Lorentz
n+,
xv + Y, x;,
<x, x>
J-1
and `P+ _ {x: <x, x> = 0, x° > 0} the associated light cone. Define Gk(R1" n+1) the Grassmannian of k-spaces in W n+l on which < ,) has signature s. Then Gk(RI,n+l) is an open orbit in Gk(P"+2) with invariant pseudo-Riemannian metric [J. Wolf]. For any function p2: S" -+ R(> 0), let h,, = p2h, where h is the Euclidean metric of S". Then the embedding (S", h,,) -+ 2+ given by y --+ #(y) (1, y) is an isometry. Now let 0: (Mm, g) . (S", h) be an isometric immersion, and compose it with the embedding of S" in 2+. We define the conformal Gauss map 1,.: M -+ G,°,_m(l8' "+') by
F ,(x) = (d0(x) T(M))1, an (n - m)-space in l8' "+' with signature 0. Then Idrol2 =
2 I
>(1,0)+(2-m)(o,
z(0) m
g.
rM
f, I dr,51m dx
W(0) = m
(jdFjm_2 dF¢) = 0. Thus on isometric immersions 0. The extremals are solutions of div for m = 2, 0: M -+ S" is an extremal of W if and only if its conformal Gauss map is harmonic. These extremals are called Willmore surfaces. For m > 3, IF, is harmonic if and only if 0 is pseudo-umbilical (
11. Non-compact manifolds
Throughout this Section we shall suppose that (M, g) is complete and noncompact. When m = 2, completeness is often not a necessary hypothesis on domains,
because any Riemannian surface (Mg) is conformally equivalent to a complete one-and the energy functional is a conformal invariant. Harmonic functions in 2P(M,R)
We consider now the existence of harmonic functions 0: (M, g) -. R in various classes. Most of these results can be cast in the more general context of subharmonic functions. See [Karp 1, 2, 3], [Li, Schoen]. (11.1) [Yau 3].
For I < p < oo any harmonic function in .P(M, l) is constant.
That was proved by [Andreotti, Vesentini] when p = 2, using Stampacchia's inequality.
159
ANOTHER REPORT ON HARMONIC MAPS
(11.2)
475
[Karp 1] has sharpened (11.1) in several ways, including the following.
If 0: (M, g) -- R is non-constant and harmonic, then for p > I and any nondecreasing function F(r) satisfying f ' dr/rF(r) = oo, 11M sup r-co
2
r F(r)
JcIPdx = oo
J D(x,,r)
and lim inf2 r-
0
r
1cIPdx = co J D(x,,r)
for all xo E M. (11.3) When 0 < p < 1, the situation is more complicated. There are examples of manifolds (M, g) supporting non-constant harmonic L'-functions (Chung), and LPfunctions for certain 0 < p < 1 (Sullivan). [Li, Schoen] give sharp curvature conditions to ensure that every harmonic function in 2P(M, R) is constant (0 < p < 1); see also [Li].
(11.4)
If Ricci(M,") > 0, then every harmonic function in .P(M, III) is 0
(0
(a) M is simply connected and Riem(M,') < 0; or (b) there are constants a < 0 and c > 0 such that - oo < a < Ricci(M, a) and c < Vol D(x, 1) for all x e M. Then any harmonic function in 21(M, EJ) is constant (0 < p is due to [Greene, Wu].
1). The case p >, 1 in (a)
Bounded harmonic functions (11.6) Natural extensions of Liouville's theorem should imply that any bounded harmonic function on (M,g) is constant; we examine supplementary hypotheses to ensure that.
(11.7) [Yau 2]. constant. (11.8)
If Ricci(M,9'
0, then any bounded harmonic function on (M, g) is
More generally [Donnelly]: if Ricci(M,9) > 0 outside a compact set, then the
vector space of bounded harmonic functions is finite dimensional. [Li, Tam] have produced manifolds with the same curvature restriction on which that dimension is greater than 1. (11.9) As an application of his Harnack principle, [Moser] has shown that if the Riemannian structure g on P' satisfies the uniformity condition
cYin
gy(Y,Y)
for each ye P"` and Ye Ty R' (c, Ce P(> 0)), then any bounded harmonic function 0: (Pm,g) -> P is constant.
160
476
J. EELLS AND L. LEMAIRE
On the other hand, simply connected manifolds with - oo < A < B<0 support non-constant bounded harmonic functions [Anderson], [Sullivan], [Anderson, Schoen]. Compactify M by adjoining the (m- 1)-sphere at infinity M(oo) (that is, the space of asymptotic classes of geodesic rays on (M,g)). Then M(00) has a C-manifold structure (a2 = B/A). There is a unique solution to the Dirichlet problem for harmonic functions on (Mg) with given continuous boundary values on M(oo). (11.10)
[Anderson] has applied this to show that there are proper harmonic maps from (M,g) onto the unit disc in R' inducing a homeomorphism of M(co) onto S'"-'. [Anderson]'s proof uses Perron's method, resting on the construction of suitable
barrier functions (that is, subharmonic functions f: (M, g) -> l(,< 0) for each xoeM(oo), with 0). [Sullivan]'s proof involves probabilistic potential theory. [Anderson, Schoen) have exhibited a natural homeomorphism of M(oo) onto the Martin boundary of (M, g). [Kasue] (and the references therein) give a general condition on the sectional curvature of a manifold, to ensure the existence of bounded harmonic functions. [Toledo]. Let (M, g) be a manifold having an isometric discrete principal action with compact quotient. Then its space of bounded harmonic functions is either one or infinite dimensional. Finite energy
(11.11) A characterisation of manifolds admitting non-constant harmonic functions of finite energy has been obtained by [Sario, Schiffer, Glasner]. If such a 0 exists on (M, g), then there is also a non-constant bounded harmonic function with finite energy. (11.12) If either Ricci"-9' >, 0 [Greene, Wu 1] or Vol (Mg) < oo [Schoen, Yau 1], then any harmonic function 0: (M, g) -+ f18 with E(q) < oo is constant. There are manifolds supporting non-constant bounded harmonic functions, but for
which every non-constant harmonic function has infinite energy [Sario, Schiffer, Glasner]. Holomorphic functions (11.13) Suppose now that (M, g) is a non-compact Kahler manifold. Then the real and imaginary parts of any holomorphic function 0: (M, g) -+ C are harmonic.
(11.14) [Yau 3].
Any holomorphic function in Y"(M, C) is constant (0 < p < co). Note that p ranges over all (0, oo), in contrast to the situation described above for harmonic functions. Also, (11.2) applies to this situation for all p > 0 [Karp 1]. And, from (11.7), if 0, any bounded holomorphic function is constant. (11.15)
There are non-compact Kahler manifolds on which every holomorphic
function is constant [Greene, Wu 2]. On the other hand, every Stein manifold is Kahlerian, and has enough holomorphic functions to separate points. (11.16) [Grauert]. Every Stein manifold supports a strictly plurisubharmonic function (4.32). [Greene, Wu 2]: a Kahler manifold is Stein if it supports a smooth strictly convex exhaustion function.
161
477
ANOTHER REPORT ON HARMONIC MAPS
Harmonic diffeomorphisms (11.17) If q5: 92.. 182 is an injective harmonic map, then it is affine. By way of contrast, O(z) = ez is holomorphic and surjective onto R2\0, with J,, > 0. In fact, let 0: R2 - R2 be harmonic and have only branch points. Then (i) if 0 omits one point, then ¢ factors through exp; (ii) if 0 omits more than one point, then it is constant [Sealey 1].
(11.18) There is no harmonic diffeomorphism of {z e C : zj < 1 } to C. The annulus {z E C : I < Izl < b < oo} cannot be mapped by a
harmonic
diffeomorphism onto a domain in C containing the complement of a disc (Bers). (11.19)
J. C. Wood has observed that the map 0: l3
183 defined by
g5(x, y, z) = (x3 - 3xz 2 + yz, y - 3xz, z)
is a harmonic homeomorphism of R3 to R3 whose Jacobian 3x2 vanishes on the yz-plane. Thus 0 is not a harmonic diffeomorphism. In another direction, let U c R3 be a domain and f: U -* R a harmonic function with 0 = Vf: U -). R' injective. Then J, A 0 on U [Lewy 2]. Existence theorems
We first discuss certain extensions of the existence theorems of Section 3 to noncompact domains. (11.20) [Burstall 1]. Let (N, h) be a compact manifold with contractible universal cover and assume that it has no minimising tangent map (3.26) of 98` for 3 < l < m, where m = dim M. Then any map 0,: (M, g) -+ (N, h) of f rite energy is homotopic to an energy minimising harmonic map.
If m = 2, it is sufficient to suppose that N is compact and ir2(N) = 0. Ditto if
m=3andn=2, as in (3.35). 0, the hypothesis of (11.20) is satisfied. That case is due to (11.21) If 0, [Schoen, Yau 1]. Moreover, if Vol (M, g) < co and (N, h) is compact with Riem(' then
if 0o, g1: (M, g) - (N, h) are homotopic harmonic maps of finite energy, then they are smoothly homotopic through harmonic maps of finite energy; (ii) if Riem(^'-h' < 0 and ¢: (Mg) (N, h) is a harmonic map offinite energy, then it is the only such map in its homotopy class, unless c(M) is contained in a geodesic of (N, h). (I)
We also have : (iii) if Vol (M, g) < oc and N is simply connected with Riem(N.h' '< 0, then any
harmonic map 0: (M, g) -+ (N, h) of finite energy is constant.
0 and if (11.22) APPLICATION. [Schoen, Yau 4] also show that if 0: M -+ N is a map for which there are compact sets K c M, L c N and a E Hk(M) such that 0 I,,,\K is null homotopic and ¢,,(a) 0 0 in Hk(N, N\L), then 0 is homotopic
162
478
J. EELLS AND L. LEMAIRE
to a map of finite energy. They make several applications to compact group actions; for example,
with M, N and 0 as above, if Vol (M, g) < co and Riern", " < 0, then dimIso(M,g) <, (m-k)(m-k+ 1)/2; (a)
(b)
any finite smooth group action on a homotopy torus is equivariantly homotopic
to a linear action on the standard torus. (11.23) The existence results for maps of surfaces can also be extended to the case where (N, h) is complete and non-compact, provided some conditions are imposed : (11.24) Uniformity condition. There are two positive constants c and C such that any point of N is in the domain of a coordinate chart 0: V -> Rn whose image is the unit disc, and cI dO(y)1'12a^ '< g&(Y, y) '< CI d9(y) y12
for any ye V and Ye 7,(N). (11.25) Growth condition. There is a function y : R(,> 0) - R(>, 0) with lim,_a y(r) = oc such that for some point yo E N the geodesic disc D(y, y(dist (yo, y))) is contractible for every y e N. (This is an improvement of condition (5.2) of [Report].)
(11.26) The uniformity condition was introduced by Morrey; in case dimM = 2 it guarantees that a minimising L; map is smooth, as in (3.19). The growth condition prevents the maps of a minimising sequence moving away
to infinity. This could happen because there are non-simply connected convex supporting
complete manifolds. By (3.31), the elements of their fundamental groups are not represented by closed geodesics. For instance, the quotient of the Poincare disc by a suitable group of translations is convex-supporting. (11.27) [Burstall 1] (improving on [Lemaire 6]). Let (M,g) be a surface and (N, h) a manifold satisfying the uniformity and growth conditions. Given any map V : (M, g) -+ (N, h) of finite energy, there is a harmonic energy minimising map 0: (M, g) -- (N, h) of finite energy such that on each compact set, they induce the same conjugacy class of homomorphisms on fundamental groups. If n2(N) = 0, then 0 is homotopic to v. The proof uses a minimising sequence and Morrey's regularity theorem.
Maximum principles (See also (12.10)-(12.13))
A real valued bounded function on (M,g) may not have a local maximum. The following result is a substitute, due to [Omori], with refinements added by [Yau 1]. (11.28) Let - oo < a ,< Ricci(M,) and f: M- - R a junction with sup f < co. Then there is a sequence (xk) c M such that
(i) limf(xk) = supf (ii) lim ldj(xk)I = 0
(iii) lim -Aj(xk) 6 0.
163
ANOTHER REPORT ON HARMONIC MAPS
479
(11.29) That theorem has been applied to various situations ; in particular, to the Schwarz lemma for holomorphic maps [Report (9.14)] ; to harmonic maps of bounded dilatation [Report (5.10)] ; and to minimal immersions inside a nondegenerate cone of Euclidean space [Omori]. An extension of the latter by [Baikoussis, Koufogiorgos] asserts that if (M, g) satisfies - oo < a < Ricci(', 91, then there is no harmonic map 0: M -> 1l' with idol >, c > 0 and q'(M) inside a nondegenerate cone of R'.
(11.30) [Karp 3].
Let (M,g) satisfy 1im sup 11og Vol D(xo, r) < oo, ;:2
and let f: M -+ TI be a function bounded from above. Then inf - Of < 0. (11.31) [Tolksdorf 1]. Let Mo be a domain in M and o: Mo -D(yo, r) c (N, h) a non-constant continuous map, where r < 1 -,1 B. If 0 is weakly harmonic in Y '(M,, N), then dist (O(x), y() < sup dist (c(y), yo) yEaM,
for all x e Mo.
Liouville theorems for maps
By a Liouville theorem for maps, we mean here a statement to the effect that a harmonic map with suitably small image is constant. In fact, the measure of smallness is often one of the conditions appearing in the regularity theory of Section 3. (11.32) If (M,g) has Ricci(M'111>,0 and (N,h) is simply connected with Riem(" ") < 0, then any harmonic map 0: (M, g) --> (N, h) with relatively compact image is constant [Cheng 2].
(11.33) [Karp 1] has replaced the boundedness hypothesis by a condition on the rate of dispersion of 0, as follows. Let F: T(>, 0) OI(>00) be as in (11.2), and let 0: (M, g) (N, h) be harmonic, 0. If 0 is not constant, then for all where N is simply connected and p > 1 and for any xo e M we have
lim sup r-.oc
distp(q(xo), O(x)) dx = oo ;
1
rs F(r)
JD(xo, r)
and
lim inf 2 r-.m
r
dist9(c(xo), ¢(x)) dx = oo. J D(x,,r)
(11.34) In another direction, [Karp 2] has shown that if - oo < a < Ricci"', 9), 0 and m < n, then (M, g) admits no bounded (N, h) is simply connected with Riem("' minimal immersion in (N, h).
The curvature condition on the domain cannot be deleted, for [Jones] has constructed a bounded holomorphic curve in Ca.
164
480
J. EELLS AND L. LEMAIRE
Ricci(M.F' and Riem"' < B < co for some B > 0. If (11.35) Let - oo < a < (M, g) --> (N, h) has image in a geodesically small disc D(y, r) (3.14), then [Xin 6] uses (11.28) and the Hessian comparison theorem [Greene, Wu 3] to prove
sup Ir(¢)I tan s/Br >, 2 ,/B infe(r).
(11.36)
(11.37) APPLICATION. Let ¢i: (M,g) -> l be a proper isometric immersion with parallel mean curvature, and y.: M G.(Rn) its Gauss map. Take B = 1 if n = m + 1 and B = 2 otherwise. If yo(M) c D(y, r) with r < 2n.\/ B, then 0 is harmonic. Indeed, by (2.35), y, is harmonic, so (11.35) implies that inf e(y,) = 0. But dy" = fl (o), so that Schwarz's inequality gives Ir(O)I2 < fl(0)I2, so inf lr(q)I2 = 0. But e(y¢) = 2If(cb)I2. Ir((/J)12 is a constant for immersions of parallel mean curvature, whence r(q5) = 0. If Ricci(M,°' > 0, then y. is constant by (11.38) below. Thus 0 maps M into an m-dimensional subspace of l ".
(11.38) [Choi 1], [Q.-H. Yu]. Let - oo < a ,
small disc D(y, r), then e(q) is bounded by a constant depending on a, B and r. If 0, then 0 is constant. (11.39) [Hildebrandt, Jost, Widman]. Take (R', g) as in (11.9) and any (N, h) with Riem", " < B < oo. If 0: (11", g) -- (N, h) is a harmonic map with q(M) contained in a geodesically small disc, then 0 is constant. [Kendall 3] used stochastic methods to prove that if (M, g) is any manifold on which every bounded harmonic function is constant, and 0: (M, g) -> (N, h) a harmonic map with image in a geodesically small disc, then 0 is constant.
That is a common generalisation of (11.38) using (11.7) and (11.39) using (11.9).
(11.40)
In contrast, [Aviles, Choi, Micallef] have established the following
existence theorem: Let (M,g) be simply connected and satisfy A < Riem"M'g' < B < 0. If M(oo) is the sphere at infinity of M and yr: M(ao) --+ (N, h) a continuous map with image in a geodesically small disc D(y, r), then there exists a unique harmonic map 0: (M, g) - (N, h) such that 0 I w and qS(M) c D(y, r). (11.41)
Constancy of harmonic maps can also be ensured by bounds on the
energy, as follows. Let Ricci'M'D' >, 0,
0 and let 0: (M, g) -+ (N, h) be a harmonic map with
E(c) < co. Then 0 is constant [Schoen, Yau 1] and [Hildebrandt 1]. (11.42) Give Rm a complete metric of the form g = f 2 go, where go is Euclidean. Suppose that m >, 3 and 8/8r(r J(x)) > O for all x, where r = Ixl. If 0: (Rm, g) -a (N, h)
is a harmonic map of finite energy, then ¢ is constant [Sealey 3], following [Garber, Ruijsenaars, Seiler, Burns] for the case f = 1.
165
ANOTHER REPORT ON HARMONIC MAPS
481
The condition on f means that the mean curvature vector of each geodesic sphere in (R', g) centred at 0 points to the interior. For example, we could take for (R', 9) a real or complex hyperbolic space form. However, (11.42) is false for m = 2: there are many non-constant conformal maps 0: R2 --+ S2 with E(0) < oo. See [Xin 5] for a restriction on the curvature of (M, g) producing a conclusion like that of (11.42). (11.43)
The finiteness of the energy in (11.42) can be replaced by various
growth conditions. For instance [Hu], let F: R(,> 0) -+ R(>, 0) be as in (11.2) and let 0: (R', go) -* (N, h) be a harmonic map with f Bm e(O)/F(r) dx < oo. If m > 3, then 0 is constant. (11.44) The following Liouville theorems correspond to the regularity results of (12.15) and (12.19) below.
(11.45) [Giaquinta, Soucek], [Schoen, Uhlenbeck 3]. Let S+ denote the closed unit hemisphere in Rn+a Every harmonic map 0: Rm -+ S+ is constant for m < 6. (11.46) [Schoen, Uhlenbeck 3].
Define d(n) by
d(3) = 3 and d(n) = min ((n + 2)/2,6) if n > 4. Then for m <, d(n), any E-minimising harmonic map 0: Rm -+ S" is constant. Define d(3) = 2 and d(n) = min ([n/21, 4) if n >, 4. Then for 2 5 m < d(n), every E-
stable harmonic map 0: R' - Sn is constant. (11.47) [Solomon]. Let Si-2 be a great sphere of codimension 2 in Sn (n ? 2) and V a neighbourhood of Sn-2. Any energy minimising map 0: I18m --+Sn\V is constant.
(11.48) [Xin 7]. If (M,g) is complete with moderate volume growth and G/H a compact irreducible Riemannian homogeneous space whose first eigenvalue A < (2/n) Scalo"H, then any stable harmonic map 0: (M, g) -- G/H is constant. Analogous results under different hypotheses can be found in [Wei 1, 2] and [Xin 7]. See [Meier 5] for asymptotic limit theorems for harmonic maps with geodesically small range. (11.49) A map 0: (M, g) --> (N, h) has bounded dilatation if there exists a number ...j /A2 < K2, where K such that for each x e M, either dq (x) = 0 77
are the positive eigenvalues of O*h at x ([Report (5.9)]). The following results have been derived using stochastic methods. (11.50) [Kendall 2]. Suppose (M, g) supports no non-constant bounded harmonic function. Let (N, h) be simply connected and such that
-oo
(11.51) [Elworthy, Kendall). Let n: (P, k) --. (M, g) be a Riemannian submersion with totally geodesic fibres. Suppose that the fibres are compact or have Ricci > 0. If (N, h) is simply connected and B < 0, and ty : (P, k) -+ (N, h) is a harmonic 16
ELM 20
166
482
J. EELLS AND L. LEMAIRE
map with bounded dilatation, then V is constant on the fibres-and thereby factors through 7t to give a harmonic map 0: (M, g) -+ (N, h). Harmonic morphisms (11.52)
Let U c 68m be a domain, (N, h) an oriented surface and 0: U -> N a
submersion. Let Gm-2(Fm) be the Grassmannian of oriented (m - 2)-planes in Rm. To we associate a Gauss map 70: U _ Gm-2(R7) by setting yO(x) = Tz(U). Using the identification of Go .-,(R'4) with the complex quadric Qm_2, [Baird, Wood] obtain these results. Let 0: U -* N be a submersion with connected totally geodesic fibres. (a) If 0 is horizontally conformal, then y4 is horizontally holomorphic in the sense that dyO o J" = Jo dyO (where J" is the operator induced by the complex structure of N on the horizontal distribution); in particular, yO is harmonic. (b) yO factors through 0 to give a ±holomorphic map from N to Qm-2. (11.53) The following completely explicit descriptions were obtained by [Baird, Wood] : Any harmonic morphism from 4183 to a manifold (N, h) is either (a) constant; (b) a harmonic map to R or S1; (c) the composition of an orthogonal projection 683 -+ 682 followed by a conformal
map; (d) a homothetic map R3 --+ R3 or If83 -+ R3/F, where F is a discrete isometry group. Any harmonic morphism from S3 to a manifold (N, h) is either (a) constant; (b) the Hopffibration S3 -* S2 (see [Report (8.4)]) followed by a conformal map,
up to an orthogonal transformation of R; (c) a homothetic map S'-S' or S3 --+ S3/I'. Holomorphic maps
The following is a complex analogue of (11.41).
(11.54) [Sealey 3], [Schoen, Yau 1]. Let (M, g) and (N, h) be complete and 0 and HBRiemc".n) <, 0. Then for any holomorphic map Kahler, with 0: (M, g) (N, h), e'(0) is subharmonic. If E'(q5) < oo, then e'(0) is constant. If 0, then 0 is constant. (11.55) Let (N, h) be a Riemann surface with positive curvature. If 0: C -> (N, h) is harmonic and a local E-minimum with Jacobian JJ > 0, then 0 is holomorphic [de Bartolomeis].
(11.56)
Let 0: (M, g) --+ (N, h) be a holomorphic map between Kahler manifolds,
and f: (N, h) -+ 11 a plurisubharmonic function (4.32). Then it is elementary that f o 0: (M, g) -+ R is subharmonic. (11.57) [Takegoshi]. Let (M,g) be a Kahler manifold with dime M >, 2. Suppose there is a function f: (M, g) -+ 68 such that IVf I < I on M and f is (m -1)-
167
483
ANOTHER REPORT ON HARMONIC MAPS
plurisubharmonic, strictlyso somewhere. Ifa (1, 1 )-geodesic map (4.43) c : (M, g) --+ (N, h)
into a Kahler manifold has E(0) < cc, then 0 is constant. Any harmonic function with finite energy on (M, g) is constant. (11.58)
Let (M, g) be a non-compact Kahler manifold with moderate volume growth
(that is, there exists xo E M and a function F as in (11.2) such that lim sup r-. c,
2
1
r F(r)
Vol D(xo, r) < oo ).
Suppose that (N, h) supports a strictly plurisubharmonic function. If 0: (M, g) -+ (N, h) is holomorphic with relatively compact image, then 0 is constant. [Karp 1]. For instance, we could take for (N, h) a non-compact Kahler manifold (1) (2)
which is simply connected and Riem"''I < 0; or HBRiem", 'I >, 0, and >0 outside a compact set.
Minimal surfaces in R3
The standard reference for this extremely rich topic is [Nitsche]; also [Meeks 2, 3].
(11.59) We follow tradition in calling a harmonic isometric immersion 0: (M2,g) -+ (183 a minimal surface, where we emphasise that (M2,g) must be
complete. Such surfaces are characterised as the extremals of the area (= volume) functional (2.21).
(11.60) Classically, only three such embedded surfaces* were known: the plane, the catenoid, and the helicoid. Recently, a new one was found, a minimal surface of
genus one with three ends. It was constructed by [Costa] by introducing the Weierstrass p-function in the Weierstrass representation formula for surfaces; by studying its symmetries [Hoffman, Meeks 1, 2] proved that it is embedded. Subsequently they obtained other surfaces of higher genera and with various end structures. (11.61) Concerning minimal immersions, we have some indications on their possible behaviour. If 0: (M,g) -> R3 is an isometric immersion then its Gauss map 0: (M,g) S2 is antiholomorphic if and only if 0 is harmonic (2.35); is holomorphic if and only if O(M) lies in a sphere or plane [Hoffman, Osserman] ; and is harmonic if and only if 0 has constant mean curvature (2.35).
(11.62) If M is a non-planar immersed minimal surface in 183, then its Gauss map cannot omit 5 points of S2. That was first proved by [Xavier] for 7 points, then improved to 5 by [Fujimoto].
It extends a theorem of [Osserman 1] that the Gauss map cannot omit a set of positive logarithmic capacity. There are minimal surfaces whose Gauss maps omit 4 points. (11.63) [Jorge, Xavier 1] used the Weierstrass representation formula to produce a rather surprising non-planar immersed minimal surface between two parallel planes
in 183. In particular, one of its components is a non-constant bounded harmonic function on the surface. *of finite topological type.
16-2
168
484
J. EELLS AND L. LEMAIRE
(11.64) A minimal surface in R3 has zero V-index with respect to compactly supported variations (2.23) if and only if it is a plane in 683 [do Carmo, Peng], [FischerColbrie, Schoen].
That assertion is false for minimal immersions ¢: M -r 68", as can be seen by examining holomorphic curves in C2. (11.65) Replacing P3 by a manifold, [Fischer-Colbrie, Schoen] extend (6.26) to the non-compact case as follows : Let (N, h) be an oriented 3-manifold with Sca1M 'n' >, 0, and M an oriented noncompact V-stable minimal surface in (N, h). Then (M, g) is conformally equivalent to C or to C\{0}. In the latter case, M is totally geodesic and Scab' '°) = 0 along 0. If, moreover, Ricci'" ) > 0, then M is totally geodesic and the normal Ricci curvature is zero along 0. (11.66) In the spirit of (6.23), [Schoen, Yau 7] use the above results to prove that any complete non-compact 3-manifold with positive Ricci curvature is diffeomorphic to P. They also show that if N is a 3-manifold such that ttl(N) contains the fundamental
group of a compact Riemann surface of positive genus, then N does not carry any complete metric of positive scalar curvature.
[Meeks, Simon, Yau] use (11.65) to show that if M is a compact minimally embedded surface in an orientable 3-manifold (N, h) with Ricci('-') >, 0, then (N, h) is isometric to M x R. (11.67) [Pitts, Rubinstein 2].
Every non-compact 3-manifold with constant negative
curvature and finite volume contains an embedded minimal surface of finite area. This is an application of the minimax procedure mentioned in (5.22). See also [Uhlenbeck 3]. (11.68) The total absolute curvature of an isometric immersion 0: (M, g) -> P3 is the left hand member of the identity
f.M
IKMI dx = V(yo),
where KM is the Gaussian curvature and V(y..) the volume functional applied to the Gauss map. (11.69) Let 0: (M, g) - R3 be a minimal immersion. The following are equivalent: (a) 0 has finite total absolute curvature; (b) c(M) is conformally equivalent to a closed surface Mo with a finite number of
points removed; (c) its Gauss map extends to a meromorphic function on M0; (d) 0 has finite V -index. The equivalence of (a) and (b) is due to [Chern, Osserman]; that of (a) and (d) to [Gulliver 3] and [Fischer-Colbrie]. Furthermore [Gulliver, Lawson], in that case M has finite topological type and quadratic area growth. If for some compact subset F, M\F is minimal and V-stable, then M has finite topological type, quadratic area growth, and finite total absolute curvature.
169
ANOTHER REPORT ON HARMONIC MAPS
485
Surfaces of constant mean curvature in 3-manifolds (11.70) Applying the method of (5.32), [Kapouleas] has shown that if p >, 0, m > 3, or p >, 2, m = 2, there are infinitely many properly immersed surfaces of
constant mean curvature in UF3 of genus p with m ends. (11.71) Moreover, [Korevaar, Kusner, Solomon] have obtained the following restrictions on properly embedded surfaces M of constant mean curvature in l . (a) If M is contained in a cylinder, then M is a Delaunay surface (5.32). (b) If M has finite topological type, then each end exponentially approaches a Delaunay surface. (c) These Delaunay surfaces satisfy a balancing condition as in (5.32). [Hoffman, Osserman, Schoen] use a result of [Fischer-Colbrie, Schoen] to prove the following: (11.72) Let 0: (M, g) -+ l3 be an oriented surface isometrically immersed with constant mean curvature. If the image y,(M) c S2 of its Gauss map lies in an open hemisphere, then c(M) is a plane. If y,,(M) lies in a closed hemisphere, then O(M) is either a plane or a right circular cylinder.
(11.73) Say that an immersion 0: (M, g) --* 183 of constant mean curvature H (= Iz(&)I/2) is stable if
f IVfl2-(4H2-2KM)f dx
0
for each compactly supported variation f: M -+ R such that f M fdx = 0. (11.74)
[Palmer] and [da Silveira] have shown that a V-stable immersion of
constant mean curvature in 183 is a Euclidean sphere or a plane. There are analogous statements for immersions into I H3. [Meeks 4] has used (11.74) to prove that a foliation of R3 by surfaces of constant mean curvatures is by parallel planes. Minimal graphs (11.75) For any map 0: M -> N its graph map D : M --> M x N is defined by c(x) = (x, O(x)). With the induced metric cp*(gxh) =g+cb*h, -0: (M,g+c*h),(MxN,gxh)
is an isometric embedding. Let 02 = 7r2 0 D, where rr2: (M x N, g x h) --> (N, h) is the projection on the second factor. Then: (11.76) 1): (M, g+ ¢ *h) -+ (M x N, g x h) is harmonic (= minimal) if and only if (D2: (M, g+ cb*h) --> (N, h) is harmonic.
In particular, that is not equivalent to 0: (M, g) --> (N, h) harmonic. (11.77) [Morrey 3] has shown that a C'-solution of r(O) = 0 is smooth ; however, [Lawson, Osserman] have exhibited Lipschitz solutions which are not C' (in that case,
g+¢*h is not continuous; compare with (3.9)).
170
486
J. EELLS AND L. LEMAIRE
(11.78) If 0: (M, g) -- (N, h) is an isometric immersion, then g+0*h = 2g, so that (D2: (M, g+ ¢*h) -+ (N, h) is harmonic if and only if 0: (M, g) --> (N, h) is. (11.79)
The following isoperimetric inequality is due to [Heinz] for maps of R2
to R, to [Chern 1] and [Flanders] for maps of l' to R ; a simple geometric proof (involving foliations) is given in [Barbosa, Kenmotsu, Oshikiri]. The general case has been established by [Salavessa]. For any map 0: (M, g) - (N, h) with V'-r((D) = 0 (and hence fir(O)I = constant), we have the isoperimetric inequality Ir((D)l < Vol (OD)/Vol (D)
for each smooth compact domain D c M. A key step in the proof is to show that f r(b)I2 = diva Z on M, for a suitable vector field Z. (11.80)
Define Cheeger's constant b(Mg)of (M, g) by
E)(M,g) = inf{VOl(8D)/Vo1(D): D compact smooth domain of M}. For instance, El(M, g) = 0 if (M, g) is compact ; or if (M, g) = R' with a metric such that Ago < g < Bgo, where go is the Euclidean metric. (11.81) Application of (11.79) yields: Let (M,g) be a m a n i f o l d with 1)(M, g) = 0. Then t :
( M N,gx h)
has constant mean curvature if and only if it is harmonic. That equivalence may not be valid if 4(M,g) 0 0. [Salavessa] has constructed an explicit function ¢: RH2 R on the real hyperbolic plane whose graph map 0 has 1.
(11.82) [Salavessa] has also shown that for any (M, g) and (N, h), if 0: (M, g) (N, h) is an isometric immersion, then D has constant mean curvature if and only if c is harmonic; or equivalently if 0 is harmonic. A similar result holds if dim M = 2 and 0 is weakly conformal. (11.83)
Consider a map 0: 18m -. R' and its graph map $: (R",go+O*ho) - (a8'" x R ,go x ho)-
For n = 1, any solution of r(d) = 0 is totally geodesic for m <, 7; but not necessarily so for m >, 8. Bernstein showed that any minimal graph on R2 is planar; Almgren* did similarly for m = 3, 4; Simons for m = 5, 6, 7. [Bombieri, De Giorgi, Giusti] proved (11.83) in general. Their solution is based on the study of minimal cones and singularities of minimal submanifolds.
See [do Carmo, Lawson] for such a Bernstein theorem in RH". In higher codimension n > 1, (11.83) has no analogue: indeed there are non-affine minimal graphs for m = n = 2 (Osserman). However, it has been shown by Yau that any minimal graph of 0: R2 R" is conformally equivalent to C.
-
*and De Giorgi.
171
ANOTHER REPORT ON HARMONIC MAPS
487
Maps of Lorentzian manifolds (11.84) Let (M,g',m) be a Lorentzian manifold, where gl'm = g has signature (1,m), and let (N,h) be a compact Riemannian manifold (h positive definite). The Cauchy problem is to find a harmonic map 0: (M, g) -. (N, h) with the initial data 0
and do along a space-like hypersurface of (M, g). The condition of harmonicity is now expressed by a semi-linear hyperbolic system. (11.85)
The following existence and non-existence results have been obtained.
(i) Local existence for M = R x M0, where the restrictions g, = g txMo are positive definite and uniformly equivalent to a fixed go [Choquet-Bruhat]. (ii) Global existence when (M,g) = lv"' is the Minkowski plane [Gu 1]; see also [Choquet-Bruhat]. Unique global solution to the initial-boundary problem for a strip in 18',' [Gu 2]. (iii) Global existence when (M,g) = R'," is the Minkowski space and the Cauchy data are sufficiently small [Choquet-Bruhat].
(iv) Existence of weak global solutions for (M, g) = 68'' m and (N, h) = S provided the energy of the Cauchy data is finite [Shatah].
(v) In contrast, Shatah gave an explicit example of nonexistence for a map 0: P1.3 - S3, in which 0 develops a singularity in finite time. (11.86) [Bunting] and [Mazur] have proven the uniqueness of the solution to certain black hole models by transforming their equation into that of a harmonic map
into a pseudo-Riemannian symmetric space, and applying a uniqueness theorem there.
12. Manifolds with boundary (12.1)
In this Section (Mg) denotes a compact manifold with smooth (not
necessarily connected) boundary aM. Unless otherwise specified, (N, h) will have no boundary. When it does, we shall say that ON is convex (resp. strictly convex) if its second fundamental form is semi-definite (resp. definite), pointing inwards. Such a convexity hypothesis is required for the existence of harmonic maps. Indeed, if aN is not convex, we can find two points near the boundary which cannot be joined by a geodesic. (12.2) Let yr : OM -* N be a map extendible to M and denote by ' (M, N) the space of extensions of yr to maps M - N. We are led to two versions of the Dirichlet
Problem :
Given yr, is there a harmonic map 0: (M, g) -- (N, h) such that 0 Ia,N = yr? Can we
prescribe the component of 0 in c 6,(M, N) (in other words, its relative homotopy class)?
Regularity and existence (12.3) The regularity theory of (3.21)-(3.27) has been extended to the present situation by [Schoen, Uhlenbeck 2]. Assume (N, h) is compact. Suppose that yr E " (8M, N) admits an L;-extension to M, and that 0 e Ii(M, N) is an energy minimising extension. Then 0 is 162+a in a
172
488
J. EELLS AND L. LEMAIRE
neighbourhood of 3M; its singular set is closed, disjoint from 8M, and has Hausdorff dimension restricted as in (3.21) and (3.27). (12.4)
A new ingredient in their proof arises from the following theorem of
[J. C. Wood 2] ([Lemaire 2] in case m = 2); here the absence of hemispheres plays the role of the absence of spheres in (3.27). Let Dm be a flat disc in 18m (m > 2) and 0: Dm -+ (N, h) a harmonic map which is constant on 8D'". Then 0 is constant on Dm. (12.5)
As in the case of no boundary, (12.3) together with the control of the
R, action yields various existence results. In particular, a new proof of [Hamilton 1]'s theorem : (12.6) If N is compact, Riem"" ') < 0 and yu e '(aM, N), then every component of ',(M, N) contains a harmonic representative, which is an E-minimum. Furthermore, that harmonic map is unique in its component. (12.7) If (N, h) is non-compact and ¢ le, = yr has a solution [Jost 5].
(12.8)
0, then the Dirichlet problem
If dimM = 2, if N satisfies the uniformity condition (11.24), and if
w e 1°(8M, N) admits an L;-extension w to M inducing the homomorphism yr* on the fundamental groups, then there exists an energy minimising harmonic map ci : M -* N, continuous on M and smooth in the interior, such that 0 I aM = yi Ian., and 0* = yr,k. If
furthermore rc2(N) = 0, then every component of ',,,(M, N) contains such a map [Lemaire 5]. Note in particular that the existence of an L'-extension implies the existence of a continuous extension. The same method shows that if N is compact or satisfies the uniformity condition
(11.24) and growth condition (11.25), then the Neumann problem r(q) = 0 on M, 0, 0 = 0 on OM has a solution for every conjugacy class of homomorphisms from Tr,(M)
to n,(N). (12.9) As in (3.35), if dim M = 3 and N is a surface not homeomorphic to S2 or P2(R), then any component of W,(M, N) contains a harmonic representative.
(12.10)
If yr : OM -+ (N, h) has its image in a geodesically small disc D (3.14), then
the Dirichlet problem has a solution [Hildebrandt, Kaul, Widman]. That solution is unique.
Indeed, [Jager, Kaul 1] have established the following maximum principle. If 02: (M, g) -> (N, h) are two harmonic maps with image in a geodesically small disc D(y0, r) (with r < 2n \/B) and qB(t) =
((1-cosy1Bt)/B ifB>0 It 2 /2 ifB=0,
then the function 0 = 8(0,, cb2) : (M, g) -. D defined by B(x) =
ge(dist (0,(x), c2(x))) dist (y0, p2(x)))
cos (s/B dist (y0, 0,(x))) cos
satisfies sup, 0 < sup,,,, 6. In particular, if 0,I a,,,, = 021,M, then 0, = 02.
173
489
ANOTHER REPORT ON HARMONIC MAPS
Originally these existence and unicity results were obtained under the assumption that D(yo, r) is disjoint from the cut-locus of each of its points; [Jost 2] improved them to the present form, using condition (3.14). (12.11) Moreover, if VI(8M) c N, c D where No has smooth convex boundary, then y/(M) c No [Jost 4]. (12.12)
A priori estimates for boundary regularity have been obtained by
[Giaquinta, Hildebrandt], [Hildebrandt, Jost, Widman], [Jost, Karcher [Jost, Meier], [Meier 2], [Schoen, Uhlenbeck 2], [Sperner].
1,
2],
(12.13) Another maximum principle is due to [Jost 5]. Let Bo C B, C (N,h) be closed sets and it: B, -> Bo a retraction such that d'(it(x), 7r(y)) < dN'(x, y) for all
x, y E B,\Ba. If 0: (M, 8M) --* (B Bo) is an E-minimising L'-map with fixed boundary data, then 0 carries M into Bo a.e. Here is an application, in conjunction with (12.3): Let N, be a compact submanifold of (N, h) with strictly convex boundary, such that
No supports a strictly convex function. Then given w : 8M -+ No, there is an Eminimising harmonic map 0eT,,(M, N) with O(M) c No. When M is a surface, (12.13) also yields a simple proof of (12.8). See also [Sealey 5] and [Nishikawa]. Maps to a closed hemisphere (12.14)
Let S+ denote the closed unit hemisphere in I"+1 Note that it is a closed
disc in S" of radius pr = it',/B, and therefore just outside the scope of the hypotheses of (12.10). Further analysis of the conditions in (3.27) shows [Schoen, Uhlenbeck 3], [Giaquinta, Soucek] : (12.15) Any energy minimising map 0: (M, g) - S+ is smooth if m < 6; has at most isolated singularities for m = 7, and has a closed singular set of Hausdorff
dimension < m - 7 for m > 8. This immediately implies that for any smooth map yr: 8M -> S+, the associated Dirichlet problem has a smooth solution if m < 6, which is an energy minimising map. (12.16)
That result is sharp. Indeed, consider the discontinuous map 0: Dm - Sm
obtained by projecting Dm\{0} radially onto its boundary Sm-', then embedding Sm-' as the boundary of Sm by the isometry yr; in coordinates Rm n Dmax-+
\Ixl'01ESm C R
'
For m > 3 the map 0 is Li and weakly harmonic [Hildebrandt, Kaul, Widman]; it is energy minimising if and only if m > 7; it is unstable for 3 <, m < 6 [Jager, Kaul 3]. (12.17) Furthermore, the isometric embedding yr: OD' - Sm does not extend as a harmonic map from Dm to Sm for m > 7 [Baldes 2]. We stress that this assertion excludes the existence of any harmonic extensionnot just one in a given homotopy class, or one which is energy minimising. This is in fact the first counterexample to the first part of (12.2).
174
490
J. EELLS AND L. LEMAIRE
The proof uses the particular nature of the boundary data, and the fact that for nearby data (inside the open hemisphere), the problem has a unique solution (12.10).
That is used to show that any harmonic extension must be equivariant, which is impossible as we shall see in (12.26) below. The special nature of these boundary data is illustrated by the following example of [Eells, Lemaire 5]. There is a harmonic polynomial map yr : OD' S' of polynomial degree 5 which is homotopic to the identity map, and which has a harmonic (12.18)
extension 0: D8 --+ Se.
Maps to spheres (12.19) Restrictions on the singular set of maps from manifolds to spheres have also been obtained as follows :
[Schoen, Uhlenbeck 3]. If 0: (M, g) _+ S" is an energy minimising map, then dim Y. < m - d(n) - 1, where d(n) is defined in (11.46). In particular, if m < d(n), then is smooth.
[Solomon]. If 0: (M, g) -+ S" is an energy minimising map which omits a neighbourhood of a great sphere Sn-2, then ¢ is smooth. We stress once again the correspondence between these regularity results and the Liouville theorems (11.46) and (11.47). (12.20) Analogous restrictions on the singular set have been obtained by [Xin 4] for maps into compact irreducible homogeneous spaces; and by [Wei 2] and [Xin 5] for other special ranges.
(12.21) A detailed study of the number and arrangement of the (discrete) singularities of E-minima in ',,(D3, S2) is under way : [Almgren, Lieb], [Brezis, Coron,
Lieb 1, 2], [Hardt, Lin]. In particular, for fixed yi, the number of points of discontinuity of E-minima is bounded by a constant times E(V) [Almgren, Lieb]. Maps of the disc (12.22)
Wood's result (12.4) was much extended by [Karcher, Wood], including
the following. Let (Dm,g) be the closed m-disc (m 3 2) with a metric of the form g = f g(,, where go is the Euclidean metric. Assume that al(r(r-f(x)) >, 0 for all x e Dm (r = Ixl). If 0: (Dm, g) -+ (N, h) is a harmonic map with I aDm constant, then is constant on Dm.
In particular, this applies if D' is a small enough geodesic disc. For m >, 3, the proof uses a generalisation of the basic formula of [J. C. Wood 2] : if o: (Dm, go) --+ (N, h)
is harmonic, then
E(¢IaDm) = (m-2)E(c)+2
aDm
JIa,c12dx.
(12.23) If nm(N) 0, (12.22) implies that for w constant we cannot find any harmonic map in the non-trivial components of W,,,,(Dm, N).
By way of contrast, we remark that for m > 3, we have no example of homotopy classes of maps between closed manifolds containing no harmonic map, although we have little doubt that many should exist. For m >, 3, [Ratto 4] has constructed special symmetric metrics g on Dm such that the Dirichlet problem for harmonic maps 0: (Dm, g) -> Sn with aDm constant has non-constant solutions.
175
ANOTHER REPORT ON HARMONIC MAPS
491
(12.24) A related result of [J. C. Wood 2] is that if Am(a,b) _ {xeIlBm: 0 < a < IxJ S b < oo} is an annulus with a metric satisfying the condition of (12.22), then any harmonic map O: Am(a, b) --+ (N, h) such that 0 ISm-i(b) is constant and a, 0 ISm- a) = 0 must be constant. (12.25) Some idea of the existence problem can be obtained by consideration of the following restricted class of maps. On (Dm, go) (resp. on (Sm, ho)) take the radial coordinates (r, O), r E [0, 1 ], O e (resp. (R, O), R e [0, 7t], O e S "'1). A map Sm-1
S' is equivariant if it is of the form 0(r, 0) = (R(r), 19(0)). Such a map 0 can be harmonic only if 0 is a harmonic k-homogeneous polynomial map from 0: Dm
Sm-1 to Sn-1. (12.26)
Following [Jager, Kaul 3], consider such a map 0: Dm -+ Sm, with
0(6) = 0. Then 0 is the restriction to Dm of an equivariant harmonic map u: Rm -+ Sm, given by yr(r, 0) = (R(r), 0).
For m = 2, R = 2 arc tg (c r), with c > 0. For m
3, limr-. R(r) = 7t/2; and
furthermore for 3
m < 6, the function R(r) oscillates around its limit, whereas for m >, 7 it is monotonically increasing to 7c/2. Therefore, for 3 < m < 6, there exist infinitely many equivariant solutions to the Dirichlet problem R(1) = 7t/2, whereas for m > 7 there are none.
The proof of [Jager, Kaul 3] is based on the stability theory of solutions of ordinary differential equations around their critical points. (12.27)
More generally, let yi: OD' -> Sn-' c Sn be a harmonic k-homogeneous
polynomial map to an equator of
Sn.
If m < c = 2+2(1 + \/2k), then w admits a
harmonic extension 0: Dm --+ Sn; if m > c, then w does not admit such an extension. This result of [Eells, Lemaire 5] is an extension of those of [Jager, Kaul 3] and [Baldes 2], and leads to example (12.18) above. (12.28)
The above results on maps from manifolds to hemispheres admit various
extensions to maps into ellipsoids and other rotationally symmetric manifolds : [Baldes 2], [Helein], [Karcher, Wood], [Tachikawa 1, 2]. (12.29) Let 2 < n 5 m-1 and define 0o e 1i(Dm, S") by ¢o(x', x") = x'/Ix'I for Ohm-n-1 Then 0a is 0-homogeneous, and minimises E amongst all (x', x'e 118n+1 x
&y2 (Dm, Sn) with 0 _ ¢o on DD' [Coron, Gulliver]. The case n = m -1 is due to Lin, and that of m = 3, n = 2 to [Brezis, Coron, Lieb 1, 2]. Furthermore [Coron, Gulliver], for any odd map yr: S2 -+ S2 (that is, yr(-x) _ - v/(x) for x e S2), 0o minimises E amongst all o E 2 (D3, S2) with = w on OD3. A key idea in the proof of (12.29) involves averaging E over the Grassmannian G3(Rn+1) with respect to its invariant volume dP. There is a constant c(n) such that for any 0 e .Pi(Dm, S') we have c(n) E(0) = fGO(Rn+1) E(nf, o 0) dP. s
Here Pc- G3(Rn+') and r : Sn\Sn fl P1 -+ S" n P is given by np(y) = y'/iy'I, where y'
is the orthogonal projection of y onto P.
176
492
J. EELLS AND L. LEMAIRE
[Coron, Gulliver] have found the analogue of (12.29) for the 0-homogeneous extension of the Hopf map 0: aD2s - S' for n = 2, 4. Moreover [Brezis, Coron, Lieb 1, 2]: if yr: aD3 -* S2 is a non-constant map whose extension q5(x') = yr(x'/Ix'l) realises the minimum, then yi is the identity up to an isometry of S2. (12.30)
Minimising properties of harmonic diffeomorphisms of punctured
n-discs have been given by [Coron, Helein]. (12.31) The harmonic maps from a 3-dimensional domain M to S2 appear as models for the director of a liquid crystal with equal Frank constants. In this context, the liquid crystal is a fluid in a container M, containing rodlike molecules whose directions are specified by a unit vector field (the map from M to S2). These directions
are fixed along the boundary and the configuration assumes a position which minimises the energy (see [Eriksen] and [Almgren, Browder, Lieb]). Maps of surfaces (12.32) Recall (12.4) that any harmonic map 0: D2 -+ (N, h) which is constant on OD2 is constant on D2. In contrast, [Brezis, Coron] and [Jost 6] have shown that if (M, g) i s a compact s u r f a c e with boundary and f ' : : aM -+ (S2, h) is non-constant, then
there are at least two components of QM, S2) containing energy minimising harmonic maps (M, g) --* (S2, h).
(12.33)
In fact, lack of uniqueness is frequent for the Dirichlet problem, when no
restriction is imposed on the range. Here is an application due to [Ding 1] of Lusternik-Schnirelmann category, using the perturbation theory of [Uhlenbeck 2] and [Sacks, Uhlenbeck 1]. Let M be a compact Riemann surface with boundary and (N, h) a compact manifold. Set s = Inf{E(B): 0: S2 -+ (N, h) is a non-constant harmonic map};
= co if there are no such maps.
Suppose given a map yr: OM - N extendible to M, and let ba, = Inf {E(O): 0 e W,(M, N)}.
Take p > 2, so that the inclusion map .i. ,(M, N) " '2(M, N) is a homotopy equivalence. Let, be a component of (e,(M,N), and ,Yi.y, the component of Yi, y,(M, N) which contains it. If A is a subset of ,YJP, w, its category cats p (A) is the least integer k such that A can be covered by k closed subsets of _*'i w, each of which is contractible in Wi,W Set
Cf =Inf{SupA E: A c ;gyp and cat,, pW(A) W
j}.
Assume that we can find e > 0 such that for any p > 2, there is p E (2, p] with Ck, w < by, + s - e. Then there are at least k harmonic maps in YD
[Ding 1] has an analogous assertion if aM = .
(12.34) He draws the following consequence in case M is a planar domain. The general case requires only minor modifications.
177
ANOTHER REPORT ON HARMONIC MAPS
493
Let M be a compact Riemann surface with boundary, and yr : aM -+ S" a map which is non-constant on aM. Then yr has at least two harmonic extensions. (12.35)
In case M = D2, (12.34) was established by [Benci, Coron]. For
n > 3, their proof involves the existence (for p > 2) of non-contractible maps 0: S"-2 -+ 2,,,,(D2, S"), as well as a perturbation theorem based on ideas of [Sacks, Uhlenbeck 1]. Let g _ .i, y,(D2, S"), and assume for all a > 1 that there is a critical
point 0. of E, where E«(O) =
f
(1 + dq I2)° dx,
42
and that
lim E(0 J < Inf E(q) + 87t. all
oce
Then (0) is subconvergent to a harmonic map D2 _ S". [K.-C. Chang] has provided an approach to these ideas via the heat equation, in the spirit of (5.5). [Ji]. Any smoothly embedded circle in S" has at least two minimal coboundaries. The proof is based on the above mentioned result of [Benci, Coron], and uses a modified Lusternik-Schnirelmann category. (12.36) As for surfaces without boundary, we have [Jost, Schoen]: let (Mg) and (N, h) be two surfaces with boundary, and suppose aN convex. If there is a difeomorphism
yr: M -* N, then there is a harmonic d feomorphism 0 in'w(M, N), having least energy
amongst all djeomorphisms in ',,(M, N). [Coron, Helein] : 0 is in fact energy minimising in ',(M, N). Holomorphic maps Some properties of harmonic maps into manifolds with strongly negative curvature (4.10) extend to the boundary case in the following form. (12.37)
(12.38) Let (Mg) and (N, h) be two complex manifolds, and Mo a smooth domain in M with boundary aMo. A map q: Mo -+ N satisfies the tangential
Cauchy-Riemann equations on aMo if at each point x of aMo the differential d¢ restricted to the complex subspace T(3M0) f1 JT (aMo) is complex linear. If it denotes the projection of T(M) to that subspace, the condition can be written ab a¢ o7t = 0. Clearly, the restriction of a holomorphic map to aMo must satisfy this condition. (12.39) [Siu 5]. Let Mo be a smooth compact domain in a Kahler manifold (M, g) of complex dimension m > 2 with (m - l )-hyperconvex boundary aMo (4.32), which is strictly so somewhere. Let (N, h) be a Kahler manifold with very strongly negative curvature tensor (a)
If 0: (M0, g) - + (N, h) is harmonic, smooth up to the boundary aMo and satisfies
= 0 on aMo, then ¢ is holomorphic on Mo. (b) If V/: M. - (N, h) is a map smooth up to the boundary with ao yr = 0 on aMo, then there is a map 0: (Mo,g) --> (N, h), extending yi I.M, and holomorphic on M. The proofs of (a) and of (4.12) are closely related. That of (b) follows from (a) and Hamilton's existence theorem (12.6). A new ingredient is `Money's trick' to treat the boundary terms in the integrations by parts [Morrey 2]. ab
178
494
J. EELLS AND L. LEMAIRE
(12.40) [Siu 5] also provides several weaker conditions on the curvature to produce the same conclusions. For instance, we can take for (N, h) a quotient of an irreducible bounded symmetric domain of dime N >, 2, even though R" is not very strongly semi-negative. (12.41)
Here is a version [Shiga] of the classical theorem of Bochner and
Hartogs. Let M, N be two smooth bounded domains in a Stein manifold of complex dimension 2. If their boundaries are connected and CR-diffeomorphic (4.48), then they are biholomorphically equivalent.
(12.42) [Fefferman]. A biholomorphic map between two strictly pseudo-convex smooth domains in C" (that is, such that the Leviforms of their boundaries are definite) is smooth up to the boundary (n 3 2).
(12.43) [Nishikawa, Shiga]. Let (Mg) and (N, h) be Kahler manifolds of the same dimension > 2, and suppose that (N, h) has strongly negative curvature. Take compact smooth domains M, = M and No c N, and suppose 8Mo is (m-1)hyperconvex. If yr: Mo -> N, is a homotopy equivalence such that yi IIMO: 8Mo -* ON, is a CR-d feomorphism, then y/ I extends to a biholomorphic isomorphism M, -> No.
As in (4.13), the curvature hypothesis can be somewhat relaxed. Minimal maps (12.44) The distance between two continuous paths yro : to - N and V,: I, -> N on a manifold (N, h) is defined as the infimum over all homeomorphisms a: I, -+ to of max,, distN'(yr,(t), yro(a(t))). A Frechet curve is an equivalence class of paths at zero distance from each other. A sequence of such curves (C,) converges in the sense of Frechet to a curve C if and only if they admit parametrisations by paths converging uniformly to a parametrisation of C. A closed simple Frechet curve is called a Jordan curve. (12.45) Let M be a compact surface of type (p, k), that is, of genus p whose boundary consists of k circles Let (N, h) be a manifold without boundary, compact or satisfying the uniformity condition (11.24). Let 16 = be a set of k disjoint Jordan curves in N, such that there exist continuous Li-maps from M to N, mapping each B, monotonically on C, (that is, orientation preserving with inverse
image y/-'(y) connected for all y e Q. We say that two such maps 0, and 0, are relatively homotopic if and only if they are homotopic through a family of maps satisfying the same boundary conditions. (12.46) Let p denote a conformal structure on M. A conformal harmonic map 0: (M, p) - (N, h) is minimal. A map 0 which is an extremal of E for all variations of the conformal structure on M and all deformations of 0 in a relative homotopy class is conformal harmonic. These properties emerged from successive generalisations of a classical lemma of minimal surface theory [Douglas 1, 2, 3], [Morrey 1], [Sacks, Uhlenbeck 1, 2].
(12.47) [Heinz, Hildebrandt], [Meeks, Yau 3]. Let M be a smooth bounded planar
domain and 0: M -. (N, h) a conformal harmonic map such that for every oriented
179
ANOTHER REPORT ON HARMONIC MAPS
495
boundary component B1, 0 I B, is a monotonic representation of the oriented Jordan curve C,. Then O Id,,, is injective. (12.48) To prove the existence of a minimal map 0: M -* (N, h) in a given class of maps, we need an irreducibility condition of the type introduced by [Douglas 2, 3] and [Morrey 1]. The present form can be found in [Jost 9].
Denote by .B the class of continuous L'-maps from M to N, mapping each B, monotonically on C, and inducing the conjugacy class of homomorphisms 0: n,(M) -* rJN) First, define a primary reduction M' of M as a surface obtained from either of the following operations. (a)
Take an essential Jordan curve f in IntM whose images by the maps in
.r,, are contractible in N. Cut M along ,6 and collapse each of the two resulting curves to a point. (b) Take an arc 7 in M joining two points of some B, which is not homotopic to an arc of Bi through arcs with end-points on B, whose X8-images are homotopic to arcs in C,. Cut M along rl; the two parts of B, and the two copies of ri form two new boundary curves. Collapse one of them to a point. Now define E(p, le, X-) = inf (lim inf E(cb8, p,)) for all sequences of conformal structures p, on M and continuous L'-maps q,: (M, p,) --> (N, h) inducing 0 on the fundamental groups and mapping each B, monotonically on a curve C,., in N, where (C,.,) converges to C, in the sense of Frechet (1 < i < k). Define E*(p,W, .*') = co if p = 0 and k = 1, or if there are no primary reductions of M; and E*(p, cf, A 'O) = inf E(p', ', B) otherwise, where the infimum is taken over all surfaces homeomorphic to primary reductions of M. (12.49)
The irreducibility condition is E(p,',.*) < E*(p,(,.re).
(12.50) The following solution of the Plateau problem emerged from successive generalisations of the work of [Douglas 1, 2, 3] and [Rado] by [Morrey 1], [Sacks, Uhlenbeck 2], [Schoen, Yau 3], [Lemaire 5] and [Jost 9]. Let M be a compact surface of type (p, k) and (N, h) a manifold satisfying the
uniformity condition (11.24). Let IV = (C) be a family of Jordan curves in N and .aCoe a class as above, satisfying the irreducibility condition (12.49). Then there is a conformal structure on M and a conformal harmonic map 0: (M, p) --> (N, h) in ,Y,. Furthermore
E(0) = E(p, 9,-f.) and 0 minimises area. Finally, if n2(N) = 0, a variation of the method yields a map ¢ relatively homotopic to a given map W in X0.
We remark that the irreducibility condition is automatically satisfied if the homomorphism 0 is injective. (12.51) The proof of (12.50) requires two minimising processes. First find harmonic maps for given conformal structures on M and Dirichlet data (using
(12.8)); then minimise the energy amongst the conformal structures and the Dirichlet
data corresponding to the given Jordan curves. Some irreducibility hypothesis is needed in the second step because the Teichmuller space of conformal structures on M is not compact. However, the boundary of a suitable compactification consists of primary reductions of M, and (12.49) ensures precisely that they will not appear in a minimising process.
180
J. EELLS AND L. LEMAIRE
496
(12.52) A classical illustration of the need for some such hypothesis is based on the fact that two circles placed far from each other in 183 do not span a minimal cylinder; indeed, in a minimising sequence of conformal structures on the cylinder it gets thinner and thinner (conformally: longer and longer) and its limit is two discs spanning the circles : a minimising primary reduction.
(12.53) We now introduce a coercivity condition. Let M be a surface of type (p,k) and 9 = (C), ,,k a set of k disjoint Jordan curves in (N,h). Suppose that for every conformal structure u on M and for any map w : 8M --+ (N, h) such that yr(B1) = C,, the Dirichlet problem has a non-degenerate solution in each component of W,,,(M, N) (in the sense that VdE is non-degenerate), and that if c 0,: (M, p) (N, h) are two harmonic maps relatively homotopic in the sense of (12.45), then
sup d''(Oo(x), 0,(x)) < Csup d'"(co(x), 0,(x)) M
OM
(12.54) This condition implies in particular that for a given y,, the solution of the Dirichlet problem is unique in each component of W,(M, N). It is satisfied if Riem' < 0, or if all maps under consideration have images in a geodesically small disc (3.14). (12.55) The next result is due to [Chang, Eells 1, 2]. It is a generalisation of a theorem of [Morse, Tompkins 1, 2, 3] and [Shiffman 1, 2, 3], who treated the case
p = 0 and (N, h) = 18". That case was reproved by [Struwe 2] for M = D2, (N, h) = 18";
and his method was then extended to the present situation. Let Y be a relative homotopy class of maps of M to (N, h), and suppose that (N, h) satisfies the uniformity condition (11.24), and 9 and .*' the irreducibility condition (12.49), where .B is the class of maps inducing the same homomorphism 0 on fundamental groups as the maps in .°, and the coercivity condition (12.53).
Suppose further that any two E-minima can be joined by a path (y) such that E(y,) < E*(p, `', °e) If 0o : (M, µo) -> (N, h) and 01 : (M, ,u1) -- (N, h) are relatively homotopic isolated minimal maps, carrying each B1 to C, monotonically, then there is a conformal structure p on M and a conformal harmonic map 0: (M, p) --> (N, h), carrying each B1to C, monotonically, which is relatively homotopic to 0, and Y' and is not an Eminimum. (12.56) Here are the main ideas of the proof. Non-degeneracy of VdE implies smooth dependence on the Dirichlet data (2.20), which can be expressed in terms of
the Li12 topology on the space of maps 3M-> N. Together with Mumford's compactness theorem on the space of moduli of M, this yields the compactness condition of Palais and Smale for E; and hence a mountain pass theorem.
When all the critical points of E are isolated, we also have versions of the Lusternik-Schnirelmann category theorem and of the Morse inequalities [Chang, Eells 2]. (12.57) The problem of minimising the volume in higher dimensions is much less well understood. However, there is an important development due to [White 1]. If M
is a compact m-manifold with boundary with 3 < m < 6 and yr: 8M-> 18'"+' an embedding, then there is a Lipschitz map 0: M-- 18'"+' extending yi and minimising volume.
His proof is based on geometric measure theory.
181
ANOTHER REPORT ON HARMONIC MAPS
497
Minimal embeddings (12.58)
In general, a minimal map need not be an embedding or even an
immersion. In particular, it could have branch points. However, if dim N = 3, an area minimising map cannot have any interior branch point (5.18). (12.59) The following embedding theorem is due to [Meeks, Yau 3]. Let (N, h) be a compact 3-manifold with convex boundary and C a Jordan curve embedded in ON. If C is contractible in N, then any area minimising map 0: D2 -a (N, h) such that 0 10D' maps 8D2 monotonically onto C is an embedding. Furthermore, if ¢a and 01 are two
such maps, then either they coincide up to conformal reparametrisation of D2 or co(D2) (1 c1(D2) = C. If C is smooth, then so is 0. Here and in (12.61) below, the existence of a minimal embedding is also due to [Almgren, Simon] in case N c 683 The proof of Meeks and Yau involves an approximation argument to reduce the problem to the real analytic case, the tower construction in topology, and a surgery argument to show that a minimising map cannot have unnecessary folds. These tools are used to alter a non-embedding to one of smaller area. (12.60) Every compact 3-manifold N carries a Riemannian structure h with respect to which ON is convex. Consequently, (12.59) implies Dehn's lemma of topology. If C is a Jordan curve in ON which is contractible in N, then C bounds an
embedded disc in N.
(12.61) [Meeks, Yau 2]. Let (N, h) be an orientable 3-manifold with convex a family of disjoint Jordan curves in ON such that there is boundary, and W = (C)1 a map of a possibly disconnected plane domain Mo to N, carrying OM, onto W. Such a domain has at most k components. Let V(') be the infimum of the areas of such maps of domains with r components. If V,(le) < Vr+1(W), then there exists a conformal harmonic immersion ¢ of a planar domain with r components in N, spanning W, with smallest possible area V,(,W). Furthermore, any such map is an embedding. (12.62) [Meeks, Yau 4] prove the following. Let (N, h) be an analytic compact 3-manifold such that ON has non-negative mean curvature; and No c ON a compact connected surface with boundary 8Na consisting of rectifiable Jordan curves, such that iv1(No) injects into tv1(N). Then there is a Riemann surface M with boundary aM homeomorphic to aNa and a minimal embedding 0: M -i (N, h) which is areaminimising, and such that 0lane is a homeomorphism onto ONo. [Hardt, Simon]. Any finite union of disjoint Jordan curves in 683 spans a compact embedded minimal surface.
[Meeks, Yau 2] have produced equivariant versions of Dehn's lemma (12.59), (12.61), the loop theorem (12.72) below, and the sphere theorem (5.35). These have contributed much to our understanding of the action of finite groups G of orientation-preserving isometries of 3-manifolds (N, h), basically because a minimal surface in (N, h) behaves well under such an action. In broad terms: G-action on a compact (1) The equivariant sphere theorem ensures that a manifold must split-so that in analysing it, we can suppose N prime (that is, not expressible as a connected sum of two manifolds, neither of which is homeomorphic to S3) [Meeks, Yau 1]. (12.63)
182
498
J. EELLS AND L. LEMAIRE
(2)
The equivariant loop theorem, together with a theorem of Thurston on
hyperbolic structures and Bass's analysis of finitely generated subgroups of GL (C2), are key ingredients in the proof of P. A. Smith's conjecture that a finite cyclic group of orientation-preserving diffeomorphisms of S3 has fixed point set either void or an unknotted circle (that is, bounding a disc); equivalently, that action is conjugate to a linear action [Bass, Morgan]. (3)
A covering space of an orientable irreducible 3-manifold is irreducible
[Meeks, Simon, Yau]. (4) Any periodic diffeomorphism of l3 is conjugate in the diffeomorphism group D(ff83) to a rotation [Meeks, Yau 1]. (5) Any compact group G acting smoothly on Ifl is isomorphic to a subgroup of
SO(3), and the action is conjugate to an orthogonal action ([Meeks, Yau 5], and Thurston for the exceptional case G = A5). (12.64) Other embedding theorems for minimal surfaces with boundary were obtained by [Freedman, Hass, Scott] and [Jost 13], in classes of maps in which it is assumed a priori that embeddings exist (which is not the case in (12.59)). We shall state them in a more general setting in (12.73) below.
Free boundary problems (12.65)
Various free boundary problems can be posed as follows. Let M be a
manifold with boundary OM and N, a closed submanifold of N. For a fixed homotopy class Y of maps from 3M to No, is there a harmonic map 0: (M, g) -+ (N, h) such that O(OM) c No, l3 0l3M is perpendicular to N, and 0 lad, C- Y? Can we prescribe the relative
homotopy class of 0? If every map from OM to N. is homotopic to a constant, is there a non-constant solution 0? Is there an embedded solution? The condition that the normal derivative 0, 0 be perpendicular to N, is naturally associated to the variational problem under consideration : indeed, it is automatically satisfied by an extremal of E amongst maps 0 such that O(5M) c No.
(12.66) We can also consider partially free problems, for which we prescribe Dirichlet data on part of OM and free data on its complement. From the point of view of existence, those are easier because the Dirichlet data on part of the boundary will often help the convergence of a minimising sequence. (12.67) Regularity theory near the boundary of a free boundary problem is more difficult than for the Dirichlet or Neumann problem. It has been developed through the efforts of [Baldes 1], [Dziuk 1, 2], [Griiter, Hildebrandt, Nitsche], [Gulliver, Jost], [Hamilton 1], [Jager], [Jost 14], [Lewy 1], [Ye 1, 2]. Usually the geometry of No plays an important role. The following two results concern the case where N, is totally
geodesic. (12.68) Let (M, g) and (N, h) be compact manifolds with boundary, and suppose that Riem' < 0 and ON is totally geodesic. Then the free boundary problem z(c) = 0,
0(3M) c ON and a.0 laM 1 ON has a solution in every relative homotopy class [Hamilton 1].
183
ANOTHER REPORT ON HARMONIC MAPS
499
(12.69) Let (M,g) be a compact manifold and No a totally geodesic submanifold of the manifold (N, h). Suppose that D(yo, p) is a geodesically small disc of (N, h) for every yo E No, which is a normal chart for both N and No. Let Mo be open in 8M, and put M, = M\Mo. Suppose that M, has positive measure in M. Let V: (M, g) - (N, h) be a map such that V/(M) c D(yo, p) and yi(M0) c No. Then there is a minimising harmonic map 0: (M, g) -* (N, h) such that M = yr I M and O(M,) Na [Baldes 1].
If w is C', then ¢ is continuous on M and smooth in its interior, and as regular on M,, and M, as the boundary data permit. (12.70) When N, is not totally geodesic, [Gulliver, Jost] have given an example of a weak solution to the free boundary problem which is not continuous. They have
also given a condition on the oscillation of a weak solution near the boundary ensuring its continuity. (12.71) As a special case, they consider the situation where (M, p) is a Riemann surface of type (p, k) and No a union of k Jordan curves in N. If 7r2(N) = 0 and N,
satisfies an irreducibility condition similar to (12.49) (but with fixed complex structure,u) they prove the existence of a solution of the free boundary problem in every
relative homotopy class, minimising E and mapping the boundary components monotonically to the Jordan curves.
Note that the boundary data are exactly those of the Plateau problem (12.50); however, the conformal structure ,u is fixed here, so that the solution is harmonic but not necessarily minimal. (12.72) The following theorem of [Meeks, Yau 1]-in the spirit of their version of the Dehn lemma (12.59)-provides an analytic proof of the general loop theorem in topology. Let N be a compact 3-manifold with convex boundary, and N, the disjoint union of some components of ON. Let K be the kernel of i,: 7t,(N0) -p n,(N), where i is the
inclusion N, -+ N. Then: (a) there is a finite number of conformal harmonic maps 0i ... yb : (D2, 8D2) -> (N, No) such that
(i) 0, has area minimal amongst all maps 0 from D2 to N whose boundary ¢(aD2) represents a non-trivial element in K, (ii) for each i, 0, has area minimal amongst all maps 0 such that O(8D2) does not belong to the smallest normal subgroup of tr,(N0) containing [¢,(8D2), ..., t_,(aD2)], (iii) the discs 0,(D2) are orthogonal to N, along their boundaries, (iv) K is the smallest normal subgroup of rc,(S) containing all {[0,(cD2)]} (1 < i 5 k),(b)
any set of maps (0,. .. 0,j satisfying (i) and (ii) are embeddings and have
mutually disjoint images; (c) any other maps satisfying (i) and (ii) are either a reparametrisation of 0, or have images disjoint from theirs.
We stress that it is not assumed a priori that the elements of K contain curves bounding an embedded disc.
184
500
J. EELLS AND L. LEMAIRE
For surfaces of type (p, k), the following solution to the embedding problem with partially free boundary data was given (in a more general form) by [Jost 13] (with previous contributions by [Freedman, Hass, Scott]). (12.73)
Let (N, h) be a compact three dimensional manifold whose boundary ON has non-
negative mean curvature. Let Kc N be a closed subset with sufficiently regular boundary, and let (Cl)t_1.....1 be disjoint Jordan curves in 8N\K. Consider the space ..((p, 1W, 8K) of oriented embedded surfaces of genus p in N, such that l
k
aM=UClU U y1, i-1
1-1+1
with yJ Jordan curves in 8K. Set V(p, ', 8K) = inf {Area (M) I Me.df(p, le, 8K)}.
Call V*(p, , 3K) the infimum of the area on all possibly disconnected surfaces satisfying the same boundary data. If V(p, IF, 8K) < V*(p,16, 8K), then there exists an embedded minimal surface in N\K of genus p, having le = (Cr)t_1...l as fixed boundary curves and possibly some free boundary curves in K. If, furthermore, K has non-positive mean curvature, then the number k-I of free boundary curves can be prescribed as well. In this statement, the existence of an embedding of M in N satisfying the boundary conditions is assumed.
The proof relies on geometric measure theory. Of course, the condition V(p, ', 8K) < V *(p, ', 8K) is similar in spirit to the irreducibility condition (12.49). (12.74) In the free boundary problem for minimal surfaces, it can happen that the infimum of the area in a homotopy class is zero. However, various minimax methods and those involving Lusternik-Schnirelmann category are available to give the following results, in which saddle solutions appear.
(12.75) [Struwe 1]. If No = R3 is a closed surface of genus zero, there is a conformal harmonic map 0: (D2, OD2) --* (683, No) with 8, 01 No along 3D2. [Griiter, Jost]. If No is the boundary of a strictly convex body B c 683, then there is an embedded minimal disc in B meeting 8B orthogonally.
For any closed surface Na c 683 [Tolksdorf 3] has shown how to decompose any non-trivial free homotopy class of loops 3D2 --. No into finitely many such classes, each of which is associated to a conformal harmonic map (12.76)
(D2, 7D2) --* (683, No) solving the free boundary problem.
(12.77) [Jost 13]. Let B be a 3-disc in a 3-manifold (N, h) whose boundary 8B has non-negative mean curvature. Then B contains an embedded minimal 2-sphere or an embedded minimal 2-disc meeting 8B orthogonally.
Dirichlet problem for minimal graphs
Given a map w : M -+ N, find a map 0: M - N with 0 I aM = W I , M and whose graph map D: (M, g+ qS*h) -+ (M x N, g x h) is harmonic. (Equivalently (11.76), 4)2 is harmonic.) (12.78)
185
501
ANOTHER REPORT ON HARMONIC MAPS
That problem has much greater diversity than (12.2), even if we restrict ourselves to Euclidean domains. (12.79) Let U c (lm, go) be a bounded smooth domain and yr : U --+ (W , ho) a map, where g, and ha denote Euclidean metrics. First of all, we require that U be
strictly convex, for without some hypothesis of that kind, we cannot expect existence [Finn]. Then for n = 1, the problem has a unique solution [Jenkins, Serrin]; and the graph of the solution minimises volume.
For m = 2 and n arbitrary, there is a solution to (12.78); it may not be unique. There can be V-unstable solutions, as given by [Lawson, Osserman]. For m >, 4, there may not be even a Lipschitz solution [Lawson, Osserman].
ITEMS ADDED IN PROOF.
(4.45) If (M, g) is a compact Kahler manifold, its Ricci curvature determines a closed (1, 1)-form pM whose cohomology class is the first Chern class: [wM ]m-1
f
M
(m-1)
[M].
If that is positive, we shall write c1(M) > 0. Let (M, g) be a compact Kahler manifold, and 0: (M, g) -+ (N, h) a (1, 1)-geodesic map to a compact Riemannian surface. Then 0 is ± holomorphic, provided
(a) c1(M) > 0 [Ohnita, Udagawa 2]; or 0 and [cb*w"] = a[wM] for some ac- R [Naito 2].
(b)
The case dime M = 1 is due to [Eells, Wood 1]. (6.45) [Ohnita, Udagawa 2] provide many situations in which (1, 1)-geodesicity implies drastic restrictions. For instance, let (M,g) be a compact Kahler manifold with c1(M) > 0 (as in (4.45)) and fi2(M) = 1. Then (a) if (N, h) is a manifold with 9'1,, > 0 and 0: (M, g) -+ (N, h) a non-constant (1, 1) - geodesic map, then dime M = 1, and 0 is a minimal branched immersion ; (b) if N is an irreducible Hermitian symmetric space of compact type, then any stable (1, 1)-geodesic map 0: (M, g) -+ N is ±holomorphic. (10.40)
[Eells, Ratto] have just completed a study of equivariant harmonic maps
between ellipsoids-in the spirit of (10.25){10.39), but requiring both direct variational methods and Morse theory. Here are samples of their results: We are concerned with Euclidean ellipsoids of the form Qm-1(a, b) = {(x, y) E RP x R":
IXI2/a2 + I y12/b2 = 1),
where p, r > 2, a, b > 0 and p + r = m. Its points are represented by z = a sins . x + b cos s. y for x e SP-1, y e Sr-1 and 0 S s < 2ir. The induced Riemannian metric on Qm'1(a, b) is
g = a2 sin2S.g,sp-1+b2 cos2s.gs +(b2 sin' s+a2 cos2s)ds2.
186
502
J. EELLS AND L. LEMAIRE
Take ux : S' -> S1 as in (10.32), and v : Ss-2 --- Si-2 the identity
(a) ExAMPLE.
map (n >, 3). Then for any a map of degree k, of the form
b > 0 there are c, d > 0 and an equivariant harmonic
9 = u*a v - Q'(a, b) Q'(c, d). (b) For any eigenmaps u : SP-1 , Sq-1 and v : Sr-1 --* Ss-1 and a, b > 0, there is an equivariant harmonic map 0 = u*. v : QP+r-1(A, b) -+ S°+8-1
homotopic to u*v.
(c) With the same hypotheses, there are c, d > 0 and an equivariant harmonic
/
map
cz = u*av: (d) ExAMPLE.
SP+r-1
- Q4+-1(c, d).
If (n - 3)2/4(n - 2) < d 2/c2, then every homotopy class in 7c (Sn)
has an equivariant harmonic representative Q'(c, d) - Q"(c, d).
(e) For any integers k, l there is an equivariant harmonic map 0,,,: Q3(a, b) -* S2 with Hopf linking invariant kl if and only if b/a = Il/kI. Furthermore, 0 t is a harmonic morphism.
References This bibliography contains only papers referred to in the text. U. ABRESCH
1. 'Constant mean curvature tori in terms of elliptic functions', J. Reine Angew. Math. 374 (1987) 169-192 T. ADAM and T. SUNADA
1. 'Energy spectrum of certain harmonic mappings', Compositio Math. 56 (1985) 153-170
2. `Geometric bounds for the number of certain harmonic mappings', Differential geometry of submanifolds, Lecture Notes in Math. 1090 (Springer, Berlin, 1984), pp. 24-36. J. F. ADAMS
1. 'On the groups J(X)', Topology 3 (1965) 137-171; 5 (1966) 21-71. 2. 'Maps from a surface to the projective plane', Bull. London Math. Soc. 14 (1982) 533-534. L. V. AHLFORS
1. 'Curvature properties of Teichmuller's spaces', J. Analyse Math. 9 (1961) 161-176. A. R. AITHAL
1. 'Harmonic maps from S2 to HP2', Osaka J. Math. 23 (1986) 255-270, 2. 'Harmonic maps from S2 to G2(C5)', J. London Math. Soc. 32 (1985) 572-576. A. D. ALEXANDROV
1. 'Uniqueness theorems for surfaces in the large, V', Amer. Math. Soc. Transl. 21 (1962) 412-416. F. J. ALMGREN, W. BROWDER and E. H. LIEB
1. 'Co-area, liquid crystals, and minimal surfaces', preprint, Princeton University, 1987. F. J. ALMGREN and E. H. LIEB
1. 'Singularities of energy-minimising maps from the ball to the sphere', Bull. Amer. Math. Soc. 17 (1987) 304-306. F. J. ALMGREN and L. SIMON
1. 'Existence of embedded solutions of Plateau's problem', Ann. Scuola Norm. Sup. Pisa 6 (1979) 447-495. H. W. ALT
1. 'Verzweigungspunkte von H-Flachen I', Math. Z. 127 (1972) 333-362. 2. 'Verzweigungspunkte von H-Flachen II', Math. Ann. 201 (1973) 33-55. M. T. ANDERSON
1. 'The Dirichlet problem at infinity for manifolds of negative curvature', J. Di( 701-721.
Geom. 18 (1983)
187
ANOTHER REPORT ON HARMONIC MAPS
503
M. T. ANDERSON and R. SCHOEN
1. 'Positive harmonic functions on complete manifolds of negative curvature', Ann. of Math. 121 (1985) 429-461. A. ANDREOTTI and E. VESENTINI 1.
' Carleman estimates for the Laplace-Beltrami equation on complex manifolds', Inst. Hautes Etudes Sci. Publ. Math 25 (1965) 81-130.
M. F. ATIYAH
1. 'Instantons in two and four dimensions', Comm. Math. Phys. 93 (1984) 437-451. M. F. ATYAH, N. J. HITCHIN and I. M. SINGER
1. 'Self-duality in four-dimensional Riemannian geometry', Proc. Roy. Soc. London A362 (1978) 425-461. P. AVILES, H. I. CHOI and M. MICALLEF
1. 'The Dirichlet problem and Fatou's theorem for harmonic maps', preprint, 1987. C. BAIKoussls and T. KouFoGIORGOs
1. 'Harmonic maps into a cone', Arch. Math. (Basel) 40 (1983) 372-376. P. BAIRD
1. Harmonic maps with symmetry, harmonic morphisms and deformations of metrics, Research Notes in Math. 87 (Pitman, 1983). 2. 'Harmonic morphisms onto Riemann surfaces and generalized analytic functions', Ann. Inst. Fourier 37 (1987) 135-173. P. BAIRD and J. EELLS
1. 'A conservation law for harmonic maps', Geometry Symp. Utrecht 1980, Lecture Notes in Math. 894 (Springer, Berlin, 1981), pp. 1-25. P. BAIRD and J. C. WooD
1. 'Bernstein theorems for harmonic morphisms from R3 and S3', Math. Ann. 280 (1988) 579-603. A. BALDES
1. 'Harmonic mappings with partially free boundary', Manuscripta Math. 40 (1982) 255-275. 2. 'Stability and uniqueness properties of the equator map from a ball into an ellipsoid', Math. Z. 185 (1984) 505-516. S. BANDO
1. 'On the classification of three dimensional compact Kaehler manifolds of nonnegative bisectional curvature', J. Di(. Geom. 19 (1984) 283-297. S. BANDO and Y. OHNITA
1. 'Minimal 2-spheres with constant curvature in P .(C)', J. Math. Soc. Japan 39 (1987) 477-487. D. BARBASCH, J. F. GLAZEBROOK and G. TOTH
1. 'Harmonic maps of complex projective spaces to quotients of spheres', preprint, Rutgers University, 1987.
J. L. BARBOSA and M. Do CARMO
1. 'Stability of hypersurfaces with constant mean curvature', Math. Z. 185 (1984) 339-353. J. L. BARBOSA, K. KENMOTSU and G. OSHIKIRI
1. 'Foliations by hypersurfaces with constant mean curvature', preprint. P. DE BARTOLOMEIS
1. Sur I'analyticite complexe de certaines applications harmoniques', C.R. Acad. Sci. Paris A 284 (1982) 525-527. H. BASS and J. W. Morgan (editors) 1. The Smith conjecture. (Academic Press, 1984). V. BENCI and J.-M. CORON
1. 'The Dirichlet problem for harmonic maps from the disk into the Euclidean n-sphere', Ann. Inst. H. Poincare Anal. Non Lin. 2 (1985) 119-141. F. BEniuEL and X. ZHENG
1. 'Sur la densite des fonctions regulieres entre deux varietes dans des espaces de Sobolev', C. R. Acad. Sci. Paris A303 (1986) 447-449. B. BomARSKI and T. IwANIEc
1. 'p-harmonic equation and quasilinear mappings', preprint, Bonn, 1983. J. BOLTON, G. R. JENSEN, M. RIGOLI and L. M. WOODwARD
1. 'On conformal minimal immersions of St in CP"', preprint. E. BoMBmu, E. DE GIORGI and E. Glusn
1. 'Minimal cones and the Bernstein problem', Invent. Math. 7 (1969) 243-268.
188
J. EELLS AND L. LEMAIRE
504 H. J. BORCHERS and W. D. GARBER
1. 'Local theory of solutions for the 0(2k + 1) c-model', Comm. Math. Phys. 72 (1980) 77-102. 2. 'Analyticity of solutions of the O(N) non-linear a-model', Comm Math. Phys. 71 (1980) 299-309 A. BOREL and F. HIRZEBRUCH
1. 'Characteristic classes and homogeneous spaces 1', Amer. J. Math. 80 (1958) 458-538. H. BREzis and J.-M. CORON
1. 'Large solutions for harmonic maps in two dimensions', Comm. Math. Phys. 92 (1983) 203-215. H. BREZIS, J.-M CORON and E. H LIES
1. 'Estimations d'energie pour les applications de R3 a valeurs dans S2', C.R. Acad Sci. Paris 303 (1986) 207-210. 2. 'Harmonic maps with defects', Comm Math. Phys. 107 (1986) 649-705. R.BRYANT
1. 'Submanifolds and special structures on the octonians', J. Diff. Geom. 17 (1982) 185-232. 2. 'Conformal and minimal immersions of compact surfaces into the 4-sphere', J. Diff. Geom. 17 (1982) 455 473. 3. 'A duality theorem for Willmore surfaces', J. Diff. Geom. 20 (1984) 23-53. 4. 'Lie groups and twistor spaces', Duke Math. J. 52 (1985) 223-261. 5. 'Minimal surfaces of constant curvature in S", Trans. Amer. Math. Soc. 290 (1985) 259-271 G. BUNTING
1. 'Proof of the uniqueness conjecture for black holes', thesis, University of New England, 1983 D. BURNS
1. 'Harmonic maps from CP' to CP"', Proc. Tulane Conf., Lecture Notes in Math. 949 (Springer, Berlin, 1982), pp. 48-56. D. BURNS and P. DE BARTOLOMEIS
1. 'Applications harmoniques stables dans P"', Ann. Sci. Ecole Norm. Sup. (4) 22 (1988) 159-177. D. BURNS, F. BURSTALL, P. DE BARTOLOMEIS and J. RAWNSLEY
1. 'Stability of harmonic maps of Kahler manifolds', preprint, University of Warwick, 1987. K. BURNS
1. 'Convex supporting domains on surfaces'. Bull. London Math. Soc. 17 (1985) 271-274. F. E. BURSTALL
1. 'Harmonic maps of finite energy from non-compact manifolds', J. London Math. Soc. 30 (1984) 361-370.
2. 'Non-linear functional analysis and harmonic maps', thesis, University of Warwick, 1984. 3. 'Twistor fibrations of flag manifolds and harmonic maps of a 2-sphere into a Grassmannian', Proc. Santiago 1984, Research Notes in Math. 131 (Pitman, 1985), pp. 7-16. 4. 'A twistor description of harmonic maps of a 2-sphere into a Grassmannian', Math. Ann. 274 (1986) 61-74. F. BURSTALL and J. RAWNSLEY
1. 'Spheres harmoniques dans les groupes de Lie compacts et courbes holomorphes dans les espaces homogenes', C.R. Acad. Sci. Paris A 302 (1986) 709-712. 2. 'Stability of classical solutions of two-dimensional Grassmannian models', Comm. Math. Phys. 110 (1987) 311-316.
3. 'Twistor theory for Riemannian symmetric spaces', Sem. Bianchi, Springer Lecture Notes, to appear. F. BURSTALL, J. RAWNSLEY and S. SALAMON
1. 'Stable harmonic 2-spheres in symmetric spaces', Bull. Amer. Math. Soc. 16 (1987) 274-278. F BURSTALL and S. SALAMON
1. 'Tournaments, flags and harmonic maps', Math. Ann. 277 (1987) 249-265. F. BURSTALL and J. C. WOOD
1. 'The construction of harmonic maps into complex Grassmannians', J. Diff. Geom. 23 (1986) 255-297. E. CALABI
1. 'Minimal immersions of surfaces in Euclidean spheres', J. Diff. Geom. 1 (1967) 111-125. 2. 'Quelques applications de ]'analyse complexe aux surfaces d'aire minima', Topics in Complex Manifolds (Universite.de Montreal, 1967), pp. 59-81.
3. 'An intrinsic characterization of harmonic one-forms', Global analysis (Princeton University Press, 1969), pp. 101-117. H: D. CAO and B. CHOW
1. 'Compact Kahler manifolds with nonnegative curvature operator', Invent. Math. 83 (1986) 553-556.
189
ANOTHER REPORT ON HARMONIC MAPS
505
J. CARLSON and D. TOLEDO
1. 'Harmonic mappings of Kahler manifolds to locally symmetric spaces', preprint, University of Utah, 1987.
M DO CARMO and H. B. LAWSON
1. 'On Alexandrov-Bernstein theorems in hyperbolic space', Duke Math. J. 50 (1983) 995-1003. M. DO CARMO and C. K. PENG
1. 'Stable complete minimal surfaces in 18' are planes', Bull. Amer. Math. Soc. 1 (1979) 903-906. S. CARTER and A WEST
1. 'A characterisation of isoparametric hypersurfaces in spheres', J. London Math. Soc. 26 (1982) 183-192. T. E. CECIL and P. J. RYAN
1. 'Tight spherical embeddings'. Lecture Notes in Math. 838 (Springer, Berlin, 1981), pp. 94-104. K.-C. CHANG
1. 'Heat flow and boundary value problem for harmonic maps', prepnnt, Courant Institute, 1988. K.-C. CHANG and J. EELLS
1. 'Harmonic maps and minimal surface coboundaries', Lefschetz Centenary, Mexico (1984), Contemp. Math. 58 III (1987), pp. 11-18. 2. 'Unstable minimal surface coboundaries', Acta Math. Sinica (N.S.) 2 (1986) 233-247. B: Y. CHEN, J: M. MORVAN and T. NoRE
1. 'Energy, tension and finite type maps', Kodai Math. J. 9 (1986) 406-418. B.-Y. CHEN and T. NAGANO
1. 'Totally geodesic submanifolds of symmetric spaces 1', Duke Math. J. 44 (1977) 745-755. 2. 'Totally geodesic submanifolds of symmetric spaces II', Duke Math. J. 45 (1978) 405-425. W.-H. CHIN
1. 'The geometry of Grassmann manifolds as submanifolds', Adv. in Math. (China) 16 (1987) 334-335. X.-P. CHEN
1. 'Harmonic mapping and Gauss mapping', Proc. 1981 Shanghai-Hefei Sympos. Diff. Geom. Diff. Eq. (Sci. Press, Beijing, 1984), pp. 51-53. S. Y. CHENG
1. 'A characterization of the 2-sphere by eigenfunctions', Proc. Amer. Math. Soc. 55 (1976) 379-381. 2. 'Liouville theorem for harmonic maps', Proc. Sympos. Pure Math. 36 (1980) 147-151. S. S. CHERN
1. 'On the curvature of a piece of hypersurface in Euclidean space', Abh. Math. Sem. Hamburg 29 (1965) 77-91. 2. 'Minimal surfaces in Euclidean space of N dimensions', Sympos. in Honor of Marston Morse (Princeton University Press, 1965), pp. 187-198. S. S. CHERN, M. DO CARMO and S. KOBAYASIH
1. 'Minimal submanifolds of a sphere with second fundamental form of constant length', Proc. Con!. for M. Stone (Springer, New York, 1970), pp. 59-75. S. S. CHERN and R. OSSERMAN
1. 'Complete minimal surfaces in Euclidean n-space', J. Analyse Math. 19 (1967) 15-34. S. S CHERN and E. SPANIER
1. 'A theorem on orientable surfaces in four-dimensional space', Comment. Math. He/v. 25 (1951), 205-209. S. S. CHERN and J. G. WOLFSON
1. 'Minimal surfaces by moving frames', Amer. J. Math. 105 (1983), 59-83. 2. 'Harmonic maps of S2 into a complex Grassmann manifold', Proc. Nat. Acad. Sci USA 82 (1985) 2217-2219.
3. 'Harmonic maps of the two-sphere into a complex Grassmann manifold II', Ann. of Math. 125 (1987) 301-335. H. 1. CHOI
1. 'On the Liouville theorem for harmonic maps', Proc Amer. Math. Soc. 85 (1982) 91-94. 2. 'Asymptotic Dirichlet problems for harmonic functions on Riemannian manifolds', Trans. Amer. Math. Soc. 281 (1984) 691-716 H. I. CHOI and R. SCHOEN
1. 'The space of minimal embeddings of a surface into a three-dimensional manifold of positive Ricci curvature', Invent. Math. 81 (1985) 387-394.
190
506
J. EELLS AND L. LEMAIRE
Y.CHOQUET-BRUHAT
1. 'Global existence theorems for hyperbolic harmonic maps', Ann. Inst. Poincare Phys. Theor. 46 (1987) 97-111. J.-M. CORON and R. GULLIVER
1. 'Minimizing p-harmonic maps into spheres', preprint, Max-Planck Institute, Bonn, 1987. J.-M. CottON and F. HELEIN
1. 'Harmonic diffeomorphisms, minimizing harmonic maps and rotational symmetry', preprint, Ecole Polytechnique, Paris, 1988. C. COSTA
1. `Example of a complete minimal immersion in R3 of genus one and three embedded ends', Bol. Soc. Brasil Math. 15 (1984) 47-54. C. B. CROKE
1. 'Lower bounds on the energy of maps', Duke Math. J. 55 (1987) 901-908. M. DA czER and D. GROMOLL
1. 'Real Kaehler submanifolds and uniqueness of the Gauss map', J. Diif. Geom. 22 (1985) 13-28. M. DAIczER and L. RODRIGUEZ
1. 'Rigidity of real Kaehler submamfolds', Duke Math. J. 53 (1986) 211-220. M. DAjczER and G. THORBERGSSON
1. 'Holomorphicity of minimal submanifolds in complex space forms', Math. Ann. 277 (1987) 353-360. J. DAVIDOV and 0. MUSKAROV
1. 'Existence of holomorphic functions on twistor spaces', Bull. Soc. Math. Belgique B40 (1988). D. DETURCK and J. KAZDAN
1. 'Some regularity theorems in Riemannian geometry'. Ann. Sci. Ecole Norm. Sup. 14 (1981) 249-260. A. M. DIN and W. J. ZAKRzewsKu
1. 'General classical solutions in the CP"-' model', Nucl. Phys. B. 174 (1980) 397-406. 2. 'Properties of the general classical CP'-' model', Phys. Lett. 95B (1980) 419-422. 3. 'Classical solutions in Grassmannian o'-models', Lett. Math. Phys. 5 (1981) 553-561. W.-Y. DING
1. 'Lusternik-Schnirelmann theory for harmonic maps', Acta Math. Sinica 2 (1986) 105-122. 2. 'Symmetric harmonic maps between spheres', preprint, Acad. Sinica, 1987. C. T. DODSON, L. VANHECKE and M. E. VAZQuEZ-ABAL
1. 'Harmonic geodesic symmetries', C.R. Math. Rep. Acad. Sci. Canada 9 (1987) 231-235. S. K_ DONALDSON
1. 'Instantons and geometric invariant theory', Comm. Math. Phys. 93 (1984) 453-460. 2. 'The Yang-Mills equations on euclidean space', Perspectives in Math. (Oberwolfach 1944-1984) (W. Jager, J. Moser, R. Remmert, eds., Birkhaliser, 1984), pp. 93-109.
3. 'Twisted harmonic maps and the self-duality equations', Proc. London Math. Soc. 55 (1987) 127-131. H. DONNELLY
1. 'Bounded harmonic functions and positive Ricci curvature', Math. Z. 191 (1986) 559-565. S. DONNINI, G. GIGANTE and L. VANHECKE
1. 'Harmonic reflections with respect to submanifolds', Illinois J. Math., to appear. J. DOUGLAS
1. 'Solutions to the problem of Plateau', Trans. Amer. Math. Soc. 33 (1931) 263-321. 2. 'Some new results in the problem of Plateau', J. Math. Phys. 15 (1936) 55-64. 3. 'Minimal surfaces of higher topological structure', Ann. of Math. 40 (1939) 205-298. G. DZIUK
1. 'Uber die Stetigkeit teilweise freier Minimalflachen', Manuscripta Math. 36 (1981) 241-251. 2. 'C2-regularity for partially free minimal surfaces', Math. Z. 189 (1985) 71-79C. J. EARLE and J EELLS
1. 'Deformations of Riemann surfaces', Lecture Notes in Math. 103 (Springer, Berlin,
1969),
pp. 122-149. 2. 'A fibre bundle description of Teichmuller theory', J. D f Geom. 3 (1969) 19-43. P. EBERLEIN
1. 'When is a geodesic flow of Anosov type? IF, J. Difj: Geom. 8 (1973) 565-577. A. L. EDMONDS
1. 'Deformations of maps to branched coverings in dimension two', Ann. of Math. 110 (1979) 113-125.
191
ANOTHER REPORT ON HARMONIC MAPS
507
J. EELLS
1. 'Minimal graphs', Manuscripta Math. 28 (1979) 101-108. 2. 'On equivanant harmonic maps', Proc. 1981 Shanghai-Hefei Sympos. Du Geom. Diff Eq. (Sci. Press, Beijing, 1984), pp. 55-73. 3. 'Regularity of certain harmonic maps', Global Riemannian Geometry, Durham (1982) (E. Horwood, 1984), pp. 137-147.
4. 'Gauss maps of surfaces', Perspectives in Math. (Oberwolfach 1944-1984) (W. Jager, J. Moser, R. Remmert, eds., Birkhauser, 1984), pp. 111-129. 5. 'Minimal branched immersions into three-manifolds', Proc. Univ. Maryland (1983-1984), Lecture Notes in Math. 1167 (Springer, Berlin, 1985), pp. 81-94. J. EELLS and K. D. ELWORTHY
1. 'On Fredholm manifolds', Actes Congr. Internat. Math. Nice 1970, Vol. 2 (1971), pp. 215-219. J EELLS and L. LEMALRE
1. 'A report on harmonic maps', Bull. London Math. Soc. 10 (1978) 1-68. 2. 'On the construction of harmonic and holomorphic maps between surfaces', Math. Ann. 252 (1980) 27-52. 3. 'Deformations of metrics and associated harmonic maps', Patodi Memorial Vol. Geometry and Analysis (Tata Inst., 1981), pp. 33-45. 4. Selected topics in harmonic maps, C.B.M.S. Regional Conf. Series 50 (Amer. Math. Soc., Providence, R.I., 1983). 5. 'Examples of harmonic maps from disks to hemispheres', Math. Z. 185 (1984) 517-519. J. EELLS and J. C. POLICING
1. 'Removable singularities of harmonic maps', Indiana Univ. Math. J. 33 (1984) 859-871. J. EELLS and A. RATro
1. 'Harmonic maps between spheres and ellipsoids', preprint, I.H.E.S., 1988. J. EELLS and S. SALAMON
1. 'Constructions twistorielles des applications harmoniques', C.R Acad. Sci. Paris 1 296 (1983) 685-687. 2. 'Twistorial constructions of harmonic maps of surfaces into four-manifolds', Ann. Scuola Norm. Sup. Pisa (4) 12 (1985) 589-640. 1. EELLS and J. H. SAMPSON
1. 'Harmonic mappings of Riemannian manifolds', Amer. J. Math. 86 (1964) 109-160. J. EELLs and J. C. WooD
1. 'Restrictions on harmonic maps of surfaces', Topology 15 (1976) 263-266. 2. 'Maps of minimum energy', J. London Math. Soc. (2) 23 (1981) 303-310.
3. 'The existence and construction of certain harmonic maps', Sympos. Math. Rome 26 (1982) 123-138.
4. 'Harmonic maps from surfaces to complex projective spaces', Adv. in Math. 49 (1983) 217-263. N. EnRu
1. 'Totally real submanifolds in a 6-sphere', Proc. Amer. Math. Soc. 83 (1981) 759-763. 2. 'The index of minimal immersions of S2 into SZ"', Math. Z. 184 (1983) 127-132. 3. 'Calabi lifting and surface geometry in S°', Tokyo Math. J. 9 (1986) 297-324. 4. 'Some minimal immersions of spheres into a unit sphere', preprint. 5. 'Isotropic harmonic maps of Riemann surfaces into the de Sitter space time', preprint. H. 1. ELIASSON
1. 'Geometry of manifolds of maps', J. Duff Geom. I (1967) 169-194. K. D. ELWORTHY and W. S. KENDALL
1. 'Factorization of harmonic maps and Brownian motions', Research Notes in Math. 150 (Pitman, 1986), pp. 75-83. S. ERDEM
1. `Harmonic maps from surfaces into pseudo-Riemannian spheres and hyperbolic spaces', Math. Proc. Camb. Phil. Soc. 94 (1983) 483-494. S. ERDEM and J. F. GLAZEBROOK
1. 'Harmonic maps of Riemann surfaces to indefinite complex hyperbolic and projective spaces', Proc. London Math. Soc. 41 (1983) 547-562. S. ERDEM and J. C. WOOD
1. 'On the construction of harmonic maps into a Grassmannian', J. London Math. Soc. (2) 28 (1983) 161-174. J. L. EIUCKSEN
1. 'Equilibrium theory of liquid crystals', Adv. Liquid Cryst. 2 (Academic Press, 1976), pp. 233-298.
192
508
J. FELLS AND L. LEMAIRE
J. H. EsCHENBURG, 1. V. GUADALUPE and R TRIBUZY
1. 'The fundamental equations of minimal surfaces in CP2', Math. Ann 270 (1985) 571-598 J.ESCHENBURG and R. TRIBUZY
1. `Branch points of conformal mappings of surfaces', Math. Ann. 279 (1988) 621-633. A. FATHI, F. LAUDENBACH and V. POENARU (Eds.)
1. Travaux de Thurston sur les surfaces, Asterisque 66-67 (Soc. Math. France, 1979). H. FEDERER
1. 'The singular sets of area minimizing rectifiable currents with codimension one and of area minimizing
flat chains modulo two with arbitrary codimension', Bull. Amer. Math. Soc. 76 (1970) 767-771. C. FEFFERMAN
1. 'The Begman kernel and biholomorphic mappings of pseudoconvex domains', Invent. Math. 26 (1974) 1-65. M. J. FERREIRA
1. 'Morse indices for certain harmonic maps of surfaces', Bull Soc. Math. Belg. B 36 (1984) 131-153. 2. 'A twistorial characterization of conformal branched immersions with parallel mean curvature', Bull. Soc. Math. BeIg. B 39 (1987) 47-81. 3. 'Aplicapoes ramificadas conformer de superffcies de Riemann e problemas variacionais', thesis, University of Lisbon, 1985. D. FERUS and H. KARCHER
1. 'Non-rotational minimal spheres and minimizing cones', Comment. Math Helv. 60 (1985) 247-269. D. FERUS, H. KARCHER and H. F. MUNZNER
1. 'Cliffordalgebren and neue isoparametrische Hyperflachen', Math. Z. 177 (1981) 479-502. R. FINN
1. 'Remarks relevant to minimal surfaces, and surfaces of prescribed mean curvature', J. Analyse Math. 14 (1965) 139-160. A. FISCHER and A. J. TROMBA
I. 'A new proof that Teichmuller space is a cell', Trans. Amer Math. Soc. 303 (1987) 257-262. D. FISCHER-COLBRIE
1. 'On complete minimal surfaces with finite Morse index in three manifolds', Invent. Math. 82 (1985) 121-132. D. FISCHER-COLBRIE and R. SCHOEN
1. 'The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature', Comm. Pure Appl. Math. 33 (1980) 199-211. H. FLANDERS
1. 'Remark on mean curvature', J. London Math. Soc. 41 (1966) 364-366. T. FRANKEL
1. 'On the fundamental group of a compact minimal submanifold', Ann. of Math. 83 (1966) 68-73. D. S. FREED
1. 'The geometry of loop groups', thesis, Mass. Inst. Tech., 1985. 2. 'Flag manifolds and infinite dimensional Kahler geometry', Math. Sci. Res. Inst. Publ., to appear. M. FREEDMAN, J. HAss and P. ScoTr
1. 'Least area incompressible surfaces in 3-manifolds', Invent. Math. 71 (1983) 609-642. T. FRIEDRICH
1. 'On surfaces in four-spaces', Ann. Global Anal. Geom. 2 (1984) 257-287. B. FUGLEDE
1. 'Harmonic morphisms between Riemannian manifolds', Ann. Inst. Fourier (Grenoble) 28 (1978) 107-144
2. 'A criterion of non-vanishing differential of a smooth map', Bull. London Math. Soc. 14 (1982) 98-102. H. FUJIMOTO
1. 'On the number of exceptional values of the Gauss map of minimal surfaces', preprint, Kanazawa University, 1987. A. FUTAKI
1. 'Non-existence of minimizing harmonic maps from 2-spheres', Proc. Japan Acad. 56 (1980) 291-293. 2. 'On the uniqueness of the Dirichlet problem for harmonic maps', J. Fac. Sci. Univ. Tokyo Math. 27 (1980) 181-192. W. D. GARBER, S. N. M. RUUSENAARS, E. SEILER and D. BURNS
1. 'On finite action solutions of the nonlinear a-model', Ann. of Phys. 119 (1979) 305-325.
193
ANOTHER REPORT ON HARMONIC MAPS
509
P. GAUDUCHON
1. 'Pseudo-immersions superminimales d'une surface de Riemann dans une variete riemannienne de dimension 4', Bull. Soc. Math. France 114 (1986) 447-508. P. GAUDUCHON and H. B. LAWSON
1. 'Topologically nonsingular minimal cones', Indiana Univ. Math. J. 34 (1985) 915-927. M GIAQUINTA and E. GIUSTI
1. 'On the regularity of the minima of variational integrals', Acta Math. 148 (1982) 31-46. 2. 'The singular set of the minima of certain quadratic functionals', Ann. Scuola Norm. Sup. Pisa (4) 11 (1984) 45-55. M. GIAQUINTA and S. HILDEBRANDT
1. 'A priori estimates for harmonic mappings', J. Reine Angew. Math 336 (1982) 124-164. M. GIAQUINTA and J. SOUCEK
1. 'Harmonic maps into a hemisphere', Ann. Scuola Norm. Sup. Pisa (4) 12 (1985) 81-90. G. GIGANTE
1. 'A note on harmonic morphisms', preprint, University of Camerino, 1983. V GLASER and R. STORA
1. 'Regular solutions of the CP' models and further generalizations', preprint, CERN, 1980. J. F. GLAZEBROOK
1. 'The construction of a class of harmonic maps to quaternionic projective space', J. London Math. Soc. 30 (1984) 151-159. 2. 'Harmonic maps of Riemann surfaces to indefinite complex Grassmannians and the classical domains', Proc. London Math. Soc. 48 (1984) 108-120. W. B. GORDON
1. 'Convex functions and harmonic maps', Proc. Amer. Math. Soc. 33 (1972) 433-437. H GRAUERT
1. 'On Levi's problem and the imbedding of real-analytic manifolds', Ann. of Math. 68 (1958) 460-472. A. GRAY and J. WOLF
1. 'Homogeneous spaces defined by Lie group automorphisms', J. Dif. Geom. 2 (1968) 77-159. M. A. GRAYSON
1. 'The heat equation shrinks embedded plane curves to round points', J. Dijj: Geom. 26 (1987) 285-314.
2. 'Shortening embedded curves', preprint, University of California, San Diego, 1987. R. E. GREENE and H. H. Wu
1. 'Integrals of subharmonic functions on manifolds of nonnegative curvature', Invent. Math 27 (1974) 265-298.
2. 'Analysis on noncompact Kahler manifolds', Proc Sympos. Pure Math. 30 (1977) 69-100. 3. Function theory on manifolds which possess a pole, Lecture Notes in Math 699 (Springer, Berlin, 1979).
M. GRoMov
1. 'Pseudo holomorphic curves in symplectic manifolds', Invent. Math. 82 (1985) 307-347. A. GROTHENDIECK
1. 'Sur la classification des fibres holomorphes sur la sphere de Riemann', Amer. J. Math. 79 (1957) 121-138. M. GAITER, S. HILDEBRANDT and J. C. C. NITSCHE
1. 'On the boundary behavior of minimal surfaces with a free boundary which are not minima of the area', Manuscripta Math. 35 (1981) 387-410. M. GAITER and J. JOST
1. 'On embedded minimal discs in convex bodies', Ann. Inst. H. Poincard, Anal. Non Lin. 3 (1986) 345-390.
C.-H. Gu 1. 'On the Cauchy problem for harmonic maps defined on two-dimensional Minkowski space', Comm. Pure Appl. Math 33 (1980) 727-737. 2. 'On the initial-boundary value problem for harmonic maps from the 2-dimensional Minkowski space', Manuscripta Math. 33 (1980) 51-58. 3. Some problems on non-linear hyperbolic systems', Proc. 1980 Beijing Sympos. Dif. Geom. Duff Eq. (Gordon and Breach, 1983), Vol. 1, pp. 467-479. 4. 'On the harmonic maps from to S','', J. Reine Angew. Math. 346 (1984) 101-109.
194
510
J. EELLS AND L. LEMAIRE
M. GUEST
1. `Geometry of maps between generalized 2. `The energy of harmonic maps obtained flag manifolds', J. Diff. Geom. 25 (1987) 223-247. 1987.
by the twistor construction', preprint, University of Rochester,
3. `Orbits and harmonic maps', Lefschetz Centenary, Mexico (1984), Contemp. Math. 58 III (1987), pp. 161-171. R. D. GULLIVER
1. `Regularity of minimizing surfaces prescribed mean curvature', Ann. of Math. 97 (1973) 275-305. 2. 'Removability of singular points onofsurfaces of bounded mean curvature', J Dii f. Geom. 11 (1976) 345-350
3. 'Index and total curvature of complete minimal surfaces', Proc. Sympos Pure Math. 44 (1986) 207-211. R. GULLIVER and J. JOST
1. 'Harmonic maps which solve a free boundary problem', prepnnt, University of Minnesota, 1986 R. GULLIVER and H. B. LAWSON
1. `The structure of stable minimal hypersurfaces near a singularity', Proc. Sympos. Pure Math. 44 (1986) 213-237.
R. GULLIVER and B. WHITE
1. 'The rate of convergence of a harmonic map at a singular point', Math. Ann., to appear. R. S. HAMILTON
1. Harmonic maps of manifolds with boundary, Lecture Notes in Math. 471 (Springer, Berlin, 1975). 2. 'Three-manifolds with positive Ricci curvature', J. Diff. Geom. 17 (1982) 255-306. 3. 'Four-manifolds with positive curvature tensor', J. Diff. Geom. 24 (1986) 153-179 R. HARDT and D. KINDERLEHRER
1. `Mathematical questions of liquid crystals', preprint. R. HARDT, D. KINDERLEHRER and F. H. LIN
1. `Energy bounds for minimizing maps', preprint. R. HARDT and F. H. LIN
1. 'Mappings minimizing the L" norm of the gradient', preprint, Austral. Nat. Univ., 1986. R. HARDT and L. SIMON
1. `Boundary regularity and embedded solutions for the oriented Plateau problem', Ann. of Math. 110 (1979) 439-486. P. HARTMAN
1. 'On homotopic harmonic maps', Canad. J. Math. 19 (1967) 673-687. H. HEFrER
1. `Dehnungsuntersuchungen an Spharenabbildungen', Invent. Math. 66 (1982) 1-10. E. HEINZ
1. `Uber Fla"chen mit eineindeutigen Projektion auf eine Ebene, deren Kriimmung durch Ungleichungen
eingeschrankt rind', Math. Ann. 129 (1955) 451-454. E. HEINZ and S. HILDEBRANDT 1.
Some remarks on minimal surfaces in Riemannian manifolds', Comm. Pure App!. Math. 23 (1970) 371-377.
F. HaLEIN
1. 'Regularity and uniqueness of harmonic maps into an ellipsoid', preprint, Ecole Polytechnique, Paris.
2.
' Homeomorphismes quasi-conformes entre surfaces Riemanniennes', preprint, Ecole Polytechnique, Paris.
S. HELGASON
1. Differential geometry, Lie groups, and symmetric spaces (Academic Press, 1978). H. HESS, R SCHRADER and D. A. UHLENBROCK
1. 'Kato's inequality and the spectral distribution of Laplacians on compact Riemannian manifolds',
J. Dif. Geom. 15 (1980) 27-37. S HILDEBRANDT
1. 'Liouville theorems for harmonic mappings, and an approach to Bernstein theorems', Ann, of Math. Studies 102 (1982) 107-131. 2. `Nonlinear elliptic systems and harmonic mappings', Proc. Beijing Sympos. Diff. Geom. Diff. Eq. (1980) (Gordon and Breach, 1983), pp- 481-615. 3. 'Quasilinear elliptic systems in diagonal form', Systems of nonlinear partial differential equations (J. M.
Ball, ed., Reidel, Dordrecht, 1983), pp. 173-217.
195
ANOTHER REPORT ON HARMONIC MAPS
511
4. 'Harmonic mappings of Riemannian manifolds', Harmonic Maps and Minimal Immersions (Montecatini 1984), Lecture Notes in Math. 1161 (Springer, Berlin, 1985), pp. 1-117. S. HILDEBRANDT, J. JOST and K-O. WIDMAN
1. 'Harmonic mappings and minimal submanifolds', Invent. Math. 62 (1980) 269-298. S. HILDEBRANDT, H. KAUL and K-O. WIDMAN
1. 'An existence theorem for harmonic mappings of Riemannian manifolds', Acta Math. 138 (1977) 1-16. M. HIRSCH
1. 'Immersions of manifolds', Trans. Amer. Math. Soc. 93 (1959) 242-276. N. HITCHIN
1. 'Kahlerian twistor spaces', Proc. London Math. Soc. (3) 43 (1981) 133-150. 2. 'Harmonic maps from a 2-torus to the 3-sphere', preprint, Oxford, 1987. 3. 'The self-duality equations on a Riemann surface', Proc. London Math. Soc. (3) 55 (1987), 59-126. D A. HOFFMAN and W. H. MEEKS III
1. 'Complete embedded minimal surfaces of finite total curvature', Bull. Amer. Math. Soc. 12 (1985) 134-136.
2. 'A complete embedded minimal surface in R3 with genus one and three ends', J. Diff. Geom. 21 (1985) 109-127. D. A. HOFFMAN and R. OSSERMAN
1. The geometry of the generalized Gauss map, Mem. Amer. Math. Soc. 236 (1980). D. A. HOFFMAN, R. OSSERMAN and R. SCHOEN
1. 'On the Gauss map of complete surfaces of constant mean curvature in 683 and R4', Comment. Math. Hely. 57 (1982) 519-531. H. Hope
1. 'Uber Flachen mit einer Relation zwischen den Hauptkriimmungen', Math. Nachr. 4 (1950-51) 232-249. A. HOWARD and B. SMYTH
1. 'Kahler surfaces of nonnegative curvature', J. Df. Geom. 5 (1971) 491-502. A. HOWARD, B. SMYTH and H. H Wu
1. 'On compact Kahler manifolds of nonnegative bisectional curvature I', Acta Math. 147 (1981) 51-56. R. HOWARD
1. 'The non-existence of stable submanifolds, varifolds, and harmonic maps in sufficiently pinched simply connected Riemannian manifolds', Michigan Math J. 32 (1985) 321-334. R. HOWARD and W. WEI
1. 'Nonexistence of stable harmonic maps to and from certain homogeneous spaces and submanifolds of euclidean space ', Trans. Amer. Math. Soc. 294 (1986) 319-331. W. T. HSIANG and W. Y. HSIANG
1. 'Examples of codimension-one closed minimal submanifolds in some symmetric spaces, I', J. Dii f. Geom. 15 (1980) 543-551.
2. 'On the existence of codimension-one minimal spheres in compact symmetric spaces of rank 2, IF, J. Dii f. Geom. 17 (1982) 583-594.
3. 'An infinite family of minimal imbeddings of Sea-1 into S"(1) x S"(1), n = 2,3', preprint. 4. 'On the construction of codimension two minimal immersions of exotic spheres into Euclidiean spheres, IF, Math Z. 195 (1987) 301-313. W. T. HSIANG, W. Y. HSIANG and I. STERLING
1. 'On the construction of codimension two minimal immersions of exotic spheres into Euclidean spheres', Invent. Math. 82 (1985) 447-460. W. T. HSIANG, W. Y. HSIANG and P. TOMTER
1. 'On the construction of infinitely, many mutually noncongruent, examples of minimal embeddings of Ss"-1 into CP", n _> 2', Bull. Amer. Math. Soc. 8 (1983) 463-465. W. Y. HSIANG
1. 'On the compact homogeneous minimal submanifolds', Proc. Nat. Acad. Sci. USA 56 (1966) 5-6. 2. ' Remarks'on closed minimal submanifolds in the standard Riemannian m-sphere', J. Dii f. Geom. 1 (1967) 257-267.
3. 'On generalizations of theorems of A. D Alexandrov and C. Delaunay on hypersurfaces of constant mean curvature', Duke Math. J. 49 (1982) 485-496. 4. 'Generalized rotational hypersurfaces of constant mean curvature in the euclidean spheres, I', J. Diff. Geom. 17 (1982) 337-356.
196
J. EELLS AND L. LEMAIRE
512
5. `Minimal cones and the spherical Bernstein problem, I', Ann. of Math. 118 (1983) 61-73. 6. 'Minimal cones and the spherical Bernstein problem, II', Invent. Math. 74 (1983) 351-369. W. Y. HSIANG and H. B. LAWSON
1. 'Minimal submanifolds of low cohomogeneity', J Dil Geom 5 (1971) 1-38. W. Y. HSIANG and 1. STERLING
1. 'On the construction of non-equatorial minimal hypersurfaces in S"(1) with stable cones in 68 "'r'. Proc. Nat. Aced Sci. USA 81 (1984) 8035-8036. W. Y. HSIANG, Z. H. TENG and W.-C. Yu 1. 'Examples of constant mean curvature immersions of 3-sphere into euclidean 4-space', Proc. Nat. Acad Sci. USA 79 (1982) 3931-3932.
2. 'New examples of constant mean curvature immersions of (2k - 1) spheres into Euclidean 2k-space', Ann. of Math. 117 (1983) 609-625. W. Y. HSIANG and W. Yu
1. 'A generalization of a theorem of Delaunay'. J. Dif. Geom. 16 (1981) 161-177. Hu HESHENo
1. 'A nonexistence theorem for harmonic maps with slowly divergent energy', Chin. Ann. Math 5B (1984) 737-740. T. ISHIHARA
1. 'The index of a holomorphic mapping and the index theorem', Proc Amer. Math. Soc. 66 (1977) 169-174.
2. 'A mapping of Riemannian manifolds which preserves harmonic functions', J. Math. Kyoto Univ 19 (1979) 215-229.
3. 'Harmonic sections of tangent bundles', J. Math. Tokushima Univ. 13 (1979) 23-27. 4. 'The harmonic Gauss maps in a generalized sense', J. London Math. Soc. 26 (1982) 104-112. W. JAGER
1. 'Behavior of minimal surfaces with free boundaries'. Comm. Pure Appl. Math. 23 (1970) 803-818. W. JAGER and H. KAUL
1. 'Uniqueness and stability of harmonic maps, and their Jacobi fields', Manuscripta Math. 28 (1979) 269-291. 2.' Uniqueness of harmonic mappings and of solutions of elliptic equations on Riemannian manifolds', Math. Ann. 240 (1979) 231-250. 3. 'Rotationally symmetric harmonic maps from a ball into a sphere and the regularity problem for weak solutions of elliptic systems', J. Reine Angew Math. 343 (1983) 146-161. H. JENKINS and J. SERRIN
1. 'The Dirichlet problem for the minimal surface equation in higher dimensions', J. Reine Angew. Math. 229 (1968) 170-187. G. JENSEN and M. RIGOLI
1. 'Harmonically immersal surfaces of B", preprint, I.C.T.P. Trieste, 1987. 2. 'Harmonic Gauss maps', Preprint, I.C.T.P. Trieste, 1987. M. JI
1. 'Minimal surfaces in Riemannian manifolds', thesis, Acad. Sinica, 1987. P. W. JONES
1. 'A complete bounded complex submanifold of C1', Proc. Amer. Math. Soc. 76 (1979) 305-306. L. JORGE and F XAVIER
1. 'A complete minimal surface in R1 between two parallel planes', Ann. of Math. 112 (1980) 204-206. 2. 'An inequality between the exterior diameter and the mean curvature of bounded immersions', Math Z. 178 (1981) 77-82. J. JOST
1. 'Univalency of harmonic mappings between surfaces', J. Reine Angew. Math. 324 (1981) 141-153. 2. 'Eine geometrische Bemerkung zur Satzen Ober harmonische Abbildungen, die ein Dirichletproblem losen', Manuscripla Math. 32 (1980) 51-57. 3. ' Ein Existenzbeweis fur harmonische Abbildungen, die ein Dirichletproblem losen, mittels der
Methode des Warmeflusses', Manuscripta Math. 34 (1981) 17-25. 4. 'A maximum principle for harmonic mappings which solve a Dirichlet problem', Manuscripta Math. 38 (1982) 129-130. 5. 'Existence proofs for harmonic mappings with the help of a maximum principle', Math. Z. 184 (1983) 489-496.
6. 'The Dirichlet problem for harmonic maps from a surface with boundary onto a 2-sphere with nonconstant boundary values', J. Diff. Geom. 19 (1984) 393-401. 7. Harmonic mappings between surfaces, Lecture Notes in Math. 1062 (Springer, Berlin, 1984).
197
513
ANOTHER REPORT ON HARMONIC MAPS
8. Harmonic mappings between Riemannian manifolds, Proc. Centre Math. Analysis (Aust. Nat. Univ. Press, Canberra, 1983). 9. 'Conformal mappings and the Plateau-Douglas problem in Riemannian manifolds', J. Reine Angew. Math. 359 (1985) 37-54. 10. 'On the existence of harmonic maps from a surface into the real projective space', Compositio Math. 59 (1986) 15-19.
11. 'A note on harmonic maps between surfaces', Ann. Inst. H. Poincare Anal. Non Lin. 2 (1985) 397-405.
12. 'Lectures on harmonic maps', Harmonic Mappings and Minimal Immersions (Montecatini 1984), Lecture Notes in Math. 1161 (Springer, Berlin, 1985), pp. 118-192. 13. 'Existence results for embedded minimal surfaces of controlled topological type. I, 11, III', Ann. Scuola Norm. Sup Pisa 13 (1986) 15-50; 401-426. 14. 'On the regularity of minimal surfaces with free boundaries in Riemannian manifolds', Manuscripta Math. 56 (1986) 279-291. J. JosT and H. KARCHER
1. 'Geometrische Methoden zur Gewinnung von a priori-Schranken fur harmonische Abbildungen', Manuscripta Math. 40 (1982) 27-77. 2. 'Almost linear functions and a-priori estimates for harmonic maps', Global Riemannian Geom., Durham (1982) (E. Horwood, 1984), pp. 148-155. J. JOST and M MEIER
1. 'Boundary regularity for minima of certain quadratic functionals', Math. Ann. 262 (1983) 549-561. J. JosT and R. SCHOEN
1. 'On the existence of harmonic diffeomorphisms between surfaces', Invent. Math. 66 (1982) 353-359. J. JosT and S. T. YAU 1. 'Harmonic mappings and Kahler manifolds', Math. Ann. 262 (1983) 145-166. 2. 'A strong rigidity theorem for a certain class of compact complex analytic surfaces', Math. Ann. 271 (1985) 143-152. 3. 'The strong rigidity of locally symmetric complex manifolds of rank one and finite volume', Math. Ann. 275 (1986) 291-304. 4. 'On the rigidity of certain discrete groups and algebraic varieties', Math. Ann. 278 (1987) 481-496. M. KALKA
1. 'Deformation of submanifolds of strongly negatively curved manifolds', Math. Ann. 251 (1980) 243-248. N. KAPOULEAs
1. 'Constant mean curvature surfaces in Euclidean three-space', Bull. Amer. Math. Soc. 17 (1987) 318-320. H. KARCHER, U. PINKALL and I. STERLING
1. 'New minimal surfaces in S3', preprint, Max-Planck Institute, 1986. H. KARCHER and J. C. WooD
1. 'Non-existence results and growth properties for harmonic maps and forms', J. Reine Angew. Math. 353 (1984) 165-180. L. KARP
1. 'Subharmonic functions on real and complex manifolds', Math. Z. 179 (1982) 535-554. 2. 'Subharmonic functions, harmonic mappings, and isometric immersions', Ann. of Math. Studies 102 (1982) 133-142. 3. 'Differential inequalities on complete Riemannian manifolds and applications', Math. Ann. 272 (1985) 449-459. A. KASUE
1. 'Harmonic functions with growth conditions on a manifold with asymptotically nonnegative curvature I, IF, preprints, Osaka University. W. S. KENDALL
1. 'Brownian motion and a generalised little Picard's theorem', Trans. Amer. Math. Soc. 275 (1983) 751-760.
2. 'Stochastic differential geometry: An introduction', Acta Appl. Math. 9 (1987) 29-60.
3. 'Martingales on manifolds and harmonic maps', Geom. of Random Motion, Amer. Math. Soc. Contemp. Math., to appear. K. KENMOTSU
1. 'Weierstrass formula for surfaces of prescribed mean curvature', Math. Ann. 245 (1979) 89-99. F. C. KIRWAN
1. Cohomology of quotients in symplectic and algebraic geometry, Math. Notes 31 (Princeton University Press, 1984). 17
BLM 20
198
J. FELLS AND L. LEMAIRE
514 S. KORAYASxt and K. NoMizu
1. Foundations of differential geometry (Interscience, 1963, 1969). N. Koiso
1. 'Variation of harmonic mappings caused by a deformation of Riemannian metrics', Hokkaido Math. J. 8 (1979) 199-213. N. KOREVAAR, R. KUSNER and B. SOLOMON
1. 'The structure of complete embedded surfaces with constant mean curvature', preprint, University of California, San Diego. J. L. KOSZUL and B. MALGRANGE
1. 'Sur certaines structures fibrees complexes', Arch. Math. (Basel) 9 (1958) 102-109. 0. LADYZENSKAYA and N. URAL'CEVA
1. Linear and quasilinear elliptic equations (Academic Press, 1968). H. B. LAWSON
1. 'Local rigidity theorems for minimal hypersurfaces', Ann. of Math. 89 (1969) 187-197. 2. 'The global behavior of minimal surfaces in S"', Ann. of Math. 92 (1970) 224-237. 3. Lectures on minimal submanifolds, Vol. 1 (IMPA, Rio de Janeiro, 1970; second edition, Publish or Perish, 1980).
4. 'Complete minimal surfaces in S3', Ann. of Math. 92 (1970) 335-374 5. 'The unknottedness of minimal embeddings', Invent. Math. 11 (1970) 183-187. 6. 'Surfaces minimales et is construction de Calabi-Penrose', Sim. Bourbaki 624 (1983/4), Asterisque 121-122 (Soc. Math. France, 1985), pp. 197-211. H. B. LAWSON and R. OSSERMAN
1. 'Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system', Acta Math. 139 (1977) 1-17. H. B. LAWSON and J. SIMONS
1. 'On stable currents and their application to global problems in real and complex geometry', Ann. of Math. 98 (1973) 427-450. C. LEBRUN
1. 'Twistor CR manifolds and three-dimensional conformal geometry', Trans. Amer. Math Soc. 284 (1984) 601-616. M.-L. LEITE
1. 'Harmonic mappings of surfaces with respect to degenerate metrics', Amer. J. Math. 110 (1988) 399-412. J.LELONG-FERRAND
1. 'Construction de modules de continuite dans le cas limite de Soboleff et applications a la g6ometrie difffirentielle', Arch. Rat. Mech. Anal. 52 (1973) 297-311. L. LEMAIRE
1. 'Applications harmoniques de varietes produits', Comment. Math. Hely. 52 (1977) 11-24. 2. 'Applications harmoniques de surfaces riemanniennes', J. Diff. Geom. 13 (1978) 51-78.
3. 'Harmonic nonholomorphic maps from a surface to a sphere', Proc. Amer. Math. Soc. 71 (1978) 299-304. 4. 'Existence des applications harmoniques et courbure des varietes', Sem. Bourbaki 553 (1980), Lecture Notes in Math. 842 (Springer, Berlin, 1981), pp. 174-195. 5. 'Boundary value problems for harmonic and minimal maps of surfaces into manifolds', Ann. Scuola Norm. Sup. Pisa (4) 9 (1982) 91-103. 6. 'Harmonic maps of finite energy from a complete surface to a compact manifold', Sympos. Math. 26 (Bologna, 1982), pp. 23-26. P. F. LEUNG
1. 'On the stability of harmonic maps', Harmonic Maps Proc. Tulane, Lecture Notes in Math. 949 (Springer, Berlin, 1982), pp. 122-129. 2. 'Minimal submanifolds in a sphere', Math. Z. 183 (1983) 75-86. 3. 'A note on stable harmonic maps', J. London Math. Soc. 29 (1984) 380-384. H. LEwY
1. 'On minimal surfaces with partially free boundaries', Comm. Pure Appl. Math. 4 (1951) 1-13. 2. 'On the non-vanishing of the jacobian of a homeomorphism by harmonic gradients', Ann. of Math. 88 (1968) 518-529. P. Li
1. 'Uniqueness of L' solutions for the Laplace equation and the heat equation on Riemannian manifolds', J. Diff. Geom. 20 (1984) 447-457.
199
515
ANOTHER REPORT ON HARMONIC MAPS P. Li and R. SCHOEN
1. 'LP and mean value properties of subharmonic functions on Riemannian manifolds', Acta Math. 153 (1984) 279-301. P. Li and L.-F. TAM
1. 'Positive harmonic functions on complete manifolds with non-negative curvature outside a compact set', Ann. of Math. 125 (1987) 171-207. A. LiCHNEROWICZ
1. 'Applications harmoniques et varietes kahleriennes', Sympos. Math. 3 (Bologna, 1970), pp. 341-402. S. LUCKHAUS
1. 'Partial Holder continuity for energy minimizing p-harmonic maps between Riemannian manifolds', preprint. G MARGULIS
1. 'Applications of ergodic theory to the investigation of manifolds of negative curvature', Funct. Anal. Appl. 3 (1969) 335-336. K. MASHIMo
1. 'Minimal immersions of 3-dimensional sphere into spheres', Osaka J. Math. 21 (1984) 721-732. A. MAYER
1. 'Families of K-3 surfaces', Nagoya Math. J. 48 (1972) 1-17 P. O. MAZUR
1. 'Proof of uniqueness of the Kerr-Newman black hole solution', J. Phys. A 15 (1982) 3173-3180. W. H. MEEKS
1. 'The conformal structure and geometry of triply periodic minimal surfaces in lv', thesis, University of California, Berkeley, 1975. 2. 'A survey of the geometric results in the classical theory of minimal surfaces', Bol. Soc. Bras. Mat. 12 (1981) 29-86. 3. 'Recent progress on the geometry of surfaces in ll and on the use of computer graphics as a research tool', Proc. Internat. Cong. Math. Berkeley, 1986 (Amer. Math Soc., 1987), pp. 551-560. 4. 'The topology and geometry of embedded surfaces of constant mean curvature', Bull. Amer. Math. Soc. 17 (1987) 315-317; J. Dif. Geom. 27 (1988) 539-552. 5. 'The topological uniqueness of minimal surfaces in three dimensional Euclidean space', Topology 20 (1981) 389-410. W. H. MEEKS, L. SIMON and S. T. YAU
1. 'Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature', Ann. of Math. 116 (1982) 621-659. W. H. MEEKS and S. T. YAU
1. 'Topology of three dimensional manifolds and the embedding problems in minimal surface theory', Ann. of Math. 112 (1980) 441-484. 2. 'The equivariant Dehn's lemma and loop theorem', Comment. Math. Hely. 56 (1981) 225-239. 3. 'The classical Plateau problem and the topology of three dimensional manifolds', Topology 21 (1982) 408-442.
4. 'The existence of embedded minimal surfaces and the problem of uniqueness', Math. Z. 179 (1982) 151-168.
5. 'Group actions on R3', The Smith conjecture (Academic Press, 1984), pp. 167-179. M. MEIER
1. 'Liouville theorems for nonlinear elliptic equations and systems', Manuscripta Math. 29 (1979) 207-228.
2. 'Boundedness and integrability properties of weak solutions of quasilinear elliptic systems', J. Reine Angew. Math. 333 (1982) 191-220 3. 'Removable singularities for weak solutions of quasilinear elliptic systems', J. Reine Angew. Math. 344 (1983) 87-101. 4. 'Removable singularities of harmonic maps and an application to minimal submanifolds', Indiana Univ. Math. J. 35 (1986) 705-726. 5. 'Asymptotic behavior of solutions of some quasilinear elliptic systems in exterior domains', preprint. P. A. MEYER 1.
' Geometrie stochastique sans larmes', Sim. Prob. XV, Lecture Notes in Math 850 (Springer, Berlin, 1981), pp. 44-102.
M. J. MICALLEE
1. 'Stable minimal surfaces in Euclidean space', J. Diff Geom. 19 (1984) 57-84. 2. 'Stable minimal surfaces in flat tori', Contemp. Math. 49 (1986) 73-78. 17-2
200
516
J. EELLS AND L. LEMAIRE
M. MICALLEI' and J. D MooRE
1. 'Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic twoplanes', Ann. of Math. 127 (1988) 199-227. M. MICALLEF and B. WHITE
I. 'On the structure of branch points of minimizing disks', preprint. T. K. MILNOR
1. 'Harmonic maps and classical surface theory in Minkowski 3-space', Trans. Amer. Math. Soc. 280 (1983) 161-185. 2. 'Characterizing harmonic immersions of surfaces with indefinite metric', Proc. Nat Acad. Sci. USA 79 (1982) 2143-2144. MIN-0o
1. 'Maps of minimum energy from compact simply-connected Lie groups', Ann. Global Anal. Geom. 2 (1984) 119-128. N. MOK
1. 'The holomorphic or antiholomorphic character of harmonic maps into irreductible compact quotients of polydiscs', Math. Ann. 272 (1985) 197-216. 2. 'The uniformization theorem for compact Kahler manifolds of nonnegative holomorphic bisectional curvature', J. Dif. .. Geom. 27 (1988) 179-214. N. MOK and J.-Q. ZHONG
1. 'Curvature characterization of compact Hermitian symmetric spaces', J. Dif. . Geom. 23 (1986) 15-67. J. D. MooRE 1. 'Isometric immersions of space forms in space forms', Pacific J. Math. 40 (1972) 157-166.
2. 'On stability of minimal spheres and a two-dimensional version of Synge's theorem', Arch. Math (Basel) 44 (1985) 278-281. 3. 'Compact Riemannian manifolds with positive curvature operators', Bull. Amer. Math. Soc. 14 (1986) 279-282. S. MORI
1. 'Projective manifolds with ample tangent bundles', Ann. of Math. (2) 110 (1979) 593-606. C. B. MORREY
1. 'The problem of Plateau on a Riemannian manifold', Ann. of Math. 49 (1948) 807-851. 2. 'The analytic embedding of abstract real-analytic manifolds', Ann. of Math. 68 (1958) 159-201. 3. Multiple integrals in the calculus of variations, Grundlehren 130 (Springer, Berlin, 1966). M. MORSE and C. B. TOMPKINS
1. 'The existence of minimal surfaces of general cntical types', Ann, of Math. 40 (1939) 443-472. 2. 'Minimal surfaces not of minimum type by a new method of approximation', Ann. of Math. 42 (1941) 62-72. 3. 'Unstable minimal surfaces of higher topological structure', Duke Math. J. 8 (1941) 350-375. J. Moses
1. 'On Harnack's theorem for elliptic differential equations', Comm. Pure Appl. Math. 14 (1961) 577-591. G. D. MosTOW
1. Strong rigidity of locally symmetric spaces, Ann. of Math. Studies 78 (Princeton University Press, 1973).
G. D. Moscow and Y.-T. Slu 1. 'A compact Kahler surface of negative curvature not covered by the ball', Ann. of Math. 112 (1980) 321-360. 0. MuaKAROv
1. 'Structures presques hermitiennes sur des espaces twistoriels et leurs types', C.R. Acad. Sci. Paris A 305 (1987) 307-309. H. NAITO
1. 'Asymptotic behavior of solutions to Eells-Sampson equations near stable harmonic maps', preprint, Nagoya University, 1987. 2. 'On the holomorphicity of pluriharmonic maps', preprint, Nagoya University, 1988. S. NISHIKAWA
1. 'On the Neumann problem for the nonlinear parabolic equation of Eells-Sampson and harmonic mappings', Math. Ann. 249 (1980) 177-190. S. NISHIKAWA and K. SHIGA
1. 'On the holomorphic equivalence of bounded domains in complete Kahler manifolds of nonpositive curvature', J. Math. Soc. Japan 35 (1983) 273-278.
201
ANOTHER REPORT ON HARMONIC MAPS
517
J. C. C. NITscim 1. Vorlesungen fiber Minimalflachen, Grundlehren 199 (Springer, Berlin, 1975). 0.NOUHAUD
1. 'Applications harmoniques d'une variete riemannienne dans son fibre tangent', C.R. Acad. Sci. Paris 1284 (1977) 815-818. M. OBATA
1. 'The Gauss map of immersions of Riemannian manifolds in spaces of constant curvature', J. Diff. Geom. 2 (1968) 217-223. N. R. O'BRIAN and J. H. RAWNSLEY
1. 'Twistor spaces', Ann. Global Anal. Geom. 3 (1985) 29-58. Y. OHNITA
1. 'Stability of harmonic maps and standard minimal immersions', Tbhoku Math. J. 38 (1986) 259-267.
2. 'On pluriharmonicity of stable harmonic maps', J. London Math. Soc. (2) 35 (1987) 563-568. Y. OHNITA and S. UDAGAWA
1. 'Stable harmonic maps from Riemann surfaces to compact Hermitian symmetric spaces', Tokyo Math. J 10 (1987) 385-390.
2. 'Stability, complex-analyticity and constancy of pluriharmonic maps from Kaehler manifolds', preprint, Max-Planck Institute, 1988. H. OMORI
1. 'Isometric immersions of Riemannian manifolds', J. Math. Soc. Japan 19 (1967) 205-214. R. OSSERMAN
1. 'Minimal surfaces in the large', Comment. Math. Hely. 35 (1961) 65-76. 2. 'A proof of the regularity everywhere of the classical solution to Plateau's problem', Ann. of Math. 91 (1970) 550-569. 3. 'On Bets' theorem on isolated singularities', Indiana Univ. Math. J. 23 (1973) 337-342. S. K. OTrARSSON
1. 'Closed geodesics on Riemannian manifolds via the heat flow', J. Geom. Phys. 2 (1985) 49-72. R. S. PALMS
1. 'The principle of symmetric criticality', Comm. Math. Phys. 69 (1979) 19-30. B PALMER
1. Stanford Thesis (1987). Y-L. PAN and Y-B. SHEN
1. 'Stability of harmonic maps and minimal immersions', Proc. Amer. Math. Soc. 93 (1985) 111-117. M. PARKER
1. 'Orthogonal multiplications in small dimensions', Bull. London Math. Soc. 15 (1983) 368-372. W. PARRY and M. PoLLICOTT
1. 'An analogue of the prime number theorem for closed orbits of axiom A flows', Ann of Math. 118 (1983) 573-591. V. PETTINATI and A. RArro
1. 'Existence and non-existence results for harmonic maps between spheres', preprint, University of Warwick, 1987. B. PIETTE and W. J. ZAKRZEWSKI
1. 'General solution of the U(N) chiral a models in two dimensions', preprint. 2. 'Properties of classical solutions of the U(N) chiral a models in two dimensions', preprint. J. T. PITTS
1. Existence and regularity of minimal surfaces on Riemannian manifolds, Math. Notes 27 (Princeton University Press, 1981). 2. 'The index of instability of minimal surfaces obtained by variational methods in the large', preprint. J. T. PIrrS and J. 11. RUBINSTEIN
1. 'Existence of minimal surfaces of bounded topological type in three-manifolds', Proc. Centre Math. Anal. Canberra 10 (1986) 163-176. 2. 'Applications of minimax to minimal surfaces and the topology of 3-manifolds', Proc. Centre Math. Anal. Canberra, to appear. 3. 'Equivariant minimax and minimal surfaces in geometric three-manifolds', preprint. A. I. PLUZHNIKOV
1. 'Harmonic mappings of Riemann surfaces and foliated manifolds', Mat. Sb. (N.S.) 113 (1980) no. 7 (90) 339-347, 352 (Russian); English translation, Math. USSR. Sb. 41 (1982) 281-287.
202
518
J. EELLS AND L. LEMAIRE
2. 'Some properties of harmonic mappings in the case of spheres and Lie groups', Sov. Math. Dokl. 27 (1983) 246-248.
3. 'On the minimum of the Dirichlet functional', Dokl. Akad. Nauk 290 (2) (1986) 289-293 (Russian), English translation, Sov. Math. Dokl. 34 (1987) 281-284. 4. 'A topological criterion for the attainability of global minima of an energy function', Nov. Glob Anal Voronezh. Gos. Univ. 177 (1986) 149-155 Y. S. POON 1.
'Minimal surfaces in four dimensional manifolds', M.Sc thesis, Oxford, 1983.
A. N. PRESSLEY
1. 'The energy flow on the loop space of a compact Lie group', J. London Math. Soc. 2 (26) (1982) 557-566.
2. 'Decomposition of the space of loops on a Lie group', Topology 19 (1980) 65-79. A. N. Prsst.EY and G. SEGAL 1. Loop groups, Oxford Math. Monographs (Clarendon, Oxford, 1986). P PRICE
1. 'A monotonicity formula for Yang-Mills fields', Manuscripta Math. 43 (1983) 131-166. T. RAno 1. 'On the problem of least area and the problem of Plateau', Math. Z. 32 (1930) 763-796. J. RAMANATHAN
1. 'Harmonic maps from S2 to G3 4', J. Di . Geom. 19 (1984) 207-219. 2. 'A remark on the energy of harmonic maps between spheres', Rocky Mountain J. Math. 16 (1986) 783-790. A. RATTo
1. 'On harmonic maps between Ss and Sz of prescribed Hopf invariant', Math. Proc. Cambridge Phil. Soc., to appear. 2. 'Harmonic maps from deformed spheres to spheres', Amer. J. Math., to appear. 3. 'Construction d'applications harmoniques de spheres euclidiennes', C.R. Acad. Sci. Paris 1304 (1987) 185-186.
4. 'Harmonic maps of spheres and equivariant theory', thesis, University of Warwick, 1987 5. 'Equivariant harmonic maps between manifolds with metrics of (p, q)-signature', preprint, I H.E.S., 1988.
J. H. RAwNst.EY
1. 'Noether's theorem for harmonic maps', Dii f Geom. Methods in Math. Phys. (Reidel,
1984),
pp. 197-202. 2. 'f-structures, f-twistor spaces and harmonic maps', Sem. Geom. L. Bianchi 111984, Lecture Notes in Math. 1164 (Springer, Ber}in, 1985), pp. 85-159. 3. 'Harmonic 2-spheres', Coll. Theories Quantiques et Geomdtries, Les Treilles 1987, to appear. M. RtGOLI
1. 'The harmonicity of the spherical Gauss map', Bull. London Math. Soc 18 (1986) 609-612 2. 'The conformal Gauss map of submanifolds of the M6bius space', preprint, I.C.T.P. Trieste, 1987. M. RIGOU and R. TRIBUZY
1. 'The Gauss map for Kahlerian submanifolds of R", preprint, I.C.T.P. Trieste, 1987. J. H. RUBINSTEIN
1. 'Embedded minimal surfaces in 3-manifolds with positive scalar curvature', Proc. Amer. Math. Soc. 95 (1985) 458-462. E. A. RUH 1. 'Minimal immersions of 2-spheres in S4', Proc. Amer. Math. Soc. 28 (1971) 219-222. E. A. RUH and J. VILMS
1. 'The tension field of the Gauss map', Trans. Amer. Math Soc. 149 (1970) 569-573. J. SACKS and K. UHLENBECK
1. 'The existence of minimal immersions of 2-spheres', Ann. of Math. 113 (1981) 1-24. 2. 'Minimal immersions of closed Riemann surfaces', Trans. Amer. Math. Soc. 271 (1982) 639-652. S. SALAMON
1. 'Harmonic and holomorphic maps', Sem. Geom. L. Bianchi 11 1984, Lecture Notes in Math. 1164 (Springer, Berlin, 1985), pp 161-224. 2. 'Minimal surfaces and symmetric spaces', Differential Geometry, Research Notes in Math. 131 (Pitman, 1985), pp. 103-114. 3. 'Degrees of minimal surfaces in 4-manifolds', Luminy Conf. Harmonic Maps, 1986. (World Sci. Press,
to appear.)
203 ANOTHER REPORT ON HARMONIC MAPS
519
1. SALAVESSA
1. 'Graphs with parallel mean curvature and a variational problem in conformal geometry', thesis, University of Warwick, 1987. J. H. SAMPSON
1. 'Some properties and applications of harmonic mappings', Ann. Sci. Ecole Norm. Sup. 11 (1978) 211-228.
2. 'On harmonic mappings', Sympos. Math. 26 (Bologna, 1982), pp. 197-210. 3. 'Harmonic maps in Kahler geometry', Harmonic Maps and Minimal Immersions, CIME Conj. 1984, Lecture Notes in Math. 1161 (Springer, Berlin, 1985), pp. 193-205. 4. 'Applications of harmonic maps to Kahler geometry', Contemp. Math 49 (1986) 125-134. A. SANINI
1. 'Applicazioni tra variety riemanniane con energia critica rispetto a deformazioni di metriche', Rend. Math (7) 3 (1983) 53-63. 2. 'Applicazioni armoniche tra i fibrati tangenti di varieta riemanniane', Bol. Unione Mat. Ital. (6) 2 A (1983) 55-64. L. SARIO, M. NAKAI, C. WANG and L. O. CHUNG
1. Classification theory of Riemannian manifolds, Lecture Notes in Math. 605 (Springer, Berlin, 1977). L. SARIO, M SCHIFFER and M. GLASNER
1. 'The span and principal functions in Riemannian spaces', J. Analyse Math. 15 (1965) 115-134. R. SCHOEN
1. 'Analytic aspects of the harmonic map problem', Math. Sci. Res. Inst. Publ. 2 (Springer, Berlin, 1984), pp. 321-358. 2. 'Estimates for stable minimal surfaces in three dimensional manifolds', Sem. Minimal Submanifolds, Ann. of Math. Studies 103 (E. Bombieri, ed., Princeton University Press, 1983), pp. 111-126. R. SCHOEN and L. SIMON
1. 'Regularity of embedded simply connected minimal surfaces', Ann. of Math., to appear. R. SCHOEN and K. UHLENBECK
1. 'A regularity theory for harmonic maps', J. Difj: Geom. 17 (1982) 307-335 and 18 (1983) 329.
2. `Boundary regularity and the Dirichlet problem for harmonic maps', J. Di/f. Geom. 18 (1983) 253-268.
3. 'Regularity of minimizing harmonic maps into the sphere', Invent. Math. 78 (1984) 89-100. R. SCHOEN and S. T. YAU
1. 'Harmonic maps and the topology of stable hypersurfaces and manifolds of non-negative Ricci curvature', Comment. Math. HeIv. 51 (1976) 333-341. 2. 'On univalent harmonic maps between surfaces', Invent. Math. 44 (1978) 265-278. 3. 'Existence of incompressible minimal surfaces and the topology of three dimensional manifolds with non-negative scalar curvature', Ann. of Math. 110 (1979) 127-142.
4. 'Compact group actions and the topology of manifolds with non-positive curvature', Topology 18 (1979) 361-380.
5. 'On the structure of manifolds with positive scalar curvature', Manuscripta Math. 28 (1979) 159-183.
6. 'On the proof of the positive mass conjecture in general relativity', Comm. Math. Phys. 65 (1979) 45-76.
7. 'Complete three dimensional manifolds with positive Ricci curvature and scalar curvature', Ann. of Math. Studies 102 (1982) 209-228. G.SCHUMACHER
1. 'Harmonic maps of the moduli space of compact Riemann surfaces', Math. Ann. 275 (1986) 455-466. H. C J. SEALEY
1. 'Some properties of harmonic mappings', thesis, University of Warwick, 1980. 2. 'Harmonic maps of small energy', Bull. London Math. Soc. 13 (1981) 405-408 3. 'Some conditions ensuring the vanishing of harmonic differential forms with applications to harmonic maps and Yang-Mills theory', Math. Proc. Camb. Phil. Soc. 91 (1982) 441-452. 4. 'Harmonic diffeomorphisms of surfaces', Harmonic Maps Proc. Tulane, Lecture Notes in Math. 949 (Springer, Berlin, 1982), pp. 140-145. 5. 'The stress-energy tensor and the vanishing of L'2 harmonic forms', preprint. J. SHATAH
1. 'Weak solutions and development of singularities of the SU(2) a-model', Comm. Pure Appl. Math. 41 (1988) 459-469.
C.-L. SEEN
1. 'A generalization of the Schwarz-Ahlfors lemma to the theory of harmonic maps', J. Reine Angew. Math. 348 (1984) 23-33.
204
520
J. EELLS AND L. LEMAIRE
K. SHIBATA
1. 'On the existence of a harmonic mapping', Osaka Math. J. 15 (1963) 173-211. K. SHIGA
1. 'On holomorphic extension from the boundary', Nagoya Math. J. 42 (1971) 57-66. M. SHIFFMAN
1. 'The Plateau problem for minimal surfaces of arbitrary topological structure', Amer. J. Math. 61 (1939) 853-882.
2. 'The Plateau problem for non-relative minima', Ann. of Math. 40 (1939) 834-854. 3. 'Unstable minimal surfaces with several boundaries', Ann. of Math. 43 (1942) 197-222. A. AA SILVEIRA
1. 'Stability of complete noncompact surfaces with constant mean curvature', Math. Ann. 277 (1987) 629-638. L. SIMON
1. 'Asymptotics for a class of non-linear evolution equations, with applications to geometric problems', Ann. of Math. 118 (1983) 525-571.
2. 'Isolated singularities for extrema of geometric variational problems', Proc. Cent. Math. Austr. Nat. Univ. 8 (1984) 46-50.
3. 'Isolated singularities of extrema of geometric variational problems', Harmonic Maps and Minimal Immersions (Montecatini 1984), Lecture Notes in Math. 1161 (Springer, Berlin, 1985), pp. 206-277. L. SIMON and F. R. SMITH
1. 'On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary metric', preprint. J. Si.' o\s
1. 'Minimal varieties in Riemannian manifolds', Ann. of Math. 88 (1968) 62-105. I. M. SINGER
1. 'Infinitesimally homogeneous spaces', Comm. Pure Appl. Math. 13 (1960) 685-697. Y.-T. Siu 1. 'Some remarks on the complex analyticity of harmonic maps', Southeast Asian Bull. Math. 3 (1979) 240-253.
2. 'The complex-analyticity of harmonic maps and the strong rigidity of compact Kahler manifolds', Ann.
of Math. 112(1980)73-Ill. 3. 'Curvature characterization of the hyperquadrics', Duke Math. J. 47 (1980) 641-654. 4. 'Strong rigidity of compact quotients of exceptional bounded symmetric domains', Duke Math. J. 48 (1981) 857-871.
5. 'Complex-analyticity of harmonic maps, vanishing and Lefschetz theorems', J. Dii f. Geom. 17 (1982)
55-138. Y: T. Stu and S: T. YAU 1. 'Complete Kahler manifolds with nonpositive curvature of faster than quadratic decay', Ann. of Math. 105 (1977) 225-264. 2, 'Compact Kahler manifolds of positive bisectional curvature', Invent. Math. 59 (1980) 189-204. S. SMALE
1. 'On the Morse index theorem', J. Math. Mech. 14 (1965) 1049-1055. F. R SMITH
1. 'On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary metric', thesis. University of Melbourne, 1982. R. T. SMITH
1. 'Harmonic mappings of spheres', Amer. J. Math. 97 (1975) 364-385. The second variation formula for harmonic mappings', Proc. Amer. Math. Soc. 47 (1975) 229-236.
2.
B. SMYTH
1. 'Stationary minimal surfaces with boundary on a simplex, Invent. Math. 76 (1984) 411-420. 2. 'The geometry of bounded solutions of the sinh-Gordon equation', preprint. B. SOLOMON
1. 'Harmonic maps to spheres', J. Dii f. Geom. 21 (1985) 151-162. E. SPERNER
1. 'A priori gradient estimates for harmonic mappings', preprint, University of Bonn, 1982. M. STRUWE
1. 'On a free boundary problem for minimal surfaces', Invent. Math. 75 (1984) 547-560. 2. 'On a critical point theory for minimal surfaces spanning a wire in R", J. Reine Angew. Math. 349 (1984) 1-23.
205
ANOTHER REPORT ON HARMONIC MAPS
521
3. 'On the evolution of harmonic mappings of Riemannian surfaces', Comment. Math. Hely. 60 (1985) 558-581.
4. 'Nonuniqueness in the Plateau problem for surfaces of constant mean curvature', Arch. Rat. Mech. Anal. 93 (1986) 135-157. 5. 'A Morse theory for annulus-type minimal surfaces', preprint. 6. 'The existence of surfaces of constant mean curvature with free boundaries', preprint. D. SULLIVAN
1. 'The Dirichlet problem at infinity for a negatively curved manifold', J. Dif, Geom. 18 (1983) 723-732. T. SUNADA
1. 'Rigidity of certain harmonic mappings', Invent. Math. 51 (1979) 297-307. 0. SUZUKI
1. 'Theorems on holomorphic bisectional curvature and pseudoconvexity on Kahler manifolds', Lecture Notes in Math. 798 (Springer, Berlin, 1980), pp. 412-428. 2. 'Pseudoconvexity and holomorphic bisectional curvature on Kahler manifolds', preprint. A. TACHIKAWA
1. 'Rotationally symmetric harmonic maps from a ball into a warped product manifold', Manuscripta Math. 53 (1985) 235-254. 2. 'A regularity theorem for harmonic mappings', J. Reine'Angew. Math. 377 (1987) 1-11. R. TAKAGI and T. TAKAHASHI
1. 'On the principal curvatures of homogeneous hypersurfaces in a sphere', Differential Geometry (in honour of K. Yano) (Kinokuniya, Tokyo, 1972), pp 469-481. K. TAKEGOSHI
1. 'A non-existence theorem for pluriharmonic maps of finite energy', Math. Z. 192 (1986) 21-27. D. TOLEDO
1. 'Bounded harmonic functions on coverings', preprint, University of Utah, 1987. P. TOLKSDORF
1. 'A strong maximum principle and regularity for harmonic mappings', preprint. 2. 'A parametric variational principle for minimal surfaces of varying topological type', J. Reine Angew. Math. 354 (1984) 16-49. 3. 'On minimal surfaces with free boundaries in given homotopy classes', Ann. Inst. H. Poincare, Anal. Non Lin. 2 (1985) 157-165. P. TOMTER
1. 'The spherical Bernstein problem in even dimensions', Bull. Amer. Math. Soc. 11 (1984) 183-185. 2. 'The spherical Bernstein problem in even dimensions and related problems', Acta Math. 158 (1987) 189-212. G. TOTH
1. 'On rigidity of harmonic mappings into spheres', J. London Math. Soc. 26 (1982) 475-486. 2. Harmonic and minimal maps with applications in geometry and physics (E. Horwood, 1984). 3. 'Moduli spaces of harmonic maps between complex projective spaces', preprint, University of Rutgers, 1987.
4. 'On classification of orthogonal multiplication a la do Carmo-Wallach', Geom. Dedicata 22 (1987) 251-254.
5. 'Construction des applications harmoniques non rigides d'un tore dans la sphere', Ann. Global Anal. Geom. 1 (1983) 105-118. A. J. TROMBA
1. 'A new proof that Teichmiiller space is a complex Stein manifold', preprint, Max Planck Inst., 1987. 2. 'Dirichlet's energy and the Nielsen realization problem', preprint, Max Planck Inst., 1987. H. Tsun 1. 'Harmonic maps into noncompact Kahler manifolds', preprint. K.TSUKADA
1. 'Isotropic minimal immersions of spheres into spheres', J. Math. Soc. Japan 35 (1983) 355-379. A. V. TYRIN
1. 'The property of absence of local minima in the multidimensional Dirichlet functional', Uspehi. Max. Nauk 39, no 2 (1984) 193-194. 2. 'Critical points of the multidimensional Dirichlet functional', Mat. Sb. 124 (166) (1984) 146-158 (Russian); English translation, Math. USSR Sb. 52 (1985) no. 1, 141-153. S. UDAGAWA
1. 'Minimal immersions of Kahler manifolds in complex space forms', Tokyo J. Math. 10 (1987) 227-239.
206
J. EELLS AND L. LEMAIRE
522
2. 'Pluriharmonic maps and minimal immersions of Kahler manifolds', J. London Math. Soc. 37 (1988) 375-384. 3. 'Holomorphicity of certain stable harmonic maps and minimal immersions', preprint. K. UHLENBECK
1. 'Regularity for a class of non-linear elliptic systems', Acia Math 138 (1977) 219-240. 2. 'Morse theory by perturbation methods with applications to harmonic maps', Trans. Amer. Math. Soc. 267 (1981) 569-583.
3. 'Closed minimal hypersurfaces in hyperbolic manifolds', Sem. Minimal Submanifolds, Ann. of Math. Studies 103 (E. Bombieri, ed., Princeton University Press, 1983), pp. 147-168. 4. 'Minimal spheres and other conformal variational problems', Sem. Minimal Submanifolds, Ann. of Math. Studies 103 (E. Bombieri, ed., Princeton University Press, 1983), pp. 169-176. 5. 'Harmonic maps into Lie groups (Classical solutions of the chiral model)', preprint, University of Chicago, 1985; revised version, 1988. H. URAKAWA
1. 'Stability of harmonic maps and eigenvalues of the Laplacian', Trans. Amer. Math. Soc. 301 (1987) 557-589.
2. 'Spectral geometry of the second variation operator of harmonic maps', Illinois J. Math., to appear G. VALLI
1. 'On the energy spectrum of harmonic 2-spheres in unitary groups', Topology 27 (1988) 129-136. 2. 'Some remarks on geodesics in gauge groups and harmonic maps', J. Geom. Physics, to appear. 3. 'Harmonic gauges on Riemann surfaces and stable bundles', preprint, University of Warwick, 1987. J.-L. VERDIER
1. 'Two dimensional a-models and harmonic maps from S2 to S2n', Lecture Notes in Phys. 180 (Springer, Berlin, 1982), pp. 136-141.
2. 'Applications harmoniques de S' dans S. I', Birkhduser Math. Series 60, 267-282. J. Vtr MS
1. 'Connections on tangent bundles', J. Diff. Geom. 1 (1967) 235-243. 2. 'Totally geodesic maps', J. Diff. . Geom. 4 (1970) 73-79. W. VON WAHL
1. 'Klassische Losbarkeit im Grossen fur nichtlineare parabolische Systeme and das Verhalten der Losungen fur t-+ co', Nach. Akad. Wiss. Gott. 5 (1981) 131-177. Q.-M. WANG
1. 'Isoparametric functions on Riemannian manifolds I', Math. Ann. 277 (1987) 639-646. 2. 'On totally geodesic spheres in Grassmannians and 0(n)', preprint, Acad. Sinica, 1987. S. M. WEBSt'ER
1. 'Minimal surfaces in a Kahler surface', J. Diff. Geom. 20 (1984) 463-470. S. W. WEI
1. 'Liouville theorems for stable harmonic maps into either strongly unstable, or 6-pinched, manifolds', Proc. Sympos. Pure Math. 44 (1986) 405-412.
2. 'Liouville theorems and regularity of minimizing harmonic maps into super-strongly unstable manifolds', preprint. H. C. WENTE
1. 'Counterexample to a conjecture of H. Hopf', Pacific J. Math. 121 (1986) 193-243. 2. 'Twisted tori with constant mean curvature in R', preprint. B. WHITE
1. 'Existence of least-area mappings of N-dimensional domains', Ann. of Math. 118 (1983) 179-185.
2. 'Regularity of area-minimizing hypersurfaces at boundaries with multiplicity', Sem. Minimal Submanifolds, Ann. of Math. Studies 103 (E. Bombieri, ed., Princeton University Press, 1983), pp. 293-301. 3. 'Mappings that minimize area in their homotopy classes', J. Dii f Geom. 20 (1984) 433-446. 4. 'Homotopy classes in Sobolev spaces and energy minimizing maps', Bull. Amer. Math. Soc. 13 (1985) 166-168.
5. 'Infima of energy functionals in homotopy classes of mappings', J. Dii f. Geom. 23 (1986) 127-142. J. WOLF
1. 'The action of a real semisimple group on a complex flag manifold I: Orbit structure and holomorphic arc components', Bull. Amer. Math. Soc. 75 (1969) 1121-1237. M. WOLF
1. 'The Teichmiiller theory of harmonic maps', thesis, Stanford University, 1986. J. C. WOLFSON
1. 'On minimal surfaces in Kahler manifolds of constant holomorphic sectional curvature', Trans. Amer. Math. Soc. 290 (1985) 627-646.
207
ANOTHER REPORT ON HARMONIC MAPS
523
2. 'Harmonic maps of the two-sphere into the complex hyperquadric', J. Diff. Geom. 24 (1986) 141-152.
3. 'Harmonic sequences and harmonic maps of surfaces into complex Grassman manifolds', J. Diff. Geom. 27 (1988) 161-178. S. WOLPERT
1. 'Non-completeness of the Weil-Petersson metric for Teichmiiller space', Pacific J. Math. 61 (1975) 573-577.
2. 'Chern forms and the Riemann tensor for the moduli space of curves', Invent. Math. 85 (1986) 119-145.
3. 'Geodesic length functions and the Nielsen problem', J Diif. Geom. 25 (1987) 275-296. C. M. WOOD
1. 'Some energy related functionals and their vertical variational theory', thesis, University of Warwick, 1982.
2. 'The Gauss section of a Riemannian immersion', J. London Math. Soc. 33 (1986) 157-168. 3. 'Harmonic sections and Yang-Mills fields', Proc. London. Math. Soc. 54 (1987) 544-558. J. C. WOOD
1. 'Holomorphicity of certain harmonic maps from a surface to complex projective n-space', J. London Math. Soc. (2) 20 (1979) 137-142. 2. 'Non existence of solutions to certain Dirichlet problems for harmonic maps. I', preprint, University of Leeds, 1981.
3. 'Harmonic morphisms, foliations and Gauss maps', Conternp. Math. 49 (1986) 145-184.
4. 'The Gauss map of a harmonic morphism', Differential Geometry, Research Notes in Math. 131 (Pitman, 1985), pp. 149-155.
5. 'Twistor constructions for harmonic maps', Differential Geometry and Differential Equations (Proceedings, Shanghai, 1985), Lecture Notes in Math. 1255 (Springer, Berlin, 1987), pp. 130-159. 6. 'The explicit construction and parametrization of all harmonic maps from the two-sphere to a complex Grassmannian', J. Reine Angew. Math. 386 (1988) 1-31.
7. 'Explicit construction and parametrization of harmonic two-spheres in the unitary group', Proc. London Math Soc., to appear. R. WooD
1. 'A note on polynomial maps of spheres', Invent. Math. 5 (1968) 163-168.
H.H Wu 1. The Bochner technique in differential geometry (E. Horwood, London, 1987). F. O. XAVIER
1. 'The Gauss map of complete non-flat minimal surfaces cannot omit 7 points of the sphere', Ann. of Math. 113 (1981) 211-214. Y. L. XIN
1. 'Some results on stable harmonic maps', Duke Math. J. 47 (1980) 609-613.
2. 'Topology of certain submanifolds in the Euclidean sphere', Proc. Amer. Math. Soc. 82 (1981) 643-648.
3. 'Non-existence and existence for harmonic maps in Riemannian manifolds', Proc. 1981 Shanghai-Hefei Sympos. Diff. Geom. Diff. Eq. (Sci. Press, Beijing, 1984), pp. 529-538 4. 'Regularity of harmonic maps into certain homogeneous spaces', preprint.
5. 'Liouville type theorems and regularity of harmonic maps', Differential Geometry and Differential Equations (Proceedings, Shanghai, 1985), Lecture Notes in Math. 1255 (Springer, Berlin, 1987), pp. 199-208. 6. 'An estimate for the image diameter and its application to submanifolds with parallel mean curvature', Acta Math. Sci 5 (1985) 303-308. 7. 'Stable harmonic maps from complete manifolds', preprint, I.C.T.P., 1986. S. T. YAu
1. 'A general Schwarz lemma for Kahler manifolds', Amer. J. Math. 100 (1978) 197-203.
2. 'Harmonic functions on complete Riemannian manifolds', Comm. Pure Appl. Math. 28 (1975) 201-228.
3. 'Some function-theoretic properties of complete Riemannian manifolds and their applications to geometry', Indiana Univ. Math. J. 25 (1976) 659-670. 4. 'Survey on partial differential equations in differential geometry', Ann. of Math. Studies 102 (1982) 3-71. K. YANG and S. KOBAYASHI
1. 'Prolongations of tensor fields and connections to tangent bundles I: general theory', J. Math. Soc. Japan 18 (1966) 195-210.
208
524
J. EELLS AND L. LEMAIRE
R. YE
1. 'Uber die Existenz, Regularitat and Endlichkeit von Minimalflachen mit freiem Rand', preprint, University of Bonn. 2. 'Regularity of a minimal surface at its free boundary', preprint P. Y. H.
1. 'Quadratic forms between spheres and the non-existence of sums of squares formulae', Math. Proc. Camb. Phil. Soc. 100 (1986) 493-504. Q: H. Yu 1. 'Bounded harmonic maps', Acta Math. Sinica 1 (1985) 16-21. V. E. ZAKHAROV and A. V. MIKHAIIAV
1. 'Relativistically invariant two dimensional models of field theory which are integrable by means of the inverse scattering problem method', Sov. Phys. J.E.T.P. 47 (1978) 1017-1027. V. E. ZAKHAROV and A. B. SHABAT
1. 'Integration of nonlinear equations of mathematical physics by the method of inverse scattering II', Functional Anal. Appl. 13 (1979) 166-174. J.-Q. ZHONG
1. 'The degree of strong nondegeneracy of the bisectional curvature of exceptional bounded symmetric domains', Proc. Internat. Conj. Several Complex Variables Hangzhore (Birkhauser, 1984), pp. 127-140.
Mathematics Institute University of Warwick Coventry CV4 7AL and I.C.T.P. P.O. Box 586 Miramare 34100 Trieste Italy
C.P. 218 Campus Plaine Universite Libre de Bruxelles Bd. du Triomphe 1050 Bruxelles Belgium
209
NOT ANOTHER REPORT ON HARMONIC MAPS J. EELLS AND L. LEMAIRE
In this brief supplement we describe some recent progress on problems raised in the text. We stress that we do not aim at covering all new results in the field. 1. [Jin, Kazdan] have produced a smooth Riemannian metric g on 1R3 and a smooth harmonic map 0: (]R3, g) --, ]R with rank 2 on a half space and rank 3 on its complement. This answers negatively a question of I (3.18) when g is not analytic. 2. Concerning the evolution of maps between compact Riemannian manifolds
by the heat equation (I (6.3) and II (3.40)), [Coron, Ghidagliaj and [Ding] have given examples of explosion in finite time. A large class of such examples follows from this result of [Chen, Ding]: Let (M, g) and (N, h) be compact manifolds with m > 3 where m = dim M and
71 a homotopy class of maps from M to N with inf Ejx = 0. There is an e > 0 such that for ¢o E 71 with E(00) < e, the evolution of 00 explodes in finite time. Quite surprisingly, [Chang, Ding, Ye] have shown that explosion in finite time also occurs for m = 2. In all dimensions m > 2 such examples occur for maps to Euclidean spheres. 3. [Eells, Ferreira] have established the following rendering theorem (1 (11.9), II (5.7)): Let (M, g) and (N, h) be compact manifolds and 71 a homotopy class of maps
from M to N. If m 54 2, then there exists a map 0 E 7i and a smooth metric g` conformally equivalent to g on M such that 0: (M, g") -+ (N, h) is harmonic. The same applies to the Dirichlet problem, when M has a boundary. I (11.9), (12.6) and II (5.8) show that the case m = 2 is completely different, and not yet fully understood for n > 3. 4.
II (3.2)-(3.4) has been completed by [Bethuel]: Let (M, g) and (N, h) be
compact.
If 1 < p < m, then C°°(M, N) is dense in ,CP(M, N) if and only if
7r[p](N) = 0, where [p] is the largest integer smaller than or equal to p. 5. Morrey's regularity theorem for surfaces (1 (10.12), II (3.19)) has been extended by [Helein] to the case of weakly harmonic maps which are not necessarily E-minimising as follows: Let (M, g) and (N, h) be compact manifolds with m = 2 and E ,C1(M, N) a weakly harmonic map. Then ¢ is smooth and therefore harmonic. (Compare II (3.43)). Combining this theorem with 11 (3.46) yields the following generalisation of the removable singularity theorem of Sacks-Uhlenbeck (I (10.15)): If A is a polar subset of M and 0 E G?(M, N) a weakly harmonic map on M \A with in = 2, then 0 is smooth and harmonic on M. On the other hand, the results of Schoen-Uhlenbeck and Giaquinta-Giusti restricting the dimension of the singular set of E-minimising maps in higher dimensions (II (3.21)) will not extend to weakly harmonic maps. Indeed, [Riviere]
210
has announced the existence of weakly harmonic maps 0: D3 _ S2 with 8,0 = D3. 6. There are many harmonic maps from 1R2 to the real hyperbolic plane H2 which have rank 2 almost everywhere. [Choi, Treibergs]. They arise as Gauss maps of certain spacelike surfaces in R1 2 with constant mean curvature. References
F. Bethuel, "Approximation dans des espaces de Sobolev entre deux varietes et groupes d'homotopie", C. R. Acad. Sci. Paris 1, 307 (1988), 293-296. "Densite des fonctions regulieres dans des espaces de Sobolev", These, Univ. de Paris-Sud (1989).
K. C. Chang, W.-Y. Ding and R. Ye, "Finite-time blow-up of the heat flow of harmonic maps from surfaces", J. Diff. Geom., 36 (1992), 507-515. Y.-M. Chen and W.-Y. Ding, "Blow-up and global existence for heat flows of harmonic maps", Invent. Math., 99 (1990), 567-578. H.-I. Choi and A. Treibergs, "Gauss maps of spacelike constant mean curvature hypersurfaces of Minkowski space, J. Diff. Geom., 32 (1990), 775-817. J.-M. Coron and J.-M. Ghidaglia, "Explosion en temps fini pour le flot des applications harmoniques", C. R. Acad. Sci. Paris I, 308 (1989), 339-344. W: Y. Ding, "Blow-up of solutions of heat flows for harmonic maps", Chinese Adv. Math., 19 (1990), 80-92. J. Eells and M. J. Ferreira, "On representing homotopy classes by harmonic maps", Bull. London Math. Soc., 23 (1991), 160-162. F. Helein, "Regularite des applications faiblement harmoniques entre une surface et une variete riemannienne", C. R. Acad. Sci. Paris I, 312 (1991), 591-596. Z. Jin and J. Kazdan, "On the rank of harmonic maps", Math. Z., 207 (1991), 535-537. T. Riviere, "Applications harmoniques de B3 dans S2 partout discontinues", C. R. Acad. Sci. Paris I, 314 (1992), 719-723.
211
INDEX Albanese map, Albanese torus I (7.2), (9.8) Algebraic manifold I (9.7) Almost complex structure I (9.4) II (4.1) (5.23) (7.5) Almost linear function 11(3.13) Andreotti-Frankel conjecture 11(4.29) A priori estimates II (3.12) (12.12) rth associated map I1(7.46) Bernstein problem II (11.83) Birkhoff-Grothendieck theorem 11(4.9) (6.31) (8.18) Blow up I (10. 15) 11 (3,27) (5.3) Boundary 112, 1112 Bounded harmonic function II (11.6) Branched covering 1(9.9) (11.8) Brouwer degree 1(7.4) (11.3) Bubbling off 11(5.3) (5.25)
Canonical lift I1(9.34) q-capacity II (3.45) Casimir operator II (8.58) Category 11(12.33) Cauchy problem II (11.84) Centre of mass 11 (10.49) Cheeger constant 11(11.80) Circle action II (9.42) Clifford algebra 11(10.7) (10.11) Complete lift II (7.12) Complex analytic subvariety 11 (4.17) Complex isotropic map 11(7.24) Complex Laplacian 1(9.23) Complex structure I (9.1) 11 (4.1) Complex variation 11(4.24) (6.29) Composition properties 1(4.1) Condition C 1(6.17) (10.14) Conformal map 1(10.2) Connection I (2.4) Constant function 1I (11.1) Constant map I (3.6) (12.6)11(7.16) (12.4) (12.22) Convex boundary I (12.13)11(12.1) Convex function 1(4.4) I1(2.13) (3.31) Convex supporting domain I (4.4) I1(3.31) Cosymplectic 11(4.3) Coulomb gauge field II (8.45) Covariant derivative 1(2.4) CR map II (4.48) Curvature 1(2.5) Curvature on totally isotropic planes 11 (6.29) (6.45) Curvature operator 11(6.28)
212
Damping condition I (8.7) II (10.28) (10.36) Dehn's lemma I (12.8) II (12.59) Delaunay surfaces I (11.7) Dependence on the boundary values I (12.15) Dependence on the metric II (2.18) Dilatation I (5.9) II (11.49) Dirichlet problem I (12.2) 11 (12.2) (12.78) Disc II (12.4) (12.22)
Eiconal I (8.5) Eigenmap I (8.1) II (10.3) Ellipsoid I1(10.40) Energy I (3.4) II (2.5) (10.48) (10.51) Equivariant map I (4.17) (11.8) II (10.16) (10.24) (12.25) Euler-Lagrange operator I (3.7) (6.19) II (2.8) Existence of harmonic maps I (5.3) (5.4) (6.17) (8.7) (10.9) (10.17) (11.8) (12.5) (12.9) (12.11) I1(3.30) (5.2) (5.6) (10.25) (10.32) (11.20) (11.27) (11.40) (11.85) (12.5) (12.33) (12.50) (12.55) (12.68) (12.72) Extension theorem I (10.15), III (5) Factorisation of maps II (8.18) Finite energy I (5.4) II (11.11) (11.41) Finiteness results I (5.12) (9.13) II (3.55) First fundamental form I (3.1) Flag manifold II (7.65) (9.10) Flat manifold 17 Focal variety II (10.14) Fr6chet curve II (12.44) Fredholm structure II (9.17) Free boundary problem II (12.65)
Gauss-Bonnet estimate I (11.11) Gauss bundle II (8.26) Gauss map I (7.4) (9.7) II (2.35) (10.61) (11.69) Geodesic I (3.9) (6.17) (10.11) Geodesically small disc I (12.9) II (3.14) (1, 1)-geodesic map II (4.43) Graph II (11.75) (12.78) Grassmann bundle II (7.43) Grassmannian I (7.4) II (8.22) (8.32) Group action on a 3-manifold II (12.63) Group action on a torus II (11.22) Growth condition I (5.2) II (11.25) Hamiltonian flow II (9.21) Harmonic coordinates II (3.17) Harmonic diffeomorphism 1 (5.8) (12.14) II (5.10) (11.17) (12.36) Harmonic function I (3.2) (3.6) 11 (11.1) Harmonic map I (3.2) f-harmonic map I (10.20) Harmonic morphism I (4.12) I1(2.30) (7.77) (11.52) Harmonic polynomial I (8.1) I1(10.4) Harmonic reflection 11 (2.38)
213 Harmonic section II (2.39) (8.13) Harmonic sequence 11(8.26) Harmonic variation II (6.21) Hausdorff dimension I1(3.20) (3.27) Heat equation, heat flow 1(6.2) (12.11) II (3.39) (4.30) III (2) Hemisphere II (12.14) Hermitian structure I (9.3) (9.23) Hessian I (3.8) II (2.14) (4.24) 6 (9.44) Holomorphic bisectional curvature I (9.5) (9.14) (9.26) II (4.24) (4.29) (11.54) Holomorphic bundle II (4.6) (4.9) Holomorphic curve II (5.23) Holomorphic function 11 (11.13) Holomorphic map 19 (9.5) (9.11) (12.17) II (4.3) (4.34) (5.23) (11.54) (12.32) (12.37) Holomorphic quadratic differential I (10.5) I1(4.18) Holomorphic sectional curvature 1(9.5) II (4.35) Homomorphism II (8.56) Hopf construction 1(8.4) II (10.5) (10.36) (10.40) Horizontal map II (7.17) (7.28) Horizontally conformal map 1(4.12) II (2.30) Hurwitz's formula I (9.9) q-hyperconvex boundary II (4.32) Identity map II (6.2) Index of a map I (3.8) (3.11) H (2.14) (4.27) (6.9) (6.31) (6.36) (6.48) Instanton II (9.46) Irreducibility condition I1(12.49) Isoparametric hypersurface I (8.5) II (10.8) Isoperimetric inequality 11(11.79) Jacobi field I (3.8) II (2.14) (9.45) Jacobi spectrum II (6.13)
J1,J21I(7.3)(7.27) J-homomorphism II (10.39) J(N) II (7.2) Join I (8.7) I1(10.19) Jordan curve II (12.44)
Kahler angle = e'(0) - e"(O) I (9.17) K91er form 1( 9 . 3 )1 1( 4 .1 )
Kahler structure I (9.5) I1(9.1) (9.12) Koszul-Malgrange structure I1(4.6) (8.23) K(¢) I (9.17)
Gig 1(10.10)11(3.1) Laplacian I (2.16) Lax form II (9.20) Lie group II (8.2) Liouville theorem II (11.6) (11.32) (11.41) Liquid crystal II (12.31) Loop space II 9 Loop theorem II (12.72) Lorentzian manifold 11(7.67) (11.84)
214
2-manifold 110, 11, 11 5 (12.8) (12.32) III (6) 3-manifold II (3.35) (6.23) (12.9) (12.63) 4-manifold II (7.12) Maximum principle I (3.17) II (11.28) (12.10) (12.13) Mean curvature field I (2.21) II (2.21) Mean curvature (constant, parallel) II (2.21) Mean curvature (surface of constant) II (5.26) (11.70) Minimal branched immersion I (10.5) (10.18) (12.7) II (5.17) Minimal embedding I (12.8) II (5.35) (10.53) (12.59) Minimal graph II (11.75) (12.78) Minimal immersion II (2.21) (10.52) Minimal map I (12.7) II (5.17) (12.44) Minimal surface II (5.19) (5.23) (11.59) (12.44) Minima of the energy II (2.5) Minimax procedure II (5.22) (10.31) (11.67) (12.55) Minimising tangent map II (3.27) (11.20) Mixed problem I (12.13) Moment map II (8.45) Monotonicity inequality II (3.22) Morrey's growth lemma II (3.24) Morse index 11 (6.18)
Negative definite of level k tensor II (4.10) Neumann problem I (12.13) II (12.8) Non-compact domain 1( 5 . 4 )1 1 1 1 Non-existence of harmonic map 1(11.6) (11.10) (12.6) II (11.42) (11.85) (12.17) (12.22) (12.27) Non-positive curvature 15 (12.11) II (3.52) Nullity of a map 1 (3.8) 11 (2.14) Orthogonal multiplication I (4.16) (8.4) II (10.5) Partial regularity II (3.21) (3.27) Pendulum equation I (8.9) II (10.23) Penrose programme II (7.19) Perturbed energy 1(6.17) (10.14) II (5.3) Petersson-Weil II (5.56) Pinching theorem 11(6.34) (6.37) Pluriharmonic = (1,1)-geodesic q-plurisubharmonic map II (4.32) (5.56) q-polar set II (3.45) Polyharmonic map I (6.29) Polynomial map 1(8.1) II (10.4) Projective space II (7.47) (8.37) Pseudo-convex domain 11 (12.42)
Quadric bundle II (7.27) Q(N) II (7.27) Rank of a map I (3.18) II (4.38) (4.40) 111 (1) (6) Real isotropic map II (7.7) Reduction theorem I (4.18) II (10.16) Reflection principle I (3.19) (10.8) Regularity 1 (3.3) (3.5) (6.18) (10.12) (12.10) 11 (3.10) (3.21) (3.27) (3.44) (12.3) 111 (5)
215
Rendering problem I (11.9) II (5.7) (10.41) III (3) Riemannian structure I (2.9) Riemannian submersion I (4.7) Riemann surface 1( 1 0 . 4 )1 1( 4 .1 ) Rigidity of Kahler manifolds 11(4.13) Scalar curvature II (6.23) (11.65) Scaling II (3.22) Second fundamental form I (3.1) II (2.8) Second variation I (3.8) II (2.14) (4.24) 6 (9.44) Self duality II (7.4) (7.22) (8.14) Sine-Gordon, Sinh-Gordon equation 11(10.20) Singularities of harmonic maps 1(11.12) (12.10)1I (3.45) (12.21) Small range I (12.9) Space form 11(4.39) Space of maps 1(6.14)1I (3.1)11I (4) Spectral analysis II (6.13) Spectral curve II (8.12) Sphere 18,1110 (12.19) 2-sphere I (10.17) II (5.3) 3-sphere II (8.12) Sphere theorem H (6.33) E-stable, V-stable map II (6.1) (6.26) (6.38) (6.46) (8.8) (11.64) (11.73) Stein manifold I (9.6) II (5.56) (11.16) Stochastic interpretation II (2.43) Stress-energy tensor II (2.25) String 11 (7.67)
Strongly negative curvature II (4.10) (4.40) (5.53) (12.39) Subharmonic function 1(2.18) II (2.13) (4.32) Superminimal II (7.19) Surface 110, 1 1 ,1 1 5 (12.8) (12.32) III (6) Surface of type (p, k) II (12.45) Suspension 1(8.7) II (10.30) Symmetric space II (7.35) (1, 2)-symplectic 11 (4.3)
Tangential Cauchy-Riemann equation I (12.17) II (12.38) Teichmuller theory I (11. 15) 11 (5.46) Tension field I (3.2) Toeplitz operator 11 (9.16) Total absolute curvature II (11.68) Totally geodesic map I (3.1) (3.14) II (2.11) (8.51) (9.41) (10.7) (10.12) Totally geodesic submersion I (4.8) Totally isotropic subspace II (6.30) Twistor degree 11 (7.53) Twistor fibration 11 7 (9.27) (9.41) Umbilic immersion II (7.18) (7.32) Uniformity condition I (12.5) II (11.24) Unique continuation I (3.16) Uniqueness I (5.6) (12.9) II (12.10) Unitary group II (8.15)
216
Variation I (3.7) Variational densities I (6.24) Vector bundle 12 Volume density I (6.27) II (2.21) Warped product I (5.1) (6.13) (10.19) II (3.37) (3.41) Weakly conformal map 1(10.2) Weakly harmonic map 11 (3.7) (3.10) 111 (5) Weierstrass formula II (5.28) (7.61) Weitzenbock formula I (2.17) (9.24) Willmore surfaces II (10.64)
2088 he
ISBN 981-02-1466-9