Dp-finite fields V: topological fields of finite weight

Abstract

We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the classification of dp-finite fields of positive characteristic. For $n\ge 1$, we define a local class of "$W_n$-topological fields", generalizing V-topological fields. A $W_1$-topology is the same thing as a V-topology, and a $W_n$-topology is some higher-rank analogue. If $K$ is an unstable dp-finite field, then the canonical topology is a definable $W_n$-topology for $n=dp-rk(K)$. Every $W_n$-topology has between 1 and $n$ coarsenings that are V-topologies. If the given $W_n$-topology is definable in some structure, then so are the V-topological coarsenings.

arXiv commentPreliminary draft, comments welcome

References in corpus (7)

• On dp-minimal fields
• Dp-finite fields II: the canonical topology and its relation to henselianity
• Characterizing NIP henselian fields
• Dp-finite fields I: infinitesimals and positive characteristic
• Dp-finite fields IV: the rank 2 picture
• Dp-finite fields III: inflators and directories
• Finite burden in multivalued algebraically closed fields

Cited by in corpus (1)

• Dp-finite fields VI: the dp-finite Shelah conjecture