On the existence of Kobayashi and Bergman metrics for Model domains

We prove that for a pseudoconvex domain of the form $\mathfrak{A} = \{(z, w) \in \mathbb C^2 : v>F(z, u)\}$, where $w = u + iv$ and F is a continuous function on ${\mathbb C}_z \times {\mathbb R}_u$, the following conditions are equivalent: (1) The domain $\mathfrak{A}$ is Kobayashi hyperbolic. (2) The domain $\mathfrak{A}$ is Brody hyperbolic. (3) The domain $\mathfrak{A}$ possesses a Bergman metric. (4) The domain $\mathfrak{A}$ possesses a bounded smooth strictly plurisubharmonic function, i.e. the core $\mathfrak{c}(\mathfrak{A})$ of $\mathfrak{A}$ is empty. (5) The graph $\Gamma(F)$ of $F$ can not be represented as a foliation by holomorphic curves of a very special form, namely, as a foliation by translations of the graph $\Gamma({\mathcal H})$ of just one entire function ${\mathcal H} : {\mathbb C}_z \to {\mathbb C}_w$.


Introduction
The purpose of this paper is to study the Kobayashi and Bergman metrics for pseudoconvex domains of the form A = {(z, w) ∈ C n z × C w : v > F (z, u)}, where w = u + iv and F is a continuous function on C n z × R u . This type of domains we call in what follows for Model domains. They appear naturally (usually with much more special choice of the function F) as the limit domains in the scaling method (see, for example, [Pi]), in the representations of domains of finite type, in the biholomorphic classification problem etc. Note that in the last problem the existence of Kobayashi metric on A is of special interest, since in the case of its existence the group Aut (A) of holomorphic automorphisms of A is in fact a finite-dimensional real Lie group (see, for example, [Ka,Folgerung 2.6,p. 55] or [Ko1,Theorem 2.1,p. 68]).
Despite the fact that many properties for special classes of such domains were intensively studied (see, just to cite a few, [KN], [F], [BF], [BP], [CP], [CKO], [AGK]), to the best of our knowledge no results were known in the general case. Surprisingly, in the case of complex dimension two there is a complete characterization of Model domains possessing Kobayasi and Bergman metrics in the general setting.
The main result of this paper asserts that for a Model domain A in C 2 the property of being Kobayashi hyperbolic and the property to possess a Bergman metric occur simultaneously. Moreover, these two properties hold true for all such domains, except for the very specal case when the boundary ∂A of A is foliated by translations of just one entire function w = H(z). More precisely, the following statement holds true.

Main Theorem. Let A be a pseudoconvex domain of the form
where w = u+iv and F is a continuous function on C z ×R u . Then the following conditions are equivalent: (1) The domain A is Kobayashi hyperbolic.
(2) The domain A is Brody hyperbolic.
(3) The domain A possesses a Bergman metric.
(4) The domain A possesses a bounded smooth strictly plurisubharmonic function, i.e. the core c(A) of A is empty.
(5) The boundary ∂A of A can not be represented as follows: ∂A = t∈R Γ(H + (t + iΘ(t))), where H : C z → C w is an entire function, Θ : R → R is a continuous function and Γ(H + (t + iΘ(t))) denote the graph of the function w = H(z) + (t + iΘ(t)).
Condition (4) of the theorem above plays a crucial role in its proof and can also be expressed in terms of the core c(A) of A (for the definition of the core see the next section of this paper). The notion of the core of a domain (or, more generally, the core of a manifold) was introduced and systematically studied few years ago by Harz-Shcherbina-Tomassini in  . Some results of [HST2] on the structure of the core were then generalised to the case of higher dimensions by Poletsky-Shcherbina in [PS] and Slodkowski in [Sl]. Recently Poletsky in [Po] used manifolds with empty core to develop further the theory of pluricomplex Green functions. A notion similar to the notion of a manifold with empty core, but with no regularity assumptions on plurisubharmonic functions in question, was considered by Boucksom-Diverio in [BD] in connection to Lang's conjecture. They call such manifolds for manifolds of bounded type. We do not know if for domains in C n with not "too irregular" boundary the properties of having an empty core and being of bounded type coincide or not.
Note also that even though the notion of the core of a domain depends on the smoothness of the considered class of plurisubharmonic functions, the classical Richberg's theorem (see, for example, Theorem I.5.21 in [D] or [Ri]) implies that the condition of having an empty core does not depend on the smoothness class as soon as the functions are at least continuous.
The proof of our theorem is essentially based on the results and technique developed in [Sh]. For the convenience of the reader we will remind in the next section the main result and the necessary preparatory statements of that paper.
As a final comment, we want to point out that the results of our Main Theorem are not true in general for Model domains in C n with n ≥ 3 as it is shown in the forthcoming paper [GS].

Preliminaries
In this section we collect some definitions and results which will be used in the proof of the Main Theorem.
We start with the definition of the core of a manifold. The next statement, which follows easily from the definition of the core, shows that two properties mentioned in the Condition (4) of the Main Theorem are equivalent. Proof. Assume that the core c(M ) of M is empty. Then for every p ∈ M , there exists a smooth bounded above plurisubharmonic function ψ p on M that is strictly plurisub- Then, for suitably chosen sequence of positive numbers {ε j } ∞ j=1 the functionψ = ∞ j=1 ε j ψ p j is a smooth bounded above function which is strictly plurisubharmonic on the whole of M . Hence eψ will be a function as desired. The opposite implication is obvious. Now we formulate a shortened version of the Main Theorem in [Sh] which is enough for our purposes here.
Theorem 1. Let G be a bounded strictly convex domain in C z × R u and ϕ : ∂G → R v be a continuous function. Then the following properties hold: (1) There is a continuous function Φ :Ḡ → R v such that Φ| ∂G = ϕ and Γ(ϕ) = Γ(Φ).
(3) For each α, there is a simply-connected domain Ω α ⊂ C z and a holomorphic function w = f α (z), defined on the domain Ω α , such that the disk D α is the graph of the function f α .
Here Γ(ϕ) means the graph of the function ϕ and Γ(ϕ) the polynomial hull of this graph.
We also state below Lemma 3.2, Lemma 3.3 and slightly strengthened version of Lemma 3.5 from the paper [Sh] enumerating them as Lemma 2, Lemma 3 and Lemma 4, respectively.
Lemma 2. Let U be a smooth connected surface which is properly embedded into some convex domain G ⊂ C z × R u . Suppose that near each point of this surface it can be defined locally by the equation u = u(z). Then the surface U can be represented globally as a graph of some function u = U (z), defined on some domain Ω ⊂ C z .

Lemma 3.
Let Ω be a domain in C z , and U be a harmonic function on this domain. Suppose that the graph of the function U is properly embedded into some convex domain G ⊂ C z × R u . If U has a single-valued harmonic conjugate function V , then Ω is simplyconnected.

Lemma 4.
Let Ω ⊂ ∆ R (0) = {z : |z| < R} be a simply-connected domain which contains the origin. Let U be a harmonic function on Ω such that its graph is properly embedded into the cylinder ∆ R (0) × (−R, R) ⊂ C z × R u and U (0) = 0. Suppose that U has a harmonic conjugate function V such that inf z∈Ω V (z) ≥ M and V (0) ≤ L. Then there exists R * > 0, which depends only on R, M and L, such that the disk ∆ R * (0) is contained in Ω.
The proof of Lemma 4 here goes exactly the same way as the proof of Lemma 3.5 in [Sh]. We only need to replace there the rectangle Π R, Now we recall some results on Kobayashi and Bergman metrics which will be used in the proof of the Main Theorem. For background on these metrics we refer to [Ko1], [Ko2] and [GKK].
The next statement gives a link between Kobayashi hyperbolicity and the existence of bounded strictly plurisubharmonic functions. It is just a slight reformulation of Theorem 3 on p. 362 in [Si].
Theorem 2. Let M be a complex manifold which has a bounded continuous strictly plurisubharmonic function. Then M is Kobayashi hyperbolic.
A similar criterion holds true for the existence of Bergman metric. It is a consequence of Theorem 1, p. 2998, and Observation 2, p. 3002, in [CZ].
Theorem 3. Let M be a Stein manifold which has a bounded continuous strictly plurisubharmonic function. Then M possesses a Bergman metric.
We also remind here the definition of Brody hyperbolicity.
Definition 2. A complex manifold is said to be Brody hyperbolic if it admits no nonconstant holomorphic maps from C.
The last preparatory statements which are needed for our proof provide a link between polynomial convexity and globally defined plurisubharmonic functions.
Recall first the definition of polynomial convexity.
Definition 3. For a compact set K in C n , the polynomial hull K of K is defined as K = {p ∈ C n : |P(p)| ≤ sup q∈K |P(q)| for all holomorphic polynomials P in C n }.
The set K is called polynomially convex if K = K.
The following simple lemma is classical and follows, for example, from Theorem 4.3.4 in [H].
Lemma 5. Let K be a compact set in C n . Then p ∈ C n \ K if and only if there is a function φ, plurisubharmonic in C n , such that sup q∈K φ(q) < φ(p). (1) The next statement is more involved. It is a slightly shortened version of Theorem 1.3.8 on p. 24 in [St].
Theorem 4. A compact set K ⊂ C n is polynomially convex if and only if there is a non-negative smooth plurisubharmonic function φ defined on the whole of C n such that K = {p ∈ C n : φ(p) = 0} and φ is strictly plurisubharmonic on C n \ K.

Construction of the domain › A
For an arbitrary R > 0 we consider the ball B R (0) = {(z, u) ∈ C z × R u : |z| 2 + u 2 < R 2 } of radius R centered at the origin and then denote by ϕ R the restriction F | ∂B R (0) of the function F to the boundary ∂B R (0) of this ball. If we apply now Part (1) of the Theorem 1 above to the ball B R (0) on the place of G and the function ϕ R on the place of ϕ, we will get a continuous extension Φ R of the function ϕ R to B R (0) whose graph is Levi flat over B R (0).
The following properties of the function Φ R are easy to prove.
Proof. We argue by contradiction and suppose that F (z 0 , u 0 ) > Φ R (z 0 , u 0 ) for some (z 0 , u 0 ) ∈ B R (0). Then and hence, by continuity of the functions F and Φ R , there is a point (z * , u * ) ∈ B R (0) such that F (z * , u * ) = Φ R (z * , u * ) + t * =: v * . Since, by Part (2) of Theorem 1, the graph of the function Φ R is foliated by holomorphic disks {D α }, there is a disk D α * such that p * := (z * , u * + iv * ) ∈ D α * . For each t ∈ [0, 1] we denote by D t α * a translation of the disk D α * on t in the v-direction. Then, by construction, the family {D t α * } t∈[0,1] has the properties that D t α * ⊂ A = {(z, w) ∈ C 2 : v > F (z, u)} for all t > 0 and that p * ∈ D 0 α * ∩∂A. Thus, by Kontinuitätssatz, the domain A is not pseudoconvex, which contadicts to our assumptions on A.
Proof. First, we define for each R > 0 a function It follows from continuity of the functions F and Φ R that the function F R is continuous.
is also pseudoconvex. The statement of the lemma is now a direct consequence of Lemma 6, if we replace there the function F which defines A with the new function F R 1 , the domain A with the domain A R 1 and the radius R with R 2 .
Observe that one of the direct consequences of Lemma 6 and Lemma 7 is the following property of the domains ‹ A R .
Now we can finally define the domain ‹ A as A is obviously a subdomain (which can also be empty) of A. In the next two sections we consider two possible cases for ‹ A.

The case when › A = A
Let us consider an arbitrary number n ∈ N which we fix till the end of the proof of Lemma 9. Let where F n is the function F R defined by formula (2) above with R = n. Consider the set Lemma 9. The set K n is polynomially convex.
Proof. We consider two sets Let (z 0 , w 0 ) be a point of the set A 1 . Then the inequality (1) will be satisfied for the point p = (z 0 , w 0 ), the set K n and the function Hence, by Lemma 5, (z 0 , w 0 ) can not be a point of the set K n , i.e. A 1 ∩ K n = ∅.
Let now (z 0 , w 0 ) be a point of the set A 2 and assume, to get a contradiction, that (z 0 , w 0 ) ∈ K n . Then we consider a 1-parameter family of and notice that the domain A 0 n of this family coincides with the defined by (3) Observe now that, in view of pseudoconvexity of the domain A 0 n , there is a smooth strictly plurisubharmonic function τ defined on A 0 n such that τ (z, w) → +∞ as (z, w) → ∂A 0 n . Then for each t ∈ [0, +∞) the function τ t (z, w) := τ (z, w + it) is defined on the domain A t n and has there the same properties as the function τ on A 0 n . It follows from the definition of t * and the properties of the function τ that sup p∈ Kn τ t * +ε (p) → +∞ when ε ց 0. Since t * > 0, and since K n ⊂ A 0 n , it also follows from the definition of the domain A t n and the function τ t that sup p∈Kn τ t * +ε (p) stays uniformly bounded as ε ց 0. Then, in view of Sard's theorem, we can choose ε * > 0 generic so that for the value of the function τ t * +ε * will be smooth and, moreover, if we choose ε * small enough, then for every point p * ∈ M * ∩ K n we will also have that Observe that the last inequality implies that On the other hand, since the domain is strictly pseudoconvex and has a smooth boundary, and since K n ⊂ A * n and p * ∈ ∂A * n ∩ K n , we conclude that p * is the local peak point for the algebra P of uniform limits on K n of holomorphic polynomials. Then, by Rossi's "local maximum modulus principle" (see, for example, [G,Theorem 8.2,p. 92] or [Ro]), we conclude that p * is a global peak point for the algebra P. This contradicts (4), and proves Lemma 9. Now we are in a position to prove the main result of this section.
Proposition 1. If ‹ A = A, then A possesses a bounded smooth strictly plurisubharmonic function.
Proof. It follows from Lemma 9 that for each n ∈ N we can apply Theorem 4 to the set K n . This way we will get a non-negative smooth plurisubharmonic function φ n defined on the whole of C 2 such that K n = {p ∈ C 2 : φ n (p) = 0} and φ n is strictly plurisubharmonic on C 2 \ K n . Now if we define on the domain A a new function then, by construction of the set K n , this function will still be a smooth bounded plurisubharmonic function on A which is strictly plurisubharmonic exactly on the domain ‹ A n . Hence, for a decreasing sequence of positive numbers {ε n } converging to zero fast enough, the function φ := ∞ n=1 ε n φ n will be bounded smooth and plurisubharmonic on A and, moreover, it will be strictly plurisubharmonic on the domain ‹ A = n∈N ‹ A n . Since, by our assumptions, ‹ A = A, this completes the proof of Proposition 1.

The case when › A = A
We first consider the following two sets Then the special form of the domain A and the construction of the domain ‹ A imply that: F or every point (z, w) ∈ E and every t > 0 the inclusion (z, w + it) ∈ E holds.
Hence, we can define the set Let us also consider the set It follows directly from the definitions of these sets that the set E ∪ E 0 is closed and then from monotonicity of the domains { ‹ A n } n∈N (see Lemma 8) that F ⊂ E ∪ E 0 . Now we describe how to pass to the limit for holomorphic leaves of the Levi foliations of Γ(Φ n ) in order to get holomorphic disks in the limit set F.
Construction of the limit disk passing through the given point of F.
Let (z 0 , w 0 ) be an arbitrary point of the set F and (z n , w n ) ∈ Γ(F n ) be a sequence of points converging to (z 0 , w 0 ). For each n = 0, 1, 2, ... we consider the cylinder where w n = u n + iv n . Then, for n sufficiently large (so large that C n ⊂ B n (0) and, hence, the function Φ n is defined on C n ), we denote by L α n the leaves of the Levi foliation of the set Γ(Φ n ) ∩ (C n × R v ). If for each leaf L α n of this foliation we consider its projection p(L α n ) to the cylinder C n (here p is the canonical projection p : C 2 z,w → C z × R u ) and apply to this surface Lemma 2, we will obtain a domain Ω α n ⊂ C z and a holomorphic function h α n : Ω α n → C w such that its graph Γ(h α n ) coincides with the leaf L α n . Consider now for each n the special leaf L α 0 n which has the property p(L α 0 n ) ∋ (z n , u n ) and observe that, by Lemma 3 (applied to Ω α 0 n on the place of Ω, U α 0 n := Re h α 0 n on the place of U , V α 0 n := Im h α 0 n on the place of V and C n on the place of G), we have that the domain Ω α 0 n ∋ z n is simply-connected. It follows now from Lemma 4 (applied to Ω α 0 n on the place of Ω, U α 0 n on the place of U , V α 0 n on the place of V and with M n := inf (z,u)∈Cn F (z, u) and L n := v n ), that there exists R * n > 0 which only depends on M n and L n and such that the disk ∆ R * n (z n ) := {z ∈ C : |z − z n | < R * n } is contained in Ω α 0 n . Moreover, the arguments used in the proof of Lemma 4 (see for details the proof of Lemma 3.5 in [Sh]) show that R * there depends on M and L in a continuous way. Then, since by our assumptions lim n→∞ v n = v 0 , and since by continuity of F one also has that lim n→∞ M n = M 0 , we conclude that for each R < R * 0 =: lim n→∞ R * n the sequence of holomorphic functions h α 0 n is defined on the disk ∆ R (z 0 ) for all n large enough. Moreover, since for each n we have that |U α 0 n (z) − u n | < 1 for z ∈ ∆ R * n (z 0 ), and since M 0 ← M n < V α 0 n on ∆ R * n (z 0 ), and V α 0 n (z n ) → v 0 as n → ∞, we can apply Montel theorem and choose a subsequence h α 0 n k which converges to a holomorphic function h 0 uniformly on compact subsets of ∆ R * 0 (z 0 ). Finally, we observe that by construction one has that Im h 0 (z 0 ) = v 0 . Then the graph Γ(h 0 ) of the function h 0 is the desired holomorphic disk which will be denoted in what follows by D 0 .
In the next statement we collect the properties of the described above limit disk which we will need later on.
}, obtained by the described above limit procedure and such that (z 0 , w 0 ) ∈ D 0 ⊂ F with R * 0 which depends only on the estimate from above on v 0 and on the estimate from below on inf (z,u)∈C 0 F (z, u).
Moreover, the following properties of the constructed limit disk hold: (A) The disk D 0 is uniquely determined (even locally).
The property (A) means, more precisely, that: For each r ≤ R * 0 and each holomorphic disk which is also obtained by the limit procedure above only applied to another subsequence h α 0 nm of the sequence h α 0 n , which converges to a holomorphic function h 0 uniformly on compact subsets of ∆ r (z 0 ), we have ‹ D 0 ⊂ D 0 .
Proof. To prove Claim (A) we argue by contradiction and assume that there is a holomorphic disk ‹ D 0 of the form described in Lemma 10 such that ‹ D 0 ⊂ D 0 . Then, since D 0 ∩ ‹ D 0 ∋ (z 0 , w 0 ), we conclide from Rouche's theorem, that for k and m large enough and t > 0 small enough the disks , which approximate the part of the disks D 0 over ∆ r (z 0 ) and the disk ‹ D 0 , respectively, will also have a non-empty intersection: On the other hand, if n m > n k , then it follow from Lemma 7 that for t > 0 one has that Φ n k < Φ nm + t on B n k (0), and hence also that Γ(Φ n k ) ∩ Γ(Φ nm + t) = ∅. We conclude now that which gives us a desired contradiction.
It follows then from our construction above of the limit disk passing through the given point of F, and in view of the uniform estimates on v 0 from above by Lr and on inf (z,w)∈C 0 F (z, w) from below by Mr for points (z 0 , w 0 ) ∈ Fr := {(z, w) : (z, u) ∈ Er, v * (z, u) ≤ v ≤ Im h 0 (z)}, that we also have the inequality where R * 0 (z 0 , w 0 ) denote the radius R * 0 of our construction above corresponding to the point (z 0 , w 0 ). Now we can finally specify our choice of the described above points z ′ ∈ ∆ r * (z 0 ) and z ′′ / ∈ ∆ r * (z 0 ). Namely, we first definẽ r * := 1 3 min{ ‹ R,r − r * } and then choose z ′ and z ′′ so close to each other that |z ′ − z ′′ | <r * .
Consider now the limit disks D ′ and D ′′ that correspond by our construction above to the points (z ′ , Re h 0 (z ′ ) + iv * (z ′ , Re h 0 (z ′ )) and (z ′′ , Re h 0 (z ′′ ) + iv * (z ′′ , Re h 0 (z ′′ )), respectively. By our choice ofr * , after maybe shrinking the disks D ′ and D ′′ if necessary, we can assome that the disk D ′ is the graph of a holomorphic function w = h ′ (z) defined on the disk ∆ 2r * (z ′ ) and the disk D ′′ is the graph of a holomorphic function w = h ′′ (z) defined on the disk ∆ 2r * (z ′′ ). Observe that, by our choice of the point z ′ , and in view of the unicity property of the limit disks established in Part (A) of this lemma, we have that h ′ (z) = h 0 (z) for all z ∈ ∆ 2r * (z ′ ). We consider now the following two cases: In the Case (i) we have that Im h ′′ (z) = Im h 0 (z) + C for some constant C and all z ∈ ∆ 2r * (z ′ ) ∩ ∆ 2r * (z ′′ ). Since, by our choice of the point z ′′ , we have that v * (z ′′ , u ′′ ) < Im h 0 (z ′′ ), it follows that C < 0. But then, by the choice of the point z ′ , On the other hand, since D ′′ ⊂ F, we conclude from the definition of the function v * (z, u) The last two inequalities contradict each other. This gives us a desired contradiction in the Case (i).
In the Case (ii) we use an argument similar to the one we used in the proof of Part (A) of this lemma. Namely, by our construction above of the limit disks passing through the given point of F, and in view of the unicity of the limit disks, we can consider two sequences of holomorphic disks D 0,n and D ′ m of the form, and which approximate the part of the disks D 0 over ∆ 2r * (z ′′ ) and the disk D ′′ , respectively. The functions h 0,n and h ′′ m here are defined and holomorphic on the disk ∆ 2r * (z ′′ ) and have the property that lim n→∞ h 0,n (z ′′ ) = h 0 (z ′′ ) and lim m→∞ h ′′ m (z ′′ ) = h ′′ (z ′′ ). Observe now that by our choice of the point z ′′ and the disk D ′′ one has that and then, in view of the uniform convergence on the disk ∆ 2r * (z ′′ ) of the sequences h 0,n (z) and h ′′ m (z) to h 0 (z) and h ′′ (z), respectively, we conclude that for every sequence {z l } ∞ n=1 of points in ∆ 2r * (z ′′ ) converging to z ′′ and all m, n and l large enough.
On the other hand, since, by the choice of the disk D ′′ , we have Re h ′′ (z ′′ ) = Re h 0 (z ′′ ) and since, by the conditions in the Case (ii), we have Re h ′′ = Re h 0 in ∆ 2r * (z ′ ) ∩ ∆ 2r * (z ′′ ) we conclude that for the functions Re h ′′ m and Re h 0,n approximating the functions Re h ′′ and Re h 0 , respectively, we have in the case when n and m are large enough that there exists a point z n,m ∈ ∆ 2r * (z ′ ) ∩ ∆ 2r * (z ′′ ) as close to z ′′ as we wish and such that Re h ′′ m (z n,m ) = Re h 0,n (z n,m ). Hence, if in the last statement for each n we in addition choose the value of m in such a way that m > n, then, by Lemma 7, and, in the view of inclusions (5) and (6), we will have that Im h ′′ m (z n,m ) = Φ m (z n,m , Re h ′′ m (z n,m )) ≥ Φ n (z n,m , Re h 0,n (z n,m )) = Im h 0,n (z n,m ).
The last inequality contradicts the inequality (7). This completes the proof of Lemma 10.

Now let us recall some definitions.
Let Σ be a domain over C with projection π : Σ → C, and let f = U + iV be a smooth function in Σ.
Definition 4. Let d be the pull-back on Σ of the standard metric on C. Define the distance ρ(ξ 1 , ξ 2 ) between two arbitrary points ξ 1 and ξ 2 in Σ as ρ(ξ 1 , ξ 2 ) := inf γ l(γ), where l(γ) is the length of the curve γ with respect to the metric d, and the infimum is taken over all smooth curves in Σ connecting the points ξ 1 and ξ 2 .
Remark 1. The property of Γ(U ) to be locally embedded in G differs from the usual embedding property. For example, a surface Γ(U ), locally embedded according to our definition, might be an everywhere dense subset of G and this, obviously, cannot happen for embedded surfaces.
Similarly, we define the boundary ∂Γ(f ) of the surface Γ(f ) := {(π(ξ), f (ξ)) ∈ C 2 : ξ ∈ Σ} and the property of Γ(f ) to be properly embedded into a domain G ⊂ C 2 . Now we describe how to extend the limit disk D 0 from the Part (B) of Lemma 10 to the maximal limit leaf which is contained in the set E 0 .
Construction of the maximal limit leaf L 0 contained in E 0 .
Let (z 0 , w 0 ) be an arbitrary point of the set E 0 . We define L 0 as the set of all points (z ′ , w ′ ) ∈ E 0 such that there are finitely many points (z 1 , w 1 ), (z 2 , w 2 ), ..., (z m , w m ) ∈ E 0 , with (z m , w m ) = (z ′ , w ′ ), satisfying the following property: For each i = 0, 1, 2, ..., m − 1, one has that (z i+1 , w i+1 ) ∈ D i , where D i is the disk which corresponds to the disk D 0 of Lemma 10, when we take the point (z i , w i ) on the place of (z 0 , w 0 ).
Observe first that, since, by definition of L 0 , each point (z ′ , w ′ ) ∈ L 0 is contained in the corresponding disk D m−1 ⊂ E 0 , it follows that L 0 with the projection to C z , defined as the restriction to L 0 of the canonical projection p w : C 2 z,w → C z , is a domain over C z . Then, from the unicity of the limit disks (see Part (A) of Lemma 10) we conclude that L 0 is locally embedded into C 2 z,w . Moreover, since, in view of the definitions of E 0 and E * , the map p : E 0 → E * is bijective, one has that the projection M 0 := p(L 0 ) of L 0 to C z × R u is locally embedded into C z × R u .
Observe further that L 0 is properly embedded into C 2 z,w . Indeed, if not, then there is a cluster point (z * , w * ) for the set L 0 , i.e. there exists a sequence of points (z n , w n ) of L 0 (as a domain over C z ) such that (z n , w n ) → (z * , w * ) as n → ∞ and lim n→+∞ ρ((z n , w n ), ∂L 0 ) → 0.
On the other hand, since v * := Im w * < +∞, and since v n := Im w n → Im w * as n → +∞, we conclude from Lemma 10 that where R * n and R * represent the radius R * 0 of Lemma 10 computed at the points (z n , w n ) and (z * , w * ), respectively. Since for each n ∈ N we obviously have that it follows from (9) that lim inf n→∞ ρ((z n , w n ), ∂L 0 ) ≥ R * > 0.
The last inequality contadicts to (8). This proves that L 0 is properly embedded into C 2 z,w .
In the next lemma we prove that the embedding of L 0 in C 2 z,w is actually much more special.
Lemma 11. The surface L 0 is properly embedded into C 2 and projects one-to-one on its image in C z . More precisely, there is a domain D ⊂ C z and a holomorphic function H : D → C w such that the graph Γ(H) of H coincides with L 0 and, moreover, |H(z)| → +∞ as z → ∂D.
Proof. First, we prove that the surface L 0 projects one-to-one on its image in C z . For doing this we argue by contradiction and assume that this property does not hold. Since L 0 projects one-to-one to M 0 = p(L 0 ) ⊂ C z × R u , our assumption implies that there are two points q ′ = (z,ũ ′ ), q ′′ = (z,ũ ′′ ) ∈ M 0 withũ ′ =ũ ′′ . Since, by construction, the surface L 0 is connected, we conclude that M 0 is also connected, and hence there is a smooth curve γ ⊂ M 0 connecting points q ′ and q ′′ . Moreover, since p −1 (γ) ⊂ L 0 is compact, for points (z * , w * ) ∈ p −1 (γ), w * = u * + iv * , taken on the place of (z 0 , w 0 ) in Lemma 10 one has uniform bounds from above on v * and from below on inf (z,w)∈C * F (z, w), where It follows then from Lemma 10 that there is a number R(γ) > 0 such that at each point (z * , w * ) ∈ p −1 (γ) for the radius R * 0 (z * , w * ), which is the radius R * 0 of Lemma 10, but computed at the point (z * , w * ) on the place of the point (z 0 , w 0 ), we have the inequality R * 0 (z * , w * ) ≥ R(γ).
It follows then from our choice of R(γ) that for each n sufficiently large there exists a holomorphic function h 0 n : ∆ R(γ) (z 0 ) → C w such that Re h 0 n (z 0 ) = Re w 0 and the graph Γ(h 0 n ) of the function h 0 n is contained in a holomorphic leaf of the Levi foliation on Γ(Φ n ). Moreover, in view of Lemma 10, the functions h 0 n converge as n → ∞ uniformly on compact subsets of ∆ R(γ) (z 0 ) to a holomorphic function h 0 0 : ∆ R(γ) (z 0 ) → C w such that h 0 0 (z 0 ) = w 0 and Γ(h 0 0 ) ⊂ L 0 . Then, by the Condition (2) above, and by the choice of the point Q 1 , we also see that h 0 0 (z 1 ) = w 1 . Since Q 1 = (z 1 , w 1 ) ∈ p −1 (γ), and since h 0 n (z 1 ) → w 1 as n → ∞, it follows once again from our choice of R(γ) that for each n sufficiently large there exists a holomorphic function h 1 n : ∆ R(γ) (z 1 ) → C w such that Re h 1 n (z 1 ) = Re h 0 n (z 1 ) and the graph Γ(h 1 n ) of the function h 1 n is contained in a holomorphic leaf of the Levi foliation on Γ(Φ n ). Observe, that the last conditions imply that h 1 n = h 0 n on the intersection ∆ R(γ) (z 0 ) ∩ ∆ R(γ) (z 1 ) of the disks ∆ R(γ) (z 0 ) and ∆ R(γ) (z 1 ). Then, as before, in view of Lemma 10 again, the functions h 1 n converge as n → ∞ uniformly on compact subsets of ∆ R(γ) (z 1 ) to a holomorphic function h 1 0 : ∆ R(γ) (z 1 ) → C w such that h 1 0 (z 1 ) = w 1 and Γ(h 1 0 ) ⊂ L 0 . Hence, by the unicity property (A) of Lemma 10, we see that h 1 0 = h 0 0 on the set ∆ R(γ) (z 0 ) ∩ ∆ R(γ) (z 1 ) and, by the Condition (2) above, and by the choice of the point Q 2 , we also see that h 1 0 (z 2 ) = w 2 . If we repeat inductively this argument for each i = 2, 3, ..., m − 1, we will get for all n large enough holomorphic functions h i n : ∆ R(γ) (z i ) → C w such that Re h i n (z i ) = Re h i−1 n (z i ) and the graph Γ(h i n ) of each function h i n is contained in a holomorphic leaf of the Levi foliation on Γ(Φ n ). The last conditions actually imply that h i n = h i−1 n on the intersection ∆ R(γ) (z i−1 ) ∩ ∆ R(γ) (z i ) of the disks ∆ R(γ) (z i−1 ) and ∆ R(γ) (z i ). Then, in view of Lemma 10 again, each sequence of functions h i n will converge as n → ∞ uniformly on compact subsets of ∆ R(γ) (z i ) to a holomorphic function h i 0 : ∆ R(γ) (z i ) → C w such that h i 0 (z i ) = w i and Γ(h i 0 ) ⊂ L 0 . Hence, by the unicity property (A) of Lemma 10, we see that h i 0 = h i−1 0 on the set ∆ R(γ) (z i ) ∩ ∆ R(γ) (z i−1 ) and, by the Condition (2) above, and by the choice of the point Q i+1 , we see that h i 0 (z i+1 ) = w i+1 . Let us now denote Then, by uniform convergence of the functions h m−1 n to h m−1 0 on compact subsets of ∆ R(γ) (z m−1 ) as n → ∞, and in view of the inclusion z m ∈ ∆ R(γ) (z m−1 ) (see Condition (2) above with i = m − 1), we can take n so large that Observe, that from our construction above one has and hence, from the choice of the points Q 0 , Q m and points z 0 , z m , we can conclude that Q 0 = (z 0 , h 0 0 (z 0 )) and Q m = (z m , h m−1 0 (z m )). It follows then from the choice of the points q ′ , q ′′ and the Condition (1) above that Re h m−1 0 (z m ) − Re h 0 0 (z 0 ) =ũ ′′ −ũ ′ and, therefore, by (10), By the choice of the points Q 0 , Q m and points z 0 , z m , and in view of the Condition (1), we can also see that z 0 =z = z m . Then, we can finally obtain from (11) and (12) that Denote now by L n the holomorphic leaf of the Levi foliation on Γ(Φ n ) such that p(L n ) ∋ q ′ . Then observe that the pointsq ′ := q ′ = (z 0 , Re h 0 n (z 0 )) andq ′′ := (z m , Re h m−1 n (z m )) belong to the surface M n := p(L n ) and that z 0 = z m , but according to (13) we have Re h 0 n (z 0 )) = Re h m−1 n (z m )). This means that on the surface M n , which is smooth, properly embedded into the ball B n (0) and locally has one-to-one projection on its image in C z , we have two different points that project to the same point of C z . According to Lemma 2 above this is not possible. Hence, we arrived to a contradiction which proves our claim that the surface L 0 projects one-to-one on its image in C z .
Let us now denote by D the projection of L 0 to C z and then by H : D → C w a holomorphic function whose graph Γ(H) coincides with the surface L 0 . Then the last statement of Lemma 11 claiming that |H(z)| → +∞ as z → ∂D is just a reformulation of the properness of the embedding of L 0 into C 2 z,w proved after the construction of the maximal leaf L 0 just before the statement of Lemma 11. The proof of Lemma 11 is now completed.
The next statement shows that the shape of the surface L 0 is even more special than it is claimed in the last lemma.
Lemma 12. The domain D coincides with the whole of C z and, therefore, H : C z → C w is an entire function such that Γ(H) = L 0 .
Proof. We first prove that the domain D is simply-connected. Consider, as above, the surface M 0 = p(L 0 ) ⊂ C z × R u and for each sufficiently large n ∈ N let M n 0 be a connected component of the surface M 0 ∩ B n (0) containing a fixed point, say the point p((z 0 , w 0 )). Then M 0 = n M n 0 and, hence, also D = n D n , where D n := p u (M n 0 ) and p u : C z × R u → C z is the canonical projection. Since the projection of L 0 onto M 0 is one-to-one, we see that the function U n : D n → R u such that its graph Γ(U n ) coincides with M n 0 has a single-valued conjugate function. Then, by Lemma 3, we know that the domain D n has to be simply-connected. It follows now that the domain D, as the union of an increasing sequence of simply-connected domains, is also simply-connected.
For proving that D = C z we need to show that ∂D = ∅. Assume to the contrary that ∂D = ∅. In this case we conclude from simply-connectedness of the domain D that ∂D has the full harmonic measure relatively D. Then, since the function log |H(z)| is harmonic near ∂D, it follows from the established in Lemma 11 property log |H(z)| → +∞ as z → ∂D that this function has to be identically equal to +∞. This gives the desired contradiction and completes the proof of Lemma 12. Now we can finally prove the main statement of this section.
Proposition 2. If ‹ A = A, then there is an entire function H : C z → C w and a continuous function Θ : R → R such that the boundary ∂A of A can be represented as where Γ(H + (t + iΘ(t))) denote the graph of the function w = H(z) + (t + iΘ(t)).
Proof. If ‹ A = A, then we conclude from the construction of the limit leaf L 0 and its properties established in Lemmas 11 -12 that there exists an entire function H : C z → C w such that for its graph Γ(H) we have the inclusion Γ(H) ⊂ A. Then from the inequality defining the Model domain A one can easily see that for the function w = H(z) + i we have the inclusion Γ(H + i) ⊂ A. Consider now a biholomorphic change of coordinates F 1 in C 2 z,w : Note that A 1 := F 1 (A) is also a Model domain and, hence, the inclusion holds. Then we perform one more biholomorphic transformation where in the square root we choose the branch that maps the set C \ {it, t ∈ [0, +∞)} to the upper half-plane. Observe now that the set F 2 (F 1 (C 2 z,w \ A)) ∪ (C z × {1}) will be closed and pseudoconcave. Moreover, it is contained in C z × ∆ 1 (0), i.e. this set is an analytic multifunction which is also bounded. Then Liouville's theorem for analytic multifunctions (see, for example, Theorem 1.11 in [A]) tells us that this set has the form C z × E for some compact set E ⊂ ∆ 1 (0). Therefore, since the boundary of the set F 2 (F 1 (C 2 z,w \ A)) ∪ (C z × {1}) = C z × E is the disjoint union of lines parallel to the z-axis, we conclude, in view of the form of the maps F 1 and F 2 , that the boundary of the set C 2 z,w \ A = F −1 1 ((F −1 2 (C z × E)) is constituted by the translations in the w-direction of the graph Γ(H) of the function H. This completes the proof of Proposition 2.

Proof of the Main Theorem
Now we can finally complete the proof of the Main Theorem.
Proof. Observe first that, since, in the case when ‹ A = A, we know by Proposition 1 that A possesses a bounded smooth strictly plurisubharmonic function, it follows from the definition of the core that c(A) = ∅. It also follows from Sibony's Theorem 2 above that in this case the domain A is Kobayashi hyperbolic, and from Chen-Zhang's Theorem 3 above that A possesses a Bergman metric.
Since, in the second case when ‹ A = A, we have by Proposition 2 the required foliation of the boundary ∂A of the domain A by translations of the graph of an entire function, we conclude that to finish the proof of the theorem we only need to show that in this case: For showing (i), (ii) and (iii) it is enough to observe that the graph of the entire function w = H(z) + i is contained in A. Then, using Liouville's theorem on this curve, we see that Γ(H + i) ⊂ c(A) and hence c(A) = ∅. We also see that the domain A, by the definition, is not Brody hyperbolic, and that the Kobayashi distance along the curve Γ(H + i) degenerates and, hence, in this case the domain A can not be Kobayashi hyperbolic.
For proving (iv) we can proceed the same way as in the proof of Proposition 2. Namely, we first perform a biholomorphic change of coordinates F 1 in C 2 z,w : z → z =: z ′ , w → w − H(z) =: w ′ .
Then the domain F 1 (A) will have the form F 1 (A) = {(z ′ , w ′ ) ∈ C 2 : v ′ > Θ(u ′ )}. Since the domain Σ := {w ′ ∈ C : v ′ > Θ(u ′ )}, where w ′ = u ′ + iv ′ , is simply-connected, there exists a conformal map f : Σ → ∆ 1 (0) to the unit disk ∆ 1 (0) in C w ′ . Hence, if we consider the map F 2 : C z × Σ → C z × ∆ 1 (0) defined as: z ′ → z ′ =: z ′′ , w ′ → f(w ′ ) =: w ′′ , then F 2 • F 1 will be a biholomorphic map of the domain A onto the unbounded cylinder C z × ∆ 1 (0). But the space of holomorphic L 2 -functions on this cylinder consists of just one function which is identically equal to zero. Therefore the space of holomorphic L 2functions on A also consists of just one function which is equal to zero. It follows then that the domain A can not have a Bergman metric. The proof of the Main Theorem is now completed.
Remark 2. In the case when the boundary ∂A of the domain A is not foliated by translations of the graph of an entire function, we know from our Main Theorem that its core c(A) is empty. It follows then from Theorem 1 in [GHH] that in this case dim A 2 (A) = ∞, where A 2 (A) is the Bergman space, i.e. the space of holomorphic functions on A which belong to L 2 (A).
Remark 3. Since, as it was shown in Section 5, the only Levi flat continuous graphs over C z × R u are the translations of just one graph of an entire function, and since, by Theorem 1 above, the Dirichlet problem for Levi flat graphs over bounded convex domains is solvable for any contunuous boundary function, we conclude that not all Levi flat graphs over bounded convex domains can be uniformly approximated by the globally defined (i.e. defined over the whole of C z × R u ) Levi flat graphs.
Remark 4. We do not know if all the Model domains A ⊂ C 2 , whose boundary ∂A is not foliated by translations of the graph of an entire function, possess a Carathéodory metric.