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.

is an immersion or not. A first observation in this direction can<br />

be made. The harmonicity of u (V.4) says that div(∇u k ) = 0<br />

on D 2 for each component u k of u. Applying Poincaré lemma,<br />

we can introduce the harmonic conjugates v k of u k satisfying<br />

(−∂ x2 v k ,∂ x1 v k ) = ∇ ⊥ v k := ∇u k = (∂ x1 u k ,∂ x2 u k )<br />

This implies that f k (z) := u k −iv k is holomorphic and<br />

|f ′ (z)| 2 = 4 −1 [|∂ x1 u k −∂ x2 v k | 2 +|∂ x2 u k +∂ x1 v k | 2 ] = |∇u k | 2 .<br />

Since u is conformal, it is an immersion at a given point (i.e<br />

|du ∧ du| ≠ 0) if and only if |∇u| ≠ 0 which is then equivalent<br />

to |f ′ (z)| ≠ 0. Since f ′ (z) is also holomorphic, we obtain<br />

that u is a-priori is an immersion away from isolated so called<br />

branched points. In other words u is is what is called a branched<br />

immersion.<br />

Finally one has to study the possibility for the branch points<br />

to exist or not. It is clear that in codimension larger than 1,<br />

such a branch point can exist as one can see by taking a sub<br />

part of a complex algebraic curve in R 4 ≃ C 2 such as<br />

z → (z 2 ,z 3 )<br />

This disc is calibrated by the standard Kähler form of C 2 and is<br />

then area minimizing for its boundary data, the curve Γ given<br />

by e iθ → (e 2iθ ,e 3iθ ).<br />

In codimension1, m = 3, however the situationis much more<br />

constrained and the delicate analysis to study the possibility<br />

of the existence of branched points is beyond the scope of this<br />

chapter which is just intended to motivated the subsequent ones<br />

on general conformally invariant variational problems. It has<br />

beenprovedbyR.Ossermanthatuhasnointeriortrue branched<br />

point (see [Oss]) and by R.Gulliver, R.Osserman and H.Royden<br />

that u has no interior false branched point neither (see [GOR]).<br />

26

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

Saved successfully!

Ooh no, something went wrong!