arxiv: v1 [math.dg] 22 Dec 2017

Transcription

1 INIAL SURFACES IN A UNIT SPHERE PINCHED BY INTRINSIC CURVATURE AND NORAL CURVATURE arxiv: v [math.dg] Dec 07 YANG DAN Abstract. We establish a nice orthonormal frame field on a closed surface minimally immersed in a unit sphere S n, under which the shape operators take very simple forms. Using this frame field, we obtain an interesting property K + K N = for the Gauss curvature K and the normal curvature K N if the Gauss curvature is positive. oreover, using this property we obtain the pinching on the intrinsic curvature and normal curvature, the pinching on the normal curvature, respectively.. Introduction Let x : S n be a minimal immersion of a closed surface into an n- dimensional unit sphere S n. Let K s = /(s(s + )) for each natural number s. Using an idea of Hopf and the global coordinates on S n, Calabi [3] proved that if is a -sphere with constant Gauss curvature K s and and x is linearly full, then n = s and x is congruent to s-th standard minimal immersion. For more general minimal immersion of -sphere into S n, Chern [4, p. 38] obtained an important equality about some local invariants by choosing a local orthonormal frame filed on S n. As a special case, Chern showed that if the Gauss curvature K is constant then K = K s. Furthermore, for general minimal immersion of a surface into S n, Kenmotsu [9,0] also obtained an important equality (see Theorem in [9]) by choosing the frame filed, which generalized Chern s result for the minimal immersion of -sphere into S n. We could observe that the chosen of the frame filed plays an important role in studying the minimal surface. The first purpose of this paper is to establish a best local orthonormal frame field on the closed surface minimally immersed in S n with positive Gauss curvature, under which the shape operators take the most simple forms, see Theorem.3 for detail. Furthermore, using the frame field introduced in Theorem.3, we can obtain an interesting result K+K N = for the Gauss curvature K and the normal curvature K N, which means that closed minimal surfaces immersed in S n with positive Gauss curvature and flat or nowhere flat normal bundle are Wintgen ideal surfaces, see Theorem 3.3. Wintgen ideal submanifolds are a family of submanifolds satisfying a DDVV type inequality when the equality holds true exactly, see [5] for instance. Recently, a remarkable result due to Baker and Nguyen [] says that codimensional two surfaces satisfying a nonlinear curvature condition depending on normal curvature smoothly evolve by mean curvature flow to round points. In the course of estimating the nonlinearity in the Simons identity, the authors announced an 000 athematics Subject Classification. Primary 53C4; Secondary 53A0. Key words and phrases. inimal surface; normal curvature; Gauss curvature; pinching.

2 Dan Yang interesting result depending on a pointwise pinching of the intrinsic and normal curvatures. Theorem.. ( []) Suppose a two surface minimally immersed in S 4 satisfies K N K. Then either () S = 0 and is a geodesic sphere; or () S 0, in which case either (a) K N = 0 and the surface is the Clifford torus, or (b) K N 0 and it is the Veronese surface. By using the frame field obtained in Theorem.3, we generalize this result to the minimal surfaces in arbitrary dimension unit sphere S n. We prove that closed minimal surfaces immersed in S n with nonnegative Gauss curvature and flat or nowhere flat normal bundle satisfying K N K are geodesic sphere, the Clifford torus, or the Veronese surface in S 4, see Theorem 3.6 for detail. Based on this result, we continue to consider the next pinching K K N 5K, see Theorem 3.8. Then we study the first pinching of normal curvature 0 K N /3, see Theorem 3.9, and the next pinching /3 K N 5/6, see Theorem 3.0. At last, we prove that closed surfaces minimally immersed in S n with positive Gauss curvature and non-zero constant normal curvature are generalized Veronese surfaces studied by Calabi [3] and do-carmo-wallach [6]. The paper is organized as follows. In Section, we introduce some basic formulae for theory of submanifolds and establish an orthonormal frame field on the closed surfaces minimally immersed in a unit sphere, which is crucial to get the main theorems. In Section 3, we give some pinching theorems and their proofs.. Basic formulae and the frame field Let be a closed surface immersed in a unit sphere S n. We identify with its immersed image, agree on the following index ranges: i,j,k,l,m, ; 3 α,β,γ,δ, n; A,B,C,D, n, andusetheeinsteinconvention. Wetakealocalorthonormalframefield{e,,e n } in TS n such that, restricted to, at each point of, {e,e } lies in the tangent bundle T() and {e 3,,e n } in the normal bundle N(). Let {ω,,ω n } be the dual coframe field of {e,,e n } and (ω AB ) the Riemannian connection form matrix associated with {ω,,ω n }. Then (ω ij ) defines a Riemannian connection in T() and (ω αβ ) defines a normal connection in N(). The second fundamental form of can be expressed as where II = ω i ω iα e α = h α ijω i ω j e α, ω iα = h α ij ω j; h α ij = hα ji. Let L α = (h α ij ). We denote the square of the norm of the second fundamental form S by S = (h α ij ). (α,i,j) The mean curvature vector field of is expressed as h = (h α +h α )e α, α=3

3 inimal Surfaces in a Unit Sphere 3 then is minimal if and only if h = 0. The Riemannian curvature tensor {R ijkl } and the normal curvature tensor {R αβkl } are expressed as R ijkl = (δ ik δ jl δ il δ jk )+h α ik hα jl hα il hα jk, R αβkl = h α km hβ ml hα lm hβ mk. (.) We denote the normal scalar curvature K N by K N = (R αβij ). (α,β,i,j) The first and the second order covariant derivatives of {h α ij }, say{hα ijk } and {hα ijkl } are defined as follows: h α ij = h α ijkω k = dh α ij +h α mjω mi +h α imω mj +h β ij ω βα, h α ijk = hα ijkl ω l = dh α ijk +hα mjk ω mi +h α imk ω mj +h α ijm ω mk +h β ijk ω βα. Then we have the Codazzi equation and the Ricci s formula h α ijk = hα ikj, (.) h α ijkl hα ijlk = hα pj R pikl +h α ip R pjkl +h β ij R βαkl. (.3) The Laplacian of {h α ij } and {hα ijk } are defined by It follows from (.) and (.3) that h α ij = hα ijmm, hα ijk = hα ijkmm. h α ij = hα mmij +hα pi R pmjm +h α mp R pijm +h δ mi R δαjm, (.4) h α ijk = ( h α ij ) k +h α pjm R pikm +h α ipm R pjkm +h α ijp R pmkm + h α pjr pikm,m +h α ipr pjkm,m +h δ ijmr δαkm +h δ ijr δαkm,m. (.5) In the following we will choose an orthonormal frame field on the closed surfaces minimally immersed in a unit sphere, under which the shape operators have very simple forms. If the normal bundle of immersed in S n is flat, the shape operator L α with respect to e α can be diagonalized simultaneously for α = 3,,n. Otherwise, at least one of h β is not zero. Choosing a unit normal vector field ẽ 3 = e/ e where e = n β=3 hβ e β, and taking an orthogonal transformation in the normal space N x (), we have ẽ 3 h 3 e h 4 e h n e e 3 ẽ 4 a 43 a 44 a 4n e 4 = ẽ n a n3 a n4 a nn e n Let L α = ( h α ij ) be the shape operator with respect to ẽ α. Then

4 4 Dan Yang h 3 ij = h3 e h 3 ij +a 43 h 4 ij + +a n3 h n ij, h 4 ij = h4 e h 3 ij +a 44 h 4 ij + +a n4 h n ij, ( ) h n ij = hn e h 3 ij +a 4n h 4 ij + +a nn h n ij. Put i = and j = in ( ). Then ( ) has a unique solution b := h 3 = e = 0, hβ = 0, 4 β n. We denote λ β = h β for β 3. So the shape operators L α have the following forms: ( ) ( ) λ L 3 3 b λ β = b ν 3, Lβ 0 = 0 ν β, (.6) where β = 4,,n. When is a minimal surface immersed in S n, then λ α +ν α = 0, (.7) for α = 3,,n. For convenience, we still denote the new frame filed by {e α } and the corresponding second fundamental form by {h α ij }. We denote S := (h β ij ) = (β>3)(λ β ), S 3 := (h 3 ij) = (λ 3 ) +b. (i,j) Then (i,j,β>3) According to (.7), we define S = S +S 3 = (λ β ) +(λ 3 ) +b. (β>3) λ α i := h α i = h α i, λ α ij := h α ij = h α ij. (.8) By the symmetry of h α ijk and hα ijkl with respect to indices i,j,k, we denote P := (h α ijk) ( = 4 (λ α ) +(λ α ) ), Q := (h α ijkl ) = 4 α=3 ( (λ α ) +(λ α ) +(λ α ) +(λ α )). (.9) α=3 It follows from (.) and (.6) that the Riemannian curvature tensor, the normal curvature tensor and the first covariant differentials of the normal curvature tensor become R ijkl = ( S/)(δ ik δ jl δ il δ jk ), R 3β = bλ β, R γβ = 0, (.0) R 3β,k = (λ 3 h β k λβ h 3 k bλβ k ), R βγ,k = (λ β h γ k λγ h β k ), (.) where β,γ = 4,,n. It is not difficult to check that Hence 4 S = S k = n h α ij hα ijk = 4 λ β λ β k +4(λ3 λ 3 k +bh3 k ). β=4 β=4 λ β λ β +λ3 λ 3 +bλ3, 4 S = λ β λ β +λ3 λ 3 bλ3. (.) β=4

5 inimal Surfaces in a Unit Sphere 5 From Ricci s formula (.3), we have λ 3 λ3 = ( S S)b, λ3 +λ3 = ( S)λ3, λ β +λβ = ( S b )λ β, λ β λβ = bλ3 λ β, for β = 4,,n. (.3) Using the above formulae, we can obtain the following proposition for later use. Proposition.. Let be a surface minimally immersed in a unit sphere S n. Then S = P +( S)S 4b S. (.4) Proof. From (.4) and (.0), we have h α ij hα ij = (h α ij hα pi R pmjm +h α ij hα mp R pijm)+ i,j,α Hence i,j,p,m,α = ( S)(h α ij ) + i,j,m,α,δ 4bλ β R 3β = ( S)S 4b S. β=4 S = α,i,j,k(h α ijk ) + h α ij hα ij = P +( S)S 4b S. α,i,j h α ij hδ mi R δαjm Remark.. If the normal bundle of the surface minimally immersed in S n is flat, we choose e,e such that b is zero. We easily get S = P +( S)S. Next we consider the case that the normal bundle of is nowhere flat. In this case, b 0 and we can establish the following Theorem.3. Some partial result was obtained in [8]. Here, we will give the detailed proof of the theorem for the completeness. Theorem.3. Let be a surface minimally immersed in a unit sphere S n with nowhere flat normal bundle. If the Gauss curvature of is positive, we can establish a local orthonormal frame filed {e 3,,e n } normal to such that the shape operators L α with respect to e α have the following forms: L 3 = ( 0 b b 0 ), L 4 = where β = 5,,n. Furthermore ( b 0 0 b ), L β = ( ) 0 0, 0 0 b = S/4, λ 3 = λ4 = 4 S S, λ 3 = λ4 = 4 S S, (.5) λ 3 = λ4 = 4 S S, λ 3 = λ4 = 4 S (S P), λ 3 = λ 4 = 4 S S, λ 3 = λ 4 = 4 S (S P). (.6)

6 6 Dan Yang Proof. We take the orthonormal frame field {e,e,e 3,,e n } on such that the shape operators have the form ( ) ( ) λ L 3 3 b λ = b λ 3 ; L β β 0 = 0 λ β, (.7) where β = 4,,n. It is easy to check from (.4) that (h α ijk h α ij) k = ( h α ij) + (h α ijkh α pikr pljl +h α ijkh α lpkr pijl ) i,j,α i,j,k,l,p,α + (h α ijkh α pir pljl,k +h α ijkh α lpr pijl,k ) + i,j,k,l,p,α i,j,k,l,α,δ Firstly, by (.4) and (.0), we get for β = 4, n, so ( h α ij ) = i,j,α h α ijk hδ lik R δαjl + i,j,k,l,α,δ h β = ( S b )λ β, h β = bλ3 λ β, h 3 = ( S S)b, h 3 = ( S)λ 3, ( h β ) +( h 3 ) + β=4 h α ijk hδ li R δαjl,k. (.8) ( h β ) +( h 3 ) β=4 = ( S) S +(5S 8)b S. (.9) Secondly, using (.0) and (.), we get (h α ijkh α pikr pljl + h α ijkh α lpkr pijl )+ i,j,k,l,p,α i,j,k,l,α,δ = ( S)P + 8(λ 3 λγ λ3 λγ )R γ3 γ=4 = ( S)P + 6b (λ 3 λγ λ γ λ3 λγ λ γ ). γ=4 h α ijkh δ likr δαjl = ( S)P + 4b i,j,k(h 3 ijk ) +4b(λ 3 S λ 3 S ). (.0) Thirdly, by the first formula of (.0), we have (h α ijk hα pi R pljl,k +h α ijk hα lp R pijl,k) = h α ij hα ijk S k = S. (.) i,j,k,l,p,α At last, using (.), we have h α ijkh δ lir δαjl,k = (λ γ λ 3 +bλ γ λ3 λ γ )R 3γ, i,j,k,l,α,δ + + γ=4 ( λ γ λ 3 +bλγ +λ3 λ γ )R 3γ, γ=4 ( λ γ λ β R γβ, +λ γ λ β R γβ,). β,γ=4 = SP +4b i,j,k(h 3 ijk) +4b(λ 3 S λ 3 S )+ 4 S. (.)

7 inimal Surfaces in a Unit Sphere 7 Substituting (.9), (.0),(.) and (.) into (.8), we have (h α ijk hα ij ) k = ( 3 S)P +( S) S +(5S 8)b S + 8b i,j,k(h 3 ijk ) +8b(λ 3 S λ 3 S ) 4 S, (.3) which together with P = S ( S)S+4b S and S S = S S forces that (h α ijk h α ij) k = ( S)S +4(S )b S + S 3 8 S +8b i,j,k(h 3 ijk) +8b(λ 3 S λ 3 S )+ S. (.4) Taking integration over on both sides of (.4), we have { S ( S)+4(S )b S +(4bλ 3 + S ) +(4bλ 3 } S ) = 0, that is ( S)b S = and the equality holds if and only if On the other hand, it is easy to check and the equality holds if and only if { 8 S ( S)+ (4bλ3 + S ) + (4bλ3 } S ) 8 S ( S), (.5) bλ 3 = 8 S, bλ 3 = 8 S. b S S 3S 8 (S 3 +S) = 8 S, (.6) λ 3 = 0, S = S 3 = b. Since the Gauss curvature of is positive, we have S <. Taking integration over on both sides of (.6), we obtain ( S)b S 8 S ( S). (.7) It follows from (.5) and (.7) that ( S)b S = 8 S ( S), which implies that the equalities in (.5) and (.6) hold always. Therefore λ 3 = 0, bλ 3 = 8 S, bλ 3 = 8 S, S = b. This together with the fact that S = S +b yields b = 4 S, S = S, λ3 = 4 S S, λ 3 = 4 S S. Therefore we deduce that there must exist a number β such that λ β 0 for β 4. We choose a unit normal vector field e 4 = e/ e where e = n γ=4 hγ e γ, and take an orthogonal transformation in the normal space N x (): e 3 = e 3 and

8 8 Dan Yang e 4 h 4 e h 4 e h n e e 4 e 5 b 54 b 55 b 5n e 5 = e n b n4 b n5 b nn Let L α = (h α ij) be the shape operators with respect to e α, 3 α n. It follows that h 3 ij = h3 ij, h 4 ij = h4 e h 4 ij +b 54h 5 ij + +b n4h n ij, h 5 ij = h5 e h 4 ij +b 55h 5 ij + +b n5h n ij, h n ij = hn e h 4 ij +b 5nh 5 ij + +b nnh n ij. Put i = and j = in ( ). Then it is easy to check that ( ) has unique solution h 4 = e > 0, h γ = 0, 5 γ n. Put i = and j = in ( ). Then it is easy to check that ( ) has unique solution h γ = 0, 5 γ n. Therefore the shape operators with respect to {e,e ;e γ } n γ=3 have the following forms: L 3 = ( ) 0 b, L 4 = b 0 ( ) λ λ 4, L β = e n ( ) 0 0, 5 β n, 0 0 where b = (λ 4 ) = S/4, that is λ 4 = b = S/. For convenience, we denote the new frame field by {e,e ;e γ } n γ=3. So far, we have built a frame field on such that the shape operators have the following forms: L 3 = ( 0 b b 0 Furthermore ), L 4 = ( b 0 0 b ), L β = ( ), 5 β n. b = S/4, λ 3 = 4 S S, λ 3 = 4 S S. (.8) It follows from Chern [4] and the choice of the normal vector field e 3,e 4 that λ γ λγ = 0, n Next we take covariant differential of h 4 and have which implies h 4 k ω k = dh 4 +h4 ω + ( ) ( (λ γ ) (λ γ )) = 0. (.9) α=3 h α ω α4 = dh 4 = 4 S S kω k, λ 4 = λ 3 = 4 S S, λ 4 = λ 3 = 4 S S. (.30)

9 inimal Surfaces in a Unit Sphere 9 We take covariant differential of h γ and hγ for 5 γ n, h γ k ω k = dh γ +hγ ω + h α ω αγ = bω 4γ, which imply α=3 h γ k ω k = dh γ +hγ ω +h γ ω + h α ω αγ = bω 3γ, α=3 ω 3γ = b (λγ ω λ γ ω ), ω 4γ = b (λγ ω +λ γ ω ). (.3) We take covariant differential of h 3, h3, h4 and h4 respectively h 3 k ω k = dh 3 +3h3 ω +h 4 ω 43 + h γ ω γ3, (.3) h 3 kω k = dh 3 +h 3 ω +h 3 ω +h 4 ω 43 + h 4 kω k = dh 4 +3h 4 ω +h 3 ω 34 + h γ ω γ3, (.33) h γ ω γ4, (.34) h 4 kω k = dh 4 +h 4 ω +h 4 ω +h 3 ω 34 + Then from (.3), (.35) and use (.30), (.9) we have (λ 3 +λ 4 )ω + (λ 3 +λ 4 )ω = (λ γ ω γ3 +λ γ ω γ4) = b λ γ λγ ω + b h γ ω γ4. (.35) {(λ γ ) (λ γ ) }ω = 0. It follows from (.33), (.34), (.30) and (.9) that (λ 3 λ4 )ω + (λ 3 λ4 )ω = (λ γ ω γ3 λ γ ω γ4) therefore = b λ γ λγ ω + b ( (λ γ ) (λ γ )) ω = 0, λ 3 +λ 4 = 0, λ 3 +λ 4 = 0, λ 3 λ 4 = 0, λ 3 λ 4 = 0. (.36) On the other hand, we study the second covariant differentials of S. It is not difficult to check that for all k =,, S kl = (h α ijl hα ijk +hα ij hα ijkl ) = 4 α (λ α k λα l +h α k hα l )+bλ3 kl +bh4 kl, which is equal to λ 4 +λ 3 = S (S P), λ 4 +λ 3 = S S λ 4 λ3 = S (S P), λ 4 λ3 = S S. Thistogetherwith(.36)gives(.6). SowecompletetheproofofTheorem.3.

10 0 Dan Yang From now on we use the orthonormal frame field established by Theorem.3. We conclude this section with some interesting and elementary formulas which will be useful in the next section. Firstly, it follows from Theorem.3 that b S = S /8. So we can rewrite Proposition. as follows. Proposition.4. Suppose that is a closed surface minimally immersed in a unit sphere S n with positive Gauss curvature and nowhere flat normal bundle. We have S = P S(3S 4). (.37) The Riemannian curvature tensor, the normal curvature tensor and the first covariant differentials of the normal curvature tensor in (.0) and (.) can be simplified as R ijkl = ( S ) (δ ik δ jl δ il δ jk ), R ijkl,m = S m(δ ik δ jl δ il δ jk ), (.38) R 34 = S, R 3β = R 4β = R βγ = 0, (.39) R 34,k = S k, R 3β, = bλ β, R 3β, = bλ β, (.40) R βγ,k = 0, R 4β, = bλ β, R 4β, = bλ β (.4) for 5 β,γ n. The Ricci s formula in (.3) becomes λ 3 +λ3 = 0, λ3 λ3 = 4 S(3S 4), λ β +λβ = 0, λβ λβ = 0 (.4) for 5 β n. 3. ain Results In [3], Calabi considered minimal immersions of compact surfaces without boundary and with constant Gauss curvature K into S n. He gave a complete list of all such immersions and proved that the set of possible values of K is discrete, namely K = K(s) = /(s(s+)), s N. This led to the Simon conjecture as follows (see [5]). Simon conjecture (intrinsic version): Let be a compact surface minimally immersed into S n. If K(s + ) K K(s) for an s N, then either K = K(s + ) or K = K(s) and the immersion is one of the Calabi s standard minimal immersion. There is another version of this conjecture for the extrinsic curvature functions S. For minimal surfaces in S n, both curvature functions are related as follows: K = S, Thus, for Calabi s standard immersions, we have S = (s )(s+), s N. s(s+)

11 inimal Surfaces in a Unit Sphere Simon conjecture (extrinsic version): Let be a compact surface minimally immersed into S n. If (s )(s+) s(s+) S s(s+3) (s+)(s+), s N then either S = (s )(s+) s(s+) or S = s(s+3) (s+)(s+), and the immersion is one of the Calabi s standard minimal immersion. For a minimal immersion as considered above, K = K(s) = for s = gives S = 0, and the immersion is an equator in S 3 (). K = K(s) = 3 for s = gives S = 4 3 and the immersion is a Veronese surface in S4 (). K = K(s) = 6 for s = 3 gives S = 5 3 and the immersion is a generalized Veronese surface in S6 (). So far, Simon conjecture has been solved in the case s = and s =, see [,,]. Using the frame field established by Theorem.3, we give a very simple proof of Simon conjecture for the minimal surface in S n with flat or nowhere flat normal bundle, which is critical for later use. Theorem 3.. Let be a closed minimal surface immersed in S n with flat or nowhere flat normal bundle. If 0 S 4/3, then S = 0 or S = 4/3. Proof. If the normal bundle is flat, it follows from Remark. and 0 S 4/3 that S = P +( S)S ( S)S 0. By integration, we have S = 0. If the normal bundle is nowhere flat, the assumption 0 S 4/3 implies that the Gauss curvature of the minimal surface is positive. It follows from (.37) in Proposition.4 that S = P S(3S 4) S(3S 4) 0. (3.) So we have S(3S 4) = 0, it follows that S = 4/3. We complete the proof of Theorem 3.. Theorem 3.. Let be a closed minimal surface immersed in S n with flat or nowhere flat normal bundle. If 4/3 S 5/3, then S = 4/3 or S = 5/3. Proof. If the normal bundle is flat, from the condition 4/3 S 5/3, we have S = P +( S)S ( S)S > 0. By integration, we get a contradiction. If the normal bundle is nowhere flat, it follows from 4/3 S 5/3 that the Gauss curvature is positive. So we can use the frame field introduced in Theorem.3. From (.5), we have = ( h α ij) + h α ijk h α ijk + + (h α ijk h α ij) k i,j,α i,j,k,p,m,α (h α ijk hα ijp R pmkm +4h α ijk hα pjm R pikm) i,j,k,p,m,α i,j,k,m,α,δ h α ijk hδ ijm R δαkm + i,j,k,m,α,δ h α ijkh α pjr pikm,m h α ijk hδ ij R δαkm,m. (3.)

12 Dan Yang From (.9), we have ( h α ij ) = ( S) S +(5S 8)b S = 4 S(3S 4). (3.3) i,j,α From (.38), we have h α ijk hα pj R pikm,m = h α ij hα ijk S k = S, (3.4) and i,j,k,p,m,α i,j,k,p,m,α (4h α ijkh α pjmr pikm +h α ijkh α ijpr pmkm ) = 5( S )P. (3.5) From (.39), we have h α ijkh δ ijmr δαkm = 6(λ 3 λ 4 λ 3 λ 4 )R 43 = S. (3.6) i,j,k,m,α,δ From (.40), we have i,j,k,m,α,δh α ijkh δ ijr δαkm,m = S i,j,k which together with forces that (h γ ijk ) 4 S, i,j,k(h 3 ijk ) + (h 4 ijk ) = S S i,j,k i,j,k,m,α,δ h α ijkh δ ijr δαkm,m = SP. (3.7) Substituting (3.3),(3.4), (3.5), (3.6) and (3.7) into (3.), we get h α ijk hα ijk = (h α ijk hα ij ) k + 5 S 3 4 S + S S(3S 4)(9S 4). (3.8) 4 On the other hand, It follows from (.9) and (.36) that Q = 8 ( ( (λ 3 ) +(λ 3 ) +(λ 3 ) +(λ 3 )) +4 (λ β ) +(λ β ) +(λ β ) +(λ β )). It is easy to check that the relative minimal value Q with the constraint (.4) is 4 S(3S 4), which together with (3.8) forces that P = h α ijk h α ijk + (h α ijkl) i,j,k,l,α β=5 (h α ijk h α ij) k + 5 S 3 4 S S(3S 4)(3S 5). (3.9) Taking integration over on both sides of (3.9) and using the Stokes formula, we have 0 S(3S 4)(3S 5). It follows that S = 4/3 or S = 5/3 if 4/3 S 5/3. We complete the proof of Theorem 3..

13 inimal Surfaces in a Unit Sphere 3 Now an important result can be obtained instantly as follows. Theorem 3.3. Let be a closed minimal surface immersed in S n with positive Gauss curvature K and flat or nowhere flat normal bundle. Then K + K N =, i.e. is a minimal Wintgen ideal surface. Proof. If the normal bundle is flat, since the Gauss curvature of is positive, we have S <. It follows from Remark. that S = P +( S)S ( S)S 0. It follows that S = 0 and K =, so the Gauss curvature K and the normal curvature K N satisfy K +K N =. If the normal bundle is nowhere flat, it follows from formula (.39) that the normal curvature K N = S/ = K, so K +K N =. This completes the proof of Theorem 3.3. Remark 3.4. In submanifolds theory, the famous DDVV inequality is related to the scalar curvature, normal scalar curvature and mean curvature, which is proved by Ge-Tang [7] and Lu [3], independently. Submanifolds are called Wintgen ideal when the equality in the DDVV inequality holds true exactly. By the equality characterization of the DDVV inequality proved by Ge and Tang [7], the shape operators in Theorem.3 could attain the equality of DDVV inequality. In this way, Theorem 3.3 can be also deduced. Remark 3.5. There are also some important properties concerning the sum of the Gauss curvature and normal curvature for closed surfaces immersed in space forms (see [4]). As we know very well, there are lots of results concerning the pinching of the secondfundamental form in aunit spheres n. But there arelittle results concerning the pinching of the normal curvature. In the following part, we will provide some new results of closed surfaces immersed in arbitrary dimensional unit sphere S n depending on a pinching of the intrinsic and normal curvature. Theorem 3.6. Let be a closed surface minimally immersed in S n with flat or nowhere flat normal bundle satisfying K N K. () If K N = 0, then either (a) S = 0 and the surface is the geodesic sphere, or (b) S = and the surface is the Clifford torus. () If K N 0, then K N = K and the surface is the Veronese surface in S 4. Proof. If the normal bundle is flat, we have K N = 0 and the Gauss curvature K is nonnegative. It follows from Remark. that S = P +( S)S ( S)S 0. So either S = 0 and the surface is a geodesic sphere, or S = and the surface is the Clifford torus. If the normal bundle is nowhere flat, we have that the Gauss curvature K is positive from K N K. It follows from K + K N = in Theorem 3.3 that the assumption K N K is equivalent to S 4/3. By Theorem 3. we get S = 4/3 and is the Veronese surface in S 4.

14 4 Dan Yang Remark 3.7. Theorem 3.6 generalizes Theorem. obtained by Baker and Nguyen [] to arbitrary codimension for the surface with flat normal bundle or nowhere flat normal bundle. Theorem 3.8. Let be a closed surface minimally immersed in S n with positive Gauss curvature satisfying K K N 5K, then either () K N = K and it is the Veronese surface in S 4, or () K N = 5K and it is the generalized Veronese surface in S 6. Proof. It follows from K K N 5K and the Gauss curvature K is positive that the normal curvature is positive everywhere. It follows from K +K N = in Theorem 3.3 that K K N 5K is equivalent to 4/3 S 5/3. By Theorem 3. we get S = 4/3 and is the Veronese surface in S 4, or S = 5/3 and is the generalized Veronese surface in S 6. Next we will give some new results concerning the normal curvature. Theorem 3.9. Let be a closed minimal surface immersed in S n with positive Gauss curvature and flat or nowhere flat normal bundle. If 0 K N /3, then either () K N = 0 and it is a geodesic sphere, or () K N = /3 and it is the Veronese surface in S 4. Proof. Since the Gauss curvature K is positive and the normal bundle is flat or nowhere flat, it follows from Theorem 3.3 that K + K N =. So 0 K N /3 is equivalent to 0 S 4/3. By Theorem 3. we get S = 0 and is a geodesic sphere, or S = 4/3 and is the Veronese surface in S 4. Theorem 3.0. Let be a closed minimal surface immersed in S n with positive Gauss curvature. If /3 K N 5/6, then () K N = /3 and is the Veronese surface in S 4 ; or () K N = 5/6 and is a generalized Veronese surface in S 6. Proof. We observe that the condition /3 K N 5/6 implies that the normal bundle is nowhere flat. It follows from Theorem 3.3 that K + K N =. So 0 K N /3 is equivalent to 4/3 S 5/3. By Theorem 3. we get S = 4/3 and is the Veronese surface in S 4, or S = 5/3 and is the generalized Veronese surface in S 6. We conclude this paper with the following theorem. Theorem 3.. Let be a closed minimal surface immersed in S n with positive Gauss curvature. If K N is non-zero constant everywhere on, then K is constant and the immersion is one of the generalized Veronese surfaces. Acknowledgments The author was partially supported by Chern Institute of athematics. The authors would like to thank the referees for their professional suggestions about this paper which led to various improvements.

15 inimal Surfaces in a Unit Sphere 5 References. C. Baker, H. T. Nguyen, Codimension two surfaces pinched by normal curvature evolving by mean curvature flow, Ann. I. H. Poincaré AN.(07) 34, K. Benko,. Kothe, K. D. Semmler, U. Simon, Eigenvalues of the laplacian and curvature, Colloq. ath. (979) 4, E. Calabi, inimal immersions of surfaces in Euclidean spheres, J. Diff. Geom. (967), S. S. Chern, On the minimal immersions of the two-sphere in a space of constant curvature, Problems in analysis (Lectures at the Sympos. in honor of Salomon Bochner, Princeton Univ., Princeton, N.J., 969), pp Princeton Univ. Press, Princeton, N.J., B. Y. Chen, Classification of Wintgen ideal surfaces in Euclidean 4-space with equal Gauss and normal curvatures, Ann. Glob. Anal. Geom. (00) 38, do Carmo, N. Wallach, Representations of compact groups and minimal immersions into spheres, J. Diff. Geom. (970) 4, J. Q. Ge, Z. Z. Tang, A proof of the DDVV conjecture and its equality case, Pacific J. ath. (008) 37, Z. H. Hou, D. Yang, inimal Surfaces in a Unit Sphere, Journal of athematical Research with Applications (0) 3, K. Kenmotsu, On compact minimal surfaces with non-negative gaussian curvature in a space of constant curvature: I, Tohoku ath. J. (973) 5, K. Kenmotsu, On compact minimal surfaces with non-negative gaussian curvature in a space of constant curvature: II, Tohoku ath. J. (975) 7, Kozlowski, U. Simon, inimal immersion of -manifolds into spheres, ath. Z. (984) 86, H. B. Lawson, Local rigidity theorems for minimal hypersurfaces, Ann. ath. () (969) 89, Z. Lu, Normal scalar curvature conjecture and its applications, J. Funct. Anal. (0) 6, C. K. Peng, Z. Z. Tang, On surfaces immersed in Euclidean space R 4, Science China athematics (00) 53(), U. Simon, Eigenvalues of the Laplacian and minimal immersions into sphere, In: Differntial Geometry (L.A. Cordero, ed.), Pitman, ontreal, 985, pp.5 0. School of athematics, Liaoning University, Shenyang, China address: dlutyangdan@6.com