Arxiv:2009.13027V2 [Math.DG] 11 Feb 2021 Ekypedcne Domains
Total Page:16
File Type:pdf, Size:1020Kb
QUASI-BOUNDED GEOMETRY OF THE BERGMAN METRIC AND EQUIVALENCE OF INVARIANT METRICS GUNHEE CHO Abstract. We provide the tractable computational method to show the equivalence of invariant metrics on large classes of hyperbolic K¨ahler manifolds with the Bergman metric. Precisely, we consider a class of bounded weakly pseudoconvex domains Ω ⊂ Cn with Lipschitz boundaries ∂Ω having the quasi-bounded geometry of the Bergman metric and there exists a compact subset K ⊂ Ω ∪ ∂Ω such that (i) for any point x ∈ Ω, there exists an automorphism φ : Ω → Ω with φ(x) ∈ Ω ∩ K, (ii) the holomorphic sectional curvature of the Bergman metric is negative near ∂Ω ∩ ∂K. For this class, we show that the Bergman metric is uniformly equivalent to the complete K¨ahler–Einstein metric with Ricci curvature equal to −1 and to the Kobayashi–Royden metric. As a family of nontrivial examples, we consider the 3-dimensional bounded domains 3 2 q 2 r Eq,r := {(x,y,z) ∈ C : |x| + |y| < 1, |x| + |z| < 1},q,r > 0. We proceed with the necessary computations to verify all assumptions (i),(ii), and (iii) and show that for each q,r > 0, the Bergman metric admits the quasi-bounded geometry and three invariant metrics are uniformly equivalent on Eq,r. Finally, we introduce the symmetric curvature property of the Bergman metric and show that Eq,r satisfies the symmetric curvature property at the (0, 0, 0) ∈ Eq,r if and only if q = r. Contents 1. Introduction 2 Acknowledgments 3 2. Quasi-bounded geometry 3 arXiv:2009.13027v2 [math.DG] 11 Feb 2021 3. Proof of the Main Theorem 4 4. The intersection of complex ellipsoids Eq,r 6 5. Symmetric curvature property of the Bergman metric on Eq,r 13 Conflicts of interest 15 References 15 2010 Mathematics Subject Classification. Primary: 32Q05, Secondary: 32Q20. Key words and phrases. Bergman metric, quasi-bounded geometry, holomorphic sectional curvature, weakly pseudoconvex domains. 1 2 GUNHEE CHO 1. Introduction Equivalence of classical invariant metrics including the Bergman metric, the complete K¨ahler–Einstein metric of negative scalar curvature, the Kobayashi–Royden metric, and the Carath´eodory–Reiffen metric on hyperbolic complex manifolds has been studied in complex geometry [19]. Some well-known classes having equivalence of these metrics are complex manifolds with uniform squeezing property, smoothly bounded strictly pseudoconvex do- mains in Cn, and weakly pseudoconvex domains of finite type in C2 [4, 22]. In complex dimension 3, the equivalence of these metrics breaks down for some weakly pseudoconvex domains with analytic boundary [10]. One method to show the equivalence of the invariant metrics on a complete K¨ahler man- ifold (M,ω) is to prove that the holomorphic sectional curvature of ω has a negative range. Then by a fundamental result of Wu and Yau [20], the metric ω is uniformly equivalent to the complete K¨ahler–Einstein metric with Ricci curvature equal to 1 and to the Kobayashi– Royden metric. Hence if one knows a concrete formula of the Bergm− an kernel on a bounded weakly pseudoconvex domain with Lipchitz boundary, one could attempt to compute the holomorphic sectional curvature of the Bergman metric to establish the equivalence of the invariant metrics. Indeed, in complex dimension 2, some examples have recently been studied with concrete formulae for Bergman kernels. For complex ellipsoids E = (z, w) C1 C1 : z 2 + w 2p < 1 , p> 0, { ∈ × | | | | } this approach was taken in [7] to investigate relations among the invariant metrics by com- puting the curvature quantities. In [8], it was shown that the holomorphic sectional curva- ture of the Bergman metric on symmetrized bidisc G = (z + w,zw) C2 : z , w < 1 2 { ∈ | | | | } is negatively pinched. As result, the equivalence of invariant metrics and other consequences was obtained. As for complex dimension 3, explicit formulae are recently obtained for the Bergman kernels on certain weakly pseudoconvex≥ domains (e.g., see [1,2,9,18] and references therein). However, it seems to be a daunting task to compute the holomorphic sectional curvatures for these domains. In this paper, we establish a new method to study relations among the invariant metrics on weakly pseudoconvex domains in Cn which might be quite useful to check concretely for n 3, which does not require complete computation of the holomorphic sectional curvature and≥ the information of the squeezing function. This method is still strong enough to deduce the equivalence of invariant metrics. More precisely, we prove the following theorem. Theorem 1. Let Ω be a bounded weakly pseudoconvex domain in Cn with Lipschitz bound- ary. Suppose the Bergman metric admits the quasi-bounded geometry and there exists a compact subset K ( Ω ∂Ω on which the interior of K does not meet ∂Ω satisfying two conditions: (i) for any point∪ x Ω, there exists an automorphism φ :Ω Ω with φ(x) K, (ii) the holomorphic sectional∈ curvature of the Bergman metric is negative→ near ∂Ω ∈∂K. Then the Bergman metric is uniformly equivalent to the complete K¨ahler–Einstein metric∩ with Ricci curvature 1 and to the Kobayashi–Royden metric. − The consequence of Theorem 1 concerning the existence of the K¨ahler-Einstein metric with Ricci curvature 1 forces such a bounded domain must be pseudoconvex [17]. Also, the − QUASI-BOUNDED GEOMETRY OF THE BERGMAN METRIC AND EQUIVALENCE OF INVARIANT METRICS3 Bergman metric on a bounded weakly pseudoconvex domain in Cn with Lipschitz boundary is complete [5]. We believe that Theorem 1 covers a large class of pseudoconvex domains (also see Remark 5 as a counter part). Moreover, the proof of Theorem 1 yields the equivalence of two invariant metrics on closed submanifolds of Ω: Corollary 2. Given a bounded weakly pseudoconvex domain Ω in Cn with Lipschitz sat- isfying all assumptions in Theorem 1, any closed complex submanifold S of Ω admits the complete K¨ahler metric g with holomorphic sectional curvature negatively pinched. More- KE over, g, the unique complete K¨ahler-Einstein metric gS of Ricci curvature 1, and the K − Kobayashi-Royden metric gS are uniformly equivalent. To provide a non-trivial example of Theorem 1, we should proceed with the computa- tional recipe for showing the bounded geometry. For this purpose, we consider a family of intersection of two complex ellipsoids E = (x,y,z) C3 : x 2 + y q < 1, x 2 + z r < 1 ,q,r > 0, q,r { ∈ | | | | | | | | } which is interesting in its own right. The result with Eq,r is the following: Theorem 3. For each q,r > 0, the Bergman metric admits the quasi-bounded geometry and there exists a compact subset K ( Eq,r ∂Eq,r such that K satisfies assumptions (i),(ii) stated in Theorem 1. Consequently, the∪ Bergman metric is uniformly equivalent to the complete K¨ahler–Einstein metric with Ricci curvature 1 and to the Kobayashi–Royden − metric on Eq,r. In the proof, we use a concrete formula for the Bergman kernels of (Eq,r)q,r>0, which was obtained in [3] to show that the Bergman metrics satisfy all assumptions in Theorem 1. The computational processes that make sure this example satisfies the conditions are really interesting. In particular, since this example is a three-dimensional weakly pseudoconvex domain, the holomorphic sectional curvature generally not known about boundary behavior. Nevertheless, the quasi-bounded geometry and the negative range of holomorphic sectional curvature near the boundary of the Bergman metric can be confirmed from the sophisticated calculation. Finally, not only investigating the boundary behavior of curvature quantities, but we also provide new curvature behavior at the origin of Eq,r which we call by the symmetric curvature property that happens only when q = r in the last section. In general, this observation is very interesting in that, apart from what people have studied on the boundary tendency of the holomorphic curvature, the interior of the complex manifolds, and it is determined about the space from a single point. Acknowledgments. Author thank professor Damin Wu and professor Kwu-Hwan Lee for the very helpful discussions. 2. Quasi-bounded geometry The notion of quasi-bounded geometry is introduced by S. T. Yau and S. Y. Cheng ([6]). We adopt the following formulation. Let (M,ω) be an n-dimensional complete K¨ahler manifold. For a point p M, let B (p; ρ) be the open geodesic ball centered at p in M of ∈ ω radius ρ; we omit the subscript ω if there is no peril of confusion. Denote by BCn (r) the n open ball centered at the origin in C of radius r with respect to the standard metric ωCn . 4 GUNHEE CHO Definition 4. An n-dimensional K¨ahler manifold (M,ω) is said to have quasi-bounded geometry if there exist two constants r2 > r1 > 0 such that for each point p M, there is a domain U Cn and a nonsingular holomorphic map ψ : U M satisfying∈ the following properties: ⊂ → (1) BCn (r ) U BCn (r ) and ψ(0) = p; 1 ⊂ ⊂ 2 (2) there exists a constant C > 0 depending only on r1, r2,n such that −1 ∗ C ωCn ψ (ω) CωCn on U; ≤ ≤ (3) for each integer l 0, there exists a constant Al depending only on l,n,r1, r2 such that ≥ |ν|+|µ| ∂ gij sup µ ν Al, for all µ + ν l, x∈U ∂v ∂v ≤ | | | |≤ where g are the components of ψ∗ω on U in terms of the natural coordinates (v1, , vn), ij ··· and µ,ν are multiple indices with µ = µ1 + + µn. We call r1 a radius of quasi-bounded geometry. | | ··· We will apply the following theorem in order to prove that a complete K¨ahler metric admits quasi-bounded geometry.