Szegő kernels and Poincaré series (Q518563)

The purpose of this paper is to show that the Szegő kernel of the holomorphic projection \(\Pi_{h^N}:L^2(M,L^N)\rightarrow H^0(M,L^N)\) on the quotient is given by the Poincaré series of the Szegő projection. Here, \(M\) is a compact Kähler manifold \(\tilde M/\Gamma\) where \(\tilde M\) is the universal covering. More precisely: Theorem 1. There is an integer \(N_0=N_0(M,(L,h))\) such that for \(N\geq N_0\), the degree-\(N\) Szegő kernels \(\Pi_N(x,y)\) of \((L,h)\rightarrow M\) and \(\displaystyle \tilde{\Pi}_N(x,y)\) of \((\tilde L,\tilde h)\rightarrow \tilde M\) are related by \[ \Pi_N(x,y)=\sum _{\gamma\in \Gamma}^{}\tilde{\Pi}_N(\gamma x,y). \] They remark that this theorem was proved by Selberg, Godement and Earle for bounded symmetric domains. The proof of this theorem relies on the presence of a singularity on the diagonal of the Szegő kernel and on the observation that the \(L^2\) Szegő kernel has precisely the same local singularity as the quotient Szegő kernel. As an application, they prove the following. Theorem A. Suppose that \(N\) is greater than \(N_0\) in Theorem 1. Then the Poincaré map from \(H_{L^1}^0(\tilde M,\tilde L^N)\rightarrow H^0(M,L^N)\) is surjective. A new proof concerning the holomorphic convexity obtained by \textit{T. Napier} [Math. Ann. 286, No. 1--3, 433--479 (1990; Zbl 0733.32008)] is given also in this paper. Theorem B. Let \(M\) be a connected smooth projective variety and \(L\rightarrow M\) a positive holomorphic line bundle. Then there is an integer \(N_0=N_0(M,(L,h))\) such that for \(N\geq N_0\), the universal covering \(\tilde M\) is holomorphically convex with respect to \(\tilde L^N\).