Differentially large fields

DOI10.2140/ANT.2024.18.249arXiv2005.00888MaRDI QIDQ6154490FDOQ6154490

Authors: Omar León Sánchez, Marcus Tressl 

Publication date: 15 February 2024

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

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.

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)

Cites Work

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

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)