The bidisk conclusion for domains without totally real boundary points

Let MM be a hyperbolic complex surface, and let ΩM\Omega\subset\subset M be a subdomain with C1,1C^{1,1} boundary. A compact quotient of Ω\Omega means that Ω\Omega admits a quotient by a group of biholomorphisms that is compact. A boundary point is totally real in the sense used for the boundary of Ω\Omega. Bidisk conjecture. If Ω\Omega admits a compact quotient and Ω\partial\Omega does not contain a totally real boundary point, then the universal cover of Ω\Omega is biholomorphic to a bidisk. This is presented as a potential extension of the result of Cheung et al. that, under a smooth-boundary hypothesis, the universal cover is either a ball or a bidisk. The source replaces smoothness by the weaker C1,1C^{1,1} condition; the resolution status of this asserted consequence is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Nicholas Newsome, “Bounded domains on Kobayashi hyperbolic manifolds covering compact complex manifolds”, arXiv:2504.03935 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.