A tale of two Liouville closures

DOI10.2140/PJM.2017.290.41zbMATH Open1387.12004arXiv1608.00997OpenAlexW3098667283MaRDI QIDQ2363586FDOQ2363586

Authors: Allen Gehret 

Publication date: 20 July 2017

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Abstract: An $H$-field is a type of ordered valued differential field with a natural interaction between ordering, valuation, and derivation. The main examples are Hardy fields and fields of transseries. Aschenbrenner and van den Dries proved in~cite{MZ} that every $H$-field $K$ has either exactly one or exactly two Liouville closures up to isomorphism over $K$, but the precise dividing line between these two cases was unknown. We prove here that this dividing line is determined by $uplambda$-freeness, a property of $H$-fields that prevents certain deviant behavior. In particular, we show that under certain types of extensions related to adjoining integrals and exponential integrals, the property of $uplambda$-freeness is preserved. In the proofs we introduce a new technique for studying $H$-fields, the emph{yardstick argument} which involves the rate of growth of pseudoconvergence.

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

Recommendations

• \(H\)-fields and their Liouville extensions
• Liouville closed \(H\)-fields
• Asymptotic differential algebra and model theory of transseries
• Differentially algebraic gaps
• scientific article; zbMATH DE number 2202751

zbMATH Keywords

asymptotic couplesasymptotic fieldsLiouville extensions\(\lambda\)-freeness\(H\)-fieldsdifferential-valued fieldsLiouville closures

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Differential algebra (12H05) Rate of growth of functions, orders of infinity, slowly varying functions (26A12) Valued fields (12J10) Ordered fields (12J15)

Cites Work

• Ordered exponential fields
• Closed asymptotic couples
• Asymptotic differential algebra and model theory of transseries
• The asymptotic couple of the field of logarithmic transseries
• On the Value Group of a Differential Valuation II
• NIP for the asymptotic couple of the field of logarithmic transseries
• Differential valuations
• Transseries and real differential algebra
• The Rank of a Hardy Field
• On the Value Group of a Differential Valuation
• Hardy fields

Cited In (6)

• Liouville closed \(H\)-fields
• Liouville closed \(H_T\)-fields
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Distality for the asymptotic couple of the field of logarithmic transseries
• \(H\)-fields and their Liouville extensions
• Differentially algebraic gaps

This page was built for publication: A tale of two Liouville closures

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