arXiv subjects
Publications and source records attributed to Erik Walsberg.
We show that large rosy fields are bounded, and substantially simplify the proofs that large stable fields are separably closed and that large simple fields are bounded. Our proofs go through in a general topological setting. We obtain instability, non-simplicity, and non-rosiness explicitly by building the appropriate trees of definable sets. We also show that orders on large rosy fields have several properties of orders on pseudo real closed fields.
We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.
Motivated by the "composition theorems" of Chernikov-Hempel and Abd Aldaim-Conant-Terry we introduce $k$-trace definability between first order theories. Any theory which is $k$-trace definable in a NIP theory is $k$-NIP and any theory which is $2$-trace definable in a stable theory is $2$-NFOP. All known examples of $k$-NIP theories are $k$-trace definable in NIP theories. We show that for several of the main examples of $k$-NIP theories $T$ there is a NIP theory $T^*$ such that $T$ is the (unique up to a certain notion of equivalence) universal theory which is $k$-trace definable in $T^*$. For example the theory of Hilbert space is the universal theory which is $2$-trace definable in RCF, the theory of the generic class $k$ nilpotent Lie algebra over $\mathbb{F}_p$ is the universal theory which is $k$-trace definable in the theory of infinite $\mathbb{F}_p$-vector spaces, the theory of the generic $k$-hypergraph is the universal theory which is $k$-trace definable in the theory of a set with two elements, and the theory of Uryshon space is the universal theory which is $2$-trace definable in the theory of $(\mathbb{R}; +, <)$. We construct the universal theory $D_k(T)$ which is $k$-trace definable in an arbitrary theory $T$.
We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite group but the Shelah completion of $\mathscr{M}$ interprets an infinite field. We introduce a weak notion of interpretability called local trace definability between first order structures and an associated weak notion of equivalence. We give a dichotomy between ``linearity" and ``field structure" for dp-minimal expansions of archimedean ordered abelian groups. We also prove several other results about trace definability and local trace definability between various classes of structures.
We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $κ\ge \aleph_0$ such that $T^*$ is trace equivalent to the theory of $κ$-dimensional space over a model of $T$.
Fix a field $K$. We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the étale-open topology over $K$: if $K$ is not separably closed and $V \to W$ is an étale morphism of $K$-varieties then $V(K) \to W(K)$ is a local homeomorphism in the étale-open topology. This, in turn, follows from results comparing the étale-open topology on $V(K)$ and the finite-closed topology on $V(K)$, newly introduced in this paper. We show that the étale-open topology refines the finite-closed topology when $K$ is perfect, and that the finite-closed topology refines the étale-open topology when $K$ is bounded. It follows that these two topologies agree in many natural examples. On the other hand, we construct several examples where these two differ, which allows us to answer a question of Lampe.
Suppose that $K$ is a characteristic zero field with infinite transcendence degree over its prime subfield. We show that if there is a gt-henselian topology on $K$ then there are $2^{2^{|K|}}$ pairwise incomparable gt-henselian topologies on $K$. It follows by applying a recent theorem of Will Johnson that if $K$ is large and countable then there are $2^{2^{\aleph_0}}$ pairwise incomparable gt-henselian topologies on $K$. We also formulate several conjectures concerning gt-henselian field topologies and their relationship with the étale-open topology.
In this short note we give some corollaries of the polynomial inverse function theorem for large fields. We prove inverse and implicit function theorems for Nash maps over large fields, characterize large fields as fields satisfying inverse or implicit function theorems, give inverse and implicit function theorems for gt-henselian field topologies, and show that definable functions in various logically tame fields of characteristic zero are generically Nash. We prove a version of Krasner's lemma for large fields and describe how Nash functions give a natural proof of the well-known fact that a large field $K$ is existentially closed in $K(\!(t)\!)$.
We investigate the following question: Given a field $K$, when is the étale open topology $\mathcal{E}_K$ induced by a field topology? On the positive side, when $K$ is the fraction field of a local domain $R\neq K$, using a weak form of resolution of singularities due to Gabber, we show that $\mathcal{E}_K$ agrees with the $R$-adic topology when $R$ is quasi-excellent and henselian. Various pathologies appear when dropping the quasi-excellence assumption. For locally bounded field topologies, we introduce the notion of generalized t-henselianity (gt-henselianity) following Prestel and Ziegler. We establish the following: For a locally bounded field topology $τ$, the étale open topology is induced by $τ$ if and only if $τ$ is gt-henselian and some non-empty étale image is $τ$-bounded open. On the negative side, we obtain that for a pseudo-algebraically closed field $K$, $\mathcal{E}_K$ is never induced by a field topology.
We show that if $X$ is virtually any classical fractal subset of $\mathbb{R}^n$, then $(\mathbb{R},<,+,X)$ interprets the monadic second-order theory of $(\mathbb{N},+1)$. This result is sharp in the sense that the standard model of the monadic second-order theory of $(\mathbb{N},+1)$ is known to interpret $(\mathbb{R},<,+,X)$ for various classical fractals $X$ including the middle-thirds Cantor set and the Sierpinski carpet. Let $X \subseteq \mathbb{R}^n$ be closed and nonempty. We show that if the $C^k$-smooth points of $X$ are not dense in $X$ for some $k \geq 1$, then $(\mathbb{R},<,+,X)$ interprets the monadic second-order theory of $(\mathbb{N},+1)$. The same conclusion holds if the packing dimension of $X$ is strictly greater than the topological dimension of $X$ and $X$ has no affine points.
Let $K$ be a field. The étale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The étale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically closed then the étale open topology agrees with the Zariski, order, valuation topology, respectively. We show that existentially definable sets in perfect large fields behave well with respect to this topology: such sets are finite unions of étale open subsets of Zariski closed sets. This implies that existentially definable sets in arbitrary perfect large fields enjoy some of the well-known topological properties of definable sets in algebraically, real, and $p$-adically closed fields. We introduce and study the class of éz fields: $K$ is éz if $K$ is large and every definable set is a finite union of étale open subsets of Zariski closed sets. This should be seen as a generalized notion of model completeness for large fields. Algebraically closed, real closed, $p$-adically closed, and bounded $\mathrm{PAC}$ fields are éz. (In particular pseudofinite fields and infinite algebraic extensions of finite fields are éz.) We develop the basics of a theory of definable sets in éz fields. This gives a uniform approach to the theory of definable sets across all characteristic zero local fields and a new topological theory of definable sets in bounded $\mathrm{PAC}$ fields. We also show that some prominent examples of possibly non-model complete model-theoretically tame fields (characteristic zero Henselian fields and Frobenius fields) are éz.
Suppose that $R$ is a local domain with fraction field $K$. If $R$ is Henselian then the $R$-adic topology over $K$ refines the étale open topology. If $R$ is regular then the étale open topology over $K$ refines the $R$-adic topology. In particular the étale open topology over $L((t_1,\ldots,t_n))$ agrees with the $L[[t_1,\ldots,t_n]]$-adic topology for any field $L$ and $n \ge 1$.
Suppose that $K$ is an infinite field which is large (in the sense of Pop) and whose first order theory is simple. We show that $K$ is {\em bounded}, namely has only finitely many separable extensions of any given finite degree. We also show that any genus $0$ curve over $K$ has a $K$-point and if $K$ is additionally perfect then $K$ has trivial Brauer group. These results give evidence towards the conjecture that large simple fields are bounded PAC. Combining our results with a theorem of Lubotzky and van den Dries we show that there is a bounded $\mathrm{PAC}$ field $L$ with the same absolute Galois group as $K$. In the appendix we show that if $K$ is large and $\mathrm{NSOP}_\infty$ and $v$ is a non-trivial valuation on $K$ then $(K,v)$ has separably closed Henselization, so in particular the residue field of $(K,v)$ is algebraically closed and the value group is divisible. The appendix also shows that formally real and formally $p$-adic fields are $\mathrm{SOP}_\infty$ (without assuming largeness).
We introduce trace definability, a weak notion of interpretability, and trace equivalence, a weak notion of equivalence for first order structures and theories. In particular we get an interesting weak equivalence notion for $\mathrm{NIP}$ theories. We describe a close connection to indiscernible collapse. We also show that if $Q$ is a divisible subgroup of $(\mathbb{R};+)$ and $\mathcal{Q}$ is a dp-rank one expansion of $(Q;+,<)$ then exactly one of the following holds: $\mathrm{Th}(\mathcal{Q})$ trace defines $\mathrm{RCF}$ or $\mathcal{Q}$ is trace equivalent to a reduct of an ordered vector space.
A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups (in articular archimedean ordered abelian groups), and abelian groups equipped with archimedean cyclic group orders. The latter allows us to describe unary definable sets in dp-minimal expansions of $(\mathbb{Z},+,C)$, where $C$ is a cyclic group order. Along the way we describe unary definable sets in dp-minimal expansions of ordered abelian groups. In the last section we give a canonical correspondence between dp-minimal expansions of $(\mathbb{Q},+,<)$ and o-minimal expansions $\mathcal{R}$ of $(\mathbb{R},+,<)$ such that $(\mathcal{R},\mathbb{Q})$ is a "dense pair".
We study interpolative fusion, a method of combining theories $T_1$ and $T_2$ in distinct languages in a "generic" way over a common reduct $T_\cap$, to obtain a theory $T_\cup^*$. When each $T_i$ is model-complete, $T_\cup^*$ is the model companion of the union $T_1\cup T_2$. Our goal is to prove preservation results, i.e., to find sufficient conditions under which model-theoretic properties of $T_1$ and $T_2$ are inherited by $T_\cup^*$. We first prove preservation results for quantifier elimination, model-completeness, and related properties. We then apply these tools to show that, under mild hypotheses, including stability of $T_\cap$, the property $\mathrm{NSOP}_1$ is preserved. We also show that simplicity is preserved under stronger hypotheses on algebraic closure in $T_1$ and $T_2$. This generalizes many previous results; for example, simplicity of $\mathrm{ACFA}$ and the random $n$-hypergraph are both non-obvious corollaries. We also address preservation of stability, $\mathrm{NIP}$, and $\aleph_0$-categoricity, and we describe examples which witness that these results are sharp.
We define the interpolative fusion $T^*_\cup$ of a family $(T_i)_{i \in I}$ of first-order theories over a common reduct $T_\cap$, a notion that generalizes many examples of random or generic structures in the model-theoretic literature. When each $T_i$ is model-complete, $T^*_\cup$ coincides with the model companion of $T_\cup = \bigcup_{i \in I} T_i$. By obtaining sufficient conditions for the existence of $T^*_\cup$, we develop new tools to show that theories of interest have model companions.
For an arbitrary field $K$ and $K$-variety $V$, we introduce the étale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably closed, real closed, or $p$-adically closed, respectively. Topological properties of the étale-open topology corresponds to algebraic properties of $K$. For example, the étale-open topology on $\mathbb{A}^1(K)$ is not discrete if and only if $K$ is large. As an application, we show that a large stable field is separably closed.