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

arxiv(2023)

引用 0|浏览2
暂无评分
摘要
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\to A(T)\to H^1(k,{\rm Pic}\,\overline{X})^\vee\to Sha(T)\to 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$, ${\rm Pic}\,\overline{X}$ is the Picard group of $\overline{X}=X\times_k\overline{k}$ and $\vee$ stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus $T=R^{(1)}_{K/k}(G_m)$ of $K/k$, $Sha(T)=0$ if and only if the Hasse norm principle holds for $K/k$. We determine $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ when the Galois group ${\rm Gal}(L/k)$ of the Galois closure $L/k$ of $K/k$ is isomorphic to the Mathieu group $M_{11}$ of degree $11$ of order $7920$ or the Janko group $J_1$ of order $175560$. We also give a necessary and sufficient condition for the Hasse norm principle for such extensions $K/k$ with ${\rm Gal}(L/k)\simeq M_{11}$ and $J_1$.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要