Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Asymptotic Differential Algebra and Model Theory of Transseries

Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven

TL;DR

This work develops the algebra and model theory surrounding the differential field of transseries $\mathbb{T}$ and related valued differential fields, linking inductive transseries constructions with model-theoretic analysis. It introduces and exploits notions such as $\upomega$-freeness, newtonianity, and Liouville closure to establish model completeness for the Liouville-closed $H$-fields and, in an extended language, quantifier elimination for the theory $T^{\mathrm{nl},\iota}_{\Lambda,\Omega}$. A central achievement is the Newton diagram method for differential polynomials, enabling a robust analysis of asymptotic equations and embeddings of $H$-fields into transserial universes, thereby reinforcing $\mathbb{T}$ as a universal domain for asymptotic differential algebra. The results illuminate the model theory of transseries, Hardy fields, analyzable functions, and valued differential fields with potential applications to analysis and symbolic computation of asymptotics.

Abstract

We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.

Asymptotic Differential Algebra and Model Theory of Transseries

TL;DR

This work develops the algebra and model theory surrounding the differential field of transseries and related valued differential fields, linking inductive transseries constructions with model-theoretic analysis. It introduces and exploits notions such as -freeness, newtonianity, and Liouville closure to establish model completeness for the Liouville-closed -fields and, in an extended language, quantifier elimination for the theory . A central achievement is the Newton diagram method for differential polynomials, enabling a robust analysis of asymptotic equations and embeddings of -fields into transserial universes, thereby reinforcing as a universal domain for asymptotic differential algebra. The results illuminate the model theory of transseries, Hardy fields, analyzable functions, and valued differential fields with potential applications to analysis and symbolic computation of asymptotics.

Abstract

We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.

Paper Structure

This paper contains 114 sections, 1329 theorems, 2132 equations, 12 figures, 1 table.

Table of Contents

  1. Some Commutative Algebra
  2. The Zariski Topology and Noetherianity
  3. Rings and Modules of Finite Length
  4. Integral Extensions and Integrally Closed Domains
  5. Local Rings
  6. Krull's Principal Ideal Theorem
  7. Regular Local Rings
  8. Modules and Derivations
  9. Differentials
  10. Derivations on Field Extensions
  11. Valued Abelian Groups
  12. Ordered Sets
  13. Valued Abelian Groups
  14. Valued Vector Spaces
  15. Ordered Abelian Groups
  16. ...and 99 more sections

Key Result

Theorem 1

If $K$ is $\upomega$-free and $P\in K\{Y\}$, $P\ne 0$, then $N_P\in C[Y](Y')^{ {\mathbb N} }$.

Figures (12)

  • Figure 1: A polycycle $\sigma$ and a close trajectory $\varphi$.
  • Figure 2: Inclusion diagram of some valued field extensions of a valued field $K$ of equicharacteristic zero.
  • Figure 3: Picture of a Newton diagram.
  • Figure 4: Behavior of Newton diagrams under refinement.
  • Figure 5: Unraveling an asymptotic equation.
  • ...and 7 more figures

Theorems & Definitions (1432)

  • Example
  • Example 1
  • Example 2
  • Theorem 1
  • Example
  • Theorem 2
  • Example
  • Theorem 3
  • Corollary 1
  • Theorem 4
  • ...and 1422 more