skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On the Classification of Normal Stein Spaces and Finite Ball Quotients With Bergman–Einstein Metrics
Abstract We study the Bergman metric of a finite ball quotient $$\mathbb{B}^n/\Gamma $$, where $$n \geq 2$$ and $$\Gamma \subseteq{\operatorname{Aut}}({\mathbb{B}}^n)$$ is a finite, fixed point free, abelian group. We prove that this metric is Kähler–Einstein if and only if $$\Gamma $$ is trivial, that is, when the ball quotient $$\mathbb{B}^n/\Gamma $$ is the unit ball $${\mathbb{B}}^n$$ itself. As a consequence, we characterize the unit ball among normal Stein spaces with isolated singularities and abelian fundamental groups in terms of the existence of a Bergman–Einstein metric.  more » « less
Award ID(s):
1800549 1900955
PAR ID:
10267943
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract We give an affirmative solution to a conjecture of Cheng proposed in 1979which asserts that the Bergman metric of a smoothly bounded stronglypseudoconvex domain in {\mathbb{C}^{n},n\geq 2} , is Kähler–Einsteinif and only if the domain is biholomorphic to the ball. We establisha version of the classical Kerner theorem for Stein spaces withisolated singularities which has an immediate application toconstruct a hyperbolic metric over a Stein space with a sphericalboundary. 
    more » « less
  2. Abstract The paper studies complex manifolds whose Bergman metrics are incomplete but have constant holomorphic sectional curvature.We will construct a real analytic unbounded domain in C 2 \mathbb{C}^{2}whose Bergman metric is well-defined and has a positive constant holomorphic sectional curvature, which appears to be the first example of this kind.We will answer a long standing folklore conjecture that a Stein manifold has a negative constant holomorphic sectional curvature if and only if it is biholomorphic to a ball with a pluripolar set removed.Together with the uniqueness of a moment problem in the appendix of the paper provided by John Treuer, we will show that, under natural assumptions, there is no complex manifold whose Bergman metric is flat. 
    more » « less
  3. We prove a bound relating the volume of a curve near a cusp in a complex ball quotient $$X=\mathbb{B}/\unicode[STIX]{x1D6E4}$$ to its multiplicity at the cusp. There are a number of consequences: we show that for an $$n$$ -dimensional toroidal compactification $$\overline{X}$$ with boundary $$D$$ , $$K_{\overline{X}}+(1-\unicode[STIX]{x1D706})D$$ is ample for $$\unicode[STIX]{x1D706}\in (0,(n+1)/2\unicode[STIX]{x1D70B})$$ , and in particular that $$K_{\overline{X}}$$ is ample for $$n\geqslant 6$$ . By an independent algebraic argument, we prove that every ball quotient of dimension $$n\geqslant 4$$ is of general type, and conclude that the phenomenon famously exhibited by Hirzebruch in dimension 2 does not occur in higher dimensions. Finally, we investigate the applications to the problem of bounding the number of cusps and to the Green–Griffiths conjecture. 
    more » « less
  4. Abstract The first part of the paper studies the boundary behavior of holomorphic isometric mappings F = ( F 1 , … , F m ) {F=(F_{1},\dots,F_{m})} from the complex unit ball 𝔹 n {\mathbb{B}^{n}} , n ≥ 2 {n\geq 2} , to a bounded symmetric domain Ω = Ω 1 × ⋯ × Ω m {\Omega=\Omega_{1}\times\cdots\times\Omega_{m}} up to constant conformal factors, where Ω i ′ {\Omega_{i}^{\prime}} s are irreducible factors of Ω. We prove every non-constant component F i {F_{i}} must map generic boundary points of 𝔹 n {\mathbb{B}^{n}} to the boundary of Ω i {\Omega_{i}} . In the second part of the paper, we establish a rigidity result for local holomorphic isometric maps from the unit ball to aproduct of unit balls and Lie balls. 
    more » « less
  5. Abstract A subset E of a metric space X is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $$\mathbb{R}^n$$ for some n , sending E to a starlike set. A subset $$E\subset X$$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $$\{E_i\}_{i=0}^{N+1}$$ such that $$E_{i}/E_{i+1}\subset X/E_{i+1}$$ is starlike-equivalent for each i and $$E_{N+1}$$ is a point. A decomposition $$\mathcal{D}$$ of a metric space X is said to be recursively starlike-equivalent, if there exists $$N\geq 0$$ such that each element of $$\mathcal{D}$$ is recursively starlike-equivalent of filtration length N . We prove that any null, recursively starlike-equivalent decomposition $$\mathcal{D}$$ of a compact metric space X shrinks, that is, the quotient map $$X\to X/\mathcal{D}$$ is the limit of a sequence of homeomorphisms. This is a strong generalisation of results of Denman–Starbird and Freedman and is applicable to the proof of Freedman’s celebrated disc embedding theorem. The latter leads to a multitude of foundational results for topological 4-manifolds, including the four-dimensional Poincaré conjecture. 
    more » « less