English

Dp-finite fields III: inflators and directories

Logic 2019-11-13 v1

Abstract

We develop some tools for analyzing dp-finite fields, including a notion of an ``inflator'' which generalizes the notion of a valuation/specialization on a field. For any field KK, let SubK(Kn)\operatorname{Sub}_K(K^n) denote the lattice of KK-linear subspaces of KnK^n. An ordinary valuation on KK with residue field kk induces order-preserving dimension-preserving specialization maps from SubK(Kn)\operatorname{Sub}_K(K^n) to Subk(kn)\operatorname{Sub}_k(k^n), satisfying certain compatibility across nn. An rr-inflator is a similar family of maps {SubK(Kn)Subk(krn)}nN\{\operatorname{Sub}_K(K^n) \to \operatorname{Sub}_k(k^{rn})\}_{n \in \mathbb{N}} scaling dimensions by rr. We show that 1-inflators are equivalent to valuations, and that rr-inflators naturally arise in fields of dp-rank rr. This machinery was ``behind the scenes'' in \S 10 of [10]. We rework \S 10 of [10] using the machinery of rr-inflators.

Keywords

Cite

@article{arxiv.1911.04727,
  title  = {Dp-finite fields III: inflators and directories},
  author = {Will Johnson},
  journal= {arXiv preprint arXiv:1911.04727},
  year   = {2019}
}

Comments

Preliminary draft, comments welcome

R2 v1 2026-06-23T12:12:42.523Z