On symplectic Euler factors of genus two (Q1166556): Difference between revisions

(I) Let \(D\) be a definite quaternion algebra over \(\mathbb Q\) with the prime discriminant \(p\). Put \(G = \{g\in M_2(D): g^t\bar g = n(g) 1_2,\ n(g)\in \mathbb Q^\times\}\), where \(\bar g\) is obtained from \(g\) by the quaternion conjugation of each coefficient of \(g\). \(\mathbb H = D\otimes\mathbb R\) is the real completion of \(D\), and \(G_A\) is the adelization of \(G\). A discrete subgroup \(U_0(D)\) of \(G_A\) is introduced. Denote by \(\mathbb M_\nu\) the \(\mathbb R\) vector space of real valued homogeneous polynomial functions \(f(x,y)\) on \(\mathbb H^2\) of degree \(2\nu\) which satisfy two conditions. \(G\) acts on \(\mathbb M_\nu\) by \(f(x,y)\rightarrow f((x,y)g)\) for \(g\in G\). This representation is denoted by \(\rho_\nu\). Then, \(\mathbb M_\nu(U_0(D))\) is the set of \(\mathbb M_\nu\) valued functions on \(G_A\) satisfying certain automorphy conditions associated with \(\rho_\nu\). The Hecke operator \(T(n)\) acting on \(\mathbb M_\nu(U_0(D))\) is defined. (II) A subgroup \(B(p)\) of \(\mathrm{Sp}(2,\mathbb Z)\) is introduced. Denote by \(S_k(B(p))\) the space of Siegel cusp forms with weight \(k\) belonging to \(B(p)\). The Hecke operator \(T(n)\) \((p\nmid n)\) and its action on \(S_k(B(p))\) are mentioned. (III) The main statement in this paper is the Conjecture: For each even integer \(k\ge 4\) there exists a \(\mathbb C\)-linear isomorphism \(i_k\) of 'new forms' of \(\mathbb M_{k-3}(U_0(D))\) to 'new forms' of \(S_k(B(p))\) such that \(L(s,i_k(f)) = L(s,f)\) up to Euler \(p\)-factors for any common eigen 'new form \(f\) of \(\mathbb M_{k-3}(U_0(D))\) of all the Hecke operators \(T(n)\) \((p\nmid n)\). The author gives two numerical facts which would come from a conjectural 'Theorem' (or a 'Theory'). However, the author (and any one else?) does not seem to know how to define the isomorphism \(i_k\).