-
Intermediate models with deep failure of choice
Authors:
Yair Hayut,
Assaf Shani
Abstract:
The following question was asked by Grigorieff: Suppose $V$ is a ZFC model and $V[G]$ is a set-generic extension of $V$. Can there be a ZF model $N$ so that $V\subset N \subset V[G]$ yet $N$ is not equal to $V(A)$ for any set $A\in V[G]$? The first such model was constructed by Karagila. This is the so-called \emph{Bristol model}, an intermediate model between $L$ and $L[c]$ where $c$ is a Cohen-g…
▽ More
The following question was asked by Grigorieff: Suppose $V$ is a ZFC model and $V[G]$ is a set-generic extension of $V$. Can there be a ZF model $N$ so that $V\subset N \subset V[G]$ yet $N$ is not equal to $V(A)$ for any set $A\in V[G]$? The first such model was constructed by Karagila. This is the so-called \emph{Bristol model}, an intermediate model between $L$ and $L[c]$ where $c$ is a Cohen-generic real over $L$. Karagila further proves that the Kinna-Wager degree is unbounded in this model.
We prove that such an intermediate extension can be found in a Cohen-generic extension of \emph{any} ground model, fully resolving Grigorieff's question. That is, let $V$ be \emph{any} ZF model and $c$ a Cohen-generic real over $V$. We prove that there is an intermediate ZF-model $V\subset N \subset V[c]$ so that $N$ is not equal to $V(A)$ for any set $A\in V[c]$, the Kinna-Wagner degree of $N$ is unbounded and, in particular, no set forcing in $N$ forces the axiom of choice.
Therefore, there are class many different intermediate models of ZF between $V$ and $V[c]$.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
Authors:
Assaf Shani
Abstract:
Fix $n=1,2,3,\dots$ or $n=ω$. We prove a dichotomy for Borel homomorphisms from the $n$-th Friedman-Stanley jump $=^{+n}$ to an equivalence relation $E$ which is classifiable by countable structures: if there is no reduction from $=^{+n}$ to $E$, then in fact all Borel homomorphisms are very far from a reduction. For this we use a different presentation of $=^{+n}$, equivalent up to Borel bi-reduc…
▽ More
Fix $n=1,2,3,\dots$ or $n=ω$. We prove a dichotomy for Borel homomorphisms from the $n$-th Friedman-Stanley jump $=^{+n}$ to an equivalence relation $E$ which is classifiable by countable structures: if there is no reduction from $=^{+n}$ to $E$, then in fact all Borel homomorphisms are very far from a reduction. For this we use a different presentation of $=^{+n}$, equivalent up to Borel bi-reducibility, which is susceptible to Baire-category techniques.
This dichotomy is seen as a method for proving positive Borel reducibility results from $=^{+n}$. As corollaries we prove: (1) for $n\leqω$, $=^{+n}$ is in the spectrum of the meager ideal. This extends a result of Kanovei, Sabok, and Zapletal for $n=1$; (2) $=^{+ω}$ is a regular equivalence relation. This answers positively a question of Clemens; (3) for $n<ω$, the equivalence relations, classifiable by countable structures, which do not Borel reduce $=^{+n}$ are closed under countable products. This extends a result of Kanovei, Sabok, and Zapletal for $n=1$.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Strong ergodicity for the Gamma-jump operator and for actions of Polish wreath products
Authors:
Assaf Shani
Abstract:
Let $Γ$ and $Δ$ be sufficiently distinct countable groups. We show that there is an orbit equivalence relation $E$, induced by an action of the Polish wreath product group $Γ\wrΓ$, so that $E$ is generically $F$-ergodic for any orbit equivalence relation $F$ induced by an action of $Δ\wrΔ$. More generally, we establish generic ergodicity between $Γ$-jumps and the iterated $Δ$-jumps, answering a qu…
▽ More
Let $Γ$ and $Δ$ be sufficiently distinct countable groups. We show that there is an orbit equivalence relation $E$, induced by an action of the Polish wreath product group $Γ\wrΓ$, so that $E$ is generically $F$-ergodic for any orbit equivalence relation $F$ induced by an action of $Δ\wrΔ$. More generally, we establish generic ergodicity between $Γ$-jumps and the iterated $Δ$-jumps, answering a question of Clemens and Coskey. The proofs follow a translation between Borel homomorphisms and definable pins.
△ Less
Submitted 27 March, 2022;
originally announced March 2022.
-
Classifying invariants for $E_1$: A tail of a generic real
Authors:
Assaf Shani
Abstract:
Let $E$ be an analytic equivalence relation on a Polish space. We introduce a framework for studying the possible "reasonable" complete classifications and the complexity of possible classifying invariants for $E$, such that: (1) the standard results and intuitions regarding classifications by countable structures are preserved in this framework; (2) this framework respects Borel reducibility; (3)…
▽ More
Let $E$ be an analytic equivalence relation on a Polish space. We introduce a framework for studying the possible "reasonable" complete classifications and the complexity of possible classifying invariants for $E$, such that: (1) the standard results and intuitions regarding classifications by countable structures are preserved in this framework; (2) this framework respects Borel reducibility; (3) this framework allows for a precise study of the possible invariants of certain equivalence relations which are not classifiable by countable structures, such as $E_1$.
In this framework we show that $E_1$ can be classified, with classifying invariants which are $κ$-sequences of $E_0$-classes where $κ=\mathfrak{b}$, and it cannot be classified in such a manner if $κ<\mathbf{add}(\mathcal{B})$.
These results depend on analyzing the following sub-model of a Cohen real extension, introduced by Kanovei-Sabok-Zapletal (2013) and Larson-Zapletal (2020). Let $\left<c_n:\,n<ω\right>$ be a generic sequence of Cohen reals, and define the tail intersection model
$$M=\bigcap_{n<ω}V[\left<c_m:\,m\geq n\right>].$$ An analysis of reals in $M$ will provide lower bounds for the possible invariants for $E_1$.
We also extend the characterization of turbulence from Larson-Zapletal (2020) in terms of intersection models.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Actions of tame abelian product groups
Authors:
Shaun Allison,
Assaf Shani
Abstract:
A Polish group $G$ is tame if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel. When $G = \prod_n Γ_n$ for countable abelian $Γ_n$, Solecki (1995) gave a characterization for when $G$ is tame. Ding and Gao (2017) showed that for such $G$, the orbit equivalence relation must in fact be potentially $\mathbfΠ^0_6$, while conjecturing that the optimal bound could…
▽ More
A Polish group $G$ is tame if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel. When $G = \prod_n Γ_n$ for countable abelian $Γ_n$, Solecki (1995) gave a characterization for when $G$ is tame. Ding and Gao (2017) showed that for such $G$, the orbit equivalence relation must in fact be potentially $\mathbfΠ^0_6$, while conjecturing that the optimal bound could be $\mathbfΠ^0_3$. We show that the optimal bound is $D(\mathbfΠ^0_5)$ by constructing an action of such a group $G$ which is not potentially $\mathbfΠ^0_5$, and show how to modify the analysis of Ding and Gao to get this slightly better upper bound. It follows, using the results of Hjorth, Kechris, and Louvaeu (1998), that this is the optimal bound for the potential complexity of actions of tame abelian product groups. Our lower-bound analysis involves forcing over models of set theory where choice fails for sequences of finite sets.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension
Authors:
Aristotelis Panagiotopoulos,
Assaf Shani
Abstract:
The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\inω$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of $A\setminus\{a\}$ is finite. We study the Bernoulli shift $P\curvearrowright \mathbb{R}^{\mathbb{N}}$ for various Polish permutation groups $P$ and we provide criteria und…
▽ More
The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\inω$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of $A\setminus\{a\}$ is finite. We study the Bernoulli shift $P\curvearrowright \mathbb{R}^{\mathbb{N}}$ for various Polish permutation groups $P$ and we provide criteria under which the $P$-shift is generically ergodic relative to the injective part of the $Q$-shift, when $Q$ has algebraic dimension $\leq n$. We use this to show that the sequence of pairwise $*$-reduction-incomparable equivalence relations defined in [KP21] is a strictly increasing sequence in the Borel reduction hierarchy. We also use our main theorem to exhibit an equivalence relation of pinned cardinal $\aleph_1^{+}$ which strongly resembles the equivalence relation of pinned cardinal $\aleph_1^{+}$ from [Zap11], but which does not Borel reduce to the latter. It remains open whether they are actually incomparable under Borel reductions.
Our proofs rely on the study of symmetric models whose symmetries come from the group $Q$. We show that when $Q$ is "locally finite" -- e.g. when $Q=\mathrm{Aut}(\mathcal{M})$, where $\mathcal{M}$ is a locally finite countable structure with no algebraicity -- the corresponding symmetric model admits a theory of supports which is analogous to that in the basic Cohen model.
△ Less
Submitted 14 April, 2024; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Anti-classification results for groups acting freely on the line
Authors:
Filippo Calderoni,
David Marker,
Luca Motto Ros,
Assaf Shani
Abstract:
We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism rel…
▽ More
We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism relation for countable ordered Archimedean groups, and pin its complexity in terms of the hierarchy of Hjorth, Kechris and Louveau. In particular, we show that its potential class is not $\boldsymbolΠ^0_3$. This topological constraint prevents classifying Archimedean groups using countable subsets of reals. We obtain analogous results for the bi-embeddability relation, and we consider similar problems for circularly ordered groups, and o-minimal structures such as ordered divisible Abelian groups, and real closed fields. Our proofs combine classical results on Archimedean groups, the theory of Borel equivalence relations, and analyzing definable sets in the basic Cohen model and other models of Zermelo-Fraenkel set theory without choice.
△ Less
Submitted 13 January, 2023; v1 submitted 15 October, 2020;
originally announced October 2020.
-
Strong ergodicity around countable products of countable equivalence relations
Authors:
Assaf Shani
Abstract:
This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $μ$ then $E^\mathbb{N}$ is strongly ergodic with respect to $μ^\mathbb{N}$. We answer questions of Clemens and Coskey regarding their recently defined $Γ$-jump operations, in parti…
▽ More
This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $μ$ then $E^\mathbb{N}$ is strongly ergodic with respect to $μ^\mathbb{N}$. We answer questions of Clemens and Coskey regarding their recently defined $Γ$-jump operations, in particular showing that the $\mathbb{Z}^2$-jump of $E_\infty$ is strictly above the $\mathbb{Z}$-jump of $E_\infty$. We study a notion of equivalence relations which can be classified by infinite sequences of "definably countable sets". In particular, we define an interesting example of such equivalence relation which is strictly above $E_\infty^\mathbb{N}$, strictly below $=^+$, and is incomparable with the $Γ$-jumps of countable equivalence relations.
We establish a characterization of strong ergodicity between Borel equivalence relations in terms of symmetric models. The proofs then rely on a fine analysis of the very weak choice principles "every sequence of $E$-classes admits a choice sequence", for various countable Borel equivalence relations $E$.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Borel reducibility and symmetric models
Authors:
Assaf Shani
Abstract:
We develop a correspondence between the study of Borel equivalence relations induced by closed subgroups of $S_\infty$, and the study of symmetric models and weak choice principles, and apply it to prove a conjecture of Hjorth-Kechris-Louveau (1998). For example, we show that the equivalence relation $\cong^\ast_{ω+1,0}$ is strictly below $\cong^\ast_{ω+1,<ω}$ in Borel reducibility. By results of…
▽ More
We develop a correspondence between the study of Borel equivalence relations induced by closed subgroups of $S_\infty$, and the study of symmetric models and weak choice principles, and apply it to prove a conjecture of Hjorth-Kechris-Louveau (1998). For example, we show that the equivalence relation $\cong^\ast_{ω+1,0}$ is strictly below $\cong^\ast_{ω+1,<ω}$ in Borel reducibility. By results of Hjorth-Kechris-Louveau, $\cong^\ast_{ω+1,<ω}$ provides invariants for $Σ^0_{ω+1}$ equivalence relations induced by actions of $S_\infty$, while $\cong^\ast_{ω+1,0}$ provides invariants for $Σ^0_{ω+1}$ equivalence relations induced by actions of abelian closed subgroups of $S_\infty$. We further apply these techniques to study the Friedman-Stanley jumps. For example, we find an equivalence relation $F$, Borel bireducible with $=^{++}$, so that $F\restriction C$ is not Borel reducible to $=^{+}$ for any non-meager set $C$. This answers a question of Zapletal, arising from the results of Kanovei-Sabok-Zapletal (2013). For these proofs we analyze the symmetric models $M_n$, $n<ω$, developed by Monro (1973), and extend the construction past $ω$, through all countable ordinals. This answers a question of Karagila (2019).
△ Less
Submitted 24 November, 2020; v1 submitted 15 October, 2018;
originally announced October 2018.