Zeta functions of simple algebras (Q2554732): Difference between revisions

The authors extend the theory of Dirichlet series associated to automorphic forms on \(\mathrm{GL}(1)\) and \(\mathrm{GL}(2)\) to the multiplicative group \(G\) of an arbitrary simple algebra \(M\) over a global field \(F\). Let \(G_A\) be the adelic group of \(G\), \(Z_A\) the center of \(G_A\) and \(G_F\) the subgroups of principal adeles. A continuous function \(\varphi\) on \(G_F\backslash G_A\) is said to be cuspidal if the integral \(\displaystyle \int_{U_F\backslash U_A} \varphi(ug)\,dg\) vanishes, each time \(U\) is the unipotent radical of a proper \(F\)-parabolic subgroup of \(G\). Let \(\omega\) be a character of idele class group of \(F\). Denote by \(L_0^2(G_F\backslash G_A,\omega)\) the space of all cuspidal functions \(\varphi\) on \(G_F\backslash G_A\) which satisfy the conditions: \(\varphi(ag) = \omega(a)\varphi(g)\) for \(a\in Z_A\) and \(g\in G_A\), and \(\displaystyle \int_{G_FZ_A\backslash G_A} \vert\varphi(g)\vert^2\,dg< +\infty\). The group \(G_A\) acts on \(L_0^2\) by right translations. Let \(K\) be the standard maximal subgroup of \(G_A\). A continuous function \(\varphi\) on \(G_F\backslash G_A\) is said to be the automorphic form if \(\varphi\) is \(K\)-finite on the right, the representation of the Hecke algebra \(\mathcal H(G,K)\) on the space \(\{\varphi * f\mid f\in\mathcal (G,K)\}\) is admissible, and if \(F\) is a number field, the function \(\varphi\) is slowly increasing (in some precise sense). Let \(\mathfrak A_0(G,\omega)\) be the space of those automorphic forms which lie in \(L_0^2(G_F\backslash G_A,\omega)\). Any coefficient \(f\) of unitary representation of \(G_A\) on \(L_0^2\) has the form \[ f(g) = \int_{G_FZ_A\backslash G_A} \varphi(hg)\tilde\varphi(g)\,dh \] with \(\varphi,\tilde\varphi\in L_0^2(G_F\backslash G_A,\omega)\). If \(\varphi\) and \(\tilde\varphi\) are taken in \(\mathfrak A_0(G,\omega)\) the coefficient is said to be admissible. The main result (Theorem 13.8, p. 179): If \(f\) is any admissible coefficient of the representation of \(G_A\) on the space \(L_0^2(G_F\backslash G_A,\omega)\), the integral \[ Z(\Phi,s,f) = \int_{G_A} \Phi(x)f(x) \vert \nu(x)\vert^s\,dx, \] where \(\Phi\) is a Schwartz-Bruhat function on \(M_A\), \(dx\) is a Haar measure on \(G_A\) and \(\nu(x)\) is the reduced norm, is absolutely convergent for \(\Re s >n\) \((n^2\) is the rank of \(M\) over \(F\)). It can be analytically continued as an entire function of \(s\). It satisfies the functional equation \[ Z(\Phi,s,f) = Z(\hat\Phi, n-s,\check f), \] where \(\hat\Phi\) is the Fourier transform of \(\Phi\) and \(\check f\) is the coefficient \(g \to f(g^{-1})\) of the representation of \(G_A\) on \(L_0^2(G_F\backslash G_A,\omega^{-1})\). As a corollary the authors obtain the functional equations for corresponding Euler products.