On the lifting of elliptic cusp forms to cusp forms on quaternionic unitary groups (Q710488): Difference between revisions

Let \(H\) be a definite quaternion algebra over \({\mathbb Q}\) with discriminant \(D_H\) and \(R\) a maximal order of \(H\). Let \(G_n\) be a quaternionic unitary group and \(\Gamma_n=G_n({\mathbb Q})\cap \text{GL}_{2n}(R)\). Let \(S_k(\Gamma_n)\) be the space of cusp forms of weight \(k\) with respect to \(\Gamma_n \) on the quaternion half-space of degree \(n\). The author constructs a lifting from primitive forms in \(S_k(\text{SL}_2({\mathbb Z})\) to \(S_{k+2n-2}(\Gamma_n) \) and a lifting from primitive forms in \(S_k(\Gamma_0(d))\) to \(S_{k+2}(\Gamma_2)\), where \(d\) is a factor of \(D_H\). Assume that \(f\) is a normalized Hecke eigenform in \(S_k(\text{SL}_2({\mathbb Z}))\). Then \(\text{Lift}_n(f)\) is an element of \(S_{k+2n-2}(\Gamma_n)\). Moreover, \(\text{Lift}_n(f)\) is a common Hecke eigenform of all Hecke operators whose standard \(L\)-function is given by \[ L^{\mathfrak S}(s,\text{Lift}_n(f),\text{st})=\prod_{j=1}^{2n}L^{\mathfrak S}\left(f,s+\frac{k}{2}+n-j\right), \] where \({\mathfrak S}\) is the set of all places of \({\mathbb Q}\) at which \(H\) is ramified. Assume that \(n=2\), and let \(f\in S_k(\Gamma_0(d))\) be a normalized Hecke eigenform. Then \(\text{Lift}_2(f) \) is a cuspidal eigenform in \(G_{k+2}(\Gamma_2)\) with standard \(L\)-function \[ L^{\mathfrak S}(s,\text{Lift}_2(f),\text{st})=\prod_{j=1}^{4}L^{\mathfrak S}\left(f,s+\frac{k}{2}+2-j\right). \] Moreover, the lifting \(f\mapsto\text{Lift}_2(f)\) gives a bijection (up to a scalar) between Hecke eigenforms in \(\oplus_{d\geq 1,d\mid D_H}S_k^{\text{new}}(d)\) and those in \(G_{k+2}(\Gamma_2)\).