arxiv: v1 [math.dg] 13 Nov 2013

Transcription

1 HOMOTOPY CLASSES OF HARMONIC MAPS OF THE STRATIFIED 2-SPHERES AND APPLICATIONS TO GEOMETRIC FLOWS JINGYI CHEN AND YUXIANG LI axiv: v1 [math.dg] 13 Nov 2013 Abstact. We show that the set of hamonic maps fom the 2-dimensional statified sphees with unifomly bounded enegies contains only finitely many homotopy classes. We apply this esult to constuct infinitely many hamonic map flows and mean cuvatue flows of 2-sphee in the connected sum of two closed 3-dimensional manifolds M 1 S 3 and M 2 S 3, RP 3, which must develop finite time singulaity. 1. Intoduction The fundamental existence esult [12] of Sacs-Uhlenbec assets that thee exists a set of fee homotopy classes of maps fom S 2 to a compact manifold N so that the elements in these classes fom a geneating set fo π 2 (N) acted on by π 1 (N) and each class contains a minimizing hamonic map S 2 N. This can be used to show that thee ae only finitely many distinct fee homotopy classes in π 2 (N) which ae epesentable by maps in W 1,2 (S 2, N) with enegies stay below a given positive constant [13]. Fo homotopy classes, one needs to count contibution of π 1 (N) by fixing a base point, and the set {f W 1,2 (S 2, N) : E(f) < C} whee C is a positive constant and E(f) is the Diichlet enegy of f may contain infinitely many homotopy classes. An example descibing such behavio is fist constucted in [5] and then modified in [7] to the compact setting by mapping a potion of the domain suface to cuves whose lengths go to infinity while the total enegies emain unifomly bounded. Fo hamonic maps, if the domain is a single S 2 and the enegies ae unifomly bounded, it follows fom Pae s bubble tee convegence theoem [8] that the limiting map (of a subsequence) is fom a statified sphee, i.e. a chain of 2-sphees obtained by pinching finitely many loops on S 2 to points (see definition in Section 2), and consequently thee ae only finitely many homotopy classes fo hamonic maps fom S 2 unde a fixed enegy level. Thee ae inteesting geometic situations, e.g. hamonic map heat flow and mean cuvatue flow, whee we need to conside a sequence of hamonic maps fom statified sphees, possibly diffeent, and study the homotopy of these maps. In this pape we pove: The fist autho acnowledges the patial suppot fom NSERC and wishes to than Tsinghua Univesity whee a pat of this wo was caied out duing his visits. The second autho is patially suppoted by NSFC. Both authos ae gateful to Jiajun Wang fo useful discussion on topology of 3-manifolds. 1

2 2 JINGYI CHEN AND YUXIANG LI Theoem 1.1. Let N be a compact Riemannian manifold without bounday. Then fo any C > 0, the set of hamonic maps fom statified 2-sphees to N with enegies C contains only finitely many homotopy class. To eep tac of the homotopy classes when a sequence of hamonic maps fom (possibly diffeent) statified sphees convege as a bubble tee, we efomulate the constuction of bubble tees [8], [9] and intoduce a nomalization of a statified sphee (see Definition 2.4), which is, oughly, a sujective continuous map fom S 2 to a statified sphee Σ and collapses finitely many multiply connected egions aising fom the blowup points to the singula points of Σ. This pocedue allows us to use the homotopy class of a nomalization to captue the homotopy of a map fom a statified sphee. Thee ae inteesting applications of Theoem 1.1 to geometic flows. In this egad, it is useful to find manifolds which have infinitely many homotopy classes epesentable by mappings fom S 2 with unifomly bounded enegies. In Theoem 5.1, we show that if M 1, M 2 ae closed 3-manifolds and M 1 S 3, M 2 S 3, RP 3 and M = M 1 #M 2 is the connected sum of M 1, M 2 then thee ae infinitely many smooth maps fom S 2 to M with unifomly bounded enegies and ae mutually nonhomotopic. The ey topological esult is Poposition 8.8 deived in Appendix. As applications of Theoem 1.1 and Theoem 5.1, we pove finite time blowup fo the hamonic map flow and the mean cuvatue flow of S 2 in the 3-manifold M above. The fomation of finite time singulaities is due to the topology of M. Fo the hamonic map flow, these new examples and thei constuction ae completely diffeent fom the one in [1] by Chang-Ding-Ye. Theoem 1.2. Let M 1 S 3 and M 2 S 3, RP 3 be closed 3-dimensional Riemannian manifolds and M = M 1 #M 2. Then (A) thee exist infinitely many smooth maps u : S 2 M such that u i, u j ae not homotopic fo any i j, sup E(u ) < and the hamonic map flow that begins at u develops a finite time singulaity. (B) thee exist infinitely many embeddings w : S 2 M such that w i, w j ae nonhomotopic fo any i j with unifomly bounded aea, and the mean cuvatue flow of S 2 initiated at w develops a singulaity in a finite time. To apply Theoem 1.1 in the poof of Theoem 1.2, fo each of the two flows, we need a convegence esult fo a subsequence along the flow with the chosen initial data. It is shown by Qing-Tian in [11] that fo the bubbling of a Palais-Smale sequence fo the Diichlet enegy functional with a unifom L 2 -bound on the tension fields, thee ae no necs between bubbles in the limit. When the domain suface is S 2, the limit is a hamonic map fom a statified 2-dimensional sphee. Hence, absence of hamonic maps fom any statified sphees with enegies less than a given bound C in cetain homotopy classes implies that the hamonic map flow stating fom an initial map with enegy below C in such homotopy classes must develop finite time singulaities, as pointed out aleady in Intoduction of [11]. Fo the mean cuvatue flow, we need to invoe the compactness theoem in [2] to extact a limiting hamonic statified sphee if the flow exists fo all time.

3 HOMOTOPY CLASSES OF HARMONIC MAPS 3 2. Statified Riemann sufaces and thei nomalizations In this section, we intoduce a notion, called nomalization, that povides a systematic way to associate a mapping S 2 Σ, fo any given statified sphee Σ. The nomalization allows us to study homotopy classes of mappings fom (possibly diffeent) statified sphees to a manifold N by using mappings fom a single S 2 to N. Let (M, d) be a connected compact metic space. As in [3], we say M is a statified Riemann suface with singula set P if P M is finite set such that (1) (M\P, d) is a smooth Riemann suface without bounday (possibly disconnected) and d is a smooth metic h = d M\P ; (2) Fo each p P, thee is δ, such that B δ (p) P = {p} and B δ (p)\{p} = m(p) i=1 Ω i, whee 1 < m(p) < +, and each Ω i is topologically a dis with its cente deleted. Moeove, h can be extended on each Ω i to be a smooth metic on the dis. A connected component of M\P is called a component of M. The genus of M is g(m) = χ(m) + 1 (m(p) 1). 2 When g(m) = 0, M is called a statified sphee. A statified sphee can be obtained by shin finitely many disjoint embedded loops in S 2 to points. A continuous map u fom a statified suface M to N hamonic if u is hamonic on each component of M. The map u may be tivial on some components Nomalization of statified sphees. A domain in a smooth sphee is a multiply connected colla if it is topologically the sphee minus open diss D 1,, D fo some positive intege, whee D i D j = fo any i j. We will use the multiply connected collas to descibe the nec egions in blowup analysis. Definition 2.1. Let Σ be a statified sphee with m singula points P = {p 1,, p m }. A continuous sujective map φ : S 2 Σ is called a nomalization of Σ, if thee exist multiply connected collas Ω 1,, Ω m S 2, such that (1) Ω i Ω j =, i j; (2) φ is injective on S 2 \ m (3) φ(ω i ) = p i. i=1 p P Ω i and φ(s 2 \ m Ω i ) P = ; We denote a nomalization by φ : (S 2 ; Ω 1,, Ω m ) (Σ; p 1,, p m ). When m = 0, i.e. P =, Σ is a smooth S 2 and any homeomophism fom S 2 to Σ is a nomalization. The following esult is useful to constuct a nomalization fo a given statified sphee. Lemma 2.2. Let Ω 1,, Ω m be multiply connected collas in S 2 with Ω i Ω j = fo i j. Let f be a continuous map fom S 2 to a statified sphee Σ with singula point set P. If f(ω i ) P fo each i = 1,, m and f is bijective fom S 2 \ m i=1 Ω i to Σ\P, then P has m elements and f : (S 2 ; Ω 1,, Ω m ) (Σ; f(ω 1 ),, f(ω m )) is a nomalization. i=1

4 4 JINGYI CHEN AND YUXIANG LI Ω D 1 D2 φ(d 1 ) φ(d2 ) D 3 φ(d 3 ) Figue 1. An example of nomalization: Ω = S 2 \ 3 =1 D is a multiply connected colla, Σ = φ(d 1 D 2 D 3 ) {p}. Poof. We ague by induction on the numbe of components of Σ. When Σ has only one component, P is empty and the lemma obviously holds. Suppose the esult is valid fo any Σ with 1 components. Now assume S has components. Since Σ is a statified sphee, it has a component S 1 whose topological closue S 1 intesects P only at one point p. By assumption, f 1 is bijective fom the topological dis S 1 \{p} = S 1 to its image U = f 1 (S 1 ), so U is a topological dis. Without loss of geneality, we assume Ω m f 1 (p). Since f is bijective fom S 2 \ Ω i to Σ\P, we have U S 2 \ Ω i and U Ω m. Set Σ = (Σ\S 1 ) {p}. Clealy, Σ is a statified sphee with m 1 components and let P be its singula set. If p is not in P, then Ω m is an annulus, and Ω m U is a dis. Since U Ω m does not intesect Ω i fo any i < m, we can tae a dis type neighbouhood V of U Ω m in S 2, such that V does not intesect Ω i fo any i < m. Then we can extend f S 2 \V to a map f : S 2 Σ such that f S 2 \V = f and f is bijective fom V onto the dis f(v \U) {p}. Then f is bijective fom S 2 \ m 1 i=1 Ω i to Σ \P. By the induction hypothesis, Σ has exact m 1 singula points p 1,, p m 1, and we may assume f (Ω i ) = f(ω i ) = p i fo i < m. Hence f : (S 2 ; Ω 1,, Ω m ) (Σ; p 1,, p m 1, p) is a nomalization of Σ. If p is a singula point of Σ, then Ω m = D\ m i=1 D i with m > 1, whee D, D 1,, D m ae diss in S 2 and D i D j = if i j (equivalently, Ω m is S 2 with at least 3 nonintesecting diss emoved). Note U is one of the D i s. Define Ω m = Ω m U and f (x) = { f(x) x / U p x U. Then f is bijective fom S 2 \( m 1 i=1 Ω i Ω m) to Σ \P. By the induction hypothesis, Σ has exact m 1 singula points p 1,, p m 1 except p, and we may assume f (Ω i ) = f(ω i ) = p i. Hence f : (S 2 ; Ω 1,, Ω m ) (Σ; p 1,, p m 1, p) is a nomalization of Σ. Now the induction is complete. Fo a given statified sphee, its nomalization is unique up to homeomophisms: Lemma 2.3. Let Σ be a statified sphee with P = {p 1,, p m } and let φ : (S 2 ; Ω 1,, Ω m ) (Σ; p 1,, p m ) and φ : (S 2 ; Ω 1,, Ω m) (Σ; p 1,, p m ) be two nomalizations of Σ. Then thee is a homeomophism ψ : S 2 S 2 such that φ = φ ψ.

5 HOMOTOPY CLASSES OF HARMONIC MAPS 5 Poof. We will ague by induction on the numbe m. The lemma obviously holds when m = 0 as both φ, φ ae homeomophisms fom S 2 to S 2, and assume it also holds fo all m 1. Fo m =, tae p P. Assume Σ\{p} has n connected components U 1,, U n (each U i can be a union of 2-sphees). Since Σ has genus 0, thee is no closed chain of S 2 s in Σ, theefoe Σ i = U i {p} is a statified sphee with no moe than 1 points in its singula set P i, by noting that p is not a singula point of Σ i, fo each i = 1,, n. Then φ 1 (p) is a multiply connected colla with n bounday cicles, i.e., S 2 \φ 1 (p) has n connected components D 1,, D n which ae all topological diss. Note that φ(d i ) = Σ i and φ( D i ) = p. Let α i be a continuous map fom D i to S 2 such that α i ( D i ) = N and α i is bijective fom D i to S 2 \{N}, whee N is the noth pole of S 2. Define φ i : S 2 Σ i by { φ (αi ) φ i (x) = 1 (x), x S 2 \N p, x = N, then it is easy to chec that φ i is a nomalization of Σ i coesponding to the multiply connected collas α(ω i ) subject to φ(ω i ) = p i P i. By the same agument, φ 1 (p) is a multiply connected colla with n bounday cuves, and we define a nomalization φ i of S i as above. Then, by the induction hypothesis, we can find a homeomophism ψ i : S 2 S 2 such that φ i = φ i ψ i, fo each i = 1,, n. Since both S 2 \φ 1 (p) and S 2 \φ 1 (p) ae unions of n disjoint topological diss D 1,, D n and D 1,, D n, espectively, we can find a homeomophism ψ : S 2 S 2, such that (1) ψ(φ 1 (p)) = φ 1 (p) and (2) ψ(d i) = D i and ψ D i = α 1 i ψ i α i. We now show φ ψ = φ : (A) Fo any x φ 1 (p), φ (x) = p and ψ(x) φ 1 (p) by (1), hence φ ψ(x) = φ (x). (B) Fo any x D i, we have x φ 1 (p). If ψ i (α i(x)) = N then by (2) φ ψ(x) = φ α 1 i ψ i α i(x) = φ α 1 i (N) = φ( D i ) = p So ψ(x) φ 1 (p) and in tun x φ 1 (p) by (1). This is contadiction. Theefoe φ ψ(x) = φ α 1 i ψ i α i(x) = φ i ψ i α i(x) = φ i α i(x) = φ (x) povided α i(x) N. But α i(x) = N would imply x D i hence x φ 1 (p) which is impossible. In conclusion, we have φ ψ = φ Homotopy classes of mappings fom statified sphees. We genealize the standad notion of homotopy equivalence of two maps fom S 2 to N to two maps fom statified sphees, possibly diffeent, to N. Definition 2.4. Let Σ 1 and Σ 2 be two statified sphees. Let u i be continuous maps fom Σ i to N, i = 1, 2. We say u 1 is homotopic to u 2 if thee exist nomalizations φ 1, φ 2 of S 1, S 2, espectively, such that u 1 φ 1 is homotopic to u 2 φ 2 as maps fom S 2 into N. We wite u 1 u 2 if u 1, u 2 ae homotopic. Two maps being homotopic is independent of the choice of nomalizations: Suppose u 1 u 2. Then thee exist nomalizations φ i of Σ i so that u 1 φ 1 u 2 φ 2. Let φ 1, φ 2 be two abitay nomalizations of Σ 1, Σ 2, espectively. By Lemma 2.3, thee exist homeomophisms ψ i : S 2 S 2 such that φ i = φ i ψ i fo i = 1, 2. Then u 1 φ 1 ψ 1

6 6 JINGYI CHEN AND YUXIANG LI u 2 φ 2 ψ 2. Since any homeomophism of S 2 to itself is homotopic to the identity map, it follows u 1 φ 1 u 2 φ 2. Lemma 2.5. Suppose Σ is a statified sphee with components S 1,, S m and each S i is a 2-sphee S 2. Let ˆΣ = m ˆΣ i=1 i be a statified sphee, whee each ˆΣ i is a statified sphee and ˆΣ i ˆΣ j consists of singula points of ˆΣ fo any i j. Suppose that f : Σ ˆΣ is a continuous map such that f Si is a nomalization of ˆΣ i and f maps each singula point of Σ to a singula point of ˆΣ. Then u u f fo any u C 0 (ˆΣ, N). Poof. It suffices to show that thee is a nomalization F : S 2 Σ such that f F is a nomalization of ˆΣ, because (u f) F = u (f F ). We ague by the induction on m. When m = 1, Σ = S 2 and f : Σ ˆΣ is a nomalization of ˆΣ, we may tae F to be the identity map of S 2. Assume the claim is tue fo m =. Fo m = + 1, without loss of geneality, we assume S 1 is a component of Σ which contains only one singula point p of Σ. Set Σ = +1 i=2 S i and ˆΣ = +1 ˆΣ i=2 i. Let f = f Σ. Then f : Σ ˆΣ satisfies the conditions in the lemma. Thus, by the induction hypothesis, we can find a nomalization F of Σ such that f F (S 2, Ω 1,, Ω α ) (ˆΣ, p 1,, p α ) is a nomalization. Next, we constuct F on Σ. Note that f S1 is a nomalization of ˆΣ1 by assumption. Set f 1 = f S1 : (S 1 ; U 1,, U β ) (ˆΣ 1 ; q 1,, q β ). We have fou cases: Case 1: p is not a singula point of Σ and f 1 (p) is not a singula point of ˆΣ 1. In this case, thee exists a unique x 0 S 2 = S 1 with F (x 0 ) = p. Pic > 0 such that F is bijective on B 4 (x 0 ). Let ϕ : B 3 (x 0 )\B 2 (x 0 ) B 3 (x 0 ) be a continuous map such that (1) ϕ( B 2 (x 0 )) = {x 0 }, (2) ϕ is bijective fom B 3 (x 0 )\B 2 (x 0 ) to B 3 (x 0 )\{x 0 }, (3) ϕ is the identity map on B 3 (x 0 ). Let φ : B (x 0 ) S 1 be a continuous map such that φ( B (x 0 )) = {p} and φ is bijective fom B (x 0 ) onto S 1 \{p}. Set F (x) x S 2 \B 3 (x 0 ) F F = ϕ(x) x B 3 \B 2 (x 0 ) p x B 2 \B (x 0 ) φ(x) x B (x 0 ). Obviously, F is a nomalization of Σ. It follows fom Lemma 2.2 that is a nomalization of ˆΣ. f F : (S 2 ; Ω 1,, Ω α, B 2 \B (x 0 ), φ 1 (U 1 ),, φ 1 (U β )) (ˆΣ; p 1,, p α, f(p), q 1,, q β ) Case 2: p is not a singula point of Σ but f 1 (p) is a singula point of ˆΣ 1.

7 HOMOTOPY CLASSES OF HARMONIC MAPS 7 In this case, thee exists a unique x 0 S 2 with F (x 0 ) = p. Howeve, we have f 1 (p) {q 1,, q β }. We choose x 0,, ϕ, φ and F as befoe. We may assume f 1 (p) = q 1 and modify f 1 such that p / U 1. Set Ω α+1 = (B 2 (x 0 )\B (x 0 )) φ 1 (U 1 ). Note φ 1 (U 1 ) B (x 0 ). Then Ω α+1 is a multiply connected colla homeomophic to U 1. Clealy, F is a nomalization of Σ and by Lemma 2.2, is a nomalization of ˆΣ. f F : (S 2 ; Ω 1,, Ω α, Ω α+1, φ 1 (U 2 ),, φ 1 (U β )) (ˆΣ; p 1,, p α, q 1,, q β ) Case 3: p is a singula point of Σ and f 1 (p) is not a singula point of ˆΣ 1. In this case, we may assume f 1 (p) = p α and Ω α = (f F ) 1 (f (p)). Let Ω = F 1 (p). It is easy to see Ω Ω α : x Ω, F (x) = p, then f (F (x)) = f (p), so x Ω α. Choose and x 0, such that B 2 (x 0 ) Ω. Let φ be a continuous map fom B (x 0 ) into S 1 such that φ( B (x 0 )) = {p} and φ is bijective fom B (x 0 ) to S 1 \{p}. Set { F F = (x) x S 2 \B (x 0 ) φ(x) x B (x 0 ) Then F is a nomalization of Σ, and is a nomalization of ˆΣ. f F : (S 2 ; Ω 1,, Ω α 1, Ω α \B (x 0 ), φ 1 (U 1 ),, φ 1 (U β )) (ˆΣ; p 1,, p α 1, f(p), q 1,, q β ) Case 4: p is a singula point of Σ and f 1 (p) is a singula point of ˆΣ 1. Without loss of geneality, we may assume f(p) = p α = q 1, Ω α = (f F ) 1 (f (p)). Let Ω = F 1 (p) Ω α. Choose and x 0, such that B 2 (x 0 ) Ω. Modify f 1 such that p / U 1 and set Ω α = (Ω α \B (x 0 )) φ 1 (U 1 ). Then Ω α is a multiply connected colla. Define F as in Case 3. Then f F : (S 2 ; Ω 1,, Ω α 1, Ω α, φ 1 (U 2 ),, φ 1 (U β )) (ˆΣ; p 1,, p α, q 2,, q β ) is a nomalization of ˆΣ. 3. Bubble tee constuction This section is divided into thee pats. Fistly, we assign an odeing fo the blowup sequences accoding to thei blowup ates and descibe the adjacent ones. Secondly, we constuct the nec egion and show it is a union of disjoint multiply connected collas. This constuction is convenient fo using the nomalizations to eep tac the homotopy classes. Lastly, we collect nown esults which ae needed fo the bubble tee convegence.

8 8 JINGYI CHEN AND YUXIANG LI 3.1. Hieachy of blowup sequences. We begin by ecalling the following impotant esults in [12]. Poposition 3.1. (ɛ-egulaity) Thee exists an ɛ 0 > 0, such that fo any hamonic map u fom the unit dis D in R 2 into N, if D u 2 ɛ 2 0, then u L (D 1/2 ) C(ɛ 0,, N) u L 2 (D), > 0. Poposition 3.2. (Gap constant) Thee exists τ > 0 which only depends on (N, h), such that thee is no non-tivial hamonic map fom S 2 into N, whose enegy is in (0, τ). Let u be a sequence of hamonic maps fom a compact suface Σ with a Riemannian metic g to a compact Riemannian manifold N with E(u ) < Λ <. We may assume u u 0 in W 1,2 (Σ, g, N). The blowup set of the sequence {u } is { } S = S({u }) = p Σ : lim lim g u 2 ɛ Then we can find a subsequence, still denote by {u }, such that fo any p / S, thee is δ > 0 with B δ (p) u 2 ɛ 2 0. Thus, we may assume that m u L (Ω) < C(m, Ω) fo any Ω Σ\S, and that u (possibly a subsequence) conveges smoothly to u 0 in Ω, as N is compact. The blowup set S consists of at most finitely many points which ae called the (enegy) concentation points of {u }. Nea a point p S, we tae an isothemal coodinate system (D, x) centeed at p which is the only concentation point in D. The maps u can be egaded as hamonic maps fom D into N. Definition 3.3. A sequence {(x, ) : x D, > 0} is a blowup sequence of {u } at p S if x 0 and 0, v (x) = u (x + x) v in W 1,2 loc (R2, N), and v v in Cloc (R2 \S(p)) fo some finite set S(p), and E(v) > 0. By emovability of singulaity, v extends to a hamonic map fom S 2 into N. We call the non-constant hamonic map v : S 2 N a bubble. Definition 3.4. Two blowup sequences {(x, )} and {(x, )} of {u } at p S ae said to be essentially diffeent if one of the following happens (3.1) +, o +, Othewise, they ae called essentially same. o B (p) x x + +. In the sequel, we will wite (x, ) fo a blowup sequence fo simplicity. Lemma 3.5. If two blowup sequences (x, ) and (x, ) of {u } at p ae essentially same, then the bubbles v, v ae the same in the sense v = v L, whee L : R 2 R 2 is a linea tansfomation. Poof. Since (3.1) does not hold, afte passing to a subsequence n if necessay, we may assume n λ (0, + ) and x n x n x n 0. n

9 HOMOTOPY CLASSES OF HARMONIC MAPS 9 By the definition of blowup sequences, we have v (x) = u (x + x) v(x) and v (x) = u (x + x) v (x). Obseve ( ( u n (x n + n x) = u n x n + n n x + x n x )) n. n n Letting n we then have We can then tae L(x) = λx + x 0. v(x) = v (λx + x 0 ). Lemma 3.6. Let {u } be a sequence of hamonic maps D into N. If (x α, α ) ae mutually essentially diffeent blowup sequences of {u } at 0, whee α = 1,, m, then lim E(u, D) mτ, + whee τ is the gap constant in Poposition 3.2. Poof. Let v α(x) = u (x α + α x). We assume vα conveges to vα in Cloc (R2 \S α ), whee S α is the set of concentation points of {v α }, which is finite. Set U α = D 1 \ D (p), Ω α, = x α + α U α. p S α As v α is nontivial, fo any ɛ, we can find, such that lim + E(vα, U α ) = E(v α, U α ) τ ɛ. Then lim E(u, Ω α,) = lim + + E(vα, U α ) τ ɛ. By Definition 3.4, we may assume one of the following altenatives holds: (1) xα xβ +α (2) α +, which is equivalent to xα xβ 0 and xα n xβ n n + and xβ xα α +, x αβ ( n is a sequence of positive integes, n Z + ). When (1) holds, we have D α /(x α ) D /(xβ ) = when is sufficiently lage. Since Ω α, D α/ (x α ) and Ωβ, D /(xβ ), we conclude Ωα, Ωβ, = fo lage. When (2) holds, fo any δ > 0, thee exists (δ), fo all n (δ) we have E ( ) v β n, D 2δ (x αβ ) E Then, by noting that β δ α ( lim E v β n, D 2δ (x αβ ) n + ( v β n, D δ ( x α n x β n n )) = E ( + and witing u n (x) = v α x x α n n n α ) ( ) lim E u n, D β n + n δ(xα n ) ( ) u n, D β n δ(xα n ). ), we have lim E ( ) v α n + n, U α τ ɛ.

10 10 JINGYI CHEN AND YUXIANG LI Thus, x αβ S β and in tun D (x αβ ) U β =. Then D 2 ( x α n xβ n n, hence D β n /2(xα n ) Ω β, n = fo lage n. Now it follows fom Ω α n, D α (x α n ) D β (x α n ) n 2 n ) U β = fo lage that Ω α, n Ω β, n = fo lage n. Theefoe, we have established: fo any α β, thee exists an inceasing sequence { n (α, β) : n N} of positive integes such that (3.2) Ω α, n(α,β) Ω β, n(α,β) =. Applying (3.2) and the diagonal sequence pocedue, we can find a sequence { n (1,, m) : n N} such that Ω α i, n(1,,m) Ωα j, n(1,,m) = fo any i j. Thus, m lim E(u, D) lim E(u n(1,,m), Ω,n(1,,m)) m(τ ɛ), + n + i=1 Because ɛ > 0 is abitay, we ae done. Definition 3.7. We say the sequence {u } has m bubbles if {u } has m essentially diffeent blowup sequences and no subsequence of {u } has moe than m essentially diffeent blowup sequences. Although aising fom essentially diffeent blowup sequences, some of the m bubbles may be essentially same. A consequence of Lemma 3.6 and Lemma 3.5 is that {u } has only finitely many bubbles, povided sup E(u, D) < +. The numbe of essentially diffeent blowup sequences only depends on the uppe bound of the enegies. Now, we assume {u } has m essentially diffeent blowup sequences (x 1, 1 ),, (xm, m ) at p, whee m depends on p S := S({u }). Note that any subsequence {u n } of {u } has the same blowup set S and {(x α n, α n )} ae essentially diffeent blowup sequences of {u n }. Theefoe, to descibe the bubble tee convegent it is convenience fo us to mae the following assumption on the sequence of hamonic maps: Fo any α β, wheneve α 0 fo any α β, we always assume, by selecting a subsequence if needed, that (3.2) holds and x α (3.3) eithe xβ x α +, o xβ conveges. A diagonal sequence pocedue ensues the above holds simultaneously fo all 1 α, β m and we will still use the index fo the subsequence. We now build a hieachy fo the bubbles. Put v α (x) = u (x α + α x) v α, α = 1,, m.

11 HOMOTOPY CLASSES OF HARMONIC MAPS 11 Definition 3.8. Fo two essentially diffeent blowup sequences {(x α, α )}, {(xβ, β )}, we conveges as. say (x α, α ) < (xβ, β ), if α 0 and xα xβ Lemma 3.9. Unde the assumption (3.3), it holds (3.4) (x α, α ) < (x β, β ) D R α(xα ) D R β(x β ), fo some R and all lage. Poof. Assume (x α, α ) < (xβ, β ). Tae R = lim Fo any x D R α (x α ), x x β α x x α α + xα xβ x α xβ α + 1. R + R 1 2 R fo lage thus x D R β(x β ). The othe diection holds tue as xα xβ it conveges as by (3.3). is unifomly bounded hence Lemma If (x α, α ) < (xβ, β ), then the bubble vα of {u } at 0 is also a bubble of {v β } at xα β = lim Poof. We have x α xβ v α (x) = u (x α + α x) = u (x β + β Since (x α, α ) < (xβ, β ), we have. λ := α 0, ( )) ( ) α x + xα xβ = v β α x + xα xβ. x αβ, := xα xβ x αβ, and v β (λ x + x αβ, ) conveges as the left hand side v α conveges. Hence (x αβ,, λ ) is a blowup sequence of {v β } at x αβ, and v α is a bubble of {v β }. Intuitively, Lemma 3.10 says that a bubble aises fom the lowe side in the elation < is still captued fom the uppe side, so it sits on an uppe level in the bubble tee. If the sequence v α has no concentation points, then vα must be at the top of the bubble tee. We now mae it moe pecise. Definition A blowup sequence (x α, α ) is said to be ight on top of anothe blowup sequence (x β, β ), if (xα, α ) < (xβ, β ) and thee is no blowup sequence (xγ, γ ) that is essentially diffeent fom (x α, α ) and (xβ, β ), such that (xα, α ) < (xγ, γ ) < (xβ, β ). The bubble v 1 is ooted at a point on the bubble v 2 if (x 1, 1 ) is ight on top of (x2, 2 ).

12 12 JINGYI CHEN AND YUXIANG LI (x 2, 2 ) v 1 (S 2 ) (x 1, 1 ) D u (D) v 2 (S 2 ) u 0 (S 2 ) Figue 2. Example: (x 1, 1 ) is ight on top of (x2, 2 ). Lemma If (x α, α ) and (xβ, β ) ae essentially diffeent and ae both ight on top of (x γ, γ ), then fo any fixed R, thee holds and sufficiently lage. D R α (x α ) D R β(x β ) = Poof. Assume the esult wee not tue fo some R 0. Then thee would be a subsequence n, n N wiee then have α x α n x β n α n + n R Without losing geneality, we assume α Since (x α, α ) and (xβ, β ) ae essentially diffeent blowup sequence, fom (3.4) we must 0 o β 0. By as- α sumption (3.3), xα xβ conveges, hence (x α, α ) < (xβ, β ) by definition. Thus (xα, α ) < (x β, β ) < (xγ, γ ) which contadicts the fact that (xα, α ) is ight on top of (xγ, γ ). (x 2, 2 ) u (D) D (x 1, 1 ) v 1 (S 2 ) v 2 (S 2 ) u 0 (S 2 ) Figue 3. Example: (x 1, 1 ) is not ight on top of (x2, 2 ) and vice vesa.

13 HOMOTOPY CLASSES OF HARMONIC MAPS The nec egion. To descibe the bubble tee convegence of a hamonic map sequence, we need some notations. Fo convenience, we call (x 0, 0 ) := (0, 1) to be the 0th blow up sequence, and u 0 be the 0th bubble. Then we may say (x α, α ) < (0, 1) fo any α 1. Fo a blowup sequence (x α, α ) of {u } at the cente of D, let S({v α }) be the finite set of blowup points of {v α}, hee we ecall vα (x) = u (x α + α x). Since thee ae only finitely many essentially diffeent blowup sequences, thee exists 0 such that fo 0 < < 0 (3.5) U α = D 1 (0)\ D (p) p S({v α}) is a multiply connected colla and v α conveges smoothly on U α when is fixed. Fo lage, the following egion is in D: (3.6) Ω α, = α U α + x α. Fo a blowup sequence (x α, α ), let (xσ j, σ j ), j = 1,, s(α), be all of the blowup sequences of {u } which ae ight on top of (x α, α ) with x α (3.7) lim xσj = p. Lemma 3.10 assets p S({v α }). Lemma 3.12 and (3.4) imply s(α) (3.8) N,(p) α := ( α D (p) + x α ) \ α j=1 D σ j (x σ j ) is a multiply connected colla. Fo each, we call N, α = p N, α (p) the nec egion fo the blowup sequence (x α j, j α ) at 0 S({u j }), whee p which satisfies (3.7). Similaly, we define the nec egion fo a blowup sequence which is ight on top of (x α, α ), and so on. Note that, accoding to ou convention, the nec egion fo the 0th blowup sequence (0, 1) at a blowup point 0 S({u }) is D (q)\ D α /(x α ), whee the union is taen ove all essentially diffeent blowup sequences (x α, α ) of {u } at 0 that ae ight on top of (0, 1). We will show below that N, is a finite union of disjoint multiply connected collas fo small and lage. Fo simplicity of notations, wite S α fo S({v α}). We choose 0 to satisfy: and 0 < 1 2 min p q, fo p q p, q αs α > 1 + max p αs α p. Then fo any fixed 0 < < 0, it holds that fo any β and q α S α, (3.9) N β, (q) D (x β )

14 14 JINGYI CHEN AND YUXIANG LI since 1 > q implies x β + β D (q) D β ( p +)(xβ ). Poposition Fo sufficiently lage and < 0, it holds (a) N, α (p) N, α (q) = fo any p q. (b) N, α (p) N β, (q) = fo any α β. Poof. (a) By definition, N, α (p) xα +α D (p), N, α (q) xα +α D (q), and < 1 p q. 2 Thus N, α (p) N, α (q) =. (b) Fo any α β, since (x α, α ), (xβ, β ) ae essentially diffeent and we have assumed (3.3), it holds eithe (1) xα xβ α +β (2) α and c 1 < α 0 and xα xβ α +β conveges. < c 2 fo some positive constant c 1, c 2 ; o If ( α D (p) + x α ) (β D (q) + x β ) = fo all lage, then (b) holds since N α, (p) α D (p) + x α and N β, (q) β D (q) + x β. If thee ae x ( αd (p) + x α ) (β D (q) + x β ) fo infinitely many, then x x α α D (p) and x x β D β (q), hee we still use index fo simplicity. Theefoe (1) cannot happen as x α x β x x α + x x β ( + p )α + ( + q ) ( + p + q )(α + ). If (2) happens, then (x α, α ) < (xβ, β ) and xα xβ the sequence u (x β + β x). Case 1. q q. Since < q q, it follows 2 (3.10) (x β + β D ( q)) (x β + β D (q)) =. conveges to some blowup point q of Given x D α (x α ), we can wite x = xα + α y fo some y D 1 (0). Then ( ) x = x β + x α β xβ + α y. Recalling that xα xβ q and α sufficiently lage. Thus, D α which can be combined with (3.9) to yield N α,(p) D α 0, we have xα xβ (x α ) x β + β D ( q), (x α ) x β + β D ( q). + α y D β ( q) fo a fixed and By definition, N β, (q) xβ + β D (q).

15 Now it follows fom (3.10) that HOMOTOPY CLASSES OF HARMONIC MAPS 15 N,(p) α N β, (q) =. Case 2. q = q and (x α, α ) is ight on top of (xβ, β ). In this case, the definition of N β, (q) diectly leads to N β, (q) D α/ (x α ) =. Note N, α (p) D α/ (x α ) by (3.9). It then follows N, α (p) N β, (p) =. Case 3. q = q and thee is (x γ, γ ) with (xα, α ) < (xγ, γ ) < (xβ, β ). As thee ae only finitely many blowup sequences, we may assume that (x γ, γ ) is ight on top of (xβ, β ). Then we have Then we have Fo any x D α (x α α γ 0, γ x γ xβ 0, = xα xβ ), we have fo lage x α xγ γ x x γ x xα + x α x γ ( α γ Since 1 > q + 1, then we get D α + xγ xα γ (x α ) D γ (x γ ). q, fo some q. γ q. + xα xγ ) γ γ (1 + q ) γ. The definition of N β, (q) implies N β, (q) D γ / (x γ ) =. By (3.9), N α, (p) D α / (x α ), so we conclude N, α (p) N β, (p) =. This completes the poof of (b) Convegence. By esults in [8, 4, 10, 11], a sequence of hamonic maps {u } with unifomly bounded enegy, o moe geneally, a Palais-Smale sequences fo the enegy functional, with unifomly L 2 -bounded tension fields, conveges in the sense of the bubble tee as follows u u := (u 0 ; v 1,, v m ), whee u 0 is a hamonic map fom D and each v i is a bubble [12], with the following popeties: C1. u u 0 in W 1,2 (D). C2. Thee exist essentially diffeent blowup sequences, i.e. satisfy (3.1), (x α, α ), α = 1, 2,, m, such that u α (x) = u (x α + α x) v α, in W 1,2 loc (R2 ). C3. When α 0, (3.3) holds. C4. Fo any fixed, u α conveges smoothly to vα on U α, whee U α is defined by (3.5). C5. Enegy identity: lim E(u, D 1 ) = E(u 0, D 1 ) + E(v α )

16 16 JINGYI CHEN AND YUXIANG LI C6. No nec: fo any α, we have lim lim 0 + sup u (x) v α (p) = 0. x N, α (p) The bubble tee limit u can be viewed as a continuous map fom a bubble tee fomed by D and m copies of S Poof of Theoem 1.1 In this section, we fist constuct nomalizations fo hamonic maps fom a single S 2, and use them to show that thee ae only finitely many homotopy classes below a given enegy level. This of couse follows fom Pae s bubble tee convegence theoem [8], without using the nomalizations. Next, we constuct nomalizations of statified sphees fom the ones fo a single S 2 and pove Theoem Homotopy class of hamonic sphees with bounded enegy. Suppose that {u } is a sequence of hamonic maps fom S 2 into N with unifom bounded enegies which conveges to (u 0 ; v 1,, v m ) in the sense of bubble tee, whee v 1,, v m ae all non-tivial hamonic maps fom S 2 to N. We will constuct a statified sphee Σ and put u 0, v 1,, v m togethe to obtain a hamonic map fom Σ to N. We follow the following steps to constuct Σ : Step 1. Aound each blowup point of {u }, call it p 0, tae an isothemal coodinate system (D, x) aound p 0 such that p 0 = 0. Let v 1, v 2,, v l 1 be all of the bubbles which ae ight on top of u 0, i.e. the coesponding blowup sequences ae ight on top of that of u 0, which, in this initial step, is (0, 1) in ou convention. Each v α is a hamonic map fom a standad sphee S i to N. We identify the south pole of S i with p 0 S 0 = S 2. Step 2. Repeat Step 1 at (a 1 ) each concentation point of {v j } whee vj (y) = u (y j + ρj y), (a 2 ) each concentation point of {w s } whee ws (z) = v s (zs + σs z) (a 3 ) simila to the above two cases, at all highe levels in the bubble tee. In the end, we get a statified sphee Σ and a hamonic map u : Σ N. Next we constuct a nomalization φ, of Σ such that u φ, is vey close to u. Let q 1,, q l be the blowup points of {u }. Now, on an isothemal coodinate system aound each concentation point q i = 0 (we may assume that q i is the only blowup point of {u } in the local chat), we define a continuous map φ, : S 2 Σ as follows. At fist level: outside the diss D (q i ) s: 1) φ, is the identity map on S 2 \ i D 2 (q i ); 2) φ, is bijective fom D 2 (q i )\D (q i ) onto D 2 (q i )\{q i }, fo each i = 1,, l; 3) φ, ( D (q i )) = q i ; At the second level: inside D (q i ) s:

17 HOMOTOPY CLASSES OF HARMONIC MAPS 17 We fist ecall fom Poposition 3.13 fo all lage and < 0 that N, α (p) s ae disjoint and lie inside D (q i ), and N, α (p) = (α D (p) + x α ) \ D σj /(x σ j ). Select those α and p such that the coesponding diss D i (p i) = αd (p) + x α ae disjoint. Define φ, bijectively fom D (q i )\ i D i (p i) onto D (q i )\{p 1,..., p s } and maps D i (p i) to p i. Futhe, define φ, on N α i, (p i) by sending evey point to v α i (p i ). Thid and highe levels: on the diss D σ j /(x σ j ) which ae inside id i (p i). Repeat the second step. Finally, on the emaining diss which coespond to the bubbles at the highest level, i.e. thee ae no blowup sequences ight on top of those in the pevious steps, note the bounday of each of these diss is mapped to a point in the pevious step, now define φ, be a diffeomophism fom the dis to S 2 with the point deleted. This completes the definition of φ,. As thee is no nec, we have (4.1) lim lim sup 0 + x S 2 d N (u φ, (x), u (x)) = 0. Thus, u φ, u. It is easy to chec that φ, is a nomalization of Σ. Then by definition u u. Hence, Lemma 4.1. Let u be a sequence of hamonic maps fom the sphee S 2 to N with unifomly bounded enegies. Then afte passing to a subsequence, all u ae in the same homotopy class Bubble tee convegence of hamonic maps fom statified sphees. Let {x } be a sequence in S 2. We say x 0 Σ is the φ-limit of {x }, if By the no-nec esult, we have x 0 = lim lim φ 0,(x ). + (4.2) lim + u (x ) = u (x 0 ). It is easy to chec that fo any sequence x S 2, we can find a subsequence which has a φ-limit. The bubble tee convegence of {u } can also be descibed via φ,. Let P be the set of singula points of Σ. Let S δ = Σ \ p P B δ (p). Clealy, fo any δ > 0, F, = φ 1, is well defined on S δ when is sufficiently small. Moeove u F, is hamonic and conveges smoothly. If V δ, is a connected component of S 2 \F, (S δ ), then fo any p P lim lim osc δ 0 + V δ, u = 0. Let Σ = S 1 S 2 S m() and P be the set of singula points of Σ, whee S i s ae smooth 2-sphees. Note that P i P j may happen. Let u be a hamonic map fom Σ into N, i.e. u is continuous on Σ and hamonic on each component of Σ. We may assume u Si conveges to (u i, v i,1,, v i,l i ) in the sense of bubble tee, whee v i,j is not tivial. Then we get a statified sphee Σ i, and a hamonic map u i : Σ i N.

18 18 JINGYI CHEN AND YUXIANG LI Now, let p 1 P be the singula point which connects S 1 and S 2. By passing to subsequences if needed, we may assume p 1 is the φ-limit of p 1 on Σ1 and p 2 is the φ- limit of p 1 on Σ2. By the no-nec esult, u 1 (p 1 ) = u 2 (p 2 ). We then identify p 1 and p 2 to get a statified sphee Σ 12, and a hamonic map fom Σ 12 into N. Repeating this constuction fo Σ i, Σ j wheneve S i, S j ae joint at a singula point, we get a statified sphee Σ and a hamonic map u : Σ N. We may view Σ as the union of Σ i Poof of Theoem 1.1: By the gap theoem fo hamonic maps fom S 2 [12], the numbe of components of Σ is unifomly bounded in. Theefoe thee ae only finitely many homeomophic types. It suffices fo us to assume Σ ae of the same homeomophic type. Let u : Σ N be hamonic maps with the unifomly bounded enegies. We assume u conveges in the bubble tee sense to a hamonic map u : Σ N as we descibed in the pevious subsection. Moeove, we may set Σ = S 1 S m, Σ = Σ 1 Σ m, u i = u Si, such that u i conveges in the sense of bubble tee to ui : Σ i N, whee u i = u Σ i. Let φ i, be the nomalization of Σi, which is defined in subsection 4.1. To use Lemma 2.5, we need to combine φ i, ove i to poduce a continuous map fom Σ to Σ. To achieve this, we need to modify φ i, on neighbohoods of the singula points. Let x S i P, such that {x } has a φ-limit x 0 Σ i. We have two cases: Case 1. x 0 is a singula point of Σ i. In this case, we can suitably choose, so that φ i, (x ) = x 0. Set ϕ i = the identity map of Σi. Case 2. x 0 is not a singula point of Σ i. Choose a dis B ɛ (x 0 ) Σ i, such that φ i, (x ) B ɛ (x 0 ) fo lage and B ɛ (x 0 ) contains no singula points of Σ i. Let ϕ i be a homeomophism of Σ i onto itself such that ϕ i φi, (x ) = x 0 and ϕ Σ i \B ɛ(x 0 ) is the identity map. Thus, ϕ i φi, is a nomalization of Σi with ϕ i φi, (x ) = x 0. Thus, f : Σ Σ, defined by f = ϕ i φi, on each S i, is a continuous map and f Si is a nomalization of Σ i. By Lemma 2.5, u u f. Futhemoe, in Case 2, we may suitably choose ϕ i, as x 0 is a φ-limit of {x }, such that ϕ i conveges to the identity map as + (this is always tue fo Case 1). Note that sup d N (u ϕ i φ i,(x), u (x)) = sup ( d N u ϕ i (y), u (φ i,) 1 (y) ), x (φ i, ) 1 (B ɛ(x 0 )) y B ɛ(x 0 ) and ecall that u (φ i, ) 1 conveges smoothly on B ɛ (x 0 ). Then fo any σ we can suitably choose, such that (4.3) sup ( d N u ϕ i φ i,(x), u (x) ) < σ. x (φ i, ) 1 (B ɛ(x 0 )) By (4.1), we may assume Then d N ( u i φ i,(x), u (x) ) < σ. d N (u f (x), u (x)) < σ.

19 HOMOTOPY CLASSES OF HARMONIC MAPS 19 Thus, u f u and it follows u u since we have shown u u f. 5. Homotopy classes of S 2 in 3-manifolds In this section, we will constuct a family of smooth maps fom S 2 into some 3- dimensional manifold which ae not homotopic to each othe while thei enegies ae unifomly bounded above. The elements γ i in the fundamental goup π 1 (M) of M which yield distinct homotopy classes ae poduced in Poposition 8.8 in Appendix. Theoem 5.1. Let M = M 1 #M 2, whee M 1 S 3 and M 2 S 3 o RP 3. Then thee is a sequence of smooth mappings u : S 2 M, such that sup E(u ) < + and u i is not homotopic to u j fo any i j. Poof. Let π : M M be the univesal cove of M and let ũ, γ i be the ones in Poposition 8.8. Let P and N be the south pole and the noth pole of S 2 espectively. Let ũ be a map fom S 2 to M which is homotopic to ũ, such that ũ is a constant in a neighbohood of P and a neighbohood of N espectively. Let Φ = ũ Π 1 : C M, whee Π is the steeogaphic pojection fom P. We assume γ 0 = 1. Let β i : [0, 1] ˆM be an embedded cuve with β i (0) = ũ (P ) and β i (1) = γ i ũ (N). We define v : C M as follows: Φ(x), ( ) x δ, log log Rɛ v = β, Rɛ < x < δ, log δ log Rɛ ( ( γ Φ x )) ɛ, x R, ɛ whee δ be sufficiently small and R be sufficiently lage, such that Φ is constants on D δ and C\D R. We have and D δ \D Rɛ v 2 = 2π < δ Rɛ β c β 2 L 2 d ( log Rɛ+log δ) 2 δ Rɛ C\D δ v 2 E(Φ), D Rɛ v 2 E(Φ). So, we can find suitable ɛ, such that E(v ) 2E(Φ) + 1. d = c β 2 L log δ log Rɛ, Since v ũ on C\D R, we can view v as a map fom S 2 into M. We need to pove that v i is not homotopic to v j fo any i j. By the Huewicz Theoem, we only need to

20 20 JINGYI CHEN AND YUXIANG LI chec that [v i ] H2 [v j ] H2. Obviously, [v i ] H2 = [ũ ] H2 + [γ i ũ] H2, [v j ] H2 = [ũ ] H2 + [σ j ũ] H2. Since [γ i ũ] H2 [γ j ũ] H2, we have [v i ] H2 [v j ] H2. Now, we let u = π(v ). Then u i is not homotopic to u j fo any i j. Moeove, it is easy to chec E(u ) = E(v ). 6. hamonic map flow with finite time blowup Theoem 1.1 can be used to poduce hamonic map flows of S 2 in closed 3-manifolds which develop singulaities in a finite time. Theoem 6.1. Let M 1 S 3 and M 2 S 3 o RP 3 be closed 3-dimensional Riemannian manifolds and M = M 1 #M 2. Then thee exist infinitely many smooth maps u : S 2 M such that u i, u j ae not homotopic fo any i j, sup m E(u ) < and the hamonic map flow that begins at u develops a finite time singulaity. Poof. Theoem 5.1 guaantees existence of a sequence of mutually nonhomotopic smooth maps v : S 2 M with unifomly bounded enegies, and only finitely many (may be none) of them contain hamonic maps fom some statified sphees to M in thei homotopy classes by Theoem 1.1. Select the v s which do not have hamonic maps fom statified sphee to M in thei homotopy classes and denote them by u. If the hamonic map flow u t = τ(u), u(x, 0) = u (x) admits a longtime solution, then by esults in [11], as t +, u(x, t) will convege to a hamonic map fom a statified sphee to M which is homotopic to u. This contadicts the choice of u. 7. Mean Cuvatue Flow with finite time blowup It is well-nown that a minimal sphee is also a hamonic sphee. In this section, we combine Theoem 1.1, Theoem 5.1 and the compactness theoem in [2] to poduce mean cuvatue flows that blowup in a finite time in closed 3-manifolds. Theoem 7.1. Let M 1 S 3 and M 2 S 3 o RP 3 be closed 3-dimensional Riemannian manifolds and M = M 1 #M 2. Then thee exist infinitely many embeddings w : S 2 M such that w i, w j ae nonhomotopic fo any i j and the aeas µ(w (S 2 )) ae unifomly bounded, and the mean cuvatue flow of S 2 initiated at w develops a singulaity in a finite time. Poof. Fist, select u as in the poof of Theoem 6.1. Next, we eplace the line β in u by a thin cylinde to get an embedding v fom S 2 with unifomly bounded aea and v u. This can be done as follows. Recall, in the poof of Theoem 5.1, u maps the annulus Rɛ < x < δ to the cuve β and Φ maps the domain x > R 0 > δ to a point and the dis x < R0 1 < Rɛ to a point fo some lage R 0 (these two domains coespond

21 HOMOTOPY CLASSES OF HARMONIC MAPS 21 to the two small caps in S 2 that ae mapped to points by ũ ), and Φ is diffeomophic on the complement of these two domains. Extend β a little at its end points in M, and tae the thin embedded cylinde in the tubula neighbohood of the extended β such that it is the cicle of adius in the nomal plane at each point of the extended β (t). We can assume that one bounday cicle of the cylinde is Φ { x =Rɛ+1/} pointwise, and the othe bounday cicle of the cylinde is Φ { x =δ+1/} twisted by a local diffeompophism. Define v by sending each ay (, θ) in the annuls Rɛ + 1/ < x < δ 1/ to the coesponding cuve in the twisted cylinde in M, and outside the annulus let v be u. We can assume v is smooth by slight modification in a neighbohood of the bounday cicles. Note that v is confomal, in fact isometic, with espect to the pull bac metic v h on S 2 fom M. Since thee is only one confomal stuctue on S 2, thee exists a diffeomophism φ : S 2 S 2 such that v h = λ2 φ g 0, whee g 0 is the ound metic on S 2. Due to confomality, aea of v (S 2 )) = E(v, v h), and confomal invaiance of enegy implies E(v, v h) = E(v φ, g 0 ). Set w = v φ. As any diffeomophim of S 2 to S 2 is homotopic to the identity map of S 2, we have w v. In conclusion, w s ae confomal embeddings fom S 2 to M with unifomly bounded enegies in the ound metic, and w i is not homotopic to w j fo i j. Assume the mean cuvatue flow F : S 2 [0, T ) M begins at w exists fo longtime. Wite Σ t fo the image of S 2 at time t. Since t H(Σ t ) 2 dµ t = µ(σ 0 ) µ(σ t ) < 0 Σ t fo all t [0, ), thee exists a sequence t n such that lim n Σ tn H(Σ tn ) 2 dµ tn = 0. Each suface Σ tn is immesed, and F (, t n ) : (S 2, F (, t n )h) (M, h) is confomal with espect to the pull-bac metic fom M. As thee is only one confomal class on S 2, F (, t n ) φ n : (S 2, g 0 ) (M, h) is confomal fo some diffeomophism φ n : S 2 S 2. Along the mean cuvatue flow, the aea of the confomal maps F (, t n ) φ n is unifomly bounded F (, tn ) φ n (S 2 ) = F (S 2, t n ) F (S 2, 0) = E(w ) < C, and so is the Willmoe enegy H F (,tn) φn 2 d µ F (,tn) φn = H(Σ tn ) 2 d µ tn) 0. F (,t n) φ n(s 2 ) Σ tn We now ecall a special case (namely, domain is S 2 ) of the compactness theoem in [2]: Suppose that {f } is a sequence of W 2,2 banched confomal immesions of (S 2, g 0 ) in a compact manifold M. If sup {µ(f ) + W (f )} < + then eithe {f } conveges to a point, o thee is a statified sphee Σ and a W 2,2 banched confomal immesion f : Σ M, such that a subsequence of {f (Σ)}

22 22 JINGYI CHEN AND YUXIANG LI conveges to f (Σ ) in the Hausdoff topology, and the aea and the Willmoe enegy satisfy µ(f ) = lim µ(f ) and W (f 0 ) lim W (f ). + + By this compactness theoem, thee is a statified sphee Σ = Σ 1 Σ, whee each Σ i is a 2-sphee S 2, and a W 2,2 banched confomal immesion F : Σ M with Σ tn conveging to F (Σ ) in the sense of bubble tee, theefoe F is homotopic to w. Moeove, H 2 dµ lim H 2 dµ tn = 0. F n (Σ ) Σ tn We see that F Σ i is a banched minimal immesion fom Σ i = S 2, hence F is hamonic and confomal, and its Diichlet enegy can be estimated as E(F ) = F (Σ ) = lim F (, tn ) φ n (S 2 ) = lim F (S 2, t n ) F (S 2, 0) = E(w ). n n This contadicts the fact that thee is no hamonic map fom a statified sphee to M which is homotopic to w but with enegy not exceeding E(w ), by the choice of w. 8. Apendix In this section, we set M = M 1 #M 2, whee M 1 and M 2 ae 3-dimensional closed manifold and M is the connected sum of M 1 and M 2. That is to say, we delete a small ball B 1 inside M 1 and a small ball B 2 inside M 2 and glue togethe thei bounday sphees. We assume both M 1 and M 2 ae not S 3. We will use the following notations in this secton: M 1 = M 1 \B 1, M 2 = M 2 \B 2, and S = M 1 = M 2. M: the univesal cove of M with coveing map π : M M. u: a diffeomophism fom S 2 to S. ũ: a lift of u. γ ũ: the dec tansfomation composed with ũ fo γ π 1 (M). Fo v : S 2 M, [v] H2 denotes the element in H 2 ( M) epesented by v. Lemma 8.1. u is non-tivial in π 2 (M). Poof. Assume u is tivial in π 2 (M). By Poposition 3.10 in [6], u(s 2 ) bounds a compact contactible submanifold B in M, and by the Poincaé conjectue, B is a ball. Since B M\S, S sepaates M and B is connected, we have B M 1 o B M 2. We assume B M 1. That M 1 S = implies M 1\B = M 1\B is open in M 1. Since M 1 = (M 1\B) B and M 1 is connected, we conclude B = M 1. Thus M 1 = B B 1 = S 3, which is a contadiction to ou assumption. Lemma 8.2. Fo any γ π 1 (M) which is not 1, we have γ ũ(s 2 ) ũ(s 2 ) =. Poof. Assume thee is a point p γ ũ(s 2 ) ũ(s 2 ). Let β : [0, 1] M be a lift of γ with β(0) = p. Let p 1 = γ(1) γ ũ(s 2 ) and β 1 : [0, 1] γ ũ(s 2 ) be a continuous cuve with β 1 (0) = p 1 and β 1 (1) = p. Then the poduct path β 2 = β β 1 is a loop in M.

23 HOMOTOPY CLASSES OF HARMONIC MAPS 23 Since π 1 ( M) = {1}, π(β 2 ) is tivial in π 1 (M). The loop π(β 1 ) is tivial in π 1 (M) as it is contained in u(s 2 ). So π(β) = 1 in π 1 (M), and it contadicts π(β) = γ 1. Lemma 8.3. M\ũ(S 2 ) has exactly two connected components, and the closue of each of them is noncompact in M. Moeove, fo any nontivial γ π 1 (M), M\(ũ(S 2 ) γ ũ(s 2 )) has exactly 3 connected components, and only one of them has bounday ũ(s 2 ) γ ũ(s 2 ). Poof. Since ũ is an embedding, M\ũ(S 2 ) is eithe connected o has two components. Assume it is connected. Let β : [0, 1] M be a smooth cuve in a neighbohood of ũ(s 2 ) such that β intesects ũ at β( 1) tansvesally and β( 1 ) is the only intesection of 2 2 ũ and β. Since M\ũ(S 2 ) is connected, we can find a cuve β : [1, 2] M\ũ(S 2 ) with β (1) = β(1) and β (2) = β(0). Let β (t) = β(t) fo t [0, 1] and β (t) = β (t) fo t [1, 2]. Then β is a loop which intesects ũ(s 2 ) tansvesally at only one point. Thus β is not tivial in H 1 ( M), which contadicts the fact that π 1 ( M) = 1. So M\ũ(S 2 ) has two components. Let N 1 and N 2 be two components of ˆM\ũ(S 2 ). Since ũ(s 2 ) γ ũ(s 2 ) = by Lemma 8.2, we have γ ũ(s 2 ) N 1 o γ ũ(s 2 ) N 2. Assume γ ũ(s 2 ) N 2. Using simila aguments, we can pove N 2 \γ ũ(s 2 ) also has exact two components (N 2 is simply connected by the Van Kampen theoem). Obviously, thee is only one component whose bounday consists of ũ(s 2 ) and γ ũ(s 2 ). If N 1 is compact in M, it is a smooth compact manifold with bounday ũ(s 2 ), which implies [ũ(s 2 )] H2 ( M) = 0. Hence ũ(s2 ) is tivial in π 2 ( M) by the Huewicz theoem. Howeve, it is well-nown that π 2 (M) = π 2 ( M). Lemma 8.1 yields a contadiction. Similaly, N 2 is noncompact in M. Lemma 8.4. Each component ˆM of π 1 (M\S) is a univesal cove of M 1 o M 2. Fo any γ π 1 (M), thee ae exactly two components, whose boundaies contain γ ũ(s 2 ). Poof. Assume thee is a point p ˆM, such that p = π(p) M 1. We need to pove that ˆM is a univesal cove of M 1. Fist, we pove π esticts to a coveing map fom ˆM to M 1. It suffices to pove it is sujective. Fo any p M 1, we can find a cuve β : [0, 1] M 1 with β(0) = p and β(1) = p. Let ˆβ be the lift of β in M with ˆβ(0) = p. Since β M\S, ˆβ has no intesection with π 1 (S). Thus β ˆM as ˆM is a connected component of π 1 (M\S). Hence p π( ˆM). Next, we show ˆM is simple connected. Assume thee is a close cuve δ : S 1 ˆM which is not tivial in π 1 ( ˆM). Then β = π(δ) is a closed cuve in M 1. If β is nontivial in π 1 (M 1), it is nontivial in π 1 (M 1 ) as M 1 = M 1 B 1. Since π 1 (M) = π 1 (M 1 ) π 1 (M 2 ), then β is also nontivial in π 1 (M). Note that δ is the lift of β, so δ can not be a closed cuve in ˆM. We get a contadiction. If β is tivial in π 1 (M 1), since π : ˆM M 1 is a coveing map, δ must be tivial in ˆM. Again, we have a contadiction.

24 24 JINGYI CHEN AND YUXIANG LI Lemma 8.5. Assume M 2 RP 3 and ˆM is a connected component of π 1 (M\S), which is a univesal cove of M 2. If γ 1 γ 2 π 1 (M), such that γ 1 ũ(s 2 ) and γ 2 ũ(s 2 ) ae in the bounday of ˆM, then [γ1 ũ] H2 and [γ 2 ũ] H2 ae linealy independent in H 2 ( M). Poof. Since M 2 S 3, RP 3, we have π 1 (M 2 ) {1} and π 1 (M 2 ) Z 2. Thus π 1 (M 2 ) contains at least 3 elements. Then we can find γ 3 π 1 (M) which is not γ 1, γ 2, such that the closue of ˆM contains at least 3 bounday components γ1 ũ(s 2 ), γ 2 ũ(s 2 ) and γ 3 ũ(s 2 ). Assume [γ 1 ũ] H2 and [γ 2 ũ] H2 ae linealy dependent. Equip M with the metic pulled bac fom M via π. Then fixing a point p ˆM, we can find a sufficiently lage R, such that the metic ball B R (p) in M contains γ i ũ(s 2 ) fo i = 1, 2, 3, and [γ 1 ũ] 2 H2 (B R (p) M) and [γ 2 ũ] H 2 (B R (p) M) ae linealy dependent in H 2(B R (p) M). We can choose R via Sad s theoem and by Lemma 8.3, such that the closue of B R (p) M is a smooth manifold with nonempty smooth bounday. By Lemma 8.3, M\{γ 1 ũ(s 2 )} has two components. Let N 1 be the one which does not contain γ 2 ũ(s 2 ) and N 3 be the component of ˆM\γ3 ũ(s 2 ) which does not contain γ 2 ũ(s 2 ). Tae a smooth cuve β : [0, 1] ˆM ˆM so that β intesects γ 1 ũ(s 2 ) and γ 3 ũ(s 2 ) at β(0) and β(1) tansvesally, espectively, and demand β((0, 1)) γ i ũ(s 2 ) =, i = 1, 2, 3. By Lemma 8.3, N 1 is unbounded, so B R (p) N 1. We can extend β in N 1 to a cuve β : [0, 2] M such that γ(2) B R. Note that γ 2 ũ(s 2 ) N 1 =, β([0, 2]) γ 2 ũ(s 2 ) =. Similaly, we can extend β to a cuve β : [ 1, 2] M, such that β( 1) B R and γ([ 1, 2]) γ 2 ũ(s 2 ) =. Let M be the manifold obtained by identifying two copies of B R (p) M along the bounday. Then [γ 1 ũ] H2 (M ) and [γ 2 ũ] H2 (M ) ae linealy dependent in H 2 (M ). The two copies of β, howeve, yields a closed cuve in M which intesects γ 1 ũ(s 2 ) tansvesally only at one point and has no intesection with γ 2 ũ(s 2 ). This is impossible if [γ 1 û(s 2 )] H2 and [γ 2 ˆM(S 2 )] H2 ae linealy dependent. Lemma 8.6. If [γ ũ] H 2 = [ũ] H2 whee γ 1 π 1 (M), then M\(ũ(S 2 ) γ ũ(s 2 )) has a component ˆM(γ) which is topologically S 2 ( 1, 1) with ˆM(γ) = ũ(s 2 ) γ ũ(s 2 ). Poof. By Lemma 8.2, M\(ũ(S 2 ) γ ũ(s 2 )) has a component ˆM(γ), whose bounday consists of ũ(s 2 ) and γ ũ(s 2 ). Let ˆM1 and ˆM 2 be the othe two components with ˆM 1 = ũ(s 2 ) and ˆM 2 = γ ũ(s 2 ). We now pove the closue of ˆM(γ) is compact. Let β : [ 1, 1] M be a smooth cuve which intesects ũ(s 2 ) at β(0) tansvesally with β((0, 1)) ˆM(γ) and β(( 1, 0)) ˆM 1. If the closue of ˆM(γ) is not compact, then fixing a point p ˆM, fo any lage R, B R ˆM(γ). Extend β [0,1] to a cuve fom [0, 2] to ˆM(γ) B R (p) so that β(2) B R (p) ˆM(γ), β((0, 2)) ˆM(γ) and β((0, 2)) γ ũ(s 2 ) =. By Lemma 8.3, ˆM1 is unbounded, then ˆM 1 B R (p). Similaly we extend β [ 1,0] in ˆM 1 to a cuve [ 2, 0] ˆM 1 such that β( 2) B R (p) ˆM 1, β([ 2, 0)) ˆM 1, which