an:00596370
Zbl 0819.11046
Greenberg, Ralph
Iwasawa theory and \(p\)-adic deformations of motives
EN
Jannsen, Uwe (ed.) et al., Motives. Proceedings of the summer research conference on motives, held at the University of Washington, Seattle, WA, USA, July 20-August 2, 1991. Providence, RI: American Mathematical Society. Proc. Symp. Pure Math. 55, Pt. 2, 193-223 (1994).
1994
a
11R23 14G10 14A20 11-02
motives; review of Iwasawa main conjecture; cyclotomic fields; elliptic curves; Selmer group; cyclotomic deformations of motives
This paper is a review of the Iwasawa main conjecture from the very beginning to the most recent works on it. Recall that this conjecture says that 2 ideals in the one variable formal series ring over the \(p\)- adics are equal. One comes from a \(p\)-adic \(L\)-function constructed from Dirichlet \(L\)-series via \(p\)-adic interpolation (values are algebraic integers). The other comes from a Galois module by taking the characteristic polynomial for the topological generator of the Galois group. So it begins by recalling the conjecture for cyclotomic fields (2 versions: one odd and one even) and quoting the two known proofs [\textit{B. Mazur} and \textit{A. Wiles}, Invent. Math. 76, 179-330 (1984; Zbl 0545.12005)] and Kolyvagin-Rubin [Rubin app. in S. Lang's book ``Cyclotomic fields''].
The next step is the study of elliptic curves; the statement uses the Selmer group (historically introduced for descent theory necessitated for computing the Mordell group). The third section generalizes the picture to cyclotomic deformations of motives (i.e. twist by the Galois group of roots of units). The point here is that the existence of the \(p\)-adic \(L\)-function in such a setting is completely conjectural.
The last section tries to give a reasonable statement for the deformation of the Galois representation coming from a motive. The ring of the deformation is just supposed to be a local noetherian commutative \(\mathbb{Z}_ p\) algebra. The representation should verify \textit{A. Panchishkin}'s condition [Ann. Inst. Fourier 44, 989-1023 (1994; Zbl 0808.11034)], mild generalization of the usual ordinary condition [see \textit{B. Perrin-Riou} (to be published in Ast??risque) for the cyclotomic deformation theory without this kind of conditions]. This paper gives a lot of interesting examples.
For the entire collection see [Zbl 0788.00054].
R.Gillard (Saint-Martin-d'H??res)
Zbl 0545.12005; Zbl 0808.11034