Abstract:In this paper, we investigate the $L^2$-Dolbeault cohomology of the symmetric power of cotangent bundles of ball quotients with finite volume, as well as their toroidal compactification. Through the application of Hodge theory for complete hermitian manifolds, we establish the existence of Hodge decomposition and Green's operator. Moreover, we extend the results by Adachi [A21] and Lee-Seo [LS23-2] from compact complex hyperbolic spaces to complex hyperbolic spaces with finite volume.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the structure and properties of the \(L^2\)-Dolbeault cohomology groups of the symmetric cotangent bundles of complex hyperbolic space forms (i.e., ball quotients of finite volume) and their toroidal compactifications. Specifically, the authors studied the isomorphism relations of these cohomology groups under specific conditions, and by applying Hodge theory on complete Hermite manifolds, established Hodge decomposition and the existence of Green operators. In addition, they extended the results of Adachi and Lee - Seo from compact complex hyperbolic spaces to complex hyperbolic spaces of finite volume.
### Main Results
1. **Theorem 1.1**: For a torsion - free subgroup \(\Gamma\) in the unit ball \(B^n\), let \(\Sigma = B^n/\Gamma\) be a ball quotient of finite volume, and \(\tilde{\Sigma}\) be its toroidal compactification. For each \(m, r, s\in\mathbb{N}\cup\{0\}\), there exists a holomorphic vector bundle \(E_{r,m}\) such that when \(r = 0\) or \(r\geq n\) and \(m\geq n - 1\), the following isomorphism relation holds:
\[
H^{r,s}_{L^2,\bar{\partial}}(\Sigma, S^m T^* \Sigma)\cong H^s(\tilde{\Sigma}, E_{r,m})
\]
where \(H^{r,s}_{L^2,\bar{\partial}}(\Sigma, S^m T^* \Sigma)\) represents the \(L^2\)-Dolbeault cohomology group of \(S^m T^* \Sigma\) on \(\Sigma\) with respect to the metric induced by the Bergman metric of \(B^n\).
2. **Corollary 1.2**: If \(r = 0\) or \(r\geq n\) and \(m\geq n - 1\), then \(H^{r,s}_{L^2,\bar{\partial}}(\Sigma, S^m T^* \Sigma)\) is finite - dimensional.
3. **Theorem 1.3**: For a complete Hermite manifold \((X, g)\) and a Hermite vector bundle \((E, h)\) on it, if for all \(s\), \(H^{r,s}_{L^2,\bar{\partial}}(X, E)\) are all finite - dimensional, then there exist a series of properties, including the closed images of the \(\bar{\partial}\) operator and its Hilbert conjugate \(\bar{\partial}^*\), orthogonal decomposition, and the existence of Green operators.
4. **Theorem 1.4**: For a torsion - free subgroup \(\Gamma\) in the unit ball \(B^n\), let \(\Sigma = B^n/\Gamma\) be a ball quotient of finite volume, and \(g\) be the metric on \(\Sigma\) induced by the Bergman metric of \(B^n\). If \(r = 0\) or \(r\geq n\) and \(m\geq n - 1\), then for each \(s\in\mathbb{N}\cup\{0\}\), there exist a series of properties, including the closed images of the \(\bar{\partial}\) operator and its Hilbert conjugate \(\bar{\partial}^*\), orthogonal decomposition, and the existence of Green operators.
5. **Theorem 1.5**: For a torsion - free subgroup \(\Gamma\) of the complex unit ball \(B^n\), let \(\Sigma = B^n/\Gamma\) be a complex hyperbolic space form of finite volume, and \(\Omega = B^n\times B^