Truncation Structures on Valued Fields

• Truncation structures on valued fields are defined by support families that maintain stability under cutoff operations in generalized power series fields.
• The framework characterizes subgroups, subrings, and subfields by specific axioms ensuring closure under initial segments and algebraic operations.
• These structures are pivotal in valuation theory, model theory, and transseries, underpinning embedding techniques and extension stability in complex fields.

A truncation structure on a valued field encapsulates the set-theoretic and algebraic requirements for subfields, subrings, or subgroups of generalized (Hahn–Mal’cev–Neumann) power series fields to be stable under the operation of “cutting off” terms whose exponents lie above a given value. The central notion is that of truncation-closedness, formalized via support properties and axiomatized in terms of families of well-ordered subsets of the exponent group. This framework has direct relevance to valuation theory, the model theory of valued fields, transseries, and the structure of generalized series extensions.

1. Hahn Fields, Truncation, and Support Families

Let $K$ be a field (possibly of arbitrary characteristic), $\Gamma$ an ordered abelian group, and $K((\Gamma))$ the Hahn–Mal’cev–Neumann field of generalized power series $s=\sum_{\gamma\in\Gamma} s_\gamma t^\gamma$, with well-ordered support $\operatorname{supp}(s)=\{\gamma : s_\gamma\neq0\}$. The canonical valuation $v(s)$ equals the least exponent in its support.

Truncation operator: For $g\in\Gamma$, the truncation at $g$ is the map

$$\mathrm{Tr}_{<g}(s) := \sum_{\gamma<g}s_\gamma t^\gamma,$$

with $$\operatorname{supp}(\mathrm{Tr}_{<g}(s))=\operatorname{supp}(s)\cap(-\infty,g)$$. A subset $S\subseteq K((\Gamma))$ is truncation-closed if for every $s\in S$ and every $g\in\Gamma$, $\mathrm{Tr}_{<g}(s)\in S$ (Krapp et al., 2020).

Families of supports: Given a family $F$ of well-ordered subsets of $\Gamma$, the induced “$K$-hull” substructure is

$$S(F) := \{s\in K((\Gamma)) : \operatorname{supp}(s)\in F\}.$$

$S(F)$ is truncation-closed iff $F$ is closed under taking initial segments, i.e., whenever $A\in F$ and $B\subseteq A$ is an initial segment, then $B\in F$ (property S6).

Table 1: Key Support Properties for Truncation Structures

Property	Formal Statement	Role
S2	$A\in F$, $B\subseteq A \implies B\in F$	Restriction-closure
S3	$A,B\in F \implies A\cup B\in F$	Ensures additive closure
S5	$0=\operatorname{supp}(0)\in F$	Zero element inclusion
S6	Initial segments closure	Truncation-closure

These and additional properties (A1–A5) connect support families to algebraic closure operations.

2. Necessary and Sufficient Criteria for Truncation-Closed Substructures

Following Rayner and subsequent sharpening by Krapp, Kuhlmann, and Serra, the conditions for a support family $F$ to induce a truncation-closed subgroup, subring, or subfield are precisely characterized.

• Additive subgroup: $S(F)$ is a subgroup iff $F$ satisfies S2, S3, S5.
• Subring: $S(F)$ is a subring iff $F$ satisfies S2, S3, S5, and A2 (closure under setwise addition).
• Subfield: $S(F)$ is a subfield iff $F$ satisfies S2, S3, S4, A2, A4 (finite sums), A5 (negation).
• Full Hahn field (containing all monomials): $S(F)$ is a Hahn field iff $F$ satisfies S1, S2, S3, A2, A4 (Krapp et al., 2020).

Notably, in characteristic zero, the classical Rayner field axioms coincide with the Hahn field substructure characterization.

3. Towers of Complements and Truncation-Closed Embeddings

Fornasiero–F. V. Kuhlmann–S. Kuhlmann developed an intrinsic theory of truncation structures via towers of complements (T.o.C.) (Fornasiero et al., 2013).

Definition: A T.o.C. for a valued field $K$ with value group $G$ and residue field $k$ is a family $$\mathfrak{A} = \{A[A] \subset K : A \text{ is a Dedekind cut of } G\}$$ where each $A[A]$ is a $k$-vector space such that $A[A] \oplus \mathcal{O}[A] = K$, and supports/multiplication are compatible via prescribed axioms.

Main equivalence:

• $K$ admits a truncation-closed embedding into $k((G, f))$ (generalized power series with factor set $f$) iff it admits a T.o.C.
• There is a bijection between such embeddings and towers via explicit series decomposition at each cut.

Construction: In Henselian characteristic zero and algebraically maximal Kaplansky fields, T.o.C.s can always be constructed, enabling canonical truncation-closed embeddings.

4. Preservation and Extension: Algebraic, Differential, Transseries Cases

Truncation-closedness is stable under various extension operations, with additional logic required in the differential case and for transseries.

• Algebraic extensions: Henselization, algebraic closure, and immediate (pseudo-Cauchy) extensions preserve truncation-closedness.
• Differential structures: For unions of Hahn fields with a compatible derivation, “IL-closedness” (iterative-logarithmic closedness) is necessary for truncation stability when adjoining solutions to differential equations (e.g., $(I-a\partial)^{-1}$ extensions, Liouville closure) (Camacho, 2016).
• Transseries fields: In fields of logarithmic-exponential transseries, the Liouville closure of a truncation-closed differential subfield is again truncation-closed, provided a “splitting” condition on monomials is satisfied (Camacho, 2018).

5. Truncation Structures in Model Theory: Definability and Wildness

Adjoining truncation operators or making truncation primitive in Hahn fields drastically alters model-theoretic behavior.

• Undecidability: Expanding the field language to include all truncations $\tau_g$ yields interpretation of monadic second-order arithmetic, and renders the theory undecidable and fundamentally wild (SOP, TP2, IP) (Camacho, 2017).
• Decidable fragments: Restricting truncations (e.g., to truncation-closed subrings only, or definable subcollections) potentially retains model-theoretic tameness.

This underscores that truncation, while algebraically robust, is logically powerful and introduces combinatorial complexity.

6. Applications: Valued Field Reconstructions, Hyperfields, and Universal Embeddings

Truncation structures underpin modern approaches to valued field theory, the construction of hyperfields, and embeddings into universal domains.

• Residue rings and hyperfields: Finitary truncations (modulo powers of the maximal ideal, or hyperfield quotients via $1 + \mathfrak{m}^n$) encode complete valued field data. For sufficiently large $n$, there are categorical equivalences and unique isometric liftings from the truncated objects to the full field, as well as sharp completeness results for henselian fields of mixed characteristic with perfect residue fields (Lee et al., 2016, Lee, 2018).
• Hyperfields and the RV-tower: The theory of stringent valued hyperfields and their inverse systems provides a Hahn-like reconstruction of valued fields from their truncation hyperfields, with first-order axiomatizations capturing the essential properties (Linzi et al., 2022).
• O-minimal fields and universal embeddings: Truncation-closedness is preserved under expansion by suitable algebras of formal power series, and every elementary extension of a reduct of $\mathbb{R}_{\text{an}, \exp}$ has an elementary truncation-closed embedding in Conway's surreal numbers field $\mathbf{No}$ (Freni, 2024).

These mechanisms illustrate the central role of truncation structures in achieving both fine-grained algebraic control and deep connections to logical and categorical frameworks.

7. Fundamental Formulas and Structural Identities

In the Hahn field context, support behavior under field operations directly corresponds to the closure properties of the support family:

• Addition: $$\operatorname{supp}(r + s) \subset \operatorname{supp}(r) \cup \operatorname{supp}(s)$$
• Multiplication: $$\operatorname{supp}(r \cdot s) \subset \operatorname{supp}(r) + \operatorname{supp}(s)$$
• Truncation: $$\operatorname{supp}(\mathrm{Tr}_{<g}(s)) = \operatorname{supp}(s) \cap (-\infty, g)$$
• Inversion (Neumann series): If $\operatorname{supp}(a) \subset \Gamma^{>0}$, then $(1-a)^{-1} = \sum_{n=0}^{\infty} a^n$ with $$\operatorname{supp}((1-a)^{-1}) \subset \text{FiniteSums}(\operatorname{supp}(a))$$ (Krapp et al., 2020).

These formulas govern when truncation-closed subgroups, subrings, or subfields are preserved under algebraic operations and extensions.

---

Truncation structures on valued fields offer a unified and robust language for describing the interplay between support, valuation, and algebraic closure in generalized power series fields, enabling precise classification and reconstruction, accommodating valuation-theoretic and model-theoretic phenomena, and furnishing the foundation for stability under extension and embedding procedures.