On dp-minimal fields

Will Johnson

DOI: https://doi.org/10.48550/arXiv.1507.02745

2015-07-10

Abstract:We classify dp-minimal pure fields up to elementary equivalence. Most are equivalent to Hahn series fields $K((t^\Gamma))$ where $\Gamma$ satisfies some divisibility conditions and $K$ is $\mathbb{F}_p^{alg}$ or a local field of characteristic zero. We show that dp-small fields (including VC-minimal fields) are algebraically closed or real closed.

Logic

What problem does this paper attempt to address?

On VC-minimal fields and dp-smallness

Vincent Guingona

DOI: https://doi.org/10.48550/arXiv.1307.8004

2013-07-30

Abstract:In this paper, we show that VC-minimal ordered fields are real closed. We introduce a notion, strictly between convexly orderable and dp-minimal, that we call dp-small, and show that this is enough to characterize many algebraic theories. For example, dp-small ordered groups are abelian divisible and dp-small ordered fields are real closed.

Logic
Definable henselian valuations on dp-minimal real fields

Lothar Sebastian Krapp,Salma Kuhlmann,Lasse Vogel

2024-10-14

Abstract: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 field. We do so by first proving this for the more general setting of almost real closed fields.

Logic,Commutative Algebra
The classification of dp-minimal integral domains

Christian d'Elbée,Yatir Halevi,Will Johnson

2024-06-01

Abstract: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 the following construction: there is a dp-minimal valuation overring O extending R, a proper ideal I in O, and a finite subring S in O/I such that R is the preimage of S in O.

Logic,Rings and Algebras
On non-abelian dp-minimal groups

Atticus Stonestrom

2023-10-01

Abstract:Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove this by equipping the quotient of $G$ by its FC-center in this case with a valued group structure. Finally, if $G$ has the uniform chain condition, for example if $G$ is stable, then $G$ is virtually solvable.

Logic,Group Theory
Dp-finite fields VI: the dp-finite Shelah conjecture

Will Johnson

DOI: https://doi.org/10.48550/arXiv.2005.13989

2020-05-28

Abstract:We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the conjectural classification of dp-finite fields holds. Additionally, dp-finite valued fields are henselian. Lastly, if K is an unstable dp-finite expansion of a field, then K admits a unique definable V-topology.

Logic
On minimal non-elementary Lie algebras

David A. Towers

DOI: https://doi.org/10.1090/s0002-9939-2014-12224-6

IF: 0.9709

2014-08-29

Proceedings of the American Mathematical Society

Abstract:The class of minimal non-elementary Lie algebras over a field FF are studied. These are classified when FF is algebraically closed and of characteristic different from 2,32,3. The solvable algebras in this class are also characterised over any perfect field.

mathematics, applied
Minimal Prüfer-Dress rings and products of idempotent matrices

Laura Cossu,Paolo Zanardo

DOI: https://doi.org/10.48550/arXiv.1811.09092

2018-11-22

Abstract:We investigate a special class of Prüfer domains, firstly introduced by Dress in 1965. The {\it minimal Dress ring} $D_K$, of a field $K$, is the smallest subring of $K$ that contains every element of the form $1/(1+x^2)$, with $x\in K$. We show that, for some choices of $K$, $D_K$ may be a valuation domain, or, more generally, a Bézout domain admitting a weak algorithm. Then we focus on the minimal Dress ring $D$ of $\mathbb{R}(X)$: we describe its elements, we prove that it is a Dedekind domain and we characterize its non-principal ideals. Moreover, we study the products of $2\times 2$ idempotent matrices over $D$, a subject of particular interest for Prüfer non-Bézout domains.

Commutative Algebra,Rings and Algebras
Differentially Henselian Fields

Gabriel Ng

2024-06-04

Abstract:We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of León Sánchez and Tressl. We prove that many results from henselian valued fields as well as differentially large fields can be lifted to the differentially henselian setting, for instance Ax-Kochen/Ershov principles, characterisations in terms of differential algebras, etc. We also give methods to concretely construct such fields in terms of iterated power series expansions and inductive constructions on transcendence bases.

Logic,Commutative Algebra,Algebraic Geometry
On dp-minimal expansions of the integers II

Eran Alouf

2024-02-17

Abstract:We first prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ which is not interdefinable with $\left(\mathbb{Z},+,0,1,<\right)$, then every infinite subset of $\mathbb{Z}$ definable in $\mathcal{Z}$ is generic in $\mathbb{Z}$. Using this, we prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ with monster model $G$ such that $G^{00}\neq G^{0}$, then for some $\alpha\in\mathbb{R}\backslash\mathbb{Q}$, the cyclic order on $\mathbb{Z}$ induced by the embedding $n\mapsto n\alpha+\mathbb{Z}$ of $\mathbb{Z}$ in $\mathbb{R}\big/\mathbb{Z}$ is definable in $\mathcal{Z}$. The proof employs the Gleason-Yamabe theorem for abelian groups.

Logic
dp-minimal groups

Frank O Wagner

2024-03-18

Abstract:A dp-minimal group is virtually nilpotent.

Group Theory
C-minimal fields have the exchange property

Will Johnson

2024-06-21

Abstract:We show that C-minimal fields (i.e., C-minimal expansions of ACVF) have the exchange property, answering a question of Haskell and Macpherson. Additionally, we strengthen some theorems of Cubides Kovacsics and Delon on C-minimal fields. First, we show that definably complete C-minimal fields of characteristic 0 have generic differentiability. Second, we show that if the induced structure on the residue field is a pure ACF, then polynomial boundedness holds. In fact, polynomial boundedness can only fail if there are unexpected definable automorphisms of the multiplicative group of the residue field.

Logic
Almost real closed fields with real analytic structure

Kien Huu Nguyen,Mathias Stout,Floris Vermeulen

2024-04-16

Abstract:Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of research by investigating ordered fields with real analytic structure that are not necessarily real closed. When considered in a language with a symbol for a convex valuation ring, these structures turn out to be tame as valued fields: we prove that they are $\omega$-h-minimal. Additionally, our approach gives a precise description of the induced structure on the residue field and the value group, and naturally leads to an Ax--Kochen--Ersov-theorem for fields with real analytic structure.

Logic
Minimal varieties of graded PI‐algebras over abelian groups

Sebastiano Argenti,Onofrio Mario Di Vincenzo

DOI: https://doi.org/10.1112/blms.13064

IF: 1.036

2024-05-29

Bulletin of the London Mathematical Society

Abstract:Let F be a field of characteristic zero and G a finite abelian group. In this paper, we prove that an affine variety of G ‐graded PI‐algebras is minimal if and only if it is generated by a graded algebra UT(A1,⋯,Am;γ) of upper block triangular matrices where A1,⋯,Am are finite‐dimensional G ‐simple algebras.

mathematics
A dichotomy for $T$-convex fields with a monomial group

Elliot Kaplan,Christoph Kesting

2023-11-06

Abstract:We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of $\mathcal{R}$ is model complete (assuming that $T$ is), it has a distal theory, and the definable sets are geometrically tame. On the other hand, if $\mathcal{R}$ defines an exponential function, then the natural numbers are externally definable in our expansion, precluding any sort of model theoretic tameness.

Logic
Approximation and algebraicity in positive characteristic Hahn fields

Victor Lisinski

2023-12-28

Abstract:We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem by Rayner giving a bound to the ramification away from $p$ in the support of elements in $K$, and an analogue of Rayner's result for the residue field. This work has applications to the decidability of the first order theory of $\mathbb{F}_p((t^{\mathbb{Q}}))$, and other tame fields, in the language of valued fields with a constant symbol for $t$.

Number Theory,Logic
Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

Erik Walsberg

DOI: https://doi.org/10.48550/arXiv.2004.06847

2020-04-15

Abstract:This is a contribution to the classification problem for dp-minimal expansions of $(\mathbb{Z},+)$. Let $S$ be a dense cyclic group order on $(\mathbb{Z},+)$. We use results on "dense pairs" to construct uncountably many dp-minimal expansions of $(\mathbb{Z},+,S)$. These constructions are applications of the Mordell-Lang conjecture and are the first examples of "non-modular" dp-minimal expansions of $(\mathbb{Z},+)$. We canonically associate an o-minimal expansion $\mathcal{R}$ of $(\mathbb{R},+,\times)$, an $\mathcal{R}$-definable circle group $\mathbb{H}$, and a character $\mathbb{Z} \to \mathbb{H}$ to a "non-modular" dp-minimal expansion of $(\mathbb{Z},+,S)$. We also construct a "non-modular" dp-minimal expansion of $(\mathbb{Z},+,\mathrm{Val}_p)$ from the character $\mathbb{Z} \to \mathbb{Z}^\times_p$, $k \mapsto \mathrm{exp}(pk)$.

Logic
Hensel minimality II: Mixed characteristic and a diophantine application

Raf Cluckers,Immanuel Halupczok,Silvain Rideau-Kikuchi,Floris Vermeulen

2023-09-07

Abstract:In this paper together with the preceding Part I \cite{CHR}, we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to \cite{CHR} the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a strong form of Taylor approximations of definable functions, resplendency results and cell decomposition, all under Hensel minimality, more precisely, $1$-h-minimality. We obtain a diophantine application of counting rational points of bounded height on Hensel minimal curves.

Logic,Algebraic Geometry,Number Theory
On ordinary differentially large fields

Omar León Sánchez,Marcus Tressl

2024-07-30

Abstract:We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterise differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of infinite transcendence degree can be expanded to a differentially large field even under certain prescribed constant fields. As an application, we show that the theory of proper dense pairs of models of a complete and modelcomplete theory of large fields, is a complete theory. As a further consequence of the expansion result we show that there is no real closed and differential field that has a prime model extension in closed ordered differential fields, unless it is itself a closed ordered differential field.

Algebraic Geometry,Logic
Beyond the Fontaine-Wintenberger theorem

Franziska Jahnke,Konstantinos Kartas

2023-06-27

Abstract:Given a perfectoid field, we find an elementary extension and a henselian defectless valuation on it, whose value group is divisible and whose residue field is an elementary extension of the tilt. This specializes to the almost purity theorem over perfectoid valuation rings and Fontaine-Wintenberger. Along the way, we prove an Ax-Kochen/Ershov principle for certain deeply ramified fields, which also uncovers some new model-theoretic phenomena in positive characteristic. Notably, we get that the perfect hull of $\mathbb{F}_p(t)^h$ is an elementary substructure of the perfect hull of $\mathbb{F}_p(\!(t)\!)$.

Commutative Algebra,Logic
Pseudo T-closed fields

Samaria Montenegro,Silvain Rideau-Kikuchi

2024-07-17

Abstract:Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for studying them: the class of pseudo $T$-closed fields, where $T$ is an enriched theory of fields. These fields verify a "local-global" principle for the existence of points on varieties with respect to models of $T$. This approach also enables a good description of some fields equipped with multiple $V$-topologies, particularly pseudo algebraically closed fields with a finite number of valuations. One important result is a (model theoretic) classification result for bounded pseudo $T$-closed fields, in particular we show that under specific hypotheses on $T$, these fields are NTP$_2$ of finite burden.

Logic

On dp-minimal fields

On VC-minimal fields and dp-smallness

Definable henselian valuations on dp-minimal real fields

The classification of dp-minimal integral domains

On non-abelian dp-minimal groups

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

On minimal non-elementary Lie algebras

Minimal Prüfer-Dress rings and products of idempotent matrices

Differentially Henselian Fields

On dp-minimal expansions of the integers II

dp-minimal groups

C-minimal fields have the exchange property

Almost real closed fields with real analytic structure

Minimal varieties of graded PI‐algebras over abelian groups

A dichotomy for $T$-convex fields with a monomial group

Approximation and algebraicity in positive characteristic Hahn fields

Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

Hensel minimality II: Mixed characteristic and a diophantine application

On ordinary differentially large fields

Beyond the Fontaine-Wintenberger theorem

Pseudo T-closed fields