Norm one tori and Hasse norm principle, III: Degree $16$ case

Abstract

Let $k$ be a field, $T$ be an algebraic $k$-torus, $X$ be a smooth $k$-compactification of $T$ and $\mathrm{Pic}\overline{X}$ be the Picard group of $\overline{X}=X{\times }_k\overline{k}$ where $\overline{k}$ is a fixed separable closure of $k$. Hoshi, Kanai and Yamasaki [HKY22], [HKY23] determined $H^1(k,\mathrm{Pic}\overline{X})$ for norm one tori $T=R_{K/k}^{(1)}({\mathbb{G}}_m)$ and gave a necessary and sufficient condition for the Hasse norm principle for extensions $K/k$ of number fields with $[K:k]\le 15$. In this paper, we treat the case where $[K:k]=16$. Among $1954$ transitive subgroups $G=16Tm\le S_{16}$ $(1\le m\le 1954)$ up to conjugacy, we determine $1101$ (resp. $774$, $31$, $37$, $1$, $1$, $9$) cases with $H^1(k,\mathrm{Pic}\overline{X})=0$ (resp. $Z/2Z$, $(Z/2Z{)}^{\oplus 2}$, $(Z/2Z{)}^{\oplus 3}$, $(Z/2Z{)}^{\oplus 4}$, $(Z/2Z{)}^{\oplus 6}$, $Z/4Z$) where $G$ is the Galois group of the Galois closure $L/k$ of $K/k$. We see that $H^1(k,\mathrm{Pic}\overline{X})=0$ implies that the Hasse norm principle holds for $K/k$. In particular, among $22$ primitive $G=16Tm$ cases, i.e. $H\le G=16Tm$ is maximal with $[G:H]=16$, we determine exactly $6$ cases $(m=178,708,1080,1329,1654,1753)$ with $H^1(k,\mathrm{Pic}\overline{X})\ne 0$ $($$(Z/2Z{)}^{\oplus 2}$, $Z/2Z$, $(Z/2Z{)}^{\oplus 2}$, $Z/2Z$, $Z/2Z$, $Z/2Z$). Moreover, we give a necessary and sufficient condition for the Hasse norm principle for $K/k$ with $[K:k]=16$ for $22$ primitive $G=16Tm$ cases. As a consequence of the $22$ primitive $G$ cases, we get the Tamagawa number $\tau (T)=1$, $1/2$, $1/4$ of $T=R_{K/k}^{(1)}({\mathbb{G}}_m)$ over a number field $k$ via Ono's formula $\tau (T)=1/|Sha(T)|$ where $Sha(T)$ is the Shafarevich-Tate group of $T$.

To appear in J. Algebra, 75 pages, modified Section 5 and added Norm1ToriHNP for GAP 4 ver.2024.04.03 to references which is available from KURENAI (Kyoto University Research Information Repository) https://doi.org/10.57723/289563