Endomorphism algebras of motives attached to elliptic modular forms. (Q1417733): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:16, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Endomorphism algebras of motives attached to elliptic modular forms. |
scientific article |
Statements
Endomorphism algebras of motives attached to elliptic modular forms. (English)
0 references
6 January 2004
0 references
The authors study the endomorphism algebras of motives attached to cusp forms. Let \(f=\sum a_n q^n\) be a normalized cuspidal eigen newform of weight \(k\geq 2\), level \(N\geq 1\), and nebentypus \(\varepsilon\). When \(k>2\), let \(M_f\) denote the motif attached to \(f\) constructed by \textit{A. J. Scholl} [Invent. Math., 100, 419-430 (1990; Zbl 0760.14002)]. When \(k=2\), let \(M_f\) be the Abelian variety \(A_f\) defined by Shimura and Eichler. Let \(X_f\) denote the endomorphism algebra of \(M_f\). Suppose that \(f\) does not have CM, that is, it is not attached to a Hecke character of an imaginary quadratic field, and \(f\) has an extra twist in the sense that \(f\) is a twist of its conjugate. Following \textit{K. A. Ribet} [Math. Ann. 253, 43--62 (1980; Zbl 0421.14008)], the authors consider a simple algebra \(X\) associated to 2-cocycles in terms of Jacobi sums. As one of the main theorems, the authors show that \(X\) is isomorphic to a subalgebra of \(X_f\). This is an analogon of a \textit{M. Momose} [J. Fac. Sci. Univ. Tokyo 28, 89-109 (1981; Zbl 0482.10023)] where \(X_f\) is replaced by the endomorphism algebras of the Betti realization of \(M_f\). The algebra \(X\) is expected to be \(X_f\), which is a consequence of the Tate conjecture. The equality is proved by Ribet when \(k=2\), (loc. cit.) and it also follows from Faltings' theorem. The remaining part of this paper is to determine the simple algebra \(X\). It is shown that \(X\) is either a matrix algebra over a totally real field \(F\) or a matrix algebra of a central quaternion division algebra over \(F\). The authors relate the local invariants of \(X\) and the valuation of the Fourier coefficients \(a_p\) and the character values \(\varepsilon(p)\). Among other results, \(X\) is completely determined in the case where \(\varepsilon\) is real and \(p\) does not divide \(2N\) (Theorem 4.1.11). The approach is to reduce the problems to information of the filtered \((\phi,N)\)-modules associated to the local Galois representations by Fontaine's theory.
0 references
endomorphism algebras
0 references
modular motives
0 references
Tate conjecture
0 references
filtered \((\phi
0 references
N)\)-modules
0 references
Newton polygons
0 references
symbols
0 references