Norm one tori and Hasse norm principle. II: Degree 12 case (Q2112777)

Let $k$ be a field, $K/k$ be a separable field extension of degree $n$ and $L/k$ be the Galois closure of $K/k$ with $\mathrm{Gal}(L/k)\simeq G$. Let $nTm$ be the $m$-th transitive subgroup of the symmetric group $S_{n}$ of degree n up to conjugacy [\textit{G. Butler} and \textit{J. McKay}, Commun. Algebra 11, 863--911 (1983; Zbl 0518.20003); GAP: The GAP Group, GAP -- groups, algorithms, and programming, version 4.9.3, \url{http://www.gap-system.org}]. It may regard $G$ as the transitive subgroup $G=nTm\leq S_{n}$. Let $H=\mathrm{Gal}(L/K)\leq G$ with $[G:H]=n$. Then it may assume that $H$ is the stabilizer of one of the letters in $G$, i.e., $L=k(\theta_1,...,\theta_{n})$ and $K=k(\theta_{i})$ for some $1\leq i\leq n$. \textit{V. E. Voskresenskiĭ} [Math. USSR, Izv. 1, 691--696 (1968; Zbl 0162.52502)] proved that all the 2-dimensional algebraic $k$-tori are $k$-rational. As a consequence of this we get $H^1(k,\mathrm{Pic}\,X)\simeq A(T)\simeq X(T)\simeq \bigsqcup (T)=0$ where $X$ is a smooth $k$ compactification of an algebraic $k$-torus $T$, $A(T)$ is the kernel of the weak approximation of $T$ and $\bigsqcup(T)$ is the Shafarevich-Tate group of $T$, and Pic$X$ is Picard group of $X=X\times_{k}k$. \textit{Yu. I. Manin} [Cubic forms. Algebra, geometry, arithmetic. Translated from Russian by M. Hazewinkel. Amsterdam: Elsevier (North-Holland) (1974; Zbl 0277.14014)] and \textit{B. Eh. Kunyavskij} [J. Sov. Math. 26, 1898--1901 (1984; Zbl 0556.14020); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 116, 102--107 (1982)] showed that, among 73 cases of 3-dimensional $k$-tori $T$, there exist exactly 2 cases with $H^1(k,\mathrm{Pic}\,X) \neq 0$ which are of special type called norm one tori. The authors of the paper under review in their previous work [\textit{A. Hoshi} et al., Math. Comput. 91, No. 337, 2431--2458 (2022; Zbl 07574509)] determined $H^1(k,\mathrm{Pic}\,X)$ for some norm one tori $T$ with $[K:k]=n\leq 15$ and $n=12$. In the paper under review they determine 64 cases with $H^1(k,\mathrm{Pic}\,X) \neq 0$ and give a necessary and sufficient condition for the Hasse norm principle for $K/k$ with $[K:k]=12$.