Siegel modular forms of genus 2 attached to elliptic curves (Q2459319)

The authors construct certain classes of arithmetically significant, holomorphic Siegel cusp forms \(F\) of genus \(2\), which are neither of Saito-Kurokawa type, nor of Yoshida type. A key example of the first kind of Siegel modular forms they construct is furnished by the following result: Theorem A. Let \(E\) be an non-CM elliptic curve over \(\mathbb{Q}\). Then there exists a holomorphic, Siegel modular, Hecke eigen-cusp form \(F\) of weight \(3\) such that \(L(F, s)= L(\text{sym}^3 E,S)\). A typical example of the second kind of Siegel modular forms they construct is given by the following result. Theorem B. Let \(E\) be an elliptic curve over \(\mathbb{Q}\) and \(K\) an imaginary quadratic field with non-trivial automorphism \(\theta\) which does not embed into \(\text{End}_{\overline\mathbb{Q}}(E)\otimes \mathbb{Q}\). Pick any algebraic Hecke character \(\chi\) of \(K\) of even non-zero weight, with associated anti-cyclotomic \(\ell\)-adic character \(\chi_\ell\). Then there exists a holomorphic, Siegel modular, Hecke eigen-cusp form \(F\), whose level is the conductor of the \(\text{Gal}(\overline\mathbb{Q}/\mathbb{Q})\)-representation on \(T_L(E)\otimes \text{Ind}^{\mathbb{Q}}_K(\chi_L)\), such that \(L(F, S)= L(E_K,\chi,s)\). These two kinds of forms can be interpreted as special cases of a more general construction (Theorem C). The proofs use a number of results and ideas due to Taylor, Clozel, Piatetski-Shapiro, and many others.