Weak approximation for tori over pp-adic function fields

This is the companion piece to "Local-global questions for tori over p-adic function fields" by the first and third authors. We study local-global questions for Galois cohomology over the function field of a curve defined over a p-adic field, the main focus here being weak approximation of rational points. We construct a 9-term Poitou--Tate type exact sequence for tori over a field as above (and also a 12-term sequence for finite modules). Like in the number field case, part of the sequence can then be used to analyze the defect of weak approximation for a torus. We also show that the defect of weak approximation is controlled by a certain subgroup of the third unramified cohomology group of the torus.Comment: final version, to appear in IMR

Local-global principles for 1-motives

Building upon our arithmetic duality theorems for 1-motives, we prove that the Manin obstruction related to a finite subquotient B(X) of the Brauer group is the only obstruction to the Hasse principle for rational points on torsors under semiabelian varieties over a number field, assuming the finiteness of the Tate-Shafarevich group of the abelian quotient. This theorem answers a question by Skorobogatov in the semiabelian case and is a key ingredient of recent work on the elementary obstruction for homogeneous spaces over number fields. We also establish a Cassels-Tate-type dual exact sequence for 1-motives and give an application to weak approximation

A general theory of Andr\'e's solution algebras

We extend Yves Andr\'e's theory of solution algebras in differential Galois theory to a general Tannakian context. As applications, we establish analogues of his correspondence between solution fields and observable subgroups of the Galois group for iterated differential equations in positive characteristic and for difference equations. The use of solution algebras in the difference algebraic context also allows a new approach to recent results of Philippon and Adamczewski--Faverjon in transcendence theory.Comment: Final version, to appear in Annales de l'Institut Fourie

Cohomology and torsion cycles over the maximal cyclotomic extension

A classical theorem by K. Ribet asserts that an abelian variety defined over the maximal cyclotomic extension K of a number field has only finitely many torsion points. We show that this statement can be viewed as a particular case of a much more general one, namely that the absolute Galois group of K acts with finitely many fixed points on the étale cohomology with Q/Z-coefficients of a smooth proper K¯¯¯-variety defined over K. We also present a conjectural generalization of Ribet’s theorem to torsion cycles of higher codimension. We offer supporting evidence for the conjecture in codimension 2, as well as an analogue in positive characteristic