On the image of \(\Lambda\)-adic Galois representations. (English) Zbl 1020.11037

Fischman, Ami

Ann. Inst. Fourier 52, No. 2, 351-378 (2002).

Let \(f\) be a cuspidal Hecke-eigenform without complex multiplication, \(E\) the number field generated by its Hecke-eigenvalues, \(\mathcal O\) the ring of integers in \(E\). Following F. Momose [J. Fac. Sci., Univ. Tokyo, Sect. I A 28, 89-109 (1981; Zbl 0482.10023)], the author attaches to \(f\) a certain subfield \(\tilde E\) of \(E\) and a subgroup \(H\) of finite index inside the absolute Galois group \(G\) of the rationals.
The author shows that there exists a set \(\Sigma\) of prime numbers which has density 1 and only contains primes \(l\) where \(f\) is ordinary such that for its family of \(\Lambda\)-adic forms (where \(\Lambda = \mathbb{Z}_l [[T]]\)) in the sense of H. Hida [Invent. Math. 85, 545-613 (1986; Zbl 0612.10021)] the following holds:
If \(f\) is \(\ell\)-ordinary for a prime \(\ell\) of \(E\) above \(l\in\Sigma\), then the \(\Lambda\)-adic ordinary Hecke algebra above \(\ell\) is isomorphic to \({\mathcal O}_\ell[[T]]\) and the image of \(H\) under the \(\Lambda\)-adic Galois-representation attached to \(f\) contains SL\(_2(\tilde{\mathcal O}_{\tilde\ell}[[T]])\), where \(\tilde\ell = \ell\cap \tilde {\mathcal O}.\)
This interesting result is additionally spiced up by a specialization result: if a \(\Lambda\)-adic modular form does not admit complex multiplication, then neither do its “classical”specializations of weight at least 2.

Reviewer: Stefan Kühnlein (Karlsruhe)

MSC:

11F85	\(p\)-adic theory, local fields
11F80	Galois representations

Keywords:

modular form; \(p\)-adic family; Galois representation; \(p\)-adic modular form

Citations:

Zbl 0482.10023; Zbl 0612.10021

References:

[1]	Discriminant of Hecke fields and twisted adjoint \(L\)-values for \({G}{L}(2),\) Invent. Math., 134, 3, 547-577, (1998) · Zbl 0924.11035
[2]	Commutative algebra with a view toward algebraic geometry, (1995), Springer-Verlag, New York · Zbl 0819.13001
[3]	Algebraic number theory, (1993), Cambridge University Press, Cambridge · Zbl 0744.11001
[4]	On the ordinary Hecke algebra, J. Number Theory, 41, 2, 178-198, (1992) · Zbl 0774.11026
[5]	Modular forms and Galois cohomology, (2000), Cambridge University Press, Cambridge · Zbl 0952.11014
[6]	Galois representations into \(GL_2(\textbf{Z}_p[[X]])\) attached to ordinary cusp forms, Invent. Math., 85, 3, 545-613, (1986) · Zbl 0612.10021
[7]	Hecke algebras for \({\rm GL}_1\) and \({\rm GL}_2,\) Séminaire de théorie des nombres, Paris 1984–85, 131-163, (1986), Birkhäuser Boston, Boston, Mass. · Zbl 0648.10020
[8]	Iwasawa modules attached to congruences of cusp forms, Ann. Sci. École Norm. Sup. (4), 19, 2, 231-273, (1986) · Zbl 0607.10022
[9]	Galois representations and the theory of p-adic Hecke algebras, Sugaku, in Japanese, 39, 124-139, (1987) · Zbl 0641.10025
[10]	P-adic Hecke algebras and Galois representations, Sugaku Expositions 2, (English translation of Hid87), 87, 1, 75-102, (1989) · Zbl 0686.10023
[11]	Elementary theory of L-functions and Eisenstein series, (1993), Cambridge University Press, Cambridge · Zbl 0942.11024
[12]	On the l-adic representations attached to modular forms, J. Fac. Sci. Univ. Tokyo, Sect. IA Math., 28, 1, 89-109, (1981) · Zbl 0482.10023
[13]	On p-adic analytic families of Galois representations, Compositio Math., 59, 2, 231-264, (1986) · Zbl 0654.12008
[14]	On l-adic representations attached to modular forms II, Glasgow Math. J., 27, 185-194, (1985) · Zbl 0596.10027
[15]	Quelques applications du théorème de densité de chebotarev, Inst. Hautes Études Sci. Publ. Math., 54, 323-401, (1981) · Zbl 0496.12011
[16]	Basic algebraic geometry. 2, (1994), Springer-Verlag, Berlin · Zbl 0797.14002
[17]	Introduction to the arithmetic theory of automorphic functions, Kanô Memorial Lectures, No. 1, No. 11, (1971), Publications of the Mathematical Society of Japan, Tokyo · Zbl 0221.10029