More on Galois cohomology, definability and differential algebraic groups

2021/05/27 by Sanchez, Omar Leon, Meretzky, David, Pillay, Anand · 1 citation
#03C60 #03C98 #12L12 #Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2105.13053

Abstract

We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired on Serre's algebraic twisting) to describe arbitrary fibres in cohomology sequences -- yielding a useful finiteness result on cohomology sets. Applied to the special case of differential fields and Kolchin's constrained cohomology, we prove that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable.

Cited by

• Trivializing Torsors for Difference Algebraic Groups

Related

• Differential Galois cohomology and parameterized Picard-Vessiot extensions
• The Picard-Vessiot theory, constrained cohomology, and linear\n differential algebraic groups
• On differential Galois groups of strongly normal extensions
• On the cohomology of finite-dimensional nilpotent groups and Lie rings
• Differential cohomology (encyclopedia article)