Smoothly bounded domains covering finite volume manifolds (Q2073258)

In the present paper, the author proves the following\\ \textbf{Theorem.} Let \(\Omega\subset\mathbb{C}^n\) be a bounded pseudoconvex domain with \({C}^2\) boundary and let \(\Gamma\leq \operatorname{Aut}(\Omega)\) be a discrete group acting freely on it. If either the Bergman volume, the Kähler-Einstein volume or the Kobayashi-Eisenman volume of the quotient \(\Omega/\Gamma\) is finite, then \(\Omega\) is biholomorphic to the unit ball. Thanks to this result, he solves an old problem that has been attributed to S.-T. Yau, see for instance [\textit{B. Wong}, Invent. Math. 41, 253--257 (1977; Zbl 0385.32016)]. Its proof is mainly focused on showing that the domains under consideration satisfy the hypothesis of the Wong-Rosay Ball Theorem [\textit{J.-P. Rosay}, Ann. Inst. Fourier 29, No. 4, 91--97 (1979; Zbl 0402.32001); \textit{B. Wong}, Invent. Math. 41, 253--257 (1977; Zbl 0385.32016)], that is what ultimately allows one to get the statement. This goal, specifically consisting in finding a point \(z_0\in\Omega\) and a sequence \(\varphi_n\in \operatorname{Aut}(\Omega)\) such that \(\varphi_n(z_0)\) converges to a strongly pseudoconvex point of \(\partial\Omega\), is achieved by studying the horospheres with respect to the Bergman distance near a strongly psedoconvex point of \(\partial \Omega\). In the last part of the paper, an analogous theorem involving convex domains \(\Omega\) with \(C^{1,\epsilon}\) boundary, is proved. By studying very similarly to the previous case the horospheres with respect to the Kobayashi distance, the author proves that the limit set of \(\Omega\) intersects every closed complex face of \(\partial \Omega\). Recall that the limit set of \(\Omega\) consists of points \(x\in\partial \Omega\) such that there exists some \(z_0\in\Omega\) and a sequence \(\varphi_n\in \operatorname{Aut}(\Omega)\) such that \(\varphi_n(z_0)\) converges to \(x\), instead the closed complex face of \(x\in\partial \Omega\) is the intersection of \(\partial \Omega\) and the complex affine hyperplane tangent to \(\partial \Omega\) at \(x\). Then, by considering [\textit{K. Liu} and \textit{Y. Wu}, ``Geometry of complex bounded domains with finite-volume quotient'', Preprint, \url{arXiv:1801.00459}], it follows that \(\Omega\) needs to be a bounded symmetric domain. Hence, \(\Omega\) is biholomorphic to the unit ball by [\textit{N. Mok} and \textit{I-H. Tsai}, J. Reine Angew. Math. 431, 91--122 (1992; Zbl 0765.32017)].