Related papers: Trivializing Torsors for Difference Algebraic Grou…
We introduce a cohomology set for groups defined by algebraic difference equations and show that it classifies torsors under the group action. This allows us to compute all torsors for large classes of groups. We also develop some tools for…
We show that the triviality of the differential Galois cohomologies over a partial differential field K of a linear differential algebraic group is equivalent to K being algebraically, Picard-Vessiot, and linearly differentially closed.…
Let $X$ be a smooth affine algebraic variety over the field of complex numbers which is contractible. Then every algebraic $G$-torsor on $X$ is algebraically trivial if $G$ is a semi-simple algebraic group. We also show that if $X$ is a…
We present an elementary proof of the fact that every torsor for an affine group scheme over an algebraically closed field is trivial. This is related to the uniqueness of fibre functors on neutral tannakian categories.
We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference…
We obtain an explicit upper bound on the torsion of the Picard group of the forms of the affine line and their regular completions. We also obtain a sufficient condition for the Picard group of the forms of the affine line to be non trivial…
In Picard-Vessiot theory, the Galois theory for linear differential equations, the Picard-Vessiot ring plays an important role, since it is the Picard-Vessiot ring which is a torsor (principal homogeneous space) for the Galois group…
It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the the group is not necessarily of finite type. This has an…
Torsors under affine groups are generalized in the super context by super-torsors under affine super-groups. We investigate those super-torsors by using Hopf-algebra language and techniques. It is explicitly shown, under suitable…
We complete the proof of the Nisnevich conjecture in equal characteristic: for a smooth algebraic variety $X$ over a field $k$, a $k$-smooth divisor $D \subset X$, and a reductive $X$-group $G$ whose base change $G_D$ is totally isotropic,…
Let K be differential field with algebraically closed field of constants. Let K^diff be a differential closure of K, and L the (iterated) Picard-Vessiot closure of K inside K^diff. Let G be a linear differential algebraic group over K and X…
We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of…
We prove that a differential field K is algebraically closed and Picard-Vessiot closed if and only if the differential Galois cohomology group H^1_\partial(K,G) is trivial for any linear differential algebraic group G over K. We give an…
Picard-Vessiot rings are present in many settings like differential Galois theory, difference Galois theory and Galois theory of Artinian simple module algebras. In this article we set up an abstract framework in which we can prove theorems…
We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…
The work of Chatzidakis and Hrushovski on the model theory of difference fields in characteristic zero showed that groups defined by difference equations have a very restricted structure. Recent work of Chatzidakis, Hrushovski and Peterzil…
This paper provides a preparatory introduction to torsors, written with a view toward later applications in the author's work. Rather than aiming at a comprehensive survey, the exposition focuses on those aspects of torsors that are most…
We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…
We introduce a cohomology theory that classifies differential objects that arise from Picard-Vessiot theory, using the differential Hopf-Galois descent. To do this, we provide an explicit description of Picard-Vessiot theory in terms of…
We give an example of an algebraic torus $T$ such that the group $\operatorname{CH}^2(BT)_{\operatorname{tors}}$ is non-trivial. This answers a question of Blinstein and Merkurjev.