Real Liouvillian Extensions of Partial Differential Fields

In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally p-adic differential fields with a p-adically closed field of constants. For an integrable partial differential system defined over such a field, we prove that there exists a formally real (resp. formally p-adic) Picard-Vessiot extension. Moreover, we obtain a uniqueness result for this Picard-Vessiot extension. We give an adequate definition of the Galois differential group and obtain a Galois fundamental theorem in this setting. We apply the obtained Galois correspondence to characterise formally real Liouvillian extensions of real partial differential fields with a real closed field of constants by means of split solvable linear algebraic groups. We present some examples of real dynamical systems and indicate some possibilities of further development of algebraic methods in real dynamical systems.

Bounds for Elimination of Unknowns in Systems of Differential-Algebraic Equations

Elimination of unknowns in systems of equations, starting with Gaussian elimination, is a problem of general interest. The problem of finding an a priori upper bound for the number of differentiations in elimination of unknowns in a system of differential-algebraic equations (DAEs) is an important challenge, going back to Ritt (1932). The first characterization of this via an asymptotic analysis is due to Grigoriev’s result (1989) on quantifier elimination in differential fields, but the challenge still remained. In this paper, we present a new bound, which is a major improvement over the previously known results. We also present a new lower bound, which shows asymptotic tightness of our upper bound in low dimensions, which are frequently occurring in applications. Finally, we discuss applications of our results to designing new algorithms for elimination of unknowns in systems of DAEs.

Differential Galois cohomology and parameterized Picard–Vessiot extensions

Assuming that the differential field [Formula: see text] is differentially large, in the sense of [León Sánchez and Tressl, Differentially large fields, preprint (2020); arXiv:2005.00888 ], and “bounded” as a field, we prove that for any linear differential algebraic group [Formula: see text] over [Formula: see text], the differential Galois (or constrained) cohomology set [Formula: see text] is finite. This applies, among other things, to closed ordered differential fields in the sense of [Singer, The model theory of ordered differential fields, J. Symb. Logic 43(1) (1978) 82–91], and to closed[Formula: see text]-adic differential fields in the sense of [Tressl, The uniform companion for large differential fields of characteristic [Formula: see text], Trans. Amer. Math. Soc. 357(10) (2005) 3933–3951]. As an application, we prove a general existence result for parameterized Picard–Vessiot (PPV) extensions within certain families of fields; if [Formula: see text] is a field with two commuting derivations, and [Formula: see text] is a parameterized linear differential equation over [Formula: see text], and [Formula: see text] is “differentially large” and [Formula: see text] is bounded, and [Formula: see text] is existentially closed in [Formula: see text], then there is a PPV extension [Formula: see text] of [Formula: see text] for the equation such that [Formula: see text] is existentially closed in [Formula: see text]. For instance, it follows that if the [Formula: see text]-constants of a formally real differential field [Formula: see text] is a closed ordered[Formula: see text]-field, then for any homogeneous linear [Formula: see text]-equation over [Formula: see text] there exists a PPV extension that is formally real. Similar observations apply to [Formula: see text]-adic fields.

Generic derivations on o-minimal structures

Let [Formula: see text] be a complete, model complete o-minimal theory extending the theory [Formula: see text] of real closed ordered fields in some appropriate language [Formula: see text]. We study derivations [Formula: see text] on models [Formula: see text]. We introduce the notion of a [Formula: see text]-derivation: a derivation which is compatible with the [Formula: see text]-definable [Formula: see text]-functions on [Formula: see text]. We show that the theory of [Formula: see text]-models with a [Formula: see text]-derivation has a model completion [Formula: see text]. The derivation in models [Formula: see text] behaves “generically”, it is wildly discontinuous and its kernel is a dense elementary [Formula: see text]-substructure of [Formula: see text]. If [Formula: see text], then [Formula: see text] is the theory of closed ordered differential fields (CODFs) as introduced by Michael Singer. We are able to recover many of the known facts about CODF in our setting. Among other things, we show that [Formula: see text] has [Formula: see text] as its open core, that [Formula: see text] is distal, and that [Formula: see text] eliminates imaginaries. We also show that the theory of [Formula: see text]-models with finitely many commuting [Formula: see text]-derivations has a model completion.

LARGE FIELDS IN DIFFERENTIAL GALOIS THEORY

We solve the inverse differential Galois problem over differential fields with a large field of constants of infinite transcendence degree over $\mathbb{Q}$ . More generally, we show that over such a field, every split differential embedding problem can be solved. In particular, we solve the inverse differential Galois problem and all split differential embedding problems over $\mathbb{Q}_{p}(x)$ .