Picard-Vessiot extensions, linear differential algebraic groups and their torsors

2023/07/27 by Meretzky, David, Pillay, Anand · 1 citation
#03C45 #12G05 #12H05 #34M15 #Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.2307.14948

Abstract

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 a differential algebraic torsor for G over K. We prove that X(L) is Kolchin-dense in X. When G is finite-dimensional we prove that X(L) = X(K^diff). We give close relationships between Picard-Vessiot extensions of K and torsors for suitable finite-dimensional linear differential algebraic groups over K. We suggest some differential field analogues of the notion of boundedness for fields (Serre's property F).

Cited by

• Trivializing Torsors for Difference Algebraic Groups

Related

• The Picard-Vessiot theory, constrained cohomology, and linear differential algebraic groups
• Picard-Vessiot Extensions For Unipotent Algebraic Groups
• The Complete Picard Vessiot Closure
• Generalized Picard-Vessiot extensions and differential Galois cohomology
• Differential Galois cohomology and parameterized Picard-Vessiot extensions