On effective existence of symmetric differentials of complex hyperbolic space forms (Q1794553)

Let \(X=\mathbb{B}^n/\Gamma\) be a noncompact complex hyperbolic space form of finite volume. The author considers the problem of producing symmetric differentials vanishing at infinity on the Mumford compactification \(\bar{X}\) of \(X\) similar to the case of producing cusp forms on hyperbolic Riemann surfaces. He introduces a natural geometric measurement which measures the size of the infinity \(\bar{X}-X\) called canonical radius of a cusp of \(\Gamma\). The main theorem is that there is a constant \(r^\ast =r^\ast(n)\) depending only on the dimension, so that if the canonical radii of all cusps of \(\gamma\) are larger than \(r^\ast\), then there exist symmetric differentials of \(\bar{X}\) vanishing at infinity. As a corollary, it is shown that the cotangent bundle \(T_{\bar{X}}\) is ample modulo the infinity if moreover the injectivity radius in the interior of \(\bar{X}\) is larger than some constant \(d^\ast =d^\ast(n)\), which depends only on the dimension.