-
The classification of dp-minimal integral domains
Authors:
Christian d'Elbée,
Yatir Halevi,
Will Johnson
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 preim…
▽ More
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.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Note on a bomb dropped by Mr Conant and Mr Kruckman, and its consequences for the theory ACFG
Authors:
Christian d'Elbée
Abstract:
This note is a reaction to Conant and Kruckman's recent preprint `Three surprising instance of dividing'. It mainly consists of an erratum to the author's paper `Forking, imaginaries and other features of ACFG', in light of the results of the aforementioned paper.
This note is a reaction to Conant and Kruckman's recent preprint `Three surprising instance of dividing'. It mainly consists of an erratum to the author's paper `Forking, imaginaries and other features of ACFG', in light of the results of the aforementioned paper.
△ Less
Submitted 30 November, 2023; v1 submitted 3 November, 2023;
originally announced November 2023.
-
Model-theoretic properties of nilpotent groups and Lie algebras
Authors:
Christian d'Elbée,
Isabel Müller,
Nicholas Ramsey,
Daoud Siniora
Abstract:
We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for…
▽ More
We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for $2 < c$, the generic $c$-nilpotent Lie algebra over $\mathbb{F}_{p}$ is strictly NSOP$_{4}$ and $c$-dependent. Via the Lazard correspondence, we obtain the same result for $c$-nilpotent groups of exponent $p$, for an odd prime $p > c$.
△ Less
Submitted 21 June, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
The Ax-Kochen-Ershov Theorem
Authors:
Christian d'Elbée
Abstract:
These are the notes of a course for the summer school Model Theory in Bilbao hosted by the Basque Center for Applied Mathematics (BCAM) and the Universidad del País Vasco/Euskal Herriko Unibertsitatea in September 2023.
The goal of this course is to prove the Ax-Kochen-Ershov (AKE) theorem. This classical result in model theory was proven by Ax and Kochen and independently by Ershov in 1965-1966…
▽ More
These are the notes of a course for the summer school Model Theory in Bilbao hosted by the Basque Center for Applied Mathematics (BCAM) and the Universidad del País Vasco/Euskal Herriko Unibertsitatea in September 2023.
The goal of this course is to prove the Ax-Kochen-Ershov (AKE) theorem. This classical result in model theory was proven by Ax and Kochen and independently by Ershov in 1965-1966. The AKE theorem is considered as the starting point of the model theory of valued fields and witnessed numerous refinements and extensions. To a certain measure, motivic integration can be considered as such. The AKE theorem is not only an important result in model theory, it yields a striking application to $p$-adic arithmetics. Artin conjectured that all $p$-adic fields are $C_2$ (every homogeneous polynomial of degree $d$ and in $>d^2$ variable has a non trivial zero). A consequence of the AKE theorem is that the $p$-adics are asymptotically $C_2$. The conjecture of Artin has been disproved by Terjanian in 1966, yielding that the solution given by the AKE theorem is in a sense optimal. The proof presented here is due to Pas but the general strategy stays faithful to the original paper of Ax and Kochen, which consist in the study of the asymptotic first-order theory of the $p$-adics.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Axiomatic Theory of Independence Relations in Model Theory
Authors:
Christian d'Elbée
Abstract:
This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an introductory chapter. It does not mention first-order theories or formulas. It introduces independence relations in a naive set theory framework. Its goal is to get th…
▽ More
This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an introductory chapter. It does not mention first-order theories or formulas. It introduces independence relations in a naive set theory framework. Its goal is to get the reader familiar with basic axioms of independence relations (which do not need an ambient theory to be stated) as well as introduce closure operators and pregeometries. Chapter 2 introduces the model-theoretic context. The two main examples (algebraically closed fields and the random graph) are described as well as independence relations in those examples. Chapter 3 gives the axioms of independence relations in a model-theoretic context. It introduces the general toolbox of the model-theorists (indiscernible sequences, Ramsey/Erdos-Rado and compactness) and the independence relations of heirs/coheirs with two main applications: Adler's theorem of symmetry (how symmetry emerges from a weaker set of axioms, which is rooted in the work of Kim and Pillay) and a criterion for NSOP4 using stationary independence relations in the style of Conant. Independence relations satisfying Adler's theorem of symmetry are here called 'Adler independence relations' or AIR. Chapter 4 treats forking and dividing. It is proved that dividing independence is always stronger than any AIR (even though it is not an AIR in general) a connection between the independence theorem and forking independence, which holds in all generality and is based on Kim-Pillay's approach. Then, simplicity is defined and the interesting direction of the Kim-Pillay theorem (namely that the existence of an Adler independence relation satisfying the independence theorem yields simplicity) is deduced from earlier results.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Generic multiplicative endomorphism of a field
Authors:
Christian d'Elbée
Abstract:
We introduce the model-companion of the theory of fields expanded by a unary function for a multiplicative map, which we call ACFH. Among others, we prove that this theory is NSOP$_1$ and not simple, that the kernel of the map is a generic pseudo-finite abelian group. We also prove that if forking satisfies existence, then ACFH has elimination of imaginaries.
We introduce the model-companion of the theory of fields expanded by a unary function for a multiplicative map, which we call ACFH. Among others, we prove that this theory is NSOP$_1$ and not simple, that the kernel of the map is a generic pseudo-finite abelian group. We also prove that if forking satisfies existence, then ACFH has elimination of imaginaries.
△ Less
Submitted 17 October, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Vector spaces with a dense-codense generic submodule
Authors:
Alexander Berenstein,
Christian d'Elbée,
Evgueni Vassiliev
Abstract:
We study expansions of a vector space $V$ over a field $\mathbb F$, possibly with extra structure, with a generic submodule over a subring of $\mathbb F$. We construct a natural expansion by existentially defined functions so that the expansion in the extended language satisfies quantifier elimination. We show that this expansion preserves tame model theoretic properties such as stability, NIP, NT…
▽ More
We study expansions of a vector space $V$ over a field $\mathbb F$, possibly with extra structure, with a generic submodule over a subring of $\mathbb F$. We construct a natural expansion by existentially defined functions so that the expansion in the extended language satisfies quantifier elimination. We show that this expansion preserves tame model theoretic properties such as stability, NIP, NTP$_1$, NTP$_2$ and NSOP$_1$. We also study induced independence relations in the expansion.
△ Less
Submitted 11 September, 2023; v1 submitted 22 April, 2022;
originally announced April 2022.
-
Enriching a predicate and tame expansions of the integers
Authors:
Gabriel Conant,
Christian d'Elbée,
Yatir Halevi,
Léo Jimenez,
Silvain Rideau-Kikuchi
Abstract:
Given a structure $\mathcal{M}$ and a stably embedded $\emptyset$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some further structure $\mathcal{Q}$. In particular, we show that if $T=\text{Th}(\mathcal{M})$ and $\text{Th}(\mathcal{Q})$ are stable (resp., superstable, $ω$-stable), then so is the theory $T[\mathcal{Q}]$ of the enrichment of…
▽ More
Given a structure $\mathcal{M}$ and a stably embedded $\emptyset$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some further structure $\mathcal{Q}$. In particular, we show that if $T=\text{Th}(\mathcal{M})$ and $\text{Th}(\mathcal{Q})$ are stable (resp., superstable, $ω$-stable), then so is the theory $T[\mathcal{Q}]$ of the enrichment of $\mathcal{M}$ by $\mathcal{Q}$. Assuming simplicity of $T$, elimination of hyperimaginaries and a further condition on $Q$ related to the behavior of algebraic closure, we also show that simplicity and NSOP$_1$ pass from $\text{Th}(\mathcal{Q})$ to $T[\mathcal{Q}]$. We then prove several applications for tame expansions of weakly minimal structures and, in particular, the group of integers. For example, we construct the first known examples of strictly stable expansions of $(\mathbb{Z},+)$. More generally, we show that any stable (resp., superstable, simple, NIP, NTP$_2$, NSOP$_1$) countable graph can be defined in a stable (resp., superstable, simple, NIP, NTP$_2$, NSOP$_1$) expansion of $(\mathbb{Z},+)$ by some unary predicate $A\subseteq\mathbb{N}$.
△ Less
Submitted 11 October, 2023; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Existentially closed models of fields with a distinguished submodule
Authors:
Christian d'Elbée,
Itay Kaplan,
Leor Neuhauser
Abstract:
This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in…
▽ More
This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in this context this class is NSOP$_1$ and TP$_2$.
△ Less
Submitted 18 September, 2022; v1 submitted 5 October, 2021;
originally announced October 2021.
-
On algebraically closed fields with a distinguished subfield
Authors:
Christian d'Elbée,
Itay Kaplan,
Leor Neuhauser
Abstract:
This paper is concerned with the model-theoretic study of pairs $(K,F)$ where $K$ is an algebraically closed field and $F$ is a distinguished subfield of $K$ allowing extra structure. We study the basic model-theoretic properties of those pairs, such as quantifier elimination, model-completeness and saturated models. We also prove some preservation results of classification-theoretic notions such…
▽ More
This paper is concerned with the model-theoretic study of pairs $(K,F)$ where $K$ is an algebraically closed field and $F$ is a distinguished subfield of $K$ allowing extra structure. We study the basic model-theoretic properties of those pairs, such as quantifier elimination, model-completeness and saturated models. We also prove some preservation results of classification-theoretic notions such as stability, simplicity, NSOP$_1$, and NIP. As an application, we conclude that a PAC field is NSOP$_1$ iff its absolute Galois group is (as a profinite group).
△ Less
Submitted 24 August, 2022; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Cyclic and non-cyclic division algebras of finite dp-rank
Authors:
Christian d'Elbée
Abstract:
Milliet asks the following question: given two prime numbers $p\neq q$, is there a division algebra of characteristic $p$ which is of dp-rank $q^2$ and of dimension $q^2$ over its center? We answer in the affirmative. We also give an example of a finite burden central division algebra over some ultraproduct of $p$-adic numbers. As a conclusion we revisit an example of Albert to prove that there ex…
▽ More
Milliet asks the following question: given two prime numbers $p\neq q$, is there a division algebra of characteristic $p$ which is of dp-rank $q^2$ and of dimension $q^2$ over its center? We answer in the affirmative. We also give an example of a finite burden central division algebra over some ultraproduct of $p$-adic numbers. As a conclusion we revisit an example of Albert to prove that there exists non-cyclic division algebras of finite dp-rank.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Dp-minimal integral domains
Authors:
Christian d'Elbée,
Yatir Halevi
Abstract:
It is shown that every dp-minimal integral domain $R$ is a local ring and for every non-maximal prime ideal $\mathfrak p $ of $R$, the localization $R_{\mathfrak p }$ is a valuation ring and $\mathfrak{p}R_{\mathfrak{p}}=\mathfrak{p}$. Furthermore, a dp-minimal integral domain is a valuation ring if and only if its residue field is infinite or its residue field is finite and its maximal ideal is p…
▽ More
It is shown that every dp-minimal integral domain $R$ is a local ring and for every non-maximal prime ideal $\mathfrak p $ of $R$, the localization $R_{\mathfrak p }$ is a valuation ring and $\mathfrak{p}R_{\mathfrak{p}}=\mathfrak{p}$. Furthermore, a dp-minimal integral domain is a valuation ring if and only if its residue field is infinite or its residue field is finite and its maximal ideal is principal.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
Generic expansion of an abelian variety by a subgroup
Authors:
Christian d'Elbée
Abstract:
Let $A$ be an abelian variety in a field of characteristic $0$. We prove that the expansion of $A$ by a generic divisible subgroup of $A$ with the same torsion exists provided $A$ has few algebraic endomorphisms, namely $\mathrm{End}(A)=\mathbb Z$. The resulting theory is $\mathrm{NSOP}_1$ and not simple. Note that there exist abelian varieties $A$ with $\mathrm{End}(A) = \mathbb{Z}$ of any genus.…
▽ More
Let $A$ be an abelian variety in a field of characteristic $0$. We prove that the expansion of $A$ by a generic divisible subgroup of $A$ with the same torsion exists provided $A$ has few algebraic endomorphisms, namely $\mathrm{End}(A)=\mathbb Z$. The resulting theory is $\mathrm{NSOP}_1$ and not simple. Note that there exist abelian varieties $A$ with $\mathrm{End}(A) = \mathbb{Z}$ of any genus. We indicate how this result can be extended to any simple abelian variety by considering the expansion by a predicate for some submodule over $\mathrm{End}(A)$.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Forking, Imaginaries and other features of ACFG
Authors:
Christian d'Elbée
Abstract:
We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called $\mathrm{ACFG}$. This theory was introduced recently as a new example of $\mathrm{NSOP}_1$ non simple theory. In this paper we describe more features of $\mathrm{ACFG}$, such as imaginaries. We also study various independence relations in $\mathrm{ACFG}$, su…
▽ More
We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called $\mathrm{ACFG}$. This theory was introduced recently as a new example of $\mathrm{NSOP}_1$ non simple theory. In this paper we describe more features of $\mathrm{ACFG}$, such as imaginaries. We also study various independence relations in $\mathrm{ACFG}$, such as Kim-independence or forking independence, and describe interactions between them.
△ Less
Submitted 30 October, 2019; v1 submitted 21 December, 2018;
originally announced December 2018.
-
Generic Expansions by a Reduct
Authors:
Christian d'Elbée
Abstract:
Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to $TS$. In particular, we study conditions for which this expansion preserves the $\NSOP{1}$-ness, the simplicity or the stability of the starting theory $T$. We give…
▽ More
Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to $TS$. In particular, we study conditions for which this expansion preserves the $\NSOP{1}$-ness, the simplicity or the stability of the starting theory $T$. We give concrete examples of new $\NSOP{1}$ not simple theories obtained by this process, among them the expansion of a perfect $ω$-free $\PAC$ field of positive characteristic by generic additive subgroups, and the expansion of an algebraically closed field of \emph{any} characteristic by a generic multiplicative subgroup.
△ Less
Submitted 30 October, 2019; v1 submitted 27 October, 2018;
originally announced October 2018.
-
A new dp-minimal expansion of the integers
Authors:
Eran Alouf,
Christian d'Elbée
Abstract:
We consider the structure $(\mathbb{Z},+,0,|_{p_{1}},\dots,|_{p_{n}})$, where $x|_{p}y$ means $v_{p}(x)\leq v_{p}(y)$ and $v_p$ is the $p$-adic valuation. We prove that its theory has quantifier elimination in the language $\{+,-,0,1,(D_{m})_{m\geq1},|_{p_{1}},\dots,|_{p_{n}}\}$ where $D_m(x)\leftrightarrow \exists y ~ my = x$, and that it has dp-rank $n$. In addition, we prove that a first order…
▽ More
We consider the structure $(\mathbb{Z},+,0,|_{p_{1}},\dots,|_{p_{n}})$, where $x|_{p}y$ means $v_{p}(x)\leq v_{p}(y)$ and $v_p$ is the $p$-adic valuation. We prove that its theory has quantifier elimination in the language $\{+,-,0,1,(D_{m})_{m\geq1},|_{p_{1}},\dots,|_{p_{n}}\}$ where $D_m(x)\leftrightarrow \exists y ~ my = x$, and that it has dp-rank $n$. In addition, we prove that a first order structure with universe $\mathbb{Z}$ which is an expansion of $(\mathbb{Z},+,0)$ and a reduct of $(\mathbb{Z},+,0,|_{p})$ must be interdefinable with one of them. We also give an alternative proof for Conant's analogous result about $(\mathbb{Z},+,0,<)$.
△ Less
Submitted 17 February, 2019; v1 submitted 22 July, 2017;
originally announced July 2017.