Eichler-Shimura isomorphism for complex hyperbolic lattices (Q2407375): Difference between revisions

Let \(B = G/K\), \(G = \mathrm{SU}(n,1)\) be the Hermitian symmetric space, \(\Gamma \subset G\) a cocompact torsion free discrete subgroup, \(X = \Gamma\backslash G\) the associated locally symmetric space, and \(\rho\) a finite dimensional representation of \(G\). By a classical theorem of Raghunathan the cohomology group \(H^1(\Gamma, \rho)\) vanishes except when \(\rho\) is a symmetric power \(\rho_m\) of the standard representation or its dual \(\rho'_m\). Assume first that \(n >1\). In [Invent. Math. 184, No. 3, 455--498 (2011; Zbl 1239.22009)], \textit{B. Klingler} proved that realizing \(H^1(\Gamma, \rho)\) as harmonic forms, it consists of \((0, 1)\)-forms for the symmetric tensor of the holomorphic tangent bundle of \(X\). The main result of the present paper is a rather elementary proof of this theorem. The authors also consider the case \(n = 1\). In this case \(H^1(\Gamma, \rho_m)\) has a decomposition as \(H^1(\Gamma, \rho_m) = H^{(1,0)}(\Gamma, \rho_m) + H^{(0,1)}(\Gamma, \rho_m)\), and in contrast to the case \(n \geq 2\) the component \(H^{(1,0)}(\Gamma, \rho_m)\) is not vanishing but it is dual to \(H^{(0,1)}(\Gamma, \rho_m)\). This Eichler-Shimura isomorphism further gives a correspondence between \(H^{(1,0)}(\Gamma, \rho_m)\) and \(H^0\)-cohomology of a line bundle over the Riemann surface \(\Gamma\backslash B\). The authors show that their method can be used to prove this result as well and then give its application to computing the tangent space of the Hitchin's Teichmüller component of representations of \(\Gamma\) in \(\mathrm{SL}(n, \mathbb{R})\).