Norm one tori and Hasse norm principle
Let k be a field and T be an algebraic k-torus. In 1969, over a global field k, Voskresenskii proved that there exists an exact sequence 0→A(T)→H1(k,PicX)∨→Sha(T)→0 where A(T) is the kernel of the weak approximation of T, Sha(T) is the Shafarevich-Tate group of T, X is a smooth k-compactification of T, X=X×kk, PicX is the Picard group of X and ∨ stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus T=RK/k(1)(Gm) of K/k, Sha(T)=0 if and only if the Hasse norm principle holds for K/k. First, we determine H1(k,PicX) for algebraic k-tori T up to dimension 5. Second, we determine H1(k,PicX) for norm one tori T=RK/k(1)(Gm) with [K:k]=n≤15 and n=12. We also show that H1(k,PicX)=0 for T=RK/k(1)(Gm) when the Galois group of the Galois closure of K/k is the Mathieu group Mn≤Sn with n=11,12,22,23,24. Third, we give a necessary and sufficient condition for the Hasse norm principle for K/k with [K:k]=n≤15 and n=12. As applications of the results, we get the group T(k)/R of R-equivalence classes over a local field k via Colliot-Thélène and Sansuc's formula and the Tamagawa number τ(T) over a number field k via Ono's formula τ(T)=∣H1(k,T)∣/∣Sha(T)∣.