English

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

Number Theory 2024-10-01 v4 Algebraic Geometry

Abstract

We give a necessary and sufficient condition for the Hasse norm principle for field extensions K/kK/k when the Galois groups Gal(L/k){\rm Gal}(L/k) of the Galois closure L/kL/k of K/kK/k are isomorphic to the Mathieu group M11M_{11} of degree 1111 of order 79207920 or the Janko group J1J_1 of order 175560175560 by determining H1(k,PicX)=0H^1(k,{\rm Pic}\, \overline{X})=0 or Z/2Z\mathbb{Z}/2\mathbb{Z} for norm one tori T=RK/k(1)(Gm)T=R^{(1)}_{K/k}(\mathbb{G}_m) with a smooth kk-compactification XX and X=X×kk\overline{X}=X\times_k\overline{k}. The result gives a first step towards understanding the all pictures of the Hasse norm principle for the 2626 sporadic simple groups.

Keywords

Cite

@article{arxiv.2210.09119,
  title  = {Hasse norm principle for $M_{11}$ and $J_1$ extensions},
  author = {Akinari Hoshi and Kazuki Kanai and Aiichi Yamasaki},
  journal= {arXiv preprint arXiv:2210.09119},
  year   = {2024}
}

Comments

18 pages, added Norm1ToriHNP for GAP 4 ver.2024.04.03 to references which is available from KURENAI (Kyoto University Research Information Repository) http://hdl.handle.net/2433/289563