We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Norm one tori and Hasse norm principle

Abstract: 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$, $\overline{X}=X\times_k\overline{k}$, ${\rm Pic}\,\overline{X}$ is the Picard group of $\overline{X}$ 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$. First, we determine $H^1(k,{\rm Pic}\, \overline{X})$ for algebraic $k$-tori $T$ up to dimension $5$. Second, we determine $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ with $[K:k]=n\leq 15$ and $n\neq 12$. We also show that $H^1(k,{\rm Pic}\, \overline{X})=0$ for $T=R^{(1)}_{K/k}(G_m)$ when the Galois group of the Galois closure of $K/k$ is the Mathieu group $M_n\leq S_n$ 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\leq 15$ and $n\neq 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\'{e}l\`{e}ne and Sansuc's formula and the Tamagawa number $\tau(T)$ over a number field $k$ via Ono's formula $\tau(T)=|H^1(k,\widehat{T})|/|Sha(T)|$.
Comments: To appear in Math. Comp., 98 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
MSC classes: 11E72, 12F20, 13A50, 14E08, 20C10, 20G15
Cite as: arXiv:1910.01469 [math.AG]
  (or arXiv:1910.01469v6 [math.AG] for this version)

Submission history

From: Akinari Hoshi [view email]
[v1] Thu, 3 Oct 2019 13:47:22 GMT (61kb)
[v2] Thu, 14 Nov 2019 12:13:36 GMT (61kb)
[v3] Wed, 18 Mar 2020 14:38:39 GMT (63kb)
[v4] Thu, 16 Jul 2020 09:09:22 GMT (63kb)
[v5] Wed, 12 May 2021 12:07:33 GMT (61kb)
[v6] Mon, 31 Jan 2022 15:38:55 GMT (61kb)

Link back to: arXiv, form interface, contact.