Different cuspidal automorphic representations with same representations at infinity - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T12:42:46Z http://mathoverflow.net/feeds/question/77649 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/77649/different-cuspidal-automorphic-representations-with-same-representations-at-infin Different cuspidal automorphic representations with same representations at infinity 7-adic 2011-10-10T02:30:43Z 2011-10-10T13:51:48Z <p>Let us fix a representation $\pi_\infty$ of GL(n,$\mathbb R$).</p> <p>Let us fix a character $\chi$ of K, where K is a compact subgroup of $GL(n,\mathbb A_{finite})$.</p> <p>$$K=\Pi_{v&lt;\infty}K_v$$</p> <p>$K_v$ is $GL(n,\mathbb Z_v)$ for almost all v.</p> <p>For automorphic forms of ($\chi$, K), we require that </p> <p>for $\phi: GL(n,\mathbb {A_Q})\to \mathbb C$ </p> <p>$\phi(x\gamma)=\chi(\gamma)\phi(x)$ for any $x\in GL(n,\mathbb{A_Q})$ and any $\gamma \in K$.</p> <p>How many cuspidal automorphic representations of GL(n,$\mathbb{A_Q}$) with character $\chi$ and with $\pi_\infty$ at infinity place are there?</p> <p>I am expecting answer to be "finitely many". Who and where is this proved?</p> http://mathoverflow.net/questions/77649/different-cuspidal-automorphic-representations-with-same-representations-at-infin/77695#77695 Answer by BR for Different cuspidal automorphic representations with same representations at infinity BR 2011-10-10T13:51:48Z 2011-10-10T13:51:48Z <p>This is precisely the content of Harish-Chandra's theorem ("Automorphic forms on Semisimple Lie Groups", LNM 68, 1968), proven for general reductive groups:</p> <p>Fix a finite-dimensional representation $\delta$ of $K_\infty$, an ideal $J$ of finite co-dimension in ${\mathcal Z}({\mathfrak g})$, a compact open subgroup $L$ of $K_{\rm fin}$ (the maximal compact subgroup of $G_{\mathbb A_{\rm fin}})$, and a central character $\omega$, then the space of $K$-finite automorphic forms $f$ with central character $\omega$ and $K_\infty$-type $\delta$ that are right $L$-invariant and annihilated by $J$ is finite dimensional.</p> <p>To see how this corresponds to your case, fix a representation $\pi_\infty$. For simplicity, assume $\pi_\infty$ is spherical. Thus $\delta$ is the trivial representation. Any vector $\phi$ generating $\pi_\infty$ will be an eigenvector for the Casimir operator, $C\phi=\lambda\phi$, so we take $J$ to be the ideal generated by $(C-\lambda)$. And since $\chi(K)$ is a compact totally disconnected subgroup of ${\mathbb C}^\times$, the kernel of $\chi$ must be a compact-open subgroup $L$, so any $\phi$ will be right $L$-invariant. The only thing left is the central character. The archimedean part is fixed as well as the restriction to a compact open subgroup, so there should only be finitely many options left.</p> <p>A proof for $SL_2({\mathbb R})$ can be found in Chapter 8 of Borel's "Automorphic forms on $SL_2({\mathbb R})$". The general argument is sketched in section 8 of Borel's contribution to Sarnak and Shahidi's "Automorphic Forms and Applications".</p>