Differentially Large Fields

• Differentially large fields are differential analogues of large fields that satisfy an existential-lifting principle and the UCₘ axioms.
• They utilize differential Weil descent, jet-space criteria, and Blum-style axiomatizations to ensure preservation under algebraic extensions.
• Applications include demonstrating Kolchin-density, Picard–Vessiot closure, and bridging geometric, algebraic, and model-theoretic frameworks.

Differentially large fields are differential-field analogues of large fields in the sense of Pop. In the foundational formulation for a differential field $K$ of characteristic $0$ with $m$ commuting derivations $\Delta=\{\delta_1,\dots,\delta_m\}$, the condition is that $K$ is large as a pure field and is a model of the theory $\mathsf{UC}_m$, the uniform companion of differential fields with $m$ derivations (Sánchez et al., 2018). The subject was developed through differential Weil descent, geometric and algebraic characterizations, preservation theorems, and explicit constructions, and was later extended in the ordinary case to arbitrary characteristic together with Blum-style axiomatizations and further model-theoretic applications (Sánchez et al., 2018, Sánchez et al., 2020, Sánchez et al., 2023).

1. Definition and field-theoretic setting

Classically, a field $F$ is large if every irreducible affine algebraic variety over $F$ with a smooth $F$-rational point has a Zariski-dense set of $0$0-points; equivalently, $0$1 is existentially closed in its Laurent series field $0$2 (Sánchez et al., 2018). Differential largeness is introduced as the differential analogue of this notion.

For characteristic $0$3 and $0$4 commuting derivations, a differential field $0$5 is called differentially large if $0$6 is large as a pure field and $0$7 (Sánchez et al., 2018). In the later field-theoretic presentation, the same notion is expressed by an existential-lifting principle: for every differential field extension $0$8, if $0$9 is existentially closed in $m$0 as a field, then it is existentially closed in $m$1 as a differential field (Sánchez et al., 2020). In the ordinary case, this formulation was extended to arbitrary characteristic (Sánchez et al., 2023).

The notion is first-order axiomatizable in the language of differential rings, and the class of differentially large fields is elementary (Sánchez et al., 2018, Sánchez et al., 2020). The 2020 development also records closure under ultraproducts and under existentially closed differential subfields (Sánchez et al., 2020).

2. Equivalent characterizations

A central feature of the theory is the availability of several equivalent formulations. If $m$2 is large as a field, then the following are equivalent: $m$3 is a model of $m$4; whenever $m$5 is a differential field extension and $m$6 is existentially closed in $m$7 as a field, $m$8 is existentially closed in $m$9 as a differential field; and for every $\Delta=\{\delta_1,\dots,\delta_m\}$0-irreducible differential variety $\Delta=\{\delta_1,\dots,\delta_m\}$1, if for infinitely many $\Delta=\{\delta_1,\dots,\delta_m\}$2 the jet $\Delta=\{\delta_1,\dots,\delta_m\}$3 has a smooth $\Delta=\{\delta_1,\dots,\delta_m\}$4-point, then $\Delta=\{\delta_1,\dots,\delta_m\}$5 is Kolchin-dense in $\Delta=\{\delta_1,\dots,\delta_m\}$6 (Sánchez et al., 2018). The jet criterion is the differential-algebraic analogue of the smooth-point test used in classical largeness.

There is also an algebraic characterization. If $\Delta=\{\delta_1,\dots,\delta_m\}$7 is large and $\Delta=\{\delta_1,\dots,\delta_m\}$8 is a differentially finitely generated $\Delta=\{\delta_1,\dots,\delta_m\}$9-algebra that is a domain and

$K$0

with $K$1 a finitely generated $K$2-algebra and a domain, $K$3 a polynomial $K$4-algebra, and $K$5 having a smooth $K$6-point, then $K$7 has a differential $K$8-rational point (Sánchez et al., 2018). This formulation isolates the differential content in the existence of differential rational points on finitely generated differential algebras.

In the ordinary case, a Blum-style axiom scheme gives a one-variable criterion in arbitrary characteristic. For an ordinary differential field $K$9, differential largeness is equivalent to: $\mathsf{UC}_m$0 is large as a field, and for every pair $\mathsf{UC}_m$1 with $\mathsf{UC}_m$2 and $\mathsf{UC}_m$3, if the system

$\mathsf{UC}_m$4

has an algebraic solution in $\mathsf{UC}_m$5, then

$\mathsf{UC}_m$6

has a differential solution in $\mathsf{UC}_m$7 (Sánchez et al., 2023). The same paper gives a geometric characterization via $\mathsf{UC}_m$8-varieties: $\mathsf{UC}_m$9 is differentially large iff for every $m$0-irreducible $m$1-variety $m$2, if $m$3 has a $m$4-smooth point, then the set of $m$5 with $m$6 is Zariski dense in $m$7 (Sánchez et al., 2023).

3. Differential Weil descent and algebraic extensions

The original technical engine is a differential version of classical Weil descent, established in all characteristics, together with a theory of differential restriction of scalars for differential varieties over finite differential field extensions (Sánchez et al., 2018). In characteristic $m$8, this machinery is used to prove a preservation theorem that is structurally decisive for the subject: every algebraic extension of a differentially large field is again differentially large (Sánchez et al., 2018).

The proof strategy described in the 2018 account proceeds by taking a differentially finitely generated algebra over an algebraic extension $m$9, descending it via differential Weil descent to a $F$0-algebra, applying the largeness and $F$1 assumptions over $F$2, and then lifting solutions back to $F$3 (Sánchez et al., 2018). This yields a direct analogue of the classical permanence of largeness under algebraic extension, but now in the differential setting.

An immediate corollary is that the algebraic closure of a differentially large field is differentially closed, so differentially large fields have minimal differential closures (Sánchez et al., 2018). The 2020 paper repeats this as one of the major preservation properties and frames it as showing that differential closures are “minimal” in this context (Sánchez et al., 2020).

4. Power series criteria and explicit constructions

One of the most robust characterizations identifies differential largeness with existential closure in formal series environments. For fields with several commuting derivations, a main equivalent condition is that $F$4 is existentially closed in $F$5 as a differential field, where $F$6 is endowed with the natural extension of the derivations; equivalently, $F$7 is existentially closed in each iterated power series field $F$8 (Sánchez et al., 2020). This places differential largeness as a direct differential analogue of classical largeness via Laurent series fields.

In the ordinary characteristic-$F$9 case, the criterion can be sharpened. Differential largeness is equivalent to existential closure in the ring $F$0 of differentially algebraic power series over $F$1; the paper emphasizes that this is a much smaller object than the whole Laurent series field $F$2 (Sánchez et al., 2023). The same work describes this as an approximation-theoretic refinement in the spirit of Denef–Lipshitz (Sánchez et al., 2023).

These criteria support explicit constructions. One construction begins with $F$3 and recursively sets $F$4, adjoining finitely many new variables each time with extended derivations; the direct limit $F$5 is then differentially large, and if $F$6 is large, $F$7 is existentially closed in $F$8 as a field (Sánchez et al., 2020). Variants using generalized power series or Puiseux series fields are also recorded there (Sánchez et al., 2020).

A complementary existence theorem shows that largeness often suffices to build differential largeness. If $F$9 is a field extension of characteristic $F$0, $F$1 is large, and $F$2, then for any derivation $F$3 of $F$4 there exists an extension $F$5 of $F$6 to $F$7 such that $F$8 is differentially large (Sánchez et al., 2023). Moreover, if the constant field $F$9 of $0$00 is dense in $0$01 for the étale open topology, the construction can be arranged so that the constants of $0$02 are algebraic over $0$03 (Sánchez et al., 2023). In particular, any large field of infinite transcendence degree over $0$04 can be endowed with a suitable derivation making it differentially large (Sánchez et al., 2023).

5. Geometric, differential-algebraic, and model-theoretic consequences

A principal geometric consequence is Kolchin-density of rational points in connected differential algebraic groups. If $0$05 is differentially large and $0$06 is a connected differential algebraic group over $0$07, then $0$08 is Kolchin-dense in $0$09 (Sánchez et al., 2018). The mechanism described in the foundational account is that jets of differential algebraic groups over $0$10 always have smooth $0$11-rational points, for example via the identity section, and the jet criterion then yields density (Sánchez et al., 2018).

The 2020 paper records several further consequences. Differentially large fields are Picard–Vessiot closed: any system of consistent linear differential equations with the relevant integrability conditions has a solution in such fields (Sánchez et al., 2020). It also states that for a field-theoretically PAC differential field, being differentially large is equivalent to being pseudo differentially closed (Sánchez et al., 2020). Another model-theoretic statement identifies the existential theory in the class of differentially large fields with the existential theory of $0$12 with natural derivations (Sánchez et al., 2020).

The ordinary-case development produced additional applications. For any complete and model complete theory $0$13 of large fields of characteristic $0$14, the theory of proper dense pairs of models of $0$15 is complete (Sánchez et al., 2023). A second application concerns closed ordered differential fields: no real closed differential field has a prime model extension in the class of closed ordered differential fields unless it is itself a closed ordered differential field (Sánchez et al., 2023). The same paper notes that, for real closed fields, the Blum-style axioms give a purely differential, order-free axiomatization of CODF (Sánchez et al., 2023).

6. Later comparisons and generalizations

Subsequent work has located differential largeness within broader frameworks. In one direction, the theory of generic derivations on algebraically bounded structures was compared with differentially large fields. If $0$16 is algebraically bounded and $0$17 is generic, then $0$18 is differentially large; the converse fails in general because genericity may refer to definable sets in richer languages, whereas differential largeness is formulated in the pure ring language (Kaplan et al., 19 Aug 2025). For ez-fields—large, algebraically bounded fields over which every definable set is a finite union of étale open subsets of Zariski closed sets—the two notions coincide: for a single derivation, $0$19 is generic iff $0$20 is differentially large (Kaplan et al., 19 Aug 2025). The same comparison yields transfer of $0$21: if the theory of the algebraically bounded base structure has $0$22, then the theory obtained by adding a generic derivation also has $0$23 (Kaplan et al., 19 Aug 2025).

Another direction is valuation theory. Differentially henselian fields are henselian valued fields with generic derivations, and they are described as special cases of differentially large fields (Ng, 2023). Every differentially henselian field is differentially large as a differential field, and, under additional hypotheses, differential largeness together with a nontrivial henselian valuation yields differential henselianity (Ng, 2023). The same work lifts Ax–Kochen/Ershov principles, differential-algebraic characterizations, and explicit iterated power series constructions to the valued setting (Ng, 2023).

A broader operator-theoretic generalization appears in the uniform companion for fields with free operators in characteristic $0$24. That work constructs a theory $0$25 generalizing the single-derivation uniform companion and shows that, under appropriate hypotheses on the associated difference field, $0$26 is the model companion of the corresponding theory of fields with free operators (Mohamed, 2023). This places the original $0$27-based notion of differential largeness inside a larger family of geometric model companions for fields with operators.

Taken together, these developments present differentially large fields as a stable interface between field arithmetic, differential algebraic geometry, and model theory: a class defined by an existential-lifting principle, controlled by power-series and jet-space criteria, preserved under algebraic extension, and compatible with several later generalizations (Sánchez et al., 2018, Sánchez et al., 2020)