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.
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