Complete nonsingular holomorphic foliations on Stein manifolds

Let $X$ be a Stein manifold of complex dimension $n>1$ endowed with a Riemannian metric $\mathfrak{g}$. We show that for every integer $k$ with $\left[\frac{n}{2}\right] \le k \le n-1$ there is a nonsingular holomorphic foliation of dimension $k$ on $X$ all of whose leaves are topologically closed and $\mathfrak{g}$-complete. The same is true if $1\le k<\left[\frac{n}{2}\right]$ provided that there is a complex vector bundle epimorphism $TX\to X\times\mathbb{C}^{n-k}$. We also show that if $\mathcal{F}$ is a proper holomorphic foliation on $\mathbb{C}^n$ $(n>1)$ then for any Riemannian metric $\mathfrak{g}$ on $\mathbb{C}^n$ there is a holomorphic automorphism $\Phi$ of $\mathbb{C}^n$ such that the image foliation $\Phi_*\mathcal{F}$ is $\mathfrak{g}$-complete. The analogous result is obtained on every Stein manifold with Varolin's density property.


INTRODUCTION
Let X be a complex manifold endowed with a Riemannian metric g.A locally closed subvariety Y of X is said to be g-complete if every smooth divergent path γ : [0, 1) → Y (i.e., one leaving every compact subset of Y ) has infinite g-length: 1 0 g(γ(t), γ(t)) dt = +∞.If g is a complete metric on X then clearly every closed connected complex subvariety of X of positive dimension is g-complete.A holomorphic foliation on X is said to be g-complete if every leaf is g-complete.For the theory of holomorphic foliations, see Scárdua [26].
The results of this paper concern the problem, posed by Yang in 1977 [31,30], whether there exist bounded complex submanifolds of a Euclidean space C n for n > 1 which are complete in the Euclidean metric.We begin with a brief overview of the main developments on this subject, referring the interested reader to the more complete recent survey by Alarcón [3].We also point out that Yang's problem is related to the Calabi-Yau problem in the theory of minimal surfaces; see [7,Chapter 7] for a recent survey of the latter subject.
The first affirmative result on Yang's problem was obtained by Jones [23], who constructed a holomorphic immersion of the unit disc into C 2 and an embedding into C 3 with bounded image and complete induced metric.His method is based on the BMO duality theorem.Much later, Martín, Umehara, and Yamada [25] used a geometric method to construct complete bounded complex curves in C 2 with arbitrary finite genus and finitely many ends.This was followed by Alarcón and López [10] who showed that any topological type is possible.The methods used in these constructions do not provide any control of the complex structure on the curve, except in the simply connected case when any such curve is biholomorphic to the disc.In [4], the authors used the Riemann-Hilbert boundary value problem and gluing methods to prove that every bordered Riemann surface admits a complete proper holomorphic immersion into the ball of C 2 and a complete proper holomorphic embedding into the ball of C 3 .A related result for Riemann surfaces with finite genus and countably many ends was obtained by the authors in [6,Theorem 1.8].These are still the only results on Yang's problem with a complete control of the conformal structure on the underlying Riemann surface.
All results mentioned so far pertain to complex curves.This is how things stood until the seminal work of Globevnik [21] in 2015.In his landmark construction, Globevnik showed that for every pair of integers 1 ≤ k < n there exists a holomorphic foliation of the unit ball B n in C n by closed complete complex subvarieties of complex dimension k, most of which are smooth (without singularities).The leaves of foliations in his construction are connected components of the level sets of holomorphic maps f : B n → C n−k .Completeness of the leaves is ensured by choosing the map f to grow sufficiently fast on components of a suitable labyrinth Γ ⊂ B n having the property that any divergent path in B n avoiding all but finitely many components of Γ has infinite Euclidean length (see Lemma 2.1).The construction of such labyrinths was one of the main new results of Globevnik's paper.In the sequel [22], Globevnik extended his construction to any pseudoconvex domain in C n .Further improvements and generalizations of his results were made by Alarcón [1,2].This is a suitable point to state our first main result.It generalizes Globevnik's theorem to an arbitrary Riemannian Stein manifold, and the foliations that we find are nonsingular.
Theorem 1.1.Let X be a Stein manifold of complex dimension n > 1 endowed with a Riemannian metric g.For every integer k with n 2 ≤ k ≤ n − 1 there exists a nonsingular holomorphic foliation of dimension k on X all of whose leaves are closed and g-complete.
The same holds if 1 ≤ k < n 2 provided that there is a complex vector bundle epimorphism T X → X × C n−k .In particular, if X is parallelizable then it admits a nonsingular holomorphic foliation of any dimension k ∈ {1, . . ., n − 1} with closed g-complete leaves.
Foliations in Theorem 1.1 are given by holomorphic submersions X → C n−k .The proof (see Section 2) combines the methods of Globevnik [21,22] with those of Forstnerič [16]; the latter provide the h-principle for holomorphic submersions from any Stein manifold X to Euclidean spaces of dimension < dim X.
The construction methods used in the proof of Theorem 1.1 (like those in [21,22,1,2]) do not provide any control of the topology or the complex structure of the leaves.Soon after Globevnik's work, Alarcón, Globevnik, and López [8,9] combined the use of labyrinths with the approximation theory for holomorphic automorphisms of complex Euclidean spaces to construct complete properly embedded complex hypersurfaces in the ball B n of C n (n > 1) with partial control on their topology, and with prescribed topology if n = 2.The main idea is to inductively deform a given closed complex submanifold Y ⊂ C n by holomorphic automorphisms of C n such that the images avoid more and more pieces of a given labyrinth Γ ⊂ B n , and they converge to a properly embedded complete complex submanifold of B n which is biholomorphic to a Runge domain in Y .This construction is possible if Γ is polynomially convex and the connected components of Γ are holomorphically contractible.The labyrinths used in the aforementioned papers consist of balls in suitably placed affine real hyperplanes in C n .A bit later, the authors proved in [5] that the ball B n for n > 1 admits a nonsingular holomorphic foliation by complete holomorphic discs.By using labyrinths in pseudoconvex shells in C n , constructed by Charpentier and Kosiński in [13], one obtains the analogous result with the ball replaced by an arbitrary Kobayashi hyperbolic pseudoconvex Runge domain in C n with n > 1 (see [5,Remark 1]).If the domain fails to be hyperbolic then some leaves of the foliation may be complex lines.See the survey [3] for more information.
In order to extend this technique to more general Stein manifolds, we must assume that the manifold has many holomorphic automorphisms.The suitable class are Stein manifolds with the density property; see Definition 1.6.Another technical issue is to find suitable labyrinths in X with holomorphically contractible components.We do this in Section 3 in the course of proof of Theorem 1.7 (see Lemma 3.2, which is an important new tool).
We shall consider foliations satisfying the following condition.Definition 1.2.Let X be a connected Stein manifold of dimension > 1.A (possibly singular) holomorphic foliation F on X is proper if every leaf F x (x ∈ X) is closed and satisfies dim F x ≥ 1, and for every compact subset K ⊂ X the set is such that X \ F (K) is nonempty and not relatively compact in X.
A biholomorphic map clearly takes a proper foliation to another such foliation.
Proposition 1.3.Every holomorphic foliation F on a connected Stein manifold X given by a nonconstant holomorphic map f = (f 1 , . . ., f q ) : X → C q with 1 ≤ q < dim X is proper.
Proof.Every irreducible component of a nonempty fibre f −1 (z) (z ∈ C q ) is a closed complex subvariety of X of some dimension d ∈ {1, . . ., dim X − 1}.In particular, the foliation does not have any zero dimensional leaves.Given a compact set K ⊂ X we clearly have that ) for every j = 1, . . ., q.Since f is nonconstant, the function f j : X → C is nonconstant for some j, hence an open map.Thus, f j (X) is an open subset of C containing the compact subset f j (K).Choose a nonempty open subset U ⊂ f j (X) \ f j (K).The set X \ f −1 j (f j (K)) then contains f −1 j (U), hence is nonempty and not relatively compact.By (1.2) the same is true for X \ F (K).
The proof of Proposition 1.3 also gives the following criterium for properness.
Corollary 1.4.Assume that X is a connected Stein manifold of dimension > 1 and F is a holomorphic foliation on X with all leaves closed and of positive dimension.If there is a nonconstant holomorphic function on X which is constant on every leaf of F , then F is a proper foliation.
An example of a nonproper (singular) holomorphic foliation is given by punctured complex lines through the origin in C 2 , with the origin a leaf of dimension zero.Taking a Cartesian product with C gives a nonproper holomorphic foliation of C 3 with a closed leaf of dimension 1 and nonclosed leaves of dimension 2. Proposition 1.3 and Corollary 1.4 show that there are no simple examples of nonproper holomorphic foliations having closed leaves.
Our second main result is the following.It is proved in Section 3.
Theorem 1.5.Let g be a Riemannian metric on C n , n > 1.For every proper holomorphic foliation This theorem is nontrivial if the metric g is not complete on C n , and its main interest is when g decays fast at infinity.Note that the foliation Φ * F has exactly the same leaves as the original foliation F up to biholomorphisms, but they are now sufficiently twisted in C n to become g-complete.
By using labyrinths provided by Lemma 3.2, we shall also prove the analogue of Theorem 1.5 for every Stein manifold with the density property, a notion introduced by Varolin [29].
Recall that a holomorphic vector field on a complex manifold X is called complete if its flow exists for all complex values of time, so it forms a complex one-parameter group of holomorphic automorphisms of X. Definition 1.6 (See Varolin [29] or Definition 4.10.1 in [18]).A complex manifold X has the density property if every holomorphic vector field on X can be approximated uniformly on compacts by sums and commutators of complete holomorphic vector fields on X.
The fact that the Euclidean space C n for n > 1 has the density property was discovered by Andersén and Lempert [11], thereby giving birth to this theory.It is known that most complex Lie groups and complex homogeneous manifolds have the density property.Surveys of this subject can be found in [18,Chapter 4], [19], and [24].An important point is that, on any Stein manifold X with the density property, one can approximate isotopies of biholomorphic maps between Stein Runge domains in X by isotopies of holomorphic automorphisms of X; see Forstnerič and Rosay [20] for the case X = C n and [18, Theorem 4.10.5]for the general case.This result plays an essential role in the proofs of Theorems 1.5, 1.7, and 1.8.
The following result generalizes Theorem 1.5; it is proved in Section 3. As above, it is nontrivial only if the given metric g on X is not complete.
Theorem 1.7.Let X be a Stein manifold with the density property, endowed with a Riemannian metric g.For every proper holomorphic foliation F on X there is a holomorphic automorphism Φ ∈ Aut(X) such that the image foliation Φ * F is g-complete.
The analogous construction applies on any pseudoconvex Runge domain in a Stein manifold with the density property.This gives the following result, generalizing the aforementioned results in [5,8,9] for domains in C n with n > 1. See also Theorem 3.3.
Theorem 1.8.Let X be a Stein manifold of dimension > 1 with the density property, and let Ω be a pseudoconvex Runge domain in X endowed with a Riemannian metric g.For every proper holomorphic foliation F 0 on X there is a g-complete holomorphic foliation F on Ω such that every leaf of F is biholomorphic to a pseudoconvex Runge domain in a leaf of F 0 .Theorems 1.5, 1.7, and 1.8 suggest that the main obstruction to finding complete holomorphic foliations with specific types of leaves on a given Stein Riemannian manifold with the density property lies in the topological and the complex structure of the manifold, and not in the choice of the Riemannian metric.

PROOF OF THEOREM 1.1
We begin by sketching the proof of Globevnik's main theorem in [21].The essential ingredient are labyrinths Γ as in the following lemma from [21].A simpler construction can be found in [9], where the connected components of Γ are balls in affine real hyperplanes.Lemma 2.1.Given numbers 0 < r < s and M > 0, there is a compact set Γ ⊂ sB n \ rB n with connected complement satisfying the following two conditions: (a) the compact set rB n ∪ Γ is polynomially convex, and Remark 2.2.Given a Riemannian metric g on C n and a constant M > 0, there is a labyrinth Γ as in the lemma such that any path crossing the shell sB n \ rB n and avoiding Γ has g-length ≥ M. The reason is that any two Riemannian metrics are comparable on a compact set.When condition (b) holds for a metric g, we say that Γ enlarges the g-distance by M.
Granted the lemma, the proof in [21] proceeds as follows.The main case is to find a complete foliation by hypersurfaces given as level sets of a holomorphic function f : B n → C. (By Sard's theorem, most level sets of f are nonsingular.)Pick a sequence It follows that any divergent path γ : [0, 1) → B n on which f is bounded avoids Γ i for all sufficiently big i ∈ N, and hence γ has infinite Euclidean length by Lemma 2.1 (b) and (2.1).Thus, every nonempty level set {f = c} is a complete closed (possibly singular) complex hypersurface in B n .Foliations of lower dimensions are obtained by adding generically chosen additional component functions, noting that the leaves are automatically complete.
The construction in the proof of Theorem 1.1 is similar to the one of Globevnik, except that we also use the results of Forstnerič [16] on the existence of holomorphic submersions from Stein manifolds to Euclidean spaces.His main result (see [16,Theorem 2.5]) is that a holomorphic submersion f : X → C q always exists if 1 ≤ q ≤ n+1 2 where n = dim X, so we obtain a nonsingular holomorphic foliation of X of any dimension k = n − q with n 2 ≤ k ≤ n − 1.If on the other hand n+1 2 < q ≤ n − 1 then a holomorphic submersion X n → C q exists if and only if the holomorphic tangent bundle of X admits a surjective complex vector bundle map θ : T X → X × C q onto the trivial bundle of rank q.In fact, the hprinciple holds: every surjective complex vector bundle map θ as above is homotopic through maps of the same kind to the tangent map of a holomorphic submersion f : X → C q .In [16, Theorem 2.5] it is also shown that the analogous results hold with interpolation on closed complex subvarieties and approximation on compact O(X)-convex subsets of X, in analogy to the constructions of holomorphic functions in the Oka-Cartan theory and of holomorphic maps in Oka theory.Noncritical holomorphic functions also exist on reduced Stein spaces with singularities, see [17].
Proof of Theorem 1.1.We embed the Stein manifold X as a closed complex submanifold in a Euclidean space C N ; see [18, Theorems 2.4.1 and 9.3.1]for a survey of the classical embedding theorems.For every i ∈ N the set X i = X ∩ iB N is compact and O(X)-convex, i.e., holomorphically convex in X. Pick a number c i > 0 such that (2.3) g(x, v) ≥ c i |v| holds for every x ∈ X i+1 and v ∈ T x X.
Here, |v| denotes the Euclidean length of a tangent vector v ∈ T x X ⊂ T x C N ∼ = C N .In every spherical shell We explain the basic case with k = n − 1.Using the Oka-Weil type approximation theorem for noncritical holomorphic functions (see [16,Theorem 2.1]) inductively, we find a holomorphic function f : X → C without critical points such that condition (2.2) holds for all i ∈ N with Γ i replaced by Γ ′ i := Γ i ∩ X.To be precise, choose constants C i > 0 (i ∈ N) with lim i→∞ C i = +∞.In the induction step, we are given a noncritical holomorphic function f i on a neighbourhood of X i in X. Next, we define f i on a neighbourhood of Γ ′ i in X to be an arbitrary noncritical holomorphic function satisfying min -convex set, we can apply [16, Theorem 2.1] to find a noncritical holomorphic function f i+1 on a neighbourhood of X i+1 in X which approximates f i on X i ∪ Γ ′ i .Assuming that the approximation is close enough at every step, the sequence f i converges uniformly on compacts in X to a noncritical holomorphic function f : X → C satisfying min Γ ′ i |f | > C i for every i ∈ N. Pick a divergent path γ : [0, 1) → X contained in a level set of f and choose i 0 ∈ N such that γ(0) ∈ i 0 B N .Note that γ also diverges in C N since X is a closed noncompact submanifold.We see as before that there is an integer i 1 ≥ i 0 such that γ avoids the labyrinth Γ ′ i , and hence also the labyrinth Γ i ⊂ C N for all i ≥ i 1 .From (2.3) and (2.4) it follows that Hence, every nonempty level set f −1 (c) is a closed complete complex hypersurface in X, which is smooth since f has no critical points.
The same argument gives nonsingular g-complete holomorphic foliations of X of any dimension k ≥ n 2 .In this case, one inductively uses the Oka-Weil type approximation theorem for holomorphic submersions (see [16,Theorem 2.5]) in the above proof; we leave out the obvious details.The same holds for 1 ≤ k < n 2 if we assume the existence of a surjective complex vector bundle map T X → X × C q with q = n − k > n+1

2
. By using the full power of [16,Theorem 2.5] we obtain the following stronger statement.Theorem 2.3.Let X be a closed complex submanifold of dimension n > 1 in C N endowed with a Riemannian metric g.For every integer k with N − n+1 2 ≤ k ≤ N − 1 there is a nonsingular holomorphic foliation F of dimension k on C N , given by a holomorphic submersion f : C N → C N −k , such that every leaf F z is transverse to X and the induced foliation on X is g-complete.
Proof.Theorem 1.1 furnishes a holomorphic submersion f 0 : X → C q with g-complete leaves, where q = N − k ≤ n+1 2 .Clearly, f 0 extends to a holomorphic submersion U → C q from an open neighbourhood U of X in C N .By [16,Theorem 2.5] there is a holomorphic submersion f : C N → C q which agrees with f 0 to the second order along X.The foliation on C N determined by f then clearly satisfies Theorem 2.3.Furthermore, given a Riemannian metric h on C N , one can choose F to be h-complete, transverse to X, and such that its trace on X is g-complete.We leave further details to the reader.
Remark 2.4.The proof of Theorem 1.1 actually gives for any 1 ≤ q ≤ n+1 2 (where n = dim X) a holomorphic submersion f : X → C q which is unbounded on every divergent path of finite g-length in X.The same holds also for q ∈ { n+1 2 + 1, . . ., n − 1} if there is a surjective complex vector bundle map T X → X ×C q .This is in the spirit of Globevnik's main theorem in [21] when X is the ball in C n and f is a single holomorphic function, possibly with critical points.Furthermore, one can strengthen the statement in the spirit of those obtained by Charpentier and Kosiński [14] for holomorphic functions on pseudoconvex domains in C n .In particular, under the above conditions, a holomorphic submersion f : X → C q can be chosen such that the image of any divergent path of finite g-length in X is everywhere dense in C q .It follows that the foliation of X defined by f is nonsingular and g-complete.Proof.Pick a compact neighbourhood K 0 of B and compact convex neighbourhoods K j of Γ j for j = 1, . . ., m such that the sets K 0 , . . ., K m are pairwise disjoint and K = m j=0 K j is polynomially convex.(The existence of such sets follows from standard results on polynomial convexity; see Stout [28].)Let Ψ 0 = Id ∈ Aut(C n ) be the identity and set K ′ 0 = K 0 .For every j = 1, . . ., m we choose an automorphism Ψ j ∈ Aut(C n ) such that the compact sets K ′ j := Ψ j (K j ) are pairwise disjoint, we have that (3.1) . ., m, and the union m j=0 K ′ j is polynomially convex.Such Ψ j are obtained by squeezing K j (j = 1, . . ., m) by a dilation into a small neighbourhood of an interior point, then translating the images into small pairwise disjoint balls around some points in C n \ (E ∪ K ′ 0 ) (this set is open and nonempty by the assumption on E), and applying [20,Theorem 1.1] to approximate the final map by an automorphism of C n .By [20,Theorem 2.3] (see also [18,Corollary 4.12.4]),given δ > 0 there is an automorphism Let Θ = Ψ −1 .If δ > 0 is small enough then condition (b) holds, and we have that Ψ(Γ j ) ⊂ K′ j and hence Γ j ⊂ Θ( K′ j ) for every j = 1, . . ., m, which by (3.1) also yields (a).
Proof of Theorem 1.5.
Pick a closed ball B ′ 1 ⊂ C n centred at 0 and containing B 1 in its interior.By Lemma 2.1 and Remark 2.2 there is a labyrinth In the second step, we choose a number r 2 > 2 such that φ 1 (B) ⊂ (r 2 − 1)B and set Continuing inductively, we obtain an increasing sequence of numbers r j > 0, balls the following conditions hold for every for j = 1, 2, . ..: (iii j ) 0 < ǫ j+1 < 1 2 min{ǫ j , dist(φ j (E j ), Γ j )}.(Note that the set φ j (E j ) is closed and Γ j is compact, so these sets are at positive distance by (ii j ).) (iv j ) Φ j (jB) ∪ B ′ j ⊂ (r j+1 − 1)B.(v j ) The labyrinth Γ j enlarges the g-distance by M j and B j ∪ Γ j is polynomially convex.
It remains to show that the foliation G is g-complete.We must show that for any divergent path γ : [0, 1) → C n contained in a leaf of F , the path γ = Φ • γ : [0, 1) → C n has infinite g-length.(Since the foliation F is assumed to have closed leaves of positive dimension, every divergent path in a leaf of F is also divergent in C n .Note that γ is a divergent path in C n contained in a leaf of G.) For every k ∈ N let γ k = Φ k • γ : [0, 1) → C n ; this is a divergent path contained in a leaf of the foliation F k+1 = (Φ k ) * F .Pick j ∈ N such that γ(0) ∈ jB.By (iv j ) we have that γ j (0) = Φ j (γ(0)) ∈ (r j+1 − 1)B ⊂ B j+1 , and hence γ j ([0, 1)) ⊂ E j+1 (see (3.5)).Conditions (i j )-(iii j ) imply that for every k > j we have that γ k (0) ∈ B j+1 = r j+1 B and the trace of γ k avoids the labyrinths Proof of Theorem 1.7.The proof will follow that of Theorem 1.5 if we find labyrinths Γ in the given Stein manifold X which increase the length of divergent paths avoiding Γ by a given amount and whose pieces are holomorphically contractible in X. (Note that the labyrinths used in the proof of Theorem 1.1, which are obtained by intersecting labyrinths in C N whose pieces are balls in affine real hyperplanes with the embedded submanifold X ⊂ C N , need not satisfy this property.)To this end, we shall prove the following lemma whose first part generalizes Lemma 2.1, as well as [13,Lemma 2.4] by Charpentier and Kosiński, while the second part is an analogue of Lemma 3.1 adjusted to this situation.As before, B denotes the unit ball of C N .Lemma 3.2.Let X be a closed complex submanifold of C N , and let g be a Riemannian metric on X.Given numbers 0 < r < s and M > 0, there is a compact set Γ ⊂ X ∩ (sB \ rB) satisfying the following conditions.
i=1 Γ i is the union of finitely many pairwise disjoint compact sets Γ i such that every Γ i is convex in a certain local holomorphic chart on X. (c) Every piecewise smooth path γ : [0, 1] → X \ Γ with γ(0) ∈ X ∩ rB and γ(1) ∈ X \ sB has g-length at least M.
Given such Γ and assuming in addition that X has the density property, then for every closed subset E X whose complement X \ E is not relatively compact in X and for any ǫ > 0 there exists an automorphism Θ ∈ Aut(X) such that family of biholomorphic contractions on a pseudoconvex Runge neighbourhood of Γ j,i in X which shrinks this set within itself almost to a point.We can then move the images of these small sets to X \ (B 0 ∪ E) by an isotopy of biholomorphic maps through pseudoconvex Runge domains in X, ensuring that the traces of these isotopies for j = 1, . . ., k are pairwise disjoint, contained in X \ B 0 , and their unions (together with B 0 ) are Runge in X for every value of the parameter.(The set B 0 remains fixed during this process.)Assuming that the Stein manifold X has the density property, we can apply the approximation theorem for such isotopies of injective holomorphic maps (see [18,Theorem 4.10.5]) to obtain an automorphism Ψ ∈ Aut(X) as in the proof of Lemma 3.1.The remainder of the proof is exactly as in the case X = C n .With Lemma 3.2 in hand, we obtain Theorem 1.7 by following the proof of Theorem 1.5, and we leave the obvious details to the reader.
Proof of Theorem 1.8.Let F 0 be a proper holomorphic foliation on a Stein manifold X with the density property, and let Ω be a pseudoconvex Runge domain in X.By using Lemma 3.2 inductively, we find a normal exhaustion i=1 Ω i = Ω by open relatively compact pseudoconvex Runge domains and for each i = 1, 2, . . .a labyrinth Γ i ⊂ Ω i+1 \ Ω i having the properties (a)-(c) in Lemma 3.2 for a given constant M i > 0 chosen such that i M i = +∞.Furthermore, we can ensure that the compact set Γ i+1 ∪ Ω i is O(Ω)-convex (and hence also O(X)-convex) for every i ∈ N. Since the components of the labyrinth Γ = ∞ i=1 Γ i are holomorphically contractible, we can apply the proof of Theorem 1.5 to inductively twist the foliation F 0 by a sequence of automorphisms Φ i ∈ Aut(X) (i = 1, 2, . ..), chosen so that they converge uniformly on compacts in Ω, and the leaves of the foliations F i = (Φ i ) * F i−1 avoid more and more components of Γ as i → ∞.The limit holomorphic foliation F = lim i→∞ F i on Ω is such that every leaf avoids all but finitely many labyrinths Γ i , and hence it is g-complete.Furthermore, the construction ensures that every leaf is a pseudoconvex Runge domain in a leaf of the initial foliation F 0 on X.The details can be found (for the case X = C n ) in [9] and [5].
In Theorems 1.5, 1.7, and 1.8 we focused on constructing complete nonsingular holomorphic foliations.However, the proofs of these results also apply to individual closed complex submanifolds and yield the following result.Theorem 3.3.Let X be a Stein manifold with the density property, and let Y be a closed complex submanifold of X.The following assertions hold.
(i) Given a Riemannian metric g on X there is a holomorphic automorphism Φ ∈ Aut(X) such that the submanifold Φ(Y ) is g-complete.(ii) Let Ω be a pseudoconvex Runge domain in X such that Ω∩Y = ∅.Given a Riemannian metric g on Ω and a connected compact subset K ⊂ Ω ∩ Y , there is a g-complete closed complex submanifold of Ω which is biholomorphic to a pseudoconvex Runge domain in Y containing K.
By combining assertion (i) in Theorem 3.3 with the embedding theorems for Stein manifolds (see [15,27,12]) we obtain the following corollary.
Corollary 3.4.Every Stein manifold Y of dimension n ≥ 1 admits a proper g-complete holomorphic embedding in (C N , g) for any N ≥ max 3, 3n 2 + 1 , and a proper g-complete holomorphic embedding in (X, g) for any Riemannian Stein manifold X with the density property of dimension dim X ≥ 2n + 1.
polynomially convex for every i ∈ N, a standard construction using the Oka-Weil theorem gives a holomorphic function f on B n satisfying (2.2) lim i→∞ min z∈Γ i |f (z)| = +∞.

3 .
PROOFS OF THEOREMS 1.5, 1.7, AND 1.8 We shall need the following result generalizing [5, Lemma 2].Lemma 3.1.Let B be a compact polynomially convex set in C n (n > 1), and let Γ = m j=1 Γ j ⊂ C n \ B be a union of finitely many pairwise disjoint compact convex sets Γ j such that the set B ∪ Γ is polynomially convex.If E is a closed subset of C n with unbounded complement, then for any ǫ > 0 there exists an automorphism Θ ∈ Aut(C n ) such that (a) Θ(E) ∩ Γ = ∅, and (b) |Θ(z) − z| < ǫ for all z ∈ B.