Lectures on the approach to Iwasawa theory for Hasse-Weil \(L\)-functions via \(B_{dR}\). (English) Zbl 0815.11051

Colliot-Thélène, Jean-Louis et al., Arithmetic algebraic geometry. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Trento, Italy, June 24 - July 2, 1991. Berlin: Springer-Verlag. Lect. Notes Math. 1553, 50-163 (1993).
The arithmetic of special values of various zeta-functions in the non- archimedean world is the main theme of these lecture notes. Its aims are (1) to review some known relationships between zeta values and the theory of \(p\)-adic periods, and then (2) to investigate \(p\)-adic zeta elements (non-archimedean analogues of zeta values in \(\mathbb{C})\) using \(p\)-adic periods.
A generalized Iwasawa main conjecture is formulated in Chapter I as the motivation for the subsequent discussions. Then Local Theory, namely, the arithmetic of \(p\)-adic fields, \(p\)-adic periods related to Fontaine’s ring \(B_{dR}\) is discussed in Chapter II. Chapter III is concerned with Global Theory, e.g., relationships between zeta values and explicit reciprocity laws, and relationships between \(p\)-adic zeta elements and \(p\)-adic zeta functions.
The generalized Iwasawa main conjecture asserts, among other things, the existence of \(p\)-adic zeta elements of \(p\)-adic Galois representations, and relationships between the \(p\)-adic zeta elements arising from \(p\)- adic Galois representations of some motives and the archimedean zeta values in \(\mathbb{C}\).
This conjecture is not proved in this paper, but it is shown, for instance, that a conjecture of J. Coates and B. Perrin-Riou on \(p\)-adic \(L\)-functions [Adv. Stud. Pure Math. 17, 23-54 (1989; Zbl 0783.11039)] follows from the conjecture.
The local analogue of the main conjecture is formulated. It asserts that a Galois representation of a \(p\)-adic local field with coefficients in a \(p\)-adic ring \(\Lambda\) has a \(p\)-adic \(\varepsilon\)-element (an analogue of the \(\varepsilon\)-factor of an \(\ell\)-adic Galois representation), which is a basis for a certain \(\Lambda\)-module.
A generalized explicit reciprocity law is proved for Lubin-Tate formal groups. That is, an explicit description is given for the dual exponential map \(\exp^*\) for \(T^{\otimes (-r)} (1) \otimes \mathbb{Q}\) \((r \geq 1)\), where \(T\) is the Tate module of the Lubin-Tate group. This generalizes the result of A. Wiles [Ann. Math., II. Ser. 107, 235- 254 (1978; Zbl 0378.12006)] and that of S. Bloch and K. Kato [Grothendieck Festschrift Vol. I, 333-400 (1990; Zbl 0768.14001)].
As an application of the explicit reciprocity law, the images of the zeta elements under the dual exponential maps are computed in the following cases: \(\mathbb{Q}\) and class number 1 imaginary quadratic fields. The images are related to values of partial Riemann zeta-function in the former case, and to values of some Hecke \(L\)-series in the latter case.
For the entire collection see [Zbl 0780.00022].


11R23 Iwasawa theory
11R42 Zeta functions and \(L\)-functions of number fields
11S40 Zeta functions and \(L\)-functions
14G10 Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture)
11S31 Class field theory; \(p\)-adic formal groups