2020/09/09 by Thomas Rüd, Rüd, Thomas
Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.2009.04431
openalex publication_date 2020/09/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Given a number field extension K/k with an intermediate field K+ fixed by a central element of the corresponding Galois group of prime order p, we build an algebraic torus over k whose rational points are elements of K^× sent to k^× via the norm map NK/K+. The goal is to compute the Tamagawa number of that torus explicitly via Ono's formula that expresses it as a ratio of cohomological invariants. A fairly complete and detailed description of the cohomology of the character lattice of such a torus is given when K/k is Galois. Partial results including the numerator are given when the extension is not Galois, or more generally when the torus is defined by an étale algebra. We also present tools developed in SAGE for this purpose, allowing us to build and compute the cohomology and explore the local-global principles for such an algebraic torus. Particular attention is given to the case when [K:K+]=2 and K is a CM-field. This case corresponds to tori in GSp2n, and most examples will be in that setting. This is motivated by the application to abelian varieties over finite fields and the Hasse principle for bilinear forms.