Composition AKE Principle in Valued Fields

• Composition AKE Principle is a model-theoretic concept in valued fields, where the elementary theory of a field is determined by its coarsening and induced residue-valuation.
• It distinguishes equal from mixed characteristics, holding fully for tame fields in equal characteristic while encountering counterexamples in mixed characteristic settings.
• The principle underpins methods like quantifier elimination and transfer theorems, influencing constructions in p-adic arithmetic and ultraproduct fields.

The composition AKE principle is a model-theoretic phenomenon in the theory of valued fields asserting that, under appropriate hypotheses, the first-order theory of a valued field (with possibly a composed valuation) is determined by the first-order theories of its coarsening and its induced residue-valuation. This principle generalizes the classical Ax–Kochen–Ershov theorem by iterating or “composing” valuations and seeks to clarify in which settings such decompositions faithfully reflect the field’s elementary theory. The composition AKE principle exhibits sharp distinctions between equal and mixed characteristic, with profound implications for quantifier elimination, transfer principles, and the model theory of tame fields.

1. Background: Valued Fields and AKE Decomposition

Given a valued field $(K,v)$, the associated valuation ring $\mathcal{O}_v$ comprises elements of non-negative valuation. The residue field $K v$ is formed by quotienting $\mathcal{O}_v$ by its maximal ideal, while the value group $vK$ is the image of $K^\times$ under $v$. A valuation $w$ is a coarsening of $v$ if $\mathcal{O}_w \supseteq \mathcal{O}_v$, enabling a factorization $v = \bar v \circ w$ where $w: K \to wK$ is a coarser valuation and $\bar v$ is the induced valuation on the residue field $Kw$. The Ax–Kochen–Ershov (AKE) theorem provides that for Henselian valued fields under certain conditions, the first-order theory is determined by the theories of the residue field and value group, a property model-theorists capture by “composition” (d'Elbée, 2023, Ketelsen et al., 9 Jan 2026).

2. Formulation of the Composition AKE Principle

The principle addresses the following: Given a field with a Henselian valuation $v$, a coarsening $w$, and the induced valuation $\bar v$ on $Kw$, is the elementary theory $\mathrm{Th}(K,v)$ uniquely determined by $\mathrm{Th}(K,w)$ and $\mathrm{Th}(Kw,\bar v)$?

Formal Statement in One-Sorted Language:

Let $(K,v)$ be a Henselian valued field, $w$ a coarsening, and $\bar v$ the induced valuation. If $(L, w') \equiv (K, w)$ and $(L w', \bar w) \equiv (K w, \bar v)$, does it follow that $(L, v') \equiv (K, v)$ for $v' = \bar w \circ w'$? The principle may also be expressed in multi-sorted language, tracking the valued field, its residue field, and its value group.

Characteristic Constraints:

• Equal characteristic: $\operatorname{char} K = \operatorname{char} Kv$.
• Mixed characteristic: $\operatorname{char} K = 0$, $\operatorname{char} Kv = p > 0$.

3. Theorematic Landscape and Distinctions by Characteristic

3.1 Equal Characteristic: Full Principle

For tame valued fields of equal characteristic (Henselian, algebraically maximal, perfect residue, $p$-divisible value group if positive characteristic), the composition AKE principle holds in full generality. That is, for any such $(K,w)$ and henselian decomposition $w \circ \bar v$, the theory $\mathrm{Th}(K,v)$ is entirely determined by $\mathrm{Th}(K,w)$ and $\mathrm{Th}(Kw,\bar v)$ (Ketelsen et al., 9 Jan 2026).

This property is underpinned by:

• Quantifier elimination in the Denef–Pas language, where formulas reduce to the residue field and value group sorts (d'Elbée, 2023).
• The relative embedding property for tame fields: suitable embeddings of residue field and value group over a common substructure extend to embeddings of valued fields.
• The “resplendent AKE” principle: elementary equivalence is preserved under arbitrary enrichment of residue and value sorts.

3.2 Mixed Characteristic: Failure and Counterexamples

In mixed characteristic, even for tame fields, composition AKE can fail. Key counterexamples (Ketelsen et al., 9 Jan 2026):

• Witt-Vector Construction: For $p > 2$, $k$ a perfect field of char $p$ with elements $\alpha_1, \alpha_2$ conjugate by automorphism but differing in square-classes, one constructs fields $(K, \nu_1 \circ v)$ and $(K, \nu_2 \circ v)$ with $(K, v)$ and $(k, \nu_i)$ isomorphic but the compositions non-elementarily equivalent.
• Tame Hahn-Series Example: For $k = \mathbb{F}_p((\Gamma))$ and particular coarsenings $\nu_i$, again, compositions in the Witt extension are distinguished in theory even though all intermediate steps match.

These failures arise since in mixed characteristic, the pointed value group $(vK, v(p))$ or additional “RV-data” (the images of parameters like a uniformizer $p$) are not reconstructible purely from the coarsening and residue data.

Consequences:

• In mixed characteristic, $\mathrm{Th}(K,v)$ is not determined by the triple $$(\mathrm{Th}(K~\text{as pure field}), \mathrm{Th}(Kv), \mathrm{Th}(vK))$$ or even the pair $(\mathrm{Th}(K,w), \mathrm{Th}(Kw, \bar v))$.
• Extensions to a “composition AKE” require enriching the language (e.g., naming a uniformizer in the value group).

4. Technical Foundation: Quantifier Elimination and Relative QE

A central analytic tool is relative quantifier elimination in multi-sorted Denef–Pas language, where field quantifiers can be pushed down to formulas in the value group or residue field sorts (d'Elbée, 2023). Pas’s theorem provides that for Henselian valued fields of equal or mixed char, every formula is equivalent to a Boolean combination of formulas in the angular component or valuation. This reduction allows, via a back-and-forth argument, the extension of isomorphisms from residue field and value group data to the entire valued field, provided certain lifting criteria are met.

The “composition” step realizes the principle concretely: to extend partial isomorphisms of (coarsened) fields and induced valuations to the overall valuation, it suffices to splice compatible extensions in the residue and value group sorts.

5. Illustrative Consequences and Field Constructions

The composition AKE principle underlies a variety of field constructions and transfer results:

Construction	Residue Field	Value Group
Hahn fields $k((t^\Gamma))$	$k$	$\Gamma$
Ultraproducts $\prod_U Q_p$	$\prod_U F_p$	$\prod_U \mathbb{Z}$
Laurent series $\mathbb{F}_p((t))$	$\mathbb{F}_p$	$\mathbb{Z}$

• Hahn Fields: Any two generalized power series fields $k((t^\Gamma))$ with the same residue $k$ and group $\Gamma$ are elementarily equivalent in equal characteristic.
• Ultraproducts: For a non-principal ultrafilter $U$, $$\prod_U Q_p \equiv (\prod_U F_p)((t^{\prod_U \mathbb{Z}}))$$, showcasing transfer of model-theoretic properties between $p$-adics and Laurent series.
• C₂ Property for $p$-adics: The principle transfers asymptotic properties such as the $C_2$ property (existence of nontrivial zeros for certain forms) from Laurent series to $p$-adics for large $p$.

6. Limitations, Open Problems, and Further Directions

In mixed characteristic, a salient limitation is that no set of residue field and value group invariants is sufficient to recover the complete theory. Recent research (Ketelsen et al., 9 Jan 2026) raises questions concerning:

• What additional structure or “RV-data” must be named to reconstruct the theory?
• For which subclasses of mixed characteristic fields (e.g., with bounded ramification) does a composition AKE theorem still hold?
• What is the precise model-theoretic locus of failure—do these distinctions manifest at the level of stability, NIP, or dp-rank?

Work continues to characterize refined invariants and to formalize the needed enrichment in languages tailored for valued fields with complex valuation architectures.

7. Significance and Applications

The composition AKE principle is foundational for the model theory of valued fields, providing modular tools for analyzing transfer phenomena, quantifier elimination, and ultraproduct constructions. Its failure or refinement in mixed characteristic underlines the complexity of the algebraic and logical interplay between field structure, residue, and valuation. Applications appear in $p$-adic arithmetic, motivic integration, and the construction of fields with prescribed elementary properties (d'Elbée, 2023, Ketelsen et al., 9 Jan 2026). The principle’s optimality, exemplified by the asymptotic $C_2$ property for $p$-adic fields, situates it as a cornerstone of modern valued field theory.