02.02.2013 Views

The second variational formula for Willmore submanifolds

The second variational formula for Willmore submanifolds

The second variational formula for Willmore submanifolds

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

given by<br />

W ′′ �<br />

(0) =<br />

M<br />

−4 �<br />

ij<br />

{2(∆f) 2 + 2f∆f + 12 �<br />

Aijfifj + (4 �<br />

ij<br />

ij<br />

A 2 ij + 4 �<br />

CiBijfjf + 4 �<br />

Aijfijf<br />

i<br />

ij<br />

C 2 i + 7<br />

8 + K − 2K2 )}dM,<br />

where K is Gaussian curvature of the Moebius metric g = ρ 2 dx0 · dx0.<br />

(2.43)<br />

Remark 2.1. <strong>The</strong> <strong>second</strong> <strong>variational</strong> <strong><strong>for</strong>mula</strong> <strong>for</strong> <strong>Willmore</strong> surfaces in S 3 might be important<br />

to solve the <strong>Willmore</strong> conjecture. As far as we know the only known stable example of a<br />

<strong>Willmore</strong> torus is the Clif<strong>for</strong>d torus. From the existence result of L. Simon in [15], we know<br />

that the <strong>Willmore</strong> conjecture is true if one can show that the only stable <strong>Willmore</strong> torus<br />

embedded in S 3 is the Clif<strong>for</strong>d torus.<br />

§3. <strong>Willmore</strong> tori in S m+1 and their stabilities<br />

In this section we present a class of important examples of <strong>Willmore</strong> hypersurfaces called<br />

<strong>Willmore</strong> tori. As an application of <strong>The</strong>orem 2.1 we show that they are stable <strong>Willmore</strong><br />

hypersurfaces.<br />

Let R m+2 be the (m+2)-dimensional Euclidean space with inner product . We write<br />

R m+2 = R k+1 × R m−k+1 , 1 ≤ k ≤ m − 1. For any vector ξ ∈ R m+2 there is a unique<br />

decomposition ξ = ξ1 + ξ2 with ξ1 ∈ R k+1 and ξ2 ∈ R m−k+1 . For another vector η = η1 + η2<br />

the inner product of them can be written as < ξ, η >=< ξ1, η1 > + < ξ2, η2 >. Let<br />

ξ1 : S k → R k+1 and ξ2 : S m−k → R m−k+1 be standard embeddings of unit spheres. Let<br />

x : S k (a1) × S m−k (a2) → S m+1 ⊂ R m+2 be the embedded hypersurface x = a1ξ1 + a2ξ2 with<br />

a 2 1 + a 2 2 = 1. It is easy to check that<br />

(i) the unit normal vector of M := S k (a1) × S m−k (a2) in S m+1 is given by<br />

em+1 = −a2ξ1 + a1ξ2;<br />

(ii) the <strong>second</strong> fundamental <strong>for</strong>m of M is given by<br />

II = − < dx, dem+1 >= a1a2(< dξ1, dξ1 > − < dξ2, dξ2 >);<br />

(iii) the induced metric of M is given by<br />

If we take {ei} and {ωi}such that<br />

I = a 2 1|dξ1| 2 + a 2 2|dξ2| 2 .<br />

k�<br />

d(a1ξ1) = ωiei, d(a2ξ2) =<br />

n�<br />

ωjej,<br />

i=1<br />

j=k+1<br />

10

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!