Generalized Differential Galois Theory

A Galois theory of differential fields with parameters is developed in a manner that generalizes Kolchin’s theory. It is shown that all connected differential algebraic groups are Galois groups of some appropriate differential field extension.

💡 Research Summary

The paper presents a comprehensive extension of Kolchin’s differential Galois theory to the setting of differential fields equipped with several commuting derivations, thereby introducing the notion of “(E, Δ)‑strongly normal extensions.” The author begins by reviewing Kolchin’s original work on strongly normal extensions, which already allowed non‑linear algebraic groups as Galois groups, and then points out the limitation that only one set of derivations (Δ) is usually considered. By adding a second commuting set of derivations E, the paper develops a framework in which both the “parameter” derivations (E) and the “principal” derivations (Δ) act simultaneously on a base field F. A universal (E, Δ)‑extension U of F is constructed, and a subfield G⊂U that is Δ‑strongly normal over F is examined. The Δ‑isomorphisms of G into U form an algebraic group over the Δ‑constants C, exactly as in Kolchin’s theory. The crucial new observation is that when these Δ‑isomorphisms also respect the E‑structure—i.e., they extend to E‑Δ‑isomorphisms of the field generated by all E‑derivatives of G—they constitute a differential algebraic subgroup defined by E‑differential equations. The main theorems (Corollary 3.71 and Theorem 3.66) establish that (1) if the Δ‑constants of F coincide with the Δ‑constants of the fixed field of such a subgroup H, then H is the Galois group of the corresponding (E, Δ)‑strongly normal extension, and (2) every connected differential algebraic group appears as the Galois group of some (E, Δ)‑strongly normal extension.

To illustrate the theory, the author works out a concrete example with two commuting derivations Dₓ and Dₜ on the rational function field C(t,x,cos t,sin t). The extension G = F(log x·sin t) is shown to be Δ‑strongly normal (Δ = Dₓ) with Galois group the additive group Gₐ over the Δ‑constants. Imposing the additional E‑condition (E = Dₜ) forces the automorphisms to preserve the linear differential equation Dₜ η − γ η = 0, where η = log x·sin t and γ = cot t. Consequently the Galois group is reduced to a differential algebraic subgroup of Gₐ defined by the equation Dₜ y − γ y = 0, demonstrating how the classical Picard‑Vessiot situation (single derivation) is recovered as a special case.

The paper also surveys related work by Drăgh, Vessiot, Pommaret, Umemura, Pillay, Kovacic, and others, emphasizing that previous theories either restrict to algebraically finite‑dimensional groups or treat only Δ‑groups. By allowing infinite algebraic dimension (while keeping differential dimension finite) the present theory captures a broader class of symmetry groups. Section 3.5 discusses how generalized strongly normal extensions can be induced from ordinary strongly normal extensions, and an appendix, based on ideas of Johnson, Reinhart, and Rubel, constructs explicit extensions for each differential algebraic subgroup of Gₐ and Gₘ.

In summary, the article establishes a robust Galois correspondence for differential fields with multiple commuting derivations, proves that every connected differential algebraic group is realizable as a Galois group, and thereby significantly generalizes Kolchin’s framework to include infinite‑dimensional algebraic groups and multi‑parameter differential equations. Future work is hinted at, including non‑linear examples and geometric applications of this generalized theory.