Properties of \(l\)-adic logarithms of local units and their applications to the \(l\)-adic regulator and Abelian fields (Q1407365)

This long paper is labeled by the author himself as an ``improved and unified review'' of the basic results in five earlier papers. It would require considerable effort to exactly describe the changes and improvements with respect to the author's earlier work, since the author himself (who would be the best judge) provides practically no comments in this direction. Suffice it to say that this survey article is clearly structured and deals with three topics in three chapters: (1) Discussion of various pairings on modules coming from unit groups in Iwasawa theory; (2) \(l\)-adic regulators and a formula of Riemann-Hurwitz type; (3) circular units and \(l\)-adic \(l\)-functions. Since this article contains, in compressed form, at least the material of five substantial papers, it is hardly practical to describe all the results in a review. We resort to giving one example (the choice is somewhat arbitrary and only reflects the reviewer's personal taste): There are two different pairings, one essentially given by sending \((x,y)\) to \(\text{Tr}_{k/Q_l}(\log_l(x)\log_l(y))\) (here \(K\) is an \(l\)-adic field and \(x,y\in U(k)=O_k^*\)) and the other given by the norm residue symbol; at the infinite level in the Iwasawa tower one obtains two \(\Lambda\)-valued pairings on the same module \(V(k_\infty)\), one bilinear, the other sesquilinear in a particular sense. The author elucidates the relation between these two pairings, which gives very precise information on the norm residue symbol. The relation is given by a skew-linear automorphism of \(V(k_\infty)\), and in particular a nonzero fixed point of this automorphism is constructed. For more information, the reader has to be referred to the well-written introduction or to (the reviews of) the five papers that are the basis of this survey article: \textit{L. V. Kuz'min}, Izv. Akad. Nauk SSSR, Ser. Mat. 45, 1203-1240 (1981; Zbl 0527.12012); Izv. Akad. Nauk SSSR, Ser. Mat. 53, 782-813 (1989; Zbl 0695.12003); Izv. Akad. Nauk SSSR, Ser. Mat. 54, 316-338 (1990; Zbl 0767.11050); Izv. Akad. Nauk SSSR, Ser. Mat. 54, 1196-1228 (1990; Zbl 0737.11039) and Tr. Mat. Inst. Steklova 208, 202-222 (1995; Zbl 0877.11055). The notation Sp usually means trace, but it appears that on p. 2299 bottom and passim it has a different meaning (Hom?). The reviewer was puzzled by the notation in (1.2.26) and Theorem~1.2.2; perhaps a modulus (horizontal bar) is missing between \(\varphi\) and \(\varphi-1\), similarly on p. 2345. Stickelberger's name is misspelled twice in the introduction. We close by mentioning an application: Towards the end of the paper, the author (re)proves a generalization of the classical result of Iwasawa which connects circular units and the Stickelberger ideal.