Motives for modular forms (Q1813841): Difference between revisions

\textit{P. Deligne} defined in Sémin. Bourbaki 1968/69, Exp. No. 355, Lect. Notes Math. 179, 139--172 (1971; Zbl 0206.49901) the \(\ell\)-adic parabolic cohomology groups attached to holomorphic cusp forms of weight \(\geq 2\) on congruence subgroups of \(\mathrm{SL}_2(\mathbb{Z})\) as certain subgroups in the \(\ell\)-adic cohomology of Kuga-Sato varieties. In the paper under review, the author constructs these groups as the kernel of certain projectors in the Chow ring of algebraic correspondences modulo rational equivalence. Then the author calls a Grothendieck motive (with coefficients in a number field \(L)\) an object of the category of motives over \(\mathbb{Q}\) in which \(\Hom(h(Y),h(X))\) is the group of algebraic cycles on \(X\times Y\) of codimension \(\dim Y\), tensored with \(L\), modulo homological equivalence. The following theorem is proved: If \(f=\sum^ \infty_{m=1}a_mq^m\) is a normalized newform of weight \(w\), level \(n\) and character \(\chi\), and \(L\) is the field generated by the coefficients \(a\), then there is a Grothendieck motive \(M(f)\) over \(\mathbb{Q}\) with coefficients in \(L\) such that if \(p\not| nl\), and \(\lambda\) is a prime of \(L\) dividing \(\ell\), then the \(\lambda\)-adic realization \(H_\lambda(M(f))\) of \(M(f)\) uniramified at \(p\), and the characteristic polynomial of a geometric Frobenius at \(p\) is the Hecke polynomial \(T_p(X) = X^2 + a_pX + chi(p)p^{w-1}\). A relation between the \(p\)-adic representation of \(\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\) attached to a modular form, and the action of the Hecke operator \(T_p\) is derived as application.