21.06.2014 Views

Conformally Invariant Variational Problems. - SAM

Conformally Invariant Variational Problems. - SAM

Conformally Invariant Variational Problems. - SAM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Theorem X.3. Let Σ 2 be a closed surface and let Φ ⃗ be a smooth<br />

immersion of Σ 2 into R m . Assume there exists a point p ∈ R m<br />

with at least k pre-images by Φ, ⃗ then the following inequality<br />

holds<br />

∫<br />

W( Φ) ⃗ = | H ⃗ ⃗Φ | 2 dvol ⃗Φ∗ g ≥ 4πk . (X.59)<br />

R<br />

Σ 2 m<br />

An important corollary of the previous theorem is the following<br />

Li-Yau 8π−threshold result 42 .<br />

Corollary X.2. Let Σ 2 be a closed surface and let Φ ⃗ be a smooth<br />

immersion of Σ 2 into R m . If<br />

∫<br />

W( Φ) ⃗ = | H ⃗ ⃗Φ | 2 dvol ⃗Φ∗ g < 8π ,<br />

R<br />

Σ 2 m<br />

then ⃗ Φ is an embedding 43 .<br />

Proof of theorem X.5. Assume the origin O of R m admits<br />

k−pre-images by Φ. ⃗ Let π be inverse of the stereographic projection<br />

of R m into S m which sends O to the north pole of S m<br />

and ∞ to the south pole. Let D λ be the homothecy of center<br />

O and factor λ. On every ball B R (O), the restriction of D λ ◦Φ<br />

⃗<br />

converge in any C l norm to a union of k planes restricted to<br />

B R (O) as λ goes to +∞. Hence π◦D λ ◦Φ(Σ ⃗ 2 ) restricted to any<br />

compact subset of S m \ {southpole} converges strongly in any<br />

C l norm to a union of totally geodesic 2-spheres S 1 ,··· ,S k . It<br />

is well known that Ψ λ := π◦D λ are conformal transformations.<br />

Applying then corollary X.1 we have in one hand<br />

∫<br />

W( Φ) ⃗ = | H<br />

∫Σ ⃗ Ψλ ◦Φ ⃗|2 dvol (Ψλ ◦Φ) ⃗ ∗ g + S<br />

dvol 2 m (Ψλ ◦Φ) ⃗ ∗ g S<br />

.<br />

Σ 2 m<br />

✷<br />

✷<br />

(X.60)<br />

42 A weaker version of this result has been first established for spheres in codimension 2<br />

(i.e. m = 4) by Peter Wintgen [Win].<br />

43 We recall that embeddings are injective immersions. Images of manifolds by embeddings<br />

are then submanifolds.<br />

126

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

Saved successfully!

Ooh no, something went wrong!