Explicit Tamagawa numbers for certain algebraic tori over number fields

TL;DR

This paper explicitly computes Tamagawa numbers for certain algebraic tori over number fields, especially in CM-field cases, using cohomological methods and computational tools, with applications to algebraic and arithmetic geometry.

Contribution

It provides explicit formulas and cohomological descriptions for Tamagawa numbers of algebraic tori associated with specific number field extensions, including non-Galois cases and computational tools.

Findings

Explicit Tamagawa number formulas for Galois extensions

Partial results for non-Galois and étale algebra cases

Development of Sage tools for cohomology computation

Abstract

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^\times$ sent to $k^\times$ via the norm map $N_{K/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 \'etale 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 $\mathrm{GSp}_{2n}$, 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.