-
Borel graphable equivalence relations
Authors:
Tyler Arant,
Alexander S. Kechris,
Patrick Lutz
Abstract:
This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main focus is the question of which analytic equivalence relations are Borel graphable. First, we study an equivalence relation arising from the theory of countable admissible ordinals and show that it is Borel graphable if a…
▽ More
This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main focus is the question of which analytic equivalence relations are Borel graphable. First, we study an equivalence relation arising from the theory of countable admissible ordinals and show that it is Borel graphable if and only if there is a non-constructible real. As a corollary of the proof, we construct an analytic equivalence relation which is (provably in ZFC) not Borel graphable and an effectively analytic equivalence relation which is Borel graphable but not effectively Borel graphable. Next, we study analytic equivalence relations given by the isomorphism relation for some class of countable structures. We show that all such equivalence relations are Borel graphable, which implies that for every Borel action of $S_\infty$, the associated orbit equivalence relation is Borel graphable. This leads us to study the class of Polish groups whose Borel actions always give rise to Borel graphable orbit equivalence relations; we refer to such groups as graphic groups. We show that besides $S_\infty$, the class of graphic groups includes all connected Polish groups and is closed under countable products. We finish by studying structural properties of the class of Borel graphable analytic equivalence relations and by considering two variations on Borel graphability: a generalization with hypegraphs instead of graphs and an analogue of Borel graphability in the setting of computably enumerable equivalence relations.
△ Less
Submitted 12 November, 2024; v1 submitted 13 September, 2024;
originally announced September 2024.
-
Invariant uniformization
Authors:
Alexander S. Kechris,
Michael Wolman
Abstract:
Standard results in descriptive set theory provide sufficient conditions for a set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has ''small'' sections or ''large'' sections. We consider an invariant analogue of these results: Given a Borel equivalence relation $E$ and an $E$-invariant set $P$ with ''small'' or ''large'' sections…
▽ More
Standard results in descriptive set theory provide sufficient conditions for a set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has ''small'' sections or ''large'' sections. We consider an invariant analogue of these results: Given a Borel equivalence relation $E$ and an $E$-invariant set $P$ with ''small'' or ''large'' sections, does $P$ admit an $E$-invariant Borel uniformization?
Given $E$, we show that every such $P$ admits an $E$-invariant Borel uniformization if and only if $E$ is smooth. We also compute the definable complexity of counterexamples in the case where $E$ is not smooth, using category, measure, and Ramsey-theoretic methods.
We provide two new proofs of a dichotomy of Miller classifying the pairs $(E, P)$ such that $P$ admits an $E$-invariant uniformization, for $P$ with countable sections. In the process, we prove an $\aleph_0$-dimensional $(G_0, H_0)$ dichotomy, generalizing dichotomies of Miller and Lecomte. We also show that the set of pairs $(E, P)$ such that $P$ has ''large'' sections and admits an $E$-invariant Borel uniformization is $\boldsymbol{Σ^1_2}$-complete; in particular, there is no analog of Miller's dichotomy for $P$ with ''large'' sections.
Finally, we consider a less strict notion of invariant uniformization, where we select a countable nonempty subset of each section instead of a single point.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
An effective version of Nadkarni's Theorem
Authors:
Alexander S. Kechris,
Michael S. Wolman
Abstract:
Nadkarni's Theorem asserts that for a countable Borel equivalence relation (CBER) exactly one of the following holds: (1) It has an invariant Borel probability measure or (2) it admits a Borel compression, i.e., a Borel injection that maps each equivalence class to a proper subset of it. We prove in this paper an effective version of Nadkarni's Theorem, which shows that if a CBER is effectively Bo…
▽ More
Nadkarni's Theorem asserts that for a countable Borel equivalence relation (CBER) exactly one of the following holds: (1) It has an invariant Borel probability measure or (2) it admits a Borel compression, i.e., a Borel injection that maps each equivalence class to a proper subset of it. We prove in this paper an effective version of Nadkarni's Theorem, which shows that if a CBER is effectively Borel, then either alternative (1) above holds or else it admits an effectively Borel compression. As a consequence if a CBER is effectively Borel and admits a Borel compression, then it actually admits an effectively Borel compression. We also prove an effective version of the ergodic decomposition theorem. Finally a counterexample is given to show that alternative (1) above does not admit an effective version.
△ Less
Submitted 1 September, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Realizations of countable Borel equivalence relations
Authors:
Joshua Frisch,
Alexander Kechris,
Forte Shinko,
Zoltán Vidnyánszky
Abstract:
We study topological realizations of countable Borel equivalence relations, including realizations by continuous actions of countable groups, with additional desirable properties. Some examples include minimal realizations on any perfect Polish space, realizations as $K_σ$ relations, and realizations by continuous actions on the Baire space. We also consider questions related to realizations of sp…
▽ More
We study topological realizations of countable Borel equivalence relations, including realizations by continuous actions of countable groups, with additional desirable properties. Some examples include minimal realizations on any perfect Polish space, realizations as $K_σ$ relations, and realizations by continuous actions on the Baire space. We also consider questions related to realizations of specific important equivalence relations, like Turing and arithmetical equivalence. We focus in particular on the problem of realization by continuous actions on compact spaces and more specifically subshifts. This leads to the study of properties of subshifts, including universality of minimal subshifts, and a characterization of amenability of a countable group in terms of subshifts. Moreover we consider a natural universal space for actions and equivalence relations and study the descriptive and topological properties in this universal space of various properties, like, e.g., compressibility, amenability or hyperfiniteness.
△ Less
Submitted 12 December, 2023; v1 submitted 25 September, 2021;
originally announced September 2021.
-
Lifts of Borel actions on quotient spaces
Authors:
Joshua Frisch,
Alexander Kechris,
Forte Shinko
Abstract:
Given a countable Borel equivalence relation E and a countable group G, we study the problem of when a Borel action of G on X/E can be lifted to a Borel action of G on X.
Given a countable Borel equivalence relation E and a countable group G, we study the problem of when a Borel action of G on X/E can be lifted to a Borel action of G on X.
△ Less
Submitted 24 January, 2022; v1 submitted 2 November, 2020;
originally announced November 2020.
-
On Polish groups admitting non-essentially countable actions
Authors:
Alexander S. Kechris,
Maciej Malicki,
Aristotelis Panagiotopoulos,
Joseph Zielinski
Abstract:
It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-archimedean Polish gr…
▽ More
It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-archimedean Polish groups, for which we provide an alternative proof based on a new criterion for non-essential countability. Finally, we provide the following variant of a theorem of Solecki: every infinite-dimensional Banach space has a continuous action whose orbit equivalence relation is Borel but not essentially countable.
△ Less
Submitted 2 November, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Co-induction and Invariant Random Subgroups
Authors:
Alexander S. Kechris,
Vibeke Quorning
Abstract:
In this paper we develop a co-induction operation which transforms an invariant random subgroup of a group into an invariant random subgroup of a larger group.
We use this operation to construct new continuum size families of non-atomic, weakly mixing invariant random subgroups of certain classes of wreath products, HNN-extensions and free products with amalgamation. By use of small cancellation…
▽ More
In this paper we develop a co-induction operation which transforms an invariant random subgroup of a group into an invariant random subgroup of a larger group.
We use this operation to construct new continuum size families of non-atomic, weakly mixing invariant random subgroups of certain classes of wreath products, HNN-extensions and free products with amalgamation. By use of small cancellation theory, we also construct a new continuum size family of non-atomic invariant random subgroups of $\mathbb{F}_2$ which are all invariant and weakly mixing with respect to the action of $\text{Aut}(\mathbb{F}_2)$.
Moreover, for amenable groups $Γ\leq Δ$, we obtain that the standard co-induction operation from the space of weak equivalence classes of $Γ$ to the space of weak equivalence classes of $Δ$ is continuous if and only if $[Δ:Γ]<\infty$ or $\text{core}_Δ(Γ)$ is trivial. For general groups we obtain that the co-induction operation is not continuous when $[Δ:Γ]=\infty$. This answers a question raised by Burton and Kechris. Independently such an answer was also obtained, using a different method, by Bernshteyn.
△ Less
Submitted 15 March, 2019; v1 submitted 22 June, 2018;
originally announced June 2018.
-
The complexity of topological group isomorphism
Authors:
Alexander S. Kechris,
Andree Nies,
Katrin Tent
Abstract:
We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For profinite, locally compact, and Roelcke precompact groups, we show that the complexity is the same as the one of countable graph isomorphism. For oligomorphic gro…
▽ More
We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For profinite, locally compact, and Roelcke precompact groups, we show that the complexity is the same as the one of countable graph isomorphism. For oligomorphic groups, we merely establish this as an upper bound, which is not sharp because the relation is Borel.
△ Less
Submitted 25 April, 2018; v1 submitted 23 May, 2017;
originally announced May 2017.
-
Weak containment of measure preserving group actions
Authors:
Peter Burton,
Alexander S. Kechris
Abstract:
We survey recent progress in the theory of weak containment of measure preserving group actions.
We survey recent progress in the theory of weak containment of measure preserving group actions.
△ Less
Submitted 15 April, 2019; v1 submitted 23 November, 2016;
originally announced November 2016.
-
Invariant random subgroups and action versus representation maximality
Authors:
Peter J. Burton,
Alexander S. Kechris
Abstract:
We show that weak containment of free ergodic measure-preserving actions of $\mathbf{F}_\infty$ is not equivalent to weak containment of the corresponding Koopman representations. This result is based on the construction of an invariant random subgroup of $\mathbf{F}_\infty$ which is supported on the maximal actions.
We show that weak containment of free ergodic measure-preserving actions of $\mathbf{F}_\infty$ is not equivalent to weak containment of the corresponding Koopman representations. This result is based on the construction of an invariant random subgroup of $\mathbf{F}_\infty$ which is supported on the maximal actions.
△ Less
Submitted 3 August, 2016;
originally announced August 2016.
-
Structurable equivalence relations
Authors:
Ruiyuan Chen,
Alexander S. Kechris
Abstract:
For a class $\mathcal K$ of countable relational structures, a countable Borel equivalence relation $E$ is said to be $\mathcal K$-structurable if there is a Borel way to put a structure in $\mathcal K$ on each $E$-equivalence class. We study in this paper the global structure of the classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$. We show that $\mathcal K$-stru…
▽ More
For a class $\mathcal K$ of countable relational structures, a countable Borel equivalence relation $E$ is said to be $\mathcal K$-structurable if there is a Borel way to put a structure in $\mathcal K$ on each $E$-equivalence class. We study in this paper the global structure of the classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$. We show that $\mathcal K$-structurability interacts well with several kinds of Borel homomorphisms and reductions commonly used in the classification of countable Borel equivalence relations. We consider the poset of classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$, under inclusion, and show that it is a distributive lattice; this implies that the Borel reducibility preordering among countable Borel equivalence relations contains a large sublattice. Finally, we consider the effect on $\mathcal K$-structurability of various model-theoretic properties of $\mathcal K$. In particular, we characterize the $\mathcal K$ such that every $\mathcal K$-structurable equivalence relation is smooth, answering a question of Marks.
△ Less
Submitted 2 October, 2018; v1 submitted 6 June, 2016;
originally announced June 2016.
-
Random Orderings and Unique Ergodicity of Automorphism Groups
Authors:
Omer Angel,
Alexander S. Kechris,
Russell Lyons
Abstract:
We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than com…
▽ More
We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner and Weiss's example of the group of all permutations of the integers. We also contrast these results to those for certain special classes of graphs and metric spaces in which such random orderings can be found that are not uniform.
△ Less
Submitted 11 August, 2012;
originally announced August 2012.
-
Subequivalence Relations and Positive-Definite Functions
Authors:
A. Ioana,
A. S. Kechris,
T. Tsankov
Abstract:
We study a positive-definite function associated to a measure-preserving equivalence relation on a standard probability space and use it to measure quantitatively the proximity of subequivalence relations. This is combined with a recent co-inducing construction of Epstein to produce new kinds of mixing actions of an arbitrary infinite discrete group and it is also used to show that orbit equival…
▽ More
We study a positive-definite function associated to a measure-preserving equivalence relation on a standard probability space and use it to measure quantitatively the proximity of subequivalence relations. This is combined with a recent co-inducing construction of Epstein to produce new kinds of mixing actions of an arbitrary infinite discrete group and it is also used to show that orbit equivalence of free, measure preserving, mixing actions of non-amenable groups is unclassifiable in a strong sense. Finally, in the case of property (T) groups we discuss connections with invariant percolation on Cayley graphs and the calculation of costs.
△ Less
Submitted 3 June, 2008;
originally announced June 2008.
-
Turbulence, amalgamation and generic automorphisms of homogeneous structures
Authors:
Alexander S. Kechris,
Christian Rosendal
Abstract:
We study topological properties of conjugacy classes in Polish groups, with emphasis on automorphism groups of homogeneous countable structures. We first consider the existence of dense conjugacy classes (the topological Rokhlin property). We then characterize when an automorphism group admits a comeager conjugacy class (answering a question of Truss) and apply this to show that the homeomorphis…
▽ More
We study topological properties of conjugacy classes in Polish groups, with emphasis on automorphism groups of homogeneous countable structures. We first consider the existence of dense conjugacy classes (the topological Rokhlin property). We then characterize when an automorphism group admits a comeager conjugacy class (answering a question of Truss) and apply this to show that the homeomorphism group of the Cantor space has a comeager conjugacy class (answering a question of Akin-Hurley-Kennedy). Finally, we study Polish groups that admit comeager conjugacy classes in any dimension (in which case the groups are said to admit ample generics). We show that Polish groups with ample generics have the small index property (generalizing results of Hodges-Hodkinson-Lascar-Shelah) and arbitrary homomorphisms from such groups into separable groups are automatically continuous. Moreover, in the case of oligomorphic permutation groups, they have uncountable cofinality and the Bergman property. These results in particular apply to automorphism groups of many $ω$-stable, $\aleph_0$-categorical structures and of the random graph. In this connection, we also show that the infinite symmetric group $S_\infty$ has a unique non-trivial separable group topology. For several interesting groups we also establish Serre's properties (FH) and (FA).
△ Less
Submitted 26 April, 2006; v1 submitted 28 September, 2004;
originally announced September 2004.
-
Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups
Authors:
A. S. Kechris,
V. G. Pestov,
S. Todorcevic
Abstract:
We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.
We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.
△ Less
Submitted 24 June, 2004; v1 submitted 16 May, 2003;
originally announced May 2003.
-
How many Turing degrees are there?
Authors:
Randall Dougherty,
Alexander S. Kechris
Abstract:
A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equiv…
▽ More
A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equivalence relations imposed by the notion of Borel reducibility. We will survey results and conjectures concerning the problem of identifying the place in this hierarchy of these equivalence relations from recursion theory and also discuss some of their implications.
△ Less
Submitted 28 January, 2000;
originally announced January 2000.
-
Borel actions of Polish groups
Authors:
Howard Becker,
Alexander S. Kechris
Abstract:
We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of Polish groups: universal actions, invariant probability measures, and the Topological Vaught Conjecture. We establish the existence of universal actions for any gi…
▽ More
We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of Polish groups: universal actions, invariant probability measures, and the Topological Vaught Conjecture. We establish the existence of universal actions for any given Polish group, extending a result of Mackey and Varadarajan for the locally compact case. We prove an analog of Tarski's theorem on paradoxical decompositions by showing that the existence of an invariant Borel probability measure is equivalent to the nonexistence of paradoxical decompositions with countably many Borel pieces. We show that various natural versions of the Topological Vaught Conjecture are equivalent with each other and, in the case of the group of permutations of $\Bbb N$, with the model-theoretic Vaught Conjecture for infinitary logic; this depends on our identification of the universal action for that group.
△ Less
Submitted 31 March, 1993;
originally announced April 1993.
