×

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

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.

MSC:

11F85 \(p\)-adic theory, local fields
11F80 Galois representations
PDFBibTeX XMLCite
Full Text: DOI Numdam EuDML

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 · doi:10.1007/s002220050273
[2] Commutative algebra with a view toward algebraic geometry (1995) · Zbl 0819.13001
[3] Algebraic number theory (1993) · Zbl 0744.11001
[4] On the ordinary Hecke algebra, J. Number Theory, 41, 2, 178-198 (1992) · Zbl 0774.11026 · doi:10.1016/0022-314X(92)90119-A
[5] Modular forms and Galois cohomology (2000) · Zbl 0952.11014
[6] Galois representations into \(GL_2({\bf Z}_p[[X]])\) attached to ordinary cusp forms, Invent. Math., 85, 3, 545-613 (1986) · Zbl 0612.10021 · doi:10.1007/BF01390329
[7] Hecke algebras for \({\rm GL}_1\) and \({\rm GL}_2\), Séminaire de théorie des nombres, Paris 1984-85, 131-163 (1986) · 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) · 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 · doi:10.1017/S0017089500006170
[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) · Zbl 0797.14002
[17] Introduction to the arithmetic theory of automorphic functions, Kanô Memorial Lectures, No. 1, No. 11 (1971) · Zbl 0221.10029
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.