This is a companion paper to our paper in J. Number Theory, where we proved the finiteness of the Tate-Shafarevich group for an arbitrary torus T over a finitely generated field K with respect to any divisorial set V of places of K. Here, we extend this result to any K-group D whose connected component is a torus (for the same V), and as a consequence obtain a finiteness result for the local-to-global conjugacy of maximal tori in reductive groups over finitely generated fields. Moreover, we prove the finiteness of the Tate-Shafarevich group for tori over function fields K of normal varieties defined over base fields of characteristic zero and satisfying Serre's condition (F), in which case V consists of the discrete valuations associated with the prime divisors on the variety (geometric places). In this situation, we also establish the finiteness of the number of K-isomorphism classes of algebraic K-tori of a given dimension having good reduction at all v in V, and then discuss ways of extending this result to positive characteristic. Finally, we prove the finiteness of the number of isomorphism classes of forms of an absolutely almost simple group defined over the function field of a complex surface that have good reduction at all geometric places.

Arxiv

We study the partial ordering on isomorphism classes of central simple algebras over a given field F, defined by setting A1≤A2 if degA1=degA2 and every étale subalgebra of A1 is isomorphic to a subalgebra of A2, and generalizations of this notion to algebras with involution. In particular, we show that this partial ordering is invariant under passing to the completion of the base field with respect to a discrete valuation, and we explore how this partial ordering relates to the exponents of algebras.

We prove that if a linear group Γ⊂GLn(K) over a field K of characteristic zero is boundedly generated by semi-simple (diagonalizable) elements then it is virtually solvable. As a consequence, one obtains that infinite S-arithmetic subgroups of absolutely almost simple anisotropic algebraic groups over number fields are never boundedly generated. Our proof relies on Laurent’s theorem from Diophantine geometry and properties of generic elements.

Arxiv version