Admissible \(p\)-adic measures attached to triple products of elliptic cusp forms (Q2369724)

Let \(f_j(z)=\sum_{n=1}^\infty a_{n,j}e(nz)\in S_k(N_j,\psi_j)\), \(j=1,2,3\), be cusp eigenforms of weight \(k\), conductors \(N_j\) and nebentypus characters \(\psi_j\bmod N_j\). Let \(p\) be a prime number, and let \(\chi\) be a Dirichlet character modulo \(Np^v\). Let \[ \chi_1\bmod Np^v=\chi,\chi_2\bmod Np^v=\psi_2\overline{\psi_3}\chi,\chi_3\bmod Np^v=\psi_1\overline{\psi_3}\chi. \] The authors define a normalized \(L\)-function \({\mathcal D}^*(f_1\otimes f_2\otimes f_3,s,\chi)\) and prove Theorem A. Assume that \(k\geq 2\). Then for all pairs \((\chi,r)\) such that the corresponding Dirichlet characters \(\chi_j\) are \(Np\)-complete, and \(0\leq r \leq k-2\), we have that \[ \frac{{\mathcal D}^*(f_1^\rho\otimes f_2^\rho\otimes f_3^\rho,2k-2-r,\psi_1\psi_2\chi)}{\langle f_1,f_1\rangle_N\langle f_2,f_2\rangle_N\langle f_3,f_3\rangle_N}\in\overline{\mathbb Q}, \] where \(f_j^\rho=\sum_{n=1}^\infty \overline{a}_{n,j}e(nz)\). In Theorem B they attach a \(p\)-adic measure to \({\mathcal D}^*(f_1\otimes f_2\otimes f_3,s,\chi)\).