[Paper Review] Existence of $\partial$-parameterized Picard-Vessiot extensions over fields with algebraically closed constants

Michael Wibmer|arXiv (Cornell University)|Apr 18, 2011

Advanced Differential Equations and Dynamical Systems10 references13 citations

TL;DR

This paper establishes the existence of ∂-parameterized Picard-Vessiot (PPV) rings for systems of linear difference-differential equations over ∂-difference-differential fields with algebraically closed constants. By constructing such PPV extensions without requiring the base constants to be ∂-algebraically closed, the work removes a restrictive assumption from prior parameterized Galois theories, enabling broader applicability in differential and difference algebraic geometry.

ABSTRACT

The purpose of this short note is to establish the existence of $\partial$-parameterized Picard-Vessiot extensions of systems of linear difference-differential equations over difference-differential fields with algebraically closed constants.

Motivation & Objective

• To eliminate the assumption that the ΣΔ-constants of a base field must be ∂-algebraically closed in parameterized Picard-Vessiot theory.
• To establish the existence of ∂-PPV rings for linear ΣΔ-systems over arbitrary ΣΔ∂-fields of characteristic zero.
• To provide a constructive method for building ∂-PPV extensions that yield finite algebraic extensions of the ΣΔ-constants.
• To enable the application of parameterized Galois theory in settings where the constants are not ∂-algebraically closed, by introducing a descent-compatible construction.
• To generalize the classical PPV theory to the parameterized case by relaxing the closure condition on constants, aligning it with practical applications.

Proposed method

• Constructs a ∂-PPV ring R as a quotient of a filtered direct limit of finitely generated ∂-algebras over the base field K.
• Uses a maximal ∂-ideal m in a suitable ∂-algebra S to form R = S/m, ensuring R is ΣΔ-simple and satisfies the axioms of a ∂-PPV ring.
• Applies Chevalley-type theorems and results on ΣΔ-simple algebras to show that the ΣΔ-constants of R are algebraic over those of K.
• Employs Lemma 7 to prove that the ΣΔ-constants of R form a finite extension of K^ΣΔ.
• Generalizes the definition of ∂-PPV extensions to Σ-pseudo-Δ∂-fields to handle base field extensions via tensor products.
• Uses the total ring of quotients of R to construct a ∂-PPV extension over a finite extension of K^ΣΔ, enabling descent to a field base.

Experimental results

Research questions

• RQ1 Can ∂-parameterized Picard-Vessiot extensions be constructed over base fields whose ΣΔ-constants are not ∂-algebraically closed?
• RQ2 What conditions ensure the existence of a ∂-PPV ring whose ΣΔ-constants form a finite algebraic extension of the base ΣΔ-constants?
• RQ3 How can the classical uniqueness and Galois correspondence theorems be adapted when the constants are not ∂-algebraically closed?
• RQ4 Is there a constructive method to build ∂-PPV extensions without requiring algebraic closure of constants?
• RQ5 Can the theory be extended to base objects that are not fields, such as Σ-pseudo-Δ∂-fields, to support descent arguments?

Key findings

• For every ΣΔ-linear system over a ΣΔ∂-field K of characteristic zero, there exists a ∂-PPV ring R such that R^ΣΔ is a finite algebraic extension of K^ΣΔ.
• The construction of R relies on a maximal ∂-ideal in a filtered ∂-algebra, ensuring R is ΣΔ-simple and satisfies the defining properties of a ∂-PPV ring.
• The ΣΔ-constants of R are shown to be algebraic over K^ΣΔ using generalizations of Chevalley’s theorem and results on simple algebras.
• The finiteness of R^ΣΔ over K^ΣΔ is established via Lemma 7, which controls the growth of constants in finitely ∂-generated algebras.
• A corollary shows that over any ΣΔ∂-field K, there exists a finite ∂-field extension k̃ of K^ΣΔ such that a ∂-PPV extension exists over K ⊗_k k̃.
• When K^ΣΔ is already ∂-algebraically closed, the existence of a ∂-PPV extension follows directly, recovering the classical case.