23.11.2012 Views

Discrete Holomorphic Local Dynamical Systems

Discrete Holomorphic Local Dynamical Systems

Discrete Holomorphic Local Dynamical Systems

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Uniformisation of Foliations by Curves 115<br />

and this expression tends to 0 as k → +∞. Therefore f (b0)= f (a0), in contradiction<br />

with (i) and (iii). ⊓⊔<br />

It follows from this Lemma that UT = UT is Stein. ⊓⊔<br />

Remark 2.7. We do not know if VT also is Stein, i.e. if VT = V T .<br />

This Theorem allows to apply the results of Nishino and Yamaguchi discussed<br />

above to holomorphic foliations on Stein manifolds. For instance: the set of<br />

parabolic leaves of such a foliation is either full or complete pluripolar. A similar<br />

point of view is pursued in [Suz].<br />

3 The Unparametrized Hartogs Extension Lemma<br />

In order to construct the leafwise universal covering of a foliation, we shall need an<br />

extension lemma of Hartogs type. This is done in this Section.<br />

Let X be a compact Kähler manifold. Denote by Ar, r ∈ (0,1), the semiclosed<br />

annulus {r < |w| ≤1}, with boundary ∂Ar = {|w| = 1}. Given a holomorphic immersion<br />

f : Ar → X<br />

we shall say that f (Ar) extends to a disc if there exists a holomorphic map<br />

g : D → X,<br />

not necessarily immersive, such that f factorizes as g ◦ j for some embedding j :<br />

Ar → D, sending ∂Ar to ∂D.Thatis, f itself does not need to extend to the full disc<br />

{|w|≤1}, but it extends “after a reparametrization”, given by j.<br />

Remark that if f is an embedding, and f (Ar) extends to a disc, then we can find<br />

g as above which is moreover injective outside a finite subset. The image g(D) is a<br />

(possibly singular) disc in X with boundary f (∂Ar). Such an extension g or g(D)<br />

will be called simple extension of f or f (Ar). Note that such a g is uniquely defined<br />

up to a Moëbius reparametrization of D.<br />

Given a holomorphic immersion<br />

f : D k × Ar → X<br />

we shall say that f (D k × Ar) extends to a meromorphic family of discs if there<br />

exists a meromorphic map<br />

g : W ��� X<br />

such that:<br />

(i) W is a complex manifold of dimension k + 1 with boundary, equipped with a<br />

holomorphic submersion W → D k all of whose fibers Wz, z ∈ D k , are isomorphic<br />

to D;

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

Saved successfully!

Ooh no, something went wrong!