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

Let K be a differential field with algebraically closed field of constants CK. Let KPV∞ be the (iterated) Picard-Vessiot closure of K. Let G be a linear differential algebraic group over K, and X a differential algebraic torsor for G over K. We prove that X(KPV∞) is Kolchin dense in X. In the special case that G is finite-dimensional we prove that X(KPV∞)=X(Kdiff) (where Kdiff is the differential closure of K). We also give close relationships between Picard-Vessiot extensions of K and the category of torsors for suitable finite-dimensional linear differential algebraic groups over K.