On the genera of semisimple groups defined over an integral domain of a global function field

Let $K=\mathbb{F}_q(C)$ be the global function field of rational functions over a smooth and projective curve $C$ defined over a finite field $\mathbb{F}_q$. The ring of regular functions on $C-S$ where $S \neq \emptyset$ is any finite set of closed points on $C$ is a Dedekind domain $\mathcal{O}_S$ of $K$. For a semisimple $\mathcal{O}_S$-group $\underline{G}$ with a smooth fundamental group $\underline{F}$, we aim to describe both the set of genera of $\underline{G}$ and its principal genus (the latter if $\underline{G} \otimes_{\mathcal{O}_S} K$ is isotropic at $S$) in terms of abelian groups depending on $\mathcal{O}_S$ and $\underline{F}$ only. This leads to a necessary and sufficient condition for the Hasse local-global principle to hold for certain $\underline{G}$. We also use it to express the Tamagawa number $\tau(G)$ of a semisimple $K$-group $G$ by the Euler Poincar\'e invariant. This facilitates the computation of $\tau(G)$ for twisted $K$-groups.Comment: 18 page

On the flat cohomology of binary norm forms

Let $\mathcal{O}$ be an order of index $m$ in the maximal order of a quadratic number field $k=\mathbb{Q}(\sqrt{d})$. Let $\underline{\mathbf{O}}_{d,m}$ be the orthogonal $\mathbb{Z}$-group of the associated norm form $q_{d,m}$. We describe the structure of the pointed set $H^1_{\mathrm{fl}}(\mathbb{Z},\underline{\mathbf{O}}_{d,m})$, which classifies quadratic forms isomorphic (properly or improperly) to $q_{d,m}$ in the flat topology. Gauss classified quadratic forms of fundamental discriminant and showed that the composition of any binary $\mathbb{Z}$-form of discriminant $\Delta_k$ with itself belongs to the principal genus. Using cohomological language, we extend these results to forms of certain non-fundamental discriminants.Comment: 24 pages, submitted. Comments are welcom

The Discriminant of an Algebraic Torus

For a torus T defined over a global field K, we revisit an analytic class number formula obtained by Shyr in the 1970's as a generalization of Dirichlet's class number formula. We prove a local-global presentation of the quasi-discriminant of T, which enters into this formula, in terms of cocharacters of T. This presentation can serve as a more natural definition of this invariant.Comment: 17 page