Computation of 2-groups of positive classes of exceptional number fields (Q1026981): Difference between revisions

The authors present an algorithm for computing the 2-group \(\widetilde {C\ell}^{\text{pos}}_F\) of the positive logarithmic divisor classes of degree 0 in case the number field has exceptional dyadic places. As an application, they compute the 2-rank of the wild kernel \(W K_2 (F)\) in some cases. Without recalling all definitions, let us just give the Galois interpretation of the logarithmic \(\ell\)-class group \(\widetilde {C\ell}_F\) : it is isomorphic to \(\text{Gal}(F^{\ell c}/F^c),\) where \(F^c\) is the cyclotomic \({\mathbb Z}_\ell\)-extension of \(F\) and \(F^{\ell c}\) is the maximal abelian pro-\(\ell\)-extension of \(F\) which is split at every place over \(F^c\); it is finite according to Gross' conjecture. If \(F\) contains a primitive \(2\ell^s\)-th root of unity \((s > 0),\) there is a natural isomorphism \(\mu_{\ell^s} \otimes \widetilde {C\ell}_F \simeq W K_2(F)/W K_2(F)^{\ell^s}\) which gives an equality of \(\ell\)-ranks. However for \(\ell = 2,\) the situation is more complicated : in the non-exceptional situation (i.e. when \(F^c\) contains \(\sqrt{-1}),\) the 2-ranks still coincide ; even more, if \(F\) has no exceptional dyadic place (i.e. \(\sqrt{-1} \in F^c_v\) for any \(v | 2),\) the same result holds when replacing \(\widetilde {C\ell}_F\) by a narrow version \(\widetilde {C\ell}_F^{\text{res}}\) ; and finally, this still holds, if \(F\) has a dyadic prime, when replacing \(\widetilde {C\ell}_F\) by the positive version \(\widetilde {C\ell}_F^{\text{pos}}\).