Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-23T16:58:31.497Z Has data issue: false hasContentIssue false
  • English
  • Français

On the Eisenstein ideal for imaginary quadratic fields

Part of: Discontinuous groups and automorphic forms

Published online by Cambridge University Press:  01 May 2009

Tobias Berger
Tobias Berger*
Affiliation:
Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Cambridge CB3 0WB, UK (email: [email protected])
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

For certain algebraic Hecke characters χ of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,χ). We further prove that its index is bounded from above by the p-valuation of the order of the Selmer group of the p-adic Galois character associated to χ−1. This uses the work of R. Taylor et al. on attaching Galois representations to cuspforms of GL2/F. Together these results imply a lower bound for the size of the Selmer group in terms of L(0,χ), coinciding with the value given by the Bloch–Kato conjecture.

Keywords

Selmer groupsEisenstein cohomologycongruences of modular formsBloch–Kato conjecture

MSC classification

Secondary: 11F80: Galois representations 11F33: Congruences for modular and $p$-adic modular forms 11F75: Cohomology of arithmetic groups
Type
Research Article
Information
Compositio Mathematica , Volume 145 , Issue 3 , May 2009 , pp. 603 - 632
Copyright
Copyright © Foundation Compositio Mathematica 2009

References

[1]Agboola, A. and Howard, B., Anticyclotomic Iwasawa theory of CM elliptic curves, Ann. Inst. Fourier (Grenoble) 56 (2006), 1001–1048.Google Scholar
[2]Ash, A. and Stevens, G., Cohomology of arithmetic groups and congruences between systems of Hecke eigenvalues, J. Reine Angew. Math. 365 (1986), 192–220.Google Scholar
[3]Bellaïche, J. and Chenevier, G., Formes non tempérées pour U(3) et conjectures de Bloch-Kato, Ann. Sci. École Norm. Sup. (4) 37 (2004), 611–662.CrossRefGoogle Scholar
[4]Berger, T., An Eisenstein ideal for imaginary quadratic fields, PhD thesis, University of Michigan, Ann Arbor, 2005.Google Scholar
[5]Berger, T., Denominators of Eisenstein cohomology classes for GL2 over imaginary quadratic fields, Manuscripta Math. 125 (2008), 427–470.CrossRefGoogle Scholar
[6]Berger, T. and Harcos, G., l-adic representations associated to modular forms over imaginary quadratic fields, Int. Math. Res. Not. IMRN (2007), Art. ID rnm113, 16CrossRefGoogle Scholar
[7]Berger, T. and Klosin, K., A deformation problem for Galois representations over imaginary quadratic fields, Journal de l’Institut de Math. de Jussieu, to appear.Google Scholar
[8]Berkove, E., The integral cohomology of the Bianchi groups, Trans. Amer. Math. Soc. 358 (2006), 1033–1049, electronic.Google Scholar
[9]Bloch, S. and Kato, K., L-functions and Tamagawa numbers of motives, in The Grothendieck Festschrift, Vol. I, Progress in Mathematics, vol. 86 (Birkhäuser, Boston, MA, 1990), 333–400.Google Scholar
[10]Blume-Nienhaus, J., Lefschetzzahlen für Galois-Operationen auf der Kohomologie arithmetischer Gruppen, Bonner Mathematische Schriften, vol. 230 (Universität Bonn Mathematisches Institut, Bonn, 1992).Google Scholar
[11]Bredon, G. E., Sheaf theory,, Graduate Texts in Mathematics, vol. 170, second edition (Springer, New York, 1997).Google Scholar
[12]Bump, D., Friedberg, S. and Hoffstein, J., Nonvanishing theorems for L-functions of modular forms and their derivatives, Invent. Math. 102 (1990), 543–618.Google Scholar
[13]Calegari, F. and Dunfield, N. M., Automorphic forms and rational homology 3-spheres, Geometry and Topology 10 (2006), 295–329.Google Scholar
[14]Cremona, J. E., Abelian varieties with extra twist, cusp forms, and elliptic curves over imaginary quadratic fields, J. London Math. Soc. 45 (1992), 404–416.CrossRefGoogle Scholar
[15]Dee, J., Selmer groups of Hecke characters and Chow groups of self products of CM elliptic curves, Preprint (1999), arXiv:math.NT/9901155.Google Scholar
[16]Diamond, F., Flach, M. and Guo, L., The Tamagawa number conjecture of adjoint motives of modular forms, Ann. Sci. École Norm. Sup. (4) 37 (2004), 663–727.Google Scholar
[17]Dokchitser, T., Computing special values of motivic L-functions, Experiment. Math. 13 (2004), 137–149.CrossRefGoogle Scholar
[18]Elstrodt, J., Grunewald, F. and Mennicke, J., On the group PSL2(Z[i]), Number theory days, Exeter, 1980, London Mathematical Society Lecture Note Series, vol. 56 (Cambridge University Press, Cambridge, 1982), 255–283.Google Scholar
[19]Elstrodt, J., Grunewald, F. and Mennicke, J., Groups acting on hyperbolic space, Springer Monographs in Mathematics (Springer, Berlin, 1998).Google Scholar
[20]Feldhusen, D., Nenner der Eisensteinkohomologie der GL(2) über imaginär quadratischen Zahlkörpern, Bonner Mathematische Schriften, vol. 330 (Universität Bonn Mathematisches Institut, Bonn, 2000).Google Scholar
[21]Flach, M., A generalisation of the Cassels-Tate pairing, J. Reine Angew. Math. 412 (1990), 113–127.Google Scholar
[22]Franke, J. and Schwermer, J., A decomposition of spaces of automorphic forms, and the Eisenstein cohomology of arithmetic groups, Math. Ann. 311 (1998), 765–790.Google Scholar
[23]Gérardin, P. and Labesse, J.-P., The solution of a base change problem for GL(2) (following Langlands, Saito, Shintani), Automorphic forms, representations and L-functions, Oregon State University, Corvallis, OR, 1977, Part 2, Proceedings of Symposia in Pure Mathematics, XXXIII (American Mathematical Society, Providence, RI, 1979), 115–133.Google Scholar
[24]Greenberg, M., Lectures on algebraic topology (W. A. Benjamin, New York, 1967).Google Scholar
[25]Greenberg, R., On the Birch and Swinnerton-Dyer conjecture, Invent. Math. 72 (1983), 241–265.Google Scholar
[26]Greenberg, R., Iwasawa theory for p-adic representations, Algebraic number theory, Advanced Studies in Pure Mathematics, vol. 17 (Academic Press, Boston, MA, 1989), 97–137.Google Scholar
[27]Grunewald, F. and Schwermer, J., Subgroups of Bianchi groups and arithmetic quotients of hyperbolic 3-space, Trans. Amer. Math. Soc. 335 (1993), 47–78.Google Scholar
[28]Guo, Li, General Selmer groups and critical values of Hecke L-functions, Math. Ann. 297 (1993), 221–233.CrossRefGoogle Scholar
[29]Guo, Li, On the Bloch-Kato conjecture for Hecke L-functions, J. Number Theory 57 (1996), 340–365.Google Scholar
[30]Han, B., On Bloch-Kato’s Tamagawa number conjecture for Hecke characters of imaginary quadratic fields, PhD thesis, University of Illinois, Chicago, 1997,http://front.math.ucdavis.edu/ANT/0070.Google Scholar
[31]Harder, G., Eisenstein cohomology of arithmetic groups. The case GL2, Invent. Math. 89 (1987), 37–118.Google Scholar
[32]Harris, M., Soudry, D. and Taylor, R., l-adic representations associated to modular forms over imaginary quadratic fields. I. Lifting to GSp4(Q), Invent. Math. 112 (1993), 377–411.Google Scholar
[33]Hida, H., Kummer’s criterion for the special values of Hecke L-functions of imaginary quadratic fields and congruences among cusp forms, Invent. Math. 66 (1982), 415–459.Google Scholar
[34]Harder, G., Langlands, R. and Rapoport, M., Algebraische Zyklen auf Hilbert-Blumenthal-Flächen, J. Reine Angew. Math. 366 (1986), 53–120.Google Scholar
[35]Harder, G. and Pink, R., Modular konstruierte unverzweigte abelsche p-Erweiterungen von Q(ζ p) und die Struktur ihrer Galoisgruppen, Math. Nachr. 159 (1992), 83–99.Google Scholar
[36]Kato, K., Lectures on the approach to Iwasawa theory for Hasse-Weil L-functions via B dR. I, in Arithmetic algebraic geometry, Trento, 1991, Lecture Notes in Mathematics, vol. 1553 (Springer, Berlin, 1993), 50–163.Google Scholar
[37]Klosin, K., Congruences among modular forms on U(2,2) and the Bloch-Kato conjecture, Ann. Inst. Fourier 59 (2009), 81–166.Google Scholar
[38]Laumon, G., Sur la cohomologie à supports compacts des variétés de Shimura pour GSp(4)Q, Compositio Math. 105 (1997), 267–359.Google Scholar
[39]Laumon, G., Fonctions zêtas des variétés de Siegel de dimension trois, Astérisque 302 (2005), 1–66 (Formes automorphes. II. Le cas du groupe GSp(4)).Google Scholar
[40]Maunder, C. R. F., Algebraic topology (Cambridge University Press, Cambridge, 1980).Google Scholar
[41]May, J. P., A concise course in algebraic topology, Chicago Lectures in Mathematics (University of Chicago Press, Chicago, IL, 1999).Google Scholar
[42]Neukirch, J., Algebraic number theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 322 (Springer, Berlin, 1999). (Translated from the 1992 German original and with a note by Norbert Schappacher, With a foreword by G. Harder.)Google Scholar
[43]Neukirch, J., Schmidt, A. and Wingberg, K., Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 323, second edition (Springer, Berlin, 2008).Google Scholar
[44]Ribet, K. A., A modular construction of unramified p-extensions of Q(μ p), Invent. Math. 34 (1976), 151–162.CrossRefGoogle Scholar
[45]Rubin, K., The main conjectures of Iwasawa theory for imaginary quadratic fields, Invent. Math. 103 (1991), 25–68.Google Scholar
[46]Rubin, K., Euler systems, Annals of Mathematics Studies, vol. 147 (Princeton University Press, Princeton, NJ, 2000). (Hermann Weyl Lectures. The Institute for Advanced Study.)CrossRefGoogle Scholar
[47]Serre, J.-P., Abelian l-adic representations and elliptic curves, McGill University lecture notes written with the collaboration of Willem Kuyk and John Labute (W. A. Benjamin, Inc., New York-Amsterdam, 1968).Google Scholar
[48]Serre, J.-P., Le probleme de groupes de congruence pour SL2, Ann. of Math. 92 (1970).CrossRefGoogle Scholar
[49]Skinner, C. and Urban, E., Sur les déformations p-adiques des formes de Saito-Kurokawa, C. R. Math. Acad. Sci. Paris 335 (2002), 581–586.Google Scholar
[50]Schwermer, J. and Vogtmann, K., The integral homology of SL2 and PSL2 of Euclidean imaginary quadratic integers, Comment. Math. Helv. 58 (1983), 573–598.Google Scholar
[51]Swan, R. G., Generators and relations for certain special linear groups, Adv. Math. 6 (1971), 1–77 1971Google Scholar
[52]Taylor, R., Congruences of modular forms, PhD thesis, Harvard, 1988.Google Scholar
[53]Taylor, R., l-adic representations associated to modular forms over imaginary quadratic fields. II, Invent. Math. 116 (1994), 619–643.CrossRefGoogle Scholar
[54]Urban, E., Formes automorphes cuspidales pour GL2 sur un corps quadratique imaginaire. Valeurs spéciales de fonctions L et congruences, Compositio Math. 99 (1995), 283–324.Google Scholar
[55]Urban, E., Module de congruences pour GL(2) d’un corps imaginaire quadratique et théorie d’Iwasawa d’un corps CM biquadratique, Duke Math. J. 92 (1998), 179–220.CrossRefGoogle Scholar
[56]Urban, E., Selmer groups and the Eisenstein-Klingen ideal, Duke Math. J. 106 (2001), 485–525.Google Scholar
[57]Urban, E., Sur les représentation p-adiques associées aux représentations cuspidales de GSp4/Q, Astérisque 302 (2005), 151–176.Google Scholar
[58]Weissauer, R., Four dimensional Galois representations, Astérisque 302 (2005), 67–150 (Formes automorphes. II. Le cas du groupe GSp(4)).Google Scholar
[59]Wiles, A., On p-adic representations for totally real fields, Ann. of Math. (2) 123 (1986), 407–456.CrossRefGoogle Scholar
[60]Wiles, A., The Iwasawa conjecture for totally real fields, Ann. of Math. (2) 131 (1990), 493–540.CrossRefGoogle Scholar