Finite-dimensional differential algebraic groups and the Picard-Vessiot theory
We make some observations relating the theory of finite-dimensional differential algebraic groups (the ∂₀-groups of [2]) to the Galois theory of linear differential equations. Given a differential field (K,∂), we exhibit a surjective functor from (absolutely) split (in the sense of Buium) ∂₀-groups G over K to Picard-Vessiot extensions L of K, such that G is K-split iff L = K. In fact we give a generalization to "K-good" ∂₀-groups. We also point out that the "Katz group" (a certain linear algebraic...