Computation of 2-groups of positive classes of exceptional number fields
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}}\).
- Computation of 2-groups of narrow logarithmic divisor classes of number fields
- Algorithmic Number Theory
- 2-group of positive classes of a number field and wild kernel of \(K\)-theory.
- The 2-Sylow subgroup of the wild kernel of exceptional number fields
- A New Algorithm for the Computation of Logarithmicl-Class Groups of Number Fields
- 2-group of positive classes of a number field and wild kernel of \(K\)-theory.
- A New Algorithm for the Computation of Logarithmicl-Class Groups of Number Fields
- Algorithmic approach to logarithmic class groups
- Algorithmic Number Theory
- Computation of 2-groups of narrow logarithmic divisor classes of number fields
- Generators and relations for \(K_{2}O_{F}\)
- Hilbert symbols as maps of functors
- KASH: recent developments
- Logarithmic classes in the narrow sense
- Logarithmic classes of number fields
- On tame and wild kernels of special number fields
- On the wild kernel of number fields and the group of logarithmic classes
- Sur le noyau hilbertien d'un corps de nombres
- Sur le noyau sauvage des corps de nombres
- Sur le sous-groupe des éléments de hauteur infinie du K2d'un corps de nombres
- The 2-Sylow subgroup of the wild kernel of exceptional number fields
This page was built for publication: Computation of 2-groups of positive classes of exceptional number fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1026981)
