Eichler-Shimura isomorphism for complex hyperbolic lattices

From MaRDI portal
Publication:2407375



Abstract: We consider the cohomology group H1(Gamma,ho) of a discrete subgroup GammasubsetG=SU(n,1) and the symmetric tensor representation ho on Sm(mathbbCn+1). We give an elementary proof of the Eichler-Shimura isomorphism that harmonic forms are (0,1)-forms for the automorphic holomorphic bundle induced by the representation Sm(mathbbCn) of K.


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})\).











This page was built for publication: Eichler-Shimura isomorphism for complex hyperbolic lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407375)