arxiv: v1 [math.dg] 20 Dec 2016

Transcription

1 LAGRANGIAN L-STABILITY OF LAGRANGIAN TRANSLATING SOLITONS arxiv: v1 [math.dg] 0 Dec 016 JUN SUN Abstract. In this paper, we prove that any Lagrangian translating soliton is Lagrangian L-stable. Mathematics Subject Classification 010): 53C44 primary), 53C1 secondary). 1. Introduction Recent years, motivated by the problem of existence of special Lagrangian submanifolds, Lagrangian mean curvature flow has attracted much attention. It was proved by Chen-Li []) and Wang [13]) that there is no finitie time Type I singularity for almost calibrated Lagrangian mean curvature flow. Therefore, there are many works concentrating on Type II singularities of Lagrangian mean curvature flow, especially, on Lagrangian translating solitons [5], [6], [9], [11], [1], etc.). An n-dimensional submanifold n in R n+k is called a translating soliton if there exists a constant vector T R n+k, such that 1.1) T = H holds on, where H is the mean curvature vector of n in R n+k. Similar to that of self-shrinkers [4]), one can also study the translating solitons from variational viewpoint. Actually, translating solitons can be viewed as critical points of the following functional: 1.) F) = e T,x dµ, where x is the position vector in R n+k and dµ is the induced area element on. Then it is natural to define stability of translating solitons. Shahriyari [10]) proved that any translating graph in R 3 is L-stable. A translating soliton n in C n is called a Lagrangian translating soliton if it is also a Lagrangian submanifold of C n. In [14], L. Yang proved that any Lagrangian translating soliton is Hamiltonian L-stable. In this paper, we prove that it is in fact Lagrangian L-stable: Theorem 1.1. Any Lagrangian translating soliton is Lagrangian L-stable. Key words and phrases. Lagrangian translating soliton, Lagrangian L-stable. 1

2 JUN SUN The proof of Theorem 1.1 relies crucially on that the variation is Lagrangian. There are many examples for Lagrangian translating solitons [3], [7], etc.). By Theorem 1.1, they are all Lagrangian L-stable. One natural question is whether we can find examples which are in fact L-stable not just only Lagrangian L-stable). In [1], we showed that the Grim Reaper cylinder Γ R n 1 is L-stable in R n+1, where Γ is the Grim Reaper in the plane. This is actually true for any mean convex translating soliton n in R n+1. In this paper, we will show that: Theorem 1.. The Lagrangian Grim Reaper cylinder Γ R in C is L-stable. For the relations between Lagrangian F-stable self-shrinkers and Hamiltonian F- stable self-shrinkers, we refer to [8]. Acknowledgement: The author was supported by the National Natural Science Foundation of China, No Part of the work was finished when the author was a visiting scholar at Massachusetts Institute of Technology MIT) supported by China Scholarship Council CSC). The author would like to express his gratitude to Professor Tobias Colding for his invitation, to MIT for their hospitality, and to CSC for their support.. Preliminaries In this section, we will recall some results for the first variation and second variation formulas. Since the proofs can be found in Section 4 of [1] with f = T,x, where we dealt with more general cases see also [14]), we omit the details here. Recall that the F-functional is defined by F) = e T,x dµ. The following first variation formula is known Propositon 4.1 of [1]): Proposition.1. Let n s R n+k be a smooth compactly supported variation of with normal variational vector field V, then d.1) ds s=0f s ) = T H,V e T,x dµ. In particular, is a critical point of F if and only if T = H, i.e., is a translating soliton in R n+k. For the second variation formula, we have see 4.17) of [1]): Theorem.. Suppose that is a critical point of F. If n s Rn+k be a smooth compactly supported variation of with normal variational vector field V, then the

3 LAGRANGIAN L-STABILITY OF LAGRANGIAN TRANSLATING SOLITONS 3 second variation formula is given by.) F := d ds s=0f s ) = LV,V e T,x dµ. Here, the stability operator L is defined on a normal vector field V on M by ).3) LV = V α + T, V α +g ik g jl h αij hβkl V β e α, where {e α } is a local orthonormal frame of the normal bundle N, g ij is the induced metric on and V = V α e α. Definition.1. A translating soliton n in R n+k is said to be L-stable if for every compactly supported normal variational vector field V, we have F = LV,V e T,x dµ 0. Now we turn to Lagrangian translating solitons. Let ω and J be the standard Kähler form and complex structure on C n, respectively. A submanifold n is said to be a Lagrangian submanifold of C n, if ω = 0, or eqivalently, J maps the tangent space of on to its normal space at each point of. For a Lagrangian submanfiold, there is a canonical correspondence between the sections of the normal bundle and the space of 1-forms on : ΓN) Λ 1 ) V θ V := i V ω. A normal vector field V is a Lagrangian variation if θ V is closed; a normal vector field V is a Hamiltonian variation if θ V is exact. Definition.. A Lagrangian translating soliton n in C n is said to be Lagrangian resp. Hamitlonian) L-stable if for every compactly supported normal Lagrangian resp. Hamiltonian) variation V, we have F = LV,V e T,x dµ Lagrangian L-stability of Lagrangian Translating Solitons In this section, we will prove Theorem 1.1. First, we would like to rewrite the second variation formula for Lagrangian variations. Let C n,ḡ,j, ω) be the complex Euclidean space with standard metric ḡ, complecx structure J and Kähler form ω such that ḡ = ω,j ). Given any Lagrangiansubmanifold n in C n, we choose a local orthonormal frame {e i } n i=1 of T, and set ν i = Je i. Then {ν i } n i=1 forms a local orthonormal frame of the normal bundle N. The frame

4 4 JUN SUN can be chosen so that at a fixed point x, we have ei e j = 0, where is the induced connection on. The second fundamental form is defined by h ijk = ḡ ei e j,ν k ), which is symmetric in i, j and k. Th mean curvature vector is given by H = H k ν k = h iik ν k. Let {ω i } n i=1 be the dual basis of {e i} n i=1. Then for any normal vector field V = V iν i, we have the correspondence Since dθ V = ei V j ω j ω i, we see that θ V := i V ω = V i ω i. Proposition 3.1. A normal vector field V of a Lagrangian submanfiold n in C n is a Lagrangian variation if and only if ei V j = ej V i. Using the above notations, we see that the stability operator.3) can be rewritten as 3.1) LV = V i + T, V i +h kli h klj V j )ν i. Therefore, we have Proposition 3.. A Lagrangian translating soliton n in C n is Lagrangian L-stable if and only if for every compactly supported normal Lagrangian variation V = V i ν i, we have 3.) F = V i V i +V i T, V i +h kli h klj V i V j )e T,x dµ 0. Now, we can prove the first main result. For the purpose of convenience, we rewrite it here: Theorem 3.3. Any Lagrangian translating soliton is Lagrangian L-stable. Proof: By Proposition 3., it suffices to prove that 3.) holds for every compactly supported Lagrangian variation V = V i ν i. Since V = V i ν i is Lagrangian, by Proposition 3.1, we see that ei V j = ej V i. By Ricci identity, we have 3.3) V i = j j V i = j i V j = i j V j +R jijk V k = i j V j +R ik V k, where R ik is the Ricci curvature of the induced metric on. By Gauss equation, we have that R ijkl = h pik h pjl h pil h pjk, which implies that 3.4) R ik = g jl R ijkl = H p h pik h pji h pjk. Putting 3.4) into 3.3) yields V i = i j V j +R ik V k = i j V j +H p h pik V k h pji h pjk V k.

5 LAGRANGIAN L-STABILITY OF LAGRANGIAN TRANSLATING SOLITONS 5 Therefore, we have 3.5) F = V i i j V j +V i T,e j j V i +H p h pij V i V j )e T,x dµ. Integrating by part, we can compute the first term on the right hand side of 3.5) as: V i i j V j e T,x dµ = i V i j V j +V i j V j i T,x )e T,x dµ n ) n ) 3.6) = j V j + T,e i V i e T,x dµ. j=1 j=1 j V j) n i=1 On the other hand, from the translating soliton equation 1.1), we can easily see that H p = T,ν p. Therefore, using the fact that ei V j = ej V i, the second term on the right hand side of 3.5) can be computed as: 3.7) V i T,e j j V i e T,x dµ = i V j )V i T,e j e T,x dµ = [ i V i ) T,e j V j +V i V j i T,e j +V i V j T,e j i T,x ]e T,x dµ = [ i V i ) T,e j V j +V i V j T,h pij ν p +V i V j T,e j T,e i ]e T,x dµ n n ) = T,e i V i )+H p h pij V i V j + T,e i V i e T,x dµ. j=1 j V j) n i=1 Here, we used the fact that ei e j = h pij ν j at a fixed point by the choice of the frame. Putting 3.6) and 3.7) into 3.5) yields n ) n F = j V j + T,e i V i e T,x dµ 0. j=1 This finishes the proof of the theorem. i=1 i=1 4. The Lagrangian Grim Reaper Cylinder Q.E.D. In the previous section, we proved that any Lagrangian translating soliton is Lagrangian L-stable. However, it is not clear that whether they are L-stable. In this section, as an example, we will show that the Grim Reaper cylinder Γ R is in fact L-stable in C. First recall that the Grim Reaper Γ in the plane is defined by γ : π, π ) C

6 6 JUN SUN x γx) = logcosx,x). Then the Grim Reaper cylinder Γ R is defined by Φ : π, π ) R C x,y) Φx,y) = logcosx,x,y,0). We will see that it is a Lagrangian translating soliton and is L-stable. Theorem 4.1. The Grim Reaper cylinder = Γ R is a Lagrangian translating soliton of C and is L-stable. Proof: By the definition of Φ, the tangent space of is spanned by Φ x = tanx,1,0,0), Φ y = 0,0,1,0). The orthonormal basis of the normal space can be taken as e 3 = cosx, sinx,0,0), e 4 = 0,0,0, 1). The induced metric can be represented as ) g ij ) 1 i,j, = cos x 0 1 ), g ij ) 1 i,j, = cos x The induced area form is given by 4.) dµ = detg ij )dxdy = 1 cosx dxdy. Since 1 Φ xx = cos x,0,0,0), Φ xy = 0,0,0,0), Φ yy = 0,0,0,0), from h α ij = Φ ij,e α, we see that the second fundamental form are given by 4.3) h 3 xx = 1 cosx, h3 xy = h 3 yy = h 4 xx = h 4 xy = h 4 yy = 0. Therefore, H 3 = g ij h 3 ij = g xx h 3 xx = cosx, H 4 = g ij h 4 ij = 0, and the mean curvature vector is given by Now if we take T = 1,0,0,0) C, then H = H 3 e 3 +H 4 e 4 = cosxe 3. T = T,e 3 e 3 + T,e 4 e 4 = cosxe 3 = H. Therefore, is a translating soliton in C. Recall that the standard complex structure in C is given by J = ).

7 LAGRANGIAN L-STABILITY OF LAGRANGIAN TRANSLATING SOLITONS 7 Since JΦ x = 1, tanx,0,0) = 1 cosx e 3, JΦ y = 0,0,0, 1) = e 4, we see that is a Lagrangian translating soliton in C. Next we will show that is L-stable. Since v + T, v = e T,x div e T,x v), for any smooth function v on, we can see easily from Theorem. that is L-stabe if and only if 4.4) g ik g jl h α ij hβ kl V α V β e T,x dµ V α e T,x dµ holds for every compactly supported normal variation vector field V = V α e α. In our case, T,x = 1,0,0,0), logcosx,x,y,0) = logcosx so that 4.5) e T,x = 1 cosx. By 4.1) and 4.3), we have g ik g jl h α ijh β kl V α V β = g xx g xx h 3 xxh 3 xxv 3 V 3 = cos xv 3 ). Combining with 4.) and 4.5), we get that 4.6) g ik g jl h α ij hβ kl V α V β e T,x dµ = α π π V 3 ) dxdy. On the other hand, using 4.1), we compute V α = g ij x iv α ) ) x jv α = cos x x V α + y V α. Therefore, V α e T,x dµ = 4.7) α + π π π [ ) x V 3 + π 1 cos x [ ) y V 3 + ) ] x V 4 dxdy ) ] y V 4 dxdy Note that V 3,V 4 C0 π, ) π ) R. In particular, for each fixed y, we have V 3,y) C0 π, π )). By Wirtinger inequality, we have for each y R that π V 3 x,y) ) π ) dx x V 3 x,y) dx π Integrating with respect to y yields 4.8) π π π V 3 x,y) ) dxdy π π ) x V 3 x,y) dxdy.

8 8 JUN SUN Combining 4.6), 4.7) and 4.8), we see that 4.4) holds for every compactly supportednormalvariationvector fieldv = V 3 e 3 +V 4 e 4. ThisshowsthattheLagrangian translating soliton is L-stable. Q.E.D. References [1] C. Arezzo and J. Sun, Conformal solitons to the mean curvature flow and minimal submanifolds, Math. Nachr., ), no. 8-9, [] J. Chen and J. Li, Singularity of mean curvature flow of Lagrangian submanifolds, Invent. Math., ), no.1, [3] I. Castro and A. Lerma, Translating solitons for Lagrangian mean curvature flow in complex Euclidean plane, Internat. J. Math., 3 01), no. 10., pages). [4] T. Colding and W.Minicozzi II, Generic mean curvature flow I:Generic singularities, Ann. of Math. ), ), [5] X. Han and J. Li, Translating solitons to symplectic and Lagrangian mean curvature flows, Inter. J. Math., 0 009), no.4, [6] X. Han and J. Sun, Translating solitons to symplectic mean curvature flows, Ann. Glob. Anal. Geom, ), [7] D. Joyce, Y. Lee and M. Tsui, Self-similar solutions and translating solitons for Lagrangian mean curvature flow, J. Differential Geometry, ), [8] J. Li and Y. Zhang: Lagrangian F-stability of closed Lagrangian self-shrinkers, J. reine angew. Math., DOI /crelle [9] A. Neves and G. Tian, Translating solutions to Lagrangian mean curvature flow, Trans. Amer. Math. Soc., ), no. 11, [10] L. Shahriyari, Translating graphs by mean curvature flow, Geom. Dedicata ), [11] J. Sun, A gap theorem for translating solitons to Lagrangian mean curvature flow, Diff. Geom. Appl., ) [1] J. Sun, Mean Curvature Decay in Symplectic and Lagrangian Translating Solitons, Geom. Dedicata, ), [13] M.-T. Wang, Mean curvature flow of surfaces in Einstein four manifolds, J. Diff. Geom., ), [14] L. Yang, Hamiltonian L-stability of lagrangian translating solitons, Geom. Dedicata ), Jun Sun, School of Mathematical Sciences, Wuhan University, Wuhan 43007, P. R. of China. address: sunjun@whu.edu.cn