On the uniqueness of maximal immediate extensions of valued differential fields
Recall the following well-known theorems about an equicharacteristic zero valued field \(K\): Theorem A'. Any two maximal immediate extensions of \(K\) are isomorphic over \(K\), and any two algebraically maximal immediate extensions of \(K\) are isomorphic over \(K\). Theorem B'. If \(K\) is henselian, then \(K\) is algebraically maximal. The paper under review establishes analogues of these theorems in the category of valued differential fields with small derivation, with an additional assumption on the value group \(\Gamma\) of \(K\). For relevant definitions, see [\textit{M. Aschenbrenner} et al., Asymptotic differential algebra and model theory of transseries. Princeton, NJ: Princeton University Press (2017; Zbl 1430.12002)]: Theorem A. If the differential residue field \(\mathbf{k}\) is linearly surjective and \(\Gamma\) is the union of its finite rank convex subgroups, then any two maximal immediate extensions of \(K\) are isomorphic over \(K\), and any two differential-algebraically maximal differentially algebraic immediate extensions of \(K\) are isomorphic over \(K\). Theorem B. If \(K\) is differential-henselian, has few constants, and \(\Gamma\) is the union of its finite rank convex subgroups, then \(K\) is differential-algebraically maximal. The key idea for these theorems involves isolating and establishing the so-called differential-henselian configuration property. This is analogous to the key idea for Theorem A' which essentially states that when you view a pseudocauchy sequence along a minimal polynomial, eventually the degree \(1\) term dominates. They also establish the first known result for differential-henselizations: Theorem C. Suppose \(K\) is asymptotic, \(\mathbf{k}\) is linearly surjective, and \(\Gamma\) has the differential-henselian configuration property. Then \(K\) has a differential-henselization, and any two differential-henselizations of \(K\) are isomorphic over \(K\). Reviewer comment: The paper actually proves more than what is stated in Theorem A. and Theorem B. By Proposition 3.1 and Lemma 3.4, it follows that every \(\Gamma\) whose archimedean classes are well-ordered has the differential-henselian configuration property. Thus ``is the union of its finite rank convex subgroups can be replaced with ``has well-ordered archimedean classes in those theorems. Furthermore, the condition on \(\Gamma\) in Theorem C. can be completely removed. This is shown in the second author's thesis.
- Maximal immediate extensions of valued differential fields
- On the unicity of immediate maximal extensions of valued fields
- On maximal immediate extensions of valued fields
- ON THE IMMEDIATE EXTENSIONS OF A VALUED FIELD
- Nonuniqueness of immediate maximal extensions of a valuation.
- A uniqueness problem in simple transcendental extensions of valued fields
- Differential-henselianity and maximality of asymptotic valued differential fields
- A new bound for the existence of differential field extensions
- Simple transcendental extensions of valued fields. III: The uniqueness property
- On certain extensions of valued fields
- On maximal immediate extensions of valued fields
- Nonuniqueness of immediate maximal extensions of a valuation.
- A uniqueness problem in simple transcendental extensions of valued fields
- An Ax-Kochen-Ershov theorem for monotone differential-Henselian fields
- Maximal immediate extensions of valued differential fields
- Newtonian valued differential fields with arbitrary value group
- Monotone T-convex T-differential fields
- Differential-henselianity and maximality of asymptotic valued differential fields
This page was built for publication: On the uniqueness of maximal immediate extensions of valued differential fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1628495)
