Higher class numbers in extensions of number fields (Q2350685)

In the paper under review, the author studies quotients of higher class numbers corresponding to the intermediate fields of a complex Galois extension \(F \supset \mathbb{Q}\) with Galois group \(V_4\) or \(S_3\). To be more specific, let \(F\) be a finite Galois extension of a number field \(k\) with the Galois group \(G\), \(\mathcal{O}_F\) the ring of integers of \(F\) and \(\zeta_F (s)\) the Dedekind zeta function of \(F\). For every cyclic subgroup \(H\) of \(G\) denote \[ c_G(H) = \frac{1}{(G:H)} \sum_{H^* \text{ cyclic } H \subset H^* \subset G} \mu ((H^*:H)), \] where \(\mu\) is the Möbius function. The Brauer-Kuroda formula states that \[ \zeta_k(s) = \prod_{H \text{ cyclic } H \subset G} \zeta_{F^H}(s)^{c_G(H)}, \] where \(F^H\) is the field of elements fixed by \(H\). Let \(l\) be a prime number and \(D\) the dihedral group of order \(2l\), let \(F \supset \mathbb{Q}\) be a complex Galois extension with Galois group \(G\), where \(G = V_4\) or \(D\). For even \(n\) the author provides the Brauer-Kuroda formulae for higher class numbers by an index of the first Motivic cohomology groups: for \(G = V_4\) he obtains \[ \frac{h_n(F) h_n(\mathbb{Q})^2}{h_n(F_0) h_n(F_1) h_n(F_2)} \in \{ \frac{1}{2}, 1, 2\}, \] where \(F_0\), \(F_1\) and \(F_2\) are all quadratic subfields of \(F\), and \(h_n(F)\) is the order of the motivic cohomology group \(H_M^2 (\mathcal{O}_F, \mathbb{Z}(n))\). For \(D = D_{2l}\) he obtains \[ \frac{h_n(F) h_n(\mathbb{Q})^2}{h_n(k) h_n(K)} \in \{ \frac{1}{3}, 1, 3, 9\}, \] where \(k\) is the quadratic subfield of \(F\) and \(K\) is the real subfield of \(F\).