The bidisk as universal cover of a domain with $C^{1,1}$ boundary on a hyperbolic complex surface admitting a compact quotient (Newsome's Conjecture 5.3)

Let $M$ be a Kobayashi hyperbolic complex surface and let $\Omega\subset\subset M$ be a relatively compact subdomain with boundary of class $C^{1,1}$ such that the quotient $\Omega/\mathrm{Aut}(\Omega)$ is compact, where $\mathrm{Aut}(\Omega)$ is the group of biholomorphic automorphisms of $\Omega$ (the hypothesis of the source conjecture; it holds in particular when $\Omega$ covers a compact complex manifold). If through every point of $\partial\Omega$ there passes a positive-dimensional complex analytic variety lying entirely in $\partial\Omega$ (the source's 'no totally real boundary point' condition), must the universal cover of $\Omega$ be biholomorphic to the bidisk $\mathbb{D}\times\mathbb{D}$? This is Conjecture 5.3 of Newsome (arXiv:2504.03935v2), and it is the exact $C^{1,1}$ counterpart of the second case of the smooth-boundary ball/bidisk dichotomy of Cheung–Fu–Krantz–Wong (Math. Scand. 2002). Together with Newsome's Theorem 1.1 (the ball case when a totally real boundary point is present, proved under the stronger hypotheses of a taut ambient manifold and a domain covering a compact manifold), an affirmative answer would complete the classification of $C^{1,1}$ domains with compact quotients on hyperbolic complex surfaces. No resolution and no counterexample are known; the conjecture is open as of August 2026.

Background

In one complex variable the uniformization theorem reduces the study of planar domains to the unit disk, but in several complex variables there is no analogue, and classifying the simply connected model domains is a basic open program. A rigidity thread within that program asks which bounded domains can cover compact complex manifolds. Wong (Invent. Math. 1977) proved that a strongly pseudoconvex bounded domain in $\mathbb{C}^n$ (one whose boundary is curved strictly outward in every complex tangent direction) that covers a compact complex manifold is biholomorphic to the Euclidean unit ball, and Rosay (Ann. Inst. Fourier 1979) extended the conclusion to any bounded domain in $\mathbb{C}^n$ with $C^2$ boundary covering a compact complex manifold. The smoothness hypothesis is essential, since the bidisk $\mathbb{D}\times\mathbb{D}$ (with $\mathbb{D}$ the unit disk) itself covers compact manifolds — quotients by cocompact lattices in $\mathrm{Aut}(\mathbb{D})\times\mathrm{Aut}(\mathbb{D})$ — but its boundary has corners and is not even $C^1$.

Several terms used throughout: a complex manifold is Kobayashi hyperbolic when the Kobayashi pseudometric (the largest pseudometric for which all holomorphic maps from the disk are distance-nonincreasing) is a true metric; it is taut when every sequence of holomorphic maps from the unit disk into it has a subsequence that either converges uniformly on compact sets or diverges to infinity; tautness is stronger than hyperbolicity. A boundary point $p\in\partial\Omega$ is totally real, following Definition 3.3 of the source, if there exists no complex analytic variety of positive dimension that contains $p$ and lies entirely in $\partial\Omega$; thus the hypothesis that $\partial\Omega$ has no totally real point means every boundary point lies on some positive-dimensional complex analytic variety contained in the boundary. For smooth boundaries a strictly pseudoconvex point — one where the Levi form (the quadratic form measuring boundary curvature in the complex tangent directions) is positive definite — is totally real in this sense, since by the local maximum principle no positive-dimensional complex variety can lie in a strictly pseudoconvex boundary piece; the source glosses the two notions together in the smooth case, and at $C^{1,1}$ regularity, where the Levi form is no longer classically defined, the variety-based definition is the operative one. A boundary is of class $C^{1,1}$ if it is locally the level set of a defining function whose first derivatives are Lipschitz, so second derivatives exist only almost everywhere and are merely bounded. A bounded symmetric domain is a bounded domain that is a Hermitian symmetric space (a symmetric space carrying a compatible complex structure); in complex dimension 2 the only ones, up to biholomorphism, are the ball (rank 1) and the bidisk (rank 2).

Cheung, Fu, Krantz, and Wong (Math. Scand. 2002) proved the full dichotomy for smoothly bounded domains on surfaces: if $M$ is a Kobayashi hyperbolic complex surface and $\Omega\subset\subset M$ is a relatively compact subdomain with smooth ($C^2$) boundary such that the quotient $\Omega/\mathrm{Aut}(\Omega)$ is compact, then either $\Omega$ is biholomorphic to the ball, or else the universal cover of $\Omega$ is biholomorphic to the bidisk. The proof splits according to whether $\partial\Omega$ contains a strictly pseudoconvex (totally real) point: if it does, the classical ball-rigidity mechanism applies in any dimension; if it does not, a dimension-2 argument based on the boundary-accumulation results of Fu and Wong (Math. Ann. 1998; Complex Variables 2000) and on estimates for invariant volume forms on the bidisk identifies the bidisk as the only remaining universal cover. This second half of the argument uses a smooth defining function in an essential way.

Zimmer (Indiana Univ. Math. J. 2021) settled the $C^{1,1}$ case for domains in $\mathbb{C}^n$: a bounded domain in $\mathbb{C}^n$ with $C^{1,1}$ boundary covering a compact manifold is biholomorphic to the ball. His proof rescales the domain (a technique introduced by Frankel, Acta Math. 1989) to produce noncompact automorphisms, then invokes a structure theorem of Frankel (Ann. of Math. 1995) and Nadel (Ann. of Math. 1990) — semisimplicity of the automorphism group of a universal cover of a compact complex manifold — to conclude that the domain is a bounded symmetric domain, and finally shows that $C^{1,1}$ regularity forces rank one, hence the ball; no bidisk case arises for domains in $\mathbb{C}^n$. Newsome (arXiv:2504.03935) combined a boundary localization technique of Lin and Wong (Illinois J. Math. 1990) with Zimmer's computations to handle subdomains of general taut manifolds: Theorem 1.1 states that if $\Omega$, a subdomain with $C^{1,1}$ boundary of a taut complex manifold, contains a totally real boundary point and covers a compact manifold, then $\Omega$ is biholomorphic to the Euclidean ball. What remains in dimension 2 is precisely the complementary regime — no totally real boundary point — where Newsome's Conjecture 5.3 asserts that the universal cover must be the bidisk. Newsome notes that a proof of the conjecture might adapt the Section 4 argument of Cheung–Fu–Krantz–Wong, replacing their smooth defining function by a $C^{1,1}$ one, and anticipates some technical issues arising from that alteration. The motivation is the same dichotomy that appears in Wong's earlier uniformization theorem for compact Kähler surfaces of negative curvature (J. Differential Geom. 1981), where the universal cover is the ball or the bidisk.

Problem Statement

Let $M$ be a Kobayashi hyperbolic complex surface, i.e., a complex manifold of complex dimension $2$ whose Kobayashi pseudometric (the largest pseudometric on $M$ for which all holomorphic maps from the unit disk are distance-nonincreasing) is a true metric. Let $\Omega\subset\subset M$ be a relatively compact subdomain whose boundary $\partial\Omega$ is of class $C^{1,1}$: $\partial\Omega$ is locally the level set of a defining function with nonvanishing differential whose first derivatives are Lipschitz. Let $\mathrm{Aut}(\Omega)$ denote the group of biholomorphic automorphisms of $\Omega$, and suppose that $\Omega$ admits a compact quotient in the sense of the source: the quotient topological space $\Omega/\mathrm{Aut}(\Omega)$ is compact. (This condition holds in particular when $\Omega$ covers a compact complex manifold, i.e., when some discrete group $\Gamma\le\mathrm{Aut}(\Omega)$ acts freely, properly discontinuously, and cocompactly on $\Omega$.) Suppose further that $\partial\Omega$ contains no totally real boundary point: no point $p\in\partial\Omega$ admits a positive-dimensional complex analytic variety $V$ with $p\in V\subseteq\partial\Omega$; equivalently, every boundary point lies on some positive-dimensional complex analytic variety contained in the boundary.

Must the universal covering space of $\Omega$ then be biholomorphic to the bidisk $\mathbb{D}\times\mathbb{D}$, where $\mathbb{D}$ is the unit disk in $\mathbb{C}$?

This is Conjecture 5.3 of Newsome (arXiv:2504.03935v2), with hypotheses and conclusion exactly as in the source once its Definitions 3.3 and 3.5 are unfolded. It is the exact $C^{1,1}$ counterpart of the second case of the smooth-boundary dichotomy of Cheung–Fu–Krantz–Wong (Math. Scand. 2002): under the same hypotheses with $C^2$ boundary and $\Omega/\mathrm{Aut}(\Omega)$ compact, either $\Omega$ is biholomorphic to the ball or the universal cover of $\Omega$ is biholomorphic to the bidisk, and the bidisk alternative is precisely the case with no strictly pseudoconvex (totally real) boundary point. An affirmative answer, combined with Newsome's Theorem 1.1 (which gives the ball when a totally real boundary point is present, under the stronger hypotheses of a taut ambient manifold and a domain covering a compact manifold), would complete the ball/bidisk dichotomy for $C^{1,1}$ domains with compact quotients on hyperbolic complex surfaces. A negative answer consists of an explicit $M$ and $\Omega$ satisfying all the hypotheses above whose universal cover is not biholomorphic to the bidisk. The companion question in complex dimensions $n\ge 3$ — where the source offers only a speculative trichotomy and no precise conjecture — lies outside this problem, which is the two-dimensional statement the source actually poses.

References

1. Nicholas Newsome, Bounded domains on Kobayashi hyperbolic manifolds covering compact complex manifolds, arXiv preprint arXiv:2504.03935 (v2, revised 6 Jan 2026), DOI 10.48550/arxiv.2504.03935, https://arxiv.org/abs/2504.03935
2. Wing Sum Cheung, Siqi Fu, Steven G. Krantz, Bun Wong, A smoothly bounded domain in a complex surface with a compact quotient, Mathematica Scandinavica 91 (2002), no. 1, 82–90, DOI 10.7146/math.scand.a-14380, https://doi.org/10.7146/math.scand.a-14380
3. Andrew Zimmer, Smoothly bounded domains covering compact manifolds, Indiana University Mathematics Journal 70 (2021), no. 6, 2653–2676, DOI 10.1512/iumj.2021.70.9380, https://doi.org/10.1512/iumj.2021.70.9380
4. B. Wong, Characterization of the unit ball in $\mathbb{C}^n$ by its automorphism group, Inventiones Mathematicae 41 (1977), no. 3, 253–257, DOI 10.1007/BF01403050, https://doi.org/10.1007/BF01403050
5. B. Wong, The uniformization of compact Kähler surfaces of negative curvature, Journal of Differential Geometry 16 (1981), no. 3, 407–420, DOI 10.4310/jdg/1214436220, https://doi.org/10.4310/jdg/1214436220
6. Siqi Fu, Bun Wong, On boundary accumulation points of a smoothly bounded pseudoconvex domain in $\mathbb{C}^2$, Mathematische Annalen 310 (1998), no. 1, 183–196, DOI 10.1007/s002080050144, https://doi.org/10.1007/s002080050144
7. Siqi Fu, Bun Wong, On a domain in $\mathbb{C}^2$ with generic piecewise smooth Levi-flat boundary and non-compact automorphism group, Complex Variables: Theory and Application 42 (2000), no. 1, 25–40, DOI 10.1080/17476930008815269, https://doi.org/10.1080/17476930008815269
8. Jean-Pierre Rosay, Sur une caractérisation de la boule parmi les domaines de $\mathbb{C}^n$ par son groupe d'automorphismes, Annales de l'Institut Fourier 29 (1979), no. 4, 91–97, DOI 10.5802/aif.768, https://doi.org/10.5802/aif.768
9. Sidney Frankel, Complex geometry of convex domains that cover varieties, Acta Mathematica 163 (1989), no. 1–2, 109–149, DOI 10.1007/BF02392734, https://doi.org/10.1007/BF02392734
10. Sidney Frankel, Locally symmetric and rigid factors for complex manifolds via harmonic maps, Annals of Mathematics (2) 141 (1995), no. 2, 285–300, DOI 10.2307/2118521, https://doi.org/10.2307/2118521
11. Alan Michael Nadel, Semisimplicity of the group of biholomorphisms of the universal covering of a compact complex manifold with ample canonical bundle, Annals of Mathematics (2) 132 (1990), no. 2, 193–211, DOI 10.2307/1971521, https://doi.org/10.2307/1971521
12. E. B. Lin, B. Wong, Boundary localization of the normal family of holomorphic mappings and remarks on the existence of bounded holomorphic functions on complex manifolds, Illinois Journal of Mathematics 34 (1990), no. 3, 656–664, DOI 10.1215/ijm/1255988176, https://doi.org/10.1215/ijm/1255988176