Galois module structure (Q1343741)

Over the last twenty years, the theory of Galois module structure has seen substantial progress. Originally it dealt with the study of \(G(L/ K)\)-modules \({\mathcal O}_L\) for a Galois extension \(L/K\) of global number fields. Fröhlich's conjecture states that the class of \({\mathcal O}_L\) in the class group \(Cl (\mathbb{Z}_K [G (L/K)])= K_0 (\mathbb{Z}[G(L/K)])/\{ \text{free modules}\}\) for a tamely ramified extension \(L/K\) coincides with the class of an analytic invariant \(W_{L/K}\) related with the Artin root number. It was \textit{M. J. Taylor} [Invent. Math. 63, 41-79 (1981; Zbl 0469.12003)]\ who proved this conjecture in 1981. Later T. Chinburg stated several generalizations of this conjecture using Chinburg invariants \(\Omega (L/ K,i)\). For example, Fröhlich-Chinburg's conjecture states that for a Galois extension \(L/K\) the second Chinburg invariant \(\Omega (L/K, 2)\in Cl( \mathbb{Z}[G(L/K) ])\) coincides with the class of \(W_{L/K}\). Very different from the book of \textit{A. Fröhlich} [Galois module structure of algebraic integers, Springer-Verlag (1983; Zbl 0501.12012)], this book is devoted to discussions of these conjectures and corresponding techniques. It is based on a graduate course given by the author at the Fields Institute in 1993. There are seven chapters and several dozen exercises. The first chapter contains many preliminaries in a brief form. In particular, a method of explicit Brauer induction, developed by the author and R. Boltje, is described there. It seems to be very useful in this subject in numerous applications throughout the book. The second chapter deals with the class group of an integral group-ring and the second Chinburg invariant. The Fröhlich-Chinburg conjecture is verified for some subextensions of cyclotomic extensions using \(p\)-adic \(L\)-functions. The third chapter introduces logarithmic technique which was originally discovered by M. J. Taylor and R. Oliver. Here the explicit Brauer induction provides a simple construction of the group- ring logarithm. Based on a new approach of congruence technology the fourth chapter exposes a sketch of the M. J. Taylor proof of the Fröhlich conjecture in the special case of a \(p\)-group of odd order. Chapter V deals with an almost complete proof of D. Holland's result that the Fröhlich-Chinburg conjecture holds in the class-group of the maximal order. For the proof a method of canonical factorization due to Holland is described. The sixth chapter is devoted to quaternion considerations of the Fröhlich-Chinburg conjecture, and the seventh chapter contains a construction of new class-group invariants of the Chinburg type arising from cohomological studies of the higher algebraic \(K\)-groups of rings of \(S\)-integers. The book offers a fairly fast presentation of important results in Galois module structure. The subject is growing, and many new results and conjectures appeared after its publication. Being the first book on this thriving subject of such scope, it will be very useful for specialists inside and outside of this subject, as well as for graduate students.