Definable V-topologies, Henselianity and NIP

DOI10.1142/S0219061320500087zbMATH Open1472.03035arXiv1901.05920OpenAlexW2976200216WikidataQ127219528 ScholiaQ127219528MaRDI QIDQ5118049FDOQ5118049

Authors: Yatir Halevi, Assaf Hasson, Franziska Jahnke 

Publication date: 4 September 2020

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

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.

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

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

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)

Cites Work

• Algebraic geometry I. Schemes. With examples and exercises
• Field Arithmetic
• Model Theory
• Valued Fields
• Weakly o-minimal structures and real closed fields
• Introduction to Grothendieck duality theory
• Valuation theoretic and model theoretic aspects of local uniformization
• Diophantine Problems Over Local Fields I
• A classification of Artin-Schreier defect extensions and characterizations of defectless fields
• A course in model theory
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On VC-minimal fields and dp-smallness
• Elimination of quantifiers in algebraic structures
• A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS
• Uniformly defining \(p\)-Henselian valuations
• A Guide to NIP Theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Definable Valuations Induced by Definable Subgroups
• Title not available (Why is that?)
• Algebraic number fields elementarily determined by their absolute Galois group
• \(p\)-Henselian fields
• Some model theory for almost real closed fields
• Title not available (Why is that?)
• The canonical topology on dp-minimal fields
• DP-MINIMAL VALUED FIELDS
• Imaginaries in separably closed valued fields
• DEFINABLE HENSELIAN VALUATIONS

Cited In (13)

• The étale-open topology and the stable fields conjecture
• Dp-minimal integral domains
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• Strongly NIP almost real closed fields
• Dp-finite fields. I(B): Positive characteristic
• A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS
• The classification of dp-minimal and dp-small fields
• ON NON-COMPACT p-ADIC DEFINABLE GROUPS
• Distality in valued fields and related structures
• Definable valuations on ordered fields
• Henselian expansions of NIP fields
• Characterizing NIP henselian fields
• Forking and dividing in fields with several orderings and valuations

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)