Conformally Invariant Variational Problems. - SAM
Conformally Invariant Variational Problems. - SAM
Conformally Invariant Variational Problems. - SAM
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