Let G be a compact -adic Lie group, with no element of order , and having a closed normal subgroup H such that G/H is isomorphic to . We prove the existence of a canonical Ore set of non-zero divisors in the Iwasawa algebra of G, which seems to be particularly relevant for arithmetic applications. Using localization with respect to , we are able to define a characteristic element for every finitely generated -module M which has the property that the quotient of M by its -primary submodule is finitely generated over the Iwasawa algebra of H. We discuss the evaluation of this characteristic element at Artin representations of G, and its relation to the G-Euler characteristics of the twists of M by such representations. Finally, we illustrate the arithmetic applications of these ideas by formulating a precise version of the main conjecture of Iwasawa theory for an elliptic curve E over , without complex multiplication, over the field F generated by the coordinates of all its p-power division points; here is a prime at least 5 where E has good ordinary reduction, and G is the Galois group of F over .
@article{PMIHES_2005__101__163_0, author = {Coates, John and Fukaya, Takako and Kato, Kazuya and Sujatha, Ramdorai and Venjakob, Otmar}, title = {The $GL\_2$ main conjecture for elliptic curves without complex multiplication}, journal = {Publications Math\'ematiques de l'IH\'ES}, volume = {102}, year = {2005}, pages = {163-208}, doi = {10.1007/s10240-004-0029-3}, zbl = {1108.11081}, language = {en}, url = {http://dml.mathdoc.fr/item/PMIHES_2005__101__163_0} }
Coates, John; Fukaya, Takako; Kato, Kazuya; Sujatha, Ramdorai; Venjakob, Otmar. The $GL_2$ main conjecture for elliptic curves without complex multiplication. Publications Mathématiques de l'IHÉS, Tome 102 (2005) pp. 163-208. doi : 10.1007/s10240-004-0029-3. http://gdmltest.u-ga.fr/item/PMIHES_2005__101__163_0/
1. Primeness, Semiprimeness and localization in Iwasawa algebras, preprint (2004). | MR 2272136 | Zbl pre05120602
and ,2. Algebraic K-theory, Benjamin, New York (1968). | MR 249491 | Zbl 0174.30302
,3. P. Balister, Congruences between special values of L-functions (unpublished) (1998).
4. N. Bourbaki, Commutative Algebra, Springer (1991).
5. Pseudocompact algebras, profinite groups and class formations, J. Algebra 4 (1966), 442-470. | MR 202790 | Zbl 0146.04702
,6. Tamagawa numbers for motives with (non-commutative) coefficients I, Doc. Math. 6 (2001), 501-570. | MR 1884523 | Zbl 1052.11077
and ,7. Tamagawa numbers for motives with (non-commutative) coefficients II, Am. J. Math. 125 (2003), 475-512. | MR 1981031 | Zbl pre01940860
and ,8. Euler characteristics and elliptic curves II, J. Math. Soc. Japan Proc. 53 (2001), 175-235. | MR 1800527 | Zbl 1046.11079
and ,9. Links between cyclotomic and GL2 Iwasawa theory, Doc. Math. Extra Volume: Kazuya Kato's 50th birthday (2003), 187-215. | Zbl pre02028835
, , and ,10. Modules over Iwasawa algebras, J. Inst. Math. Jussieu 2 (2003), 73-108. | MR 1955208 | Zbl 1061.11060
, , and ,11. Euler-Poincaré characteristics of abelian varieties, CRAS 329, Série I (1999), 309-313. | MR 1713337 | Zbl 0967.14029
and ,12. Galois cohomology of elliptic curves, TIFR Lecture notes series, Narosa Publishing House (2000). | MR 1759312 | Zbl 0973.11059
and ,13. Les constantes des équations fonctionnelles des fonctions L, Modular functions of one variable II, LNM 349, Springer (1973), 501-597. | MR 349635 | Zbl 0271.14011
,14. Valeurs de fonctions L et périodes d'intégrales, Proc. Sympos. Pure Math., XXXIII, Automorphic forms, representations and L-functions, Part 2, Amer. Math. Soc. (1979), 313-346. | Zbl 0449.10022
,15. T. Dokchitser and V. Dokchitser, Numerical calculations in non-commutative Iwasawa theory, preprint (2004). | Zbl pre05129594
16. Descent calculations for the elliptic curves of conductor 11, Proc. Lond. Math. Soc. 86 (2003), 583-606. | MR 1974391 | Zbl 1052.11038
,17. T. Fukaya and K. Kato, A formulation of conjectures on p-adic zeta functions in non-commutative Iwasawa theory, to appear in Proceedings of the St. Petersburg Mathematical Society. | MR 2276851 | Zbl pre05620988
18. On the structure of certain Galois groups, Invent. Math. 47 (1978), 85-99. | MR 504453 | Zbl 0403.12004
,19. Euler characteristics as invariants of Iwasawa modules, Proc. Lond. Math. Soc. 85 (2002), 634-658. | MR 1936815 | Zbl 1036.11053
,20. Equivariant Bloch-Kato conjecture and non-abelian Iwasawa main conjecture, Proceedings of the ICM, Vol. II (Beijing, 2002) (2002), 149-162. | MR 1957029 | Zbl 1020.11067
and ,21. K1 of some non-commutative completed group rings, preprint (2004). | MR 2180109 | Zbl 1080.19002
,22. Groupes analytiques p-adiques, Publ. Math., Inst. Hautes Étud. Sci. 26 (1965), 389-603. | Numdam | MR 209286 | Zbl 0139.02302
,23. Rational points of abelian varieties in towers of number fields, Invent. Math. 18 (1972), 183-266. | MR 444670 | Zbl 0245.14015
,24. Noncommutative Noetherian Rings, Graduate Studies in Math. 30, AMS (1987). | MR 934572 | Zbl 0980.16019
and ,25. Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften 323, Springer (2000). | MR 1737196 | Zbl 0948.11001
, , and ,26. Groupes de Selmer d'une courbe elliptique à multiplication complexe, Compos. Math. 43 (1981), 387-417. | Numdam | Zbl 0479.14019
,27. The “main conjectures” of Iwasawa theory for imaginary quadratic fields, Invent. Math. 103 (1991), 25-68. | Zbl 0737.11030
,28. On the μ-invariant of p-adic L-functions, J. Number Theory 25 (1987), 20-33. | Zbl 0615.12018
,29. Sur la dimension cohomologique des groupes profinis, Topology 3 (1965), 413-420, Oeuvres II, 264-271. | MR 180619 | Zbl 0136.27402
,30. Propriétés galoisiennes des points d'ordre fini des courbes elliptiques, Invent. Math. 15 (1972), 259-331, Oeuvres III, 1-73. | Zbl 0235.14012
,31. Algèbre Locale, Multiplicités, 3rd ed., LNM 11, Springer (1975). | MR 201468 | Zbl 0296.13018
,32. Linear representations of finite groups, Graduate Texts in Mathematics 42 Springer (1977). | MR 450380 | Zbl 0355.20006
,33. Algebraic K-theory, LNM 76, Springer (1968). | MR 245634 | Zbl 0193.34601
,34. On stabilization for general linear groups over a ring, Math. USSR Sbornik 8 (1969), 383-400. | MR 267009 | Zbl 0238.20057
,35. On the Whitehead Determinant for Semi-local Rings, J. Algebra 283 (2005), 690-699. | MR 2111217 | Zbl 1059.19002
,36. On the structure theory of the Iwasawa algebra of a p-adic Lie group, J. Eur. Math. Soc. 4 (2002), 271-311. | MR 1924402 | Zbl 1049.16016
,37. A non-commutative Weierstrass preparation theorem and applications to Iwasawa theory, J. Reine Angew. Math. 559 (2003), 153-191. | MR 1989649 | Zbl 1051.11056
( ),38. Characteristic elements in non-commutative Iwasawa theory, Habilitationschschrift, Heidelberg University (2003).
,39. Characteristic elements in non-commutative Iwasawa theory, to appear in J. Reine Angew. Math. | MR 2146857 | Zbl 1109.11051
,40. On two variable p-adic L-functions, Ann. Math. 115 (1982), 411-449. | MR 647813 | Zbl 0496.12010
,