Definable V-topologies, Henselianity and NIP

DOI10.1142/S0219061320500087zbMATH1472.03035OpenAlexW2976200216WikidataQ127219528MaRDI QIDQ5118049FDOQ5118049

Authors Yatir Halevi, Assaf Hasson, Franziska Jahnke

Publication date 4 September 2020

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.05920

zbMATH Keywords

definable \(V\)-topologiesHenselianity conjectureNIP valued fieldsShelah conjecture

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

Abstract: We initiate the study of definable V-topolgies and show that there is at most one such V-topology on a t-henselian NIP field. Equivalently, we show that if $(K,v_1,v_2)$ is a bi-valued NIP field with $v_1$ henselian (resp. t-henselian) then $v_1$ and $v_2$ are comparable (resp. dependent). As a consequence Shelah's conjecture for NIP fields implies the henselianity conjecture for NIP fields. Furthermore, the latter conjecture is proved for any field admitting a henselian valuation with a dp-minimal residue field. We conclude by showing that Shelah's conjecture is equivalent to the statement that any NIP field not contained in the algebraic closure of a finite field is t-henselian.

Recommendations

• Dp-finite fields. I(A): The infinitesimals
• The classification of dp-minimal and dp-small fields
• Definable valuations induced by multiplicative subgroups and NIP fields
• Uniformly defining \(p\)-Henselian valuations
• Definable valuations induced by definable subgroups
• Dp-finite fields. I(B): Positive characteristic
• Strongly NIP almost real closed fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Defining coarsenings of valuations
• Definable Henselian valuations

Cites work

• scientific article; zbMATH DE number 3769606 (Why is no real title available?)
• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 2020232 (Why is no real title available?)
• scientific article; zbMATH DE number 862977 (Why is no real title available?)
• scientific article; zbMATH DE number 6424177 (Why is no real title available?)
• scientific article; zbMATH DE number 3430641 (Why is no real title available?)
• A Guide to NIP Theories
• A classification of Artin-Schreier defect extensions and characterizations of defectless fields
• A conjectural classification of strongly dependent fields
• A course in model theory
• Algebraic geometry I. Schemes. With examples and exercises
• Algebraic number fields elementarily determined by their absolute Galois group
• Definable Henselian valuations
• Definable valuations induced by definable subgroups
• Diophantine Problems Over Local Fields I
• Dp-minimal valued fields
• Elimination of quantifiers in algebraic structures
• Field Arithmetic
• Imaginaries in separably closed valued fields
• Introduction to Grothendieck duality theory
• Model Theory
• On VC-minimal fields and dp-smallness
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Some model theory for almost real closed fields
• The canonical topology on dp-minimal fields
• Uniformly defining \(p\)-Henselian valuations
• Valuation theoretic and model theoretic aspects of local uniformization
• Valued Fields
• Weakly o-minimal structures and real closed fields
• \(p\)-Henselian fields

Cited in

(17)

• Henselianity in NIP \(\mathbb{F}_p\)-algebras
• NIP Henselian valued fields
• Dp-finite fields. I(B): Positive characteristic
• On non-compact \(p\)-adic definable groups
• Henselian expansions of NIP fields
• The étale-open topology and the stable fields conjecture
• Definable valuations induced by multiplicative subgroups and NIP fields
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• The classification of dp-minimal and dp-small fields
• Strongly NIP almost real closed fields
• Forking and dividing in fields with several orderings and valuations
• A conjectural classification of strongly dependent fields
• Dp-minimal integral domains
• Distality in valued fields and related structures
• Definable valuations on ordered fields
• Exposé Bourbaki 1185 : Joinings classification and applications (after Einsiedler and Lindenstrauss)
• Characterizing NIP henselian fields

This page was built for publication: Definable V-topologies, Henselianity and NIP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5118049)