Abstract:Let $k$ be a field, $T$ be an algebraic $k$-torus, $X$ be a smooth $k$-compactification of $T$ and ${\rm 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,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(\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]\leq 15$. In this paper, we treat the case where $[K:k]=16$. Among $1954$ transitive subgroups $G=16Tm\leq S_{16}$ $(1\leq m\leq 1954)$ up to conjugacy, we determine $1101$ (resp. $774$, $31$, $37$, $1$, $1$, $9$) cases with $H^1(k,{\rm 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,{\rm 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\leq G=16Tm$ is maximal with $[G:H]=16$, we determine exactly $6$ cases $(m=178, 708, 1080, 1329, 1654, 1753)$ with $H^1(k,{\rm Pic}\, \overline{X})\neq 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^{(1)}_{K/k}(\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$.

A Projective Twist on the Hasse Norm Theorem

Hasse norm principle for $M_{11}$ and $J_1$ extensions

Polynomials represented by norm forms via the beta sieve

A cohomological Hasse principle over two-dimensional local rings

Local-global principles for multinorm tori over semi-global fields

On Hasse norm principle for 3-manifolds in arithmetic topology

Projective Nullstellensatz for not necessarily algebraically closed fields

Projective spaces over $\mathbb{F}_{1^{\ell}}$

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

An analytic viewpoint on the Hasse principle

The Hasse Norm Principle For Biquadratic Extensions

Implications of the Hasse Principle for Zero Cycles of Degree One on Principal Homogeneous Spaces

Fields with few small points

On the Hasse principle for complete intersections

Hasse principle for Kummer varieties in the case of generic 2-torsion

An $l$-adic norm residue epimorphism theorem

A generalization of the Hasse-Arf theorem

On Lenstra's criterion for norm-Euclideanity of number fields and connections with properties of Dedekind zeta-functions

Dualité et principe local-global pour les tores sur une courbe au-dessus de C((t))

Some Remarks On Essentially Normal Submodules

Uniform bounds for fields of definition in projective spaces