Representation Spectra of Lattices in Lie Groups and its applications to Locally Symmetric Spaces

Abstract

Let $(\tau, V_{\tau})$ be a finite dimensional representation of a maximal compact subgroup $K$ of a connected non-compact semisimple Lie group $G$, and let $\Gamma$ be a uniform torsion-free lattice in $G$. We obtain an infinitesimal version of the celebrated Matsushima-Murakami formula, which relates the dimension of the space of automorphic forms associated to $\tau$ and multiplicities of irreducible $\tau^\vee$-spherical spectra in $L^2(\Gamma \backslash G)$. This result gives a promising tool to study the joint spectra of all central operators on the homogeneous bundle associated to the locally symmetric space and hence its infinitesimal $\tau$-isospectrality. Along with this we prove that the almost equality of $\tau$-spherical spectra of two lattices assures the equality of their $\tau$-spherical spectra.

Let $\Gamma_1$ and $\Gamma_2$ be two lattices of finite covolume in a semisimple Lie group $G$. We prove a spectral rigidity result for the representation spectra of the right regular representations $L^2(\Gamma_1 \backslash G)$ and $L^2(\Gamma_2 \backslash G)$ of $G$. This can be thought of as an analogue of the strong multiplicity one theorem and it generalises \cite[Thm 1.1]{BR} by Bhagwat and Rajan to the case of non-uniform lattices.

Let $G$ be the real points of a connected semisimple simply connected algebraic group over $\Q$ such that $G$ has a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations of $G$. We prove that for any finite subset of $\widehat{G}_d$ satisfying a certain condition, the associated finite set of discrete series multiplicities in $L^2(\Gamma \backslash G)$ determines all discrete series multiplicities in $L^2(\Gamma \backslash G)$. This allows us to obtain a refinement of the strong multiplicity one result for discrete series representations. As an application, we deduce that for two given levels, the equality of the dimensions of the spaces of cusp forms over a suitable finite set of weights implies the equality of the dimensions of the spaces of cusp forms for all weights.