English
Related papers

Related papers: Translating between NIP integral domains and topol…

200 papers

Admitting a non-trivial $p$-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, $p$-henselianity is an elementary property in the language of rings. We are interested…

Logic · Mathematics 2014-11-26 Franziska Jahnke , Jochen Koenigsmann

We study definable topological dynamics of some algebraic group actions over an arbitrary NIP field $K$. We show that the Ellis group of the universal definable flow of $\mathrm{SL}_2(K)$ is non-trivial if the multiplicative group of $K$ is…

Logic · Mathematics 2020-10-29 Grzegorz Jagiella

This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…

Logic · Mathematics 2018-06-11 Tigran Hakobyan

We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…

Logic · Mathematics 2024-07-18 Pablo Andujar Guerrero , Will Johnson

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K<sup>m</sup> let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

Logic · Mathematics 2018-10-31 Luck Darnière , Marcus Tressl

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

Logic · Mathematics 2022-01-26 Pablo Cubides Kovacsics , Françoise Point

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

Logic · Mathematics 2025-01-07 Paul Z. Wang

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

Logic · Mathematics 2021-03-30 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from…

Logic · Mathematics 2025-04-16 Christian d'Elbée , Yatir Halevi , Will Johnson

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

Logic · Mathematics 2025-03-05 Annalisa Conversano

We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil…

Logic · Mathematics 2024-03-15 Elías Baro , José F. Fernando , Daniel Palacín

We give explicit formulas witnessing IP, \IPn or TP2 in fields with Artin-Schreier extensions. We use them to control $p$-extensions of mixed characteristic henselian valued fields, allowing us most notably to generalize to the \NIPn…

Logic · Mathematics 2024-09-20 Blaise Boissonneau

The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map.…

Commutative Algebra · Mathematics 2017-04-25 Kazuma Shimomoto

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

Logic · Mathematics 2021-09-03 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Using quasiconformal mappings, we prove that any Riemann surface of finite connectivity and finite genus is conformally equivalent to an intrinsic circle domain U in a compact Riemann surface S. This means that each connected component B of…

Complex Variables · Mathematics 2013-11-05 Edward Crane

We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on an {\sl arbitrary spectral space} and we observe that this topology coincides with the constructible topology. If $K$ is a…

Commutative Algebra · Mathematics 2012-06-18 Carmelo Finocchiaro , Marco Fontana , K. Alan Loper

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

Logic · Mathematics 2015-07-15 Franziska Jahnke , Pierre Simon , Erik Walsberg

Suppose that $R$ is a local domain with fraction field $K$. If $R$ is Henselian then the $R$-adic topology over $K$ refines the \'etale open topology. If $R$ is regular then the \'etale open topology over $K$ refines the $R$-adic topology.…

Algebraic Geometry · Mathematics 2024-10-24 Will Johnson , Erik Walsberg , Jinhe Ye

We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…

Algebraic Geometry · Mathematics 2012-03-02 Alberto Camara

We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…

Logic · Mathematics 2024-10-15 Lothar Sebastian Krapp , Salma Kuhlmann , Lasse Vogel