### Current browse context:

math.LO

### Change to browse by:

### References & Citations

# Mathematics > Logic

# Title: Differential Galois cohomology and parameterized Picard-Vessiot extensions

(Submitted on 14 Nov 2019 (v1), last revised 15 Nov 2019 (this version, v2))

Abstract: Assuming that the differential field $(K,\delta)$ is differentially large, in the sense of Le\'on S\'anchez and Tressl, and "bounded" as a field, we prove that for any linear differential algebraic group $G$ over $K$, the differential Galois (or constrained) cohomology set $H^1_\delta(K,G)$ is finite. This applies, among other things, to \emph{closed ordered differential fields} $K$, in the sense of Singer. As an application, we prove a general existence result for parameterized Picard-Vessiot extensions within certain families of fields; if $(K,\delta_x,\delta_t)$ is a field with two commuting derivations, and $\delta_x Z = AZ$ is a parameterized linear differential equation over $K$, and $(K^{\delta_x},\delta_t)$ is "differentially large" and $K^{\delta_x}$ is bounded, and $(K^{\delta_x}, \delta_t)$ is existentially closed in $(K,\delta_t)$, then there is a PPV extension $(L,\delta_x,\delta_t)$ of $K$ for the equation such that $(K^{\delta_x},\delta_t)$ is existentially closed in $(L,\delta_t)$. For instance, it follows that if the $\delta_x$-constants of a formally real differential field $(K,\delta_x,\delta_t)$ is a \emph{closed ordered $\delta_t$-field}, then for any homogeneous linear $\delta_x$-equation over $K$ there exists a PPV extension that is formally real.

## Submission history

From: Omar Leon Sanchez [view email]**[v1]**Thu, 14 Nov 2019 15:08:20 GMT (23kb)

**[v2]**Fri, 15 Nov 2019 13:23:45 GMT (23kb)

Link back to: arXiv, form interface, contact.