Differentially large fields

DOI10.2140/ANT.2024.18.249MaRDI QIDQ6154490FDO

Authors Omar León Sánchez, Marcus Tressl

Publication date 15 February 2024

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.00888

zbMATH Keywords

large fieldselimination theorydifferential fieldsPicard-Vessiot theoryexistentially closed structuresTaylor morphism

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Formal solutions and transform techniques for ordinary differential equations in the complex domain (34M25) General field theory (12E99)

Abstract: We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differential field arithmetic. For instance, we characterise differential largeness in terms of being existentially closed in their power series field (furnished with natural derivations), we give explicit constructions of differentially large fields in terms of iterated powers series, we prove that the class of differentially large fields is elementary, and we show that differential largeness is preserved under algebraic extensions, therefore showing that their algebraic closure is differentially closed.

Recommendations

• LARGE FIELDS IN DIFFERENTIAL GALOIS THEORY
• The uniform companion for large differential fields of characteristic 0
• Differential Galois cohomology and parameterized Picard-Vessiot extensions
• The differential rank of a differential-valued field
• Differential forms in the model theory of differential fields

Cites work

• scientific article; zbMATH DE number 6424177 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• A Class of Differential Fields with Minimal Differential Closures
• A note on the axioms for differentially closed fields of characteristic zero
• A structure theorem for differential algebras
• Algebro-geometric axioms for \(\operatorname {DCF}_{0,m}\)
• Asymptotic Analysis and Summability of Formal Power Series
• Differential arcs and regular types in differential fields
• Distality in valued fields and related structures
• Effective bounds for the consistency of differential equations
• Elementary equivalence theorem for PAC structures
• Embedded Picard-Vessiot extensions
• Embedding problems over large fields
• Field Arithmetic
• Geometrical axiomatization for model complete theories of differential topological fields
• Henselian implies large
• Jacobi's Bound for the Order of Systems of First Order Differential Equations
• Jet and prolongation spaces
• LARGE FIELDS IN DIFFERENTIAL GALOIS THEORY
• Model theoretic dynamics in Galois fashion
• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• On PAC and bounded substructures of a stable structure
• On the model companion of partial differential fields with an automorphism
• Some foundational questions concerning differential algebraic groups
• The model theory of ordered differential fields
• The uniform companion for large differential fields of characteristic 0
• Topological differential fields

This page was built for publication: Differentially large fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6154490)