scholarly journals Cofinal families of Borel equivalence relations and quasiorders

2005 ◽  
Vol 70 (4) ◽  
pp. 1325-1340 ◽  
Author(s):  
Christian Rosendal
Keyword(s):  
Equivalence Relation ◽  
Metric Spaces ◽  
Equivalence Relations ◽  
Borel Equivalence Relations ◽  
Compact Metric Spaces ◽  
Borel Equivalence Relation ◽  
Borel Ideal ◽  
Borel Reducibility

AbstractFamilies of Borel equivalence relations and quasiorders that are cofinal with respect to the Borel reducibility ordering. ≤B, are constructed. There is an analytic ideal on ω generating a complete analytic equivalence relation and any Borel equivalence relation reduces to one generated by a Borel ideal. Several Borel equivalence relations, among them Lipschitz isomorphism of compact metric spaces, are shown to be Kσ complete.

Bi-Borel reducibility of essentially countable Borel equivalence relations

2005 ◽  
Vol 70 (3) ◽  
pp. 979-992 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space ◽  
Borel Reducibility ◽  
New Feature ◽  
Borel Probability ◽  
Image Position

This note answers a questions from [2] by showing that considered up to Borel reducibility, there are more essentially countable Borel equivalence relations than countable Borel equivalence relations. Namely:Theorem 0.1. There is an essentially countable Borel equivalence relation E such that for no countable Borel equivalence relation F (on a standard Borel space) do we haveThe proof of the result is short. It does however require an extensive rear guard campaign to extract from the techniques of [1] the followingMessy Fact 0.2. There are countable Borel equivalence relationssuch that:(i) eachExis defined on a standard Borel probability space (Xx, μx); each Ex is μx-invariant and μx-ergodic;(ii) forx1 ≠ x2 and A μxι -conull, we haveExι/Anot Borel reducible toEx2;(iii) if f: Xx → Xxis a measurable reduction ofExto itself then(iv)is a standard Borel space on which the projection functionis Borel and the equivalence relation Ê given byif and only ifx = x′ andzExz′ is Borel;(V)is Borel.We first prove the theorem granted this messy fact. We then prove the fact.(iv) and (v) are messy and unpleasant to state precisely, but are intended to express the idea that we have an effective parameterization of countable Borel equivalence relations by points in a standard Borel space. Examples along these lines appear already in the Adams-Kechris constructions; the new feature is (iii).Simon Thomas has pointed out to me that in light of theorem 4.4 [5] the Gefter-Golodets examples of section 5 [5] also satisfy the conclusion of 0.2.

scholarly journals Amenable versus hyperfinite Borel equivalence relations

1993 ◽  
Vol 58 (3) ◽  
pp. 894-907 ◽  
Author(s):  
Alexander S. Kechris
Keyword(s):  
Probability Measure ◽  
Equivalence Relation ◽  
Borel Probability Measure ◽  
Amenable Group ◽  
Countable Group ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space

LetXbe a standard Borel space (i.e., a Polish space with the associated Borel structure), and letEbe acountableBorel equivalence relation onX, i.e., a Borel equivalence relationEfor which every equivalence class [x]Eis countable. By a result of Feldman-Moore [FM],Eis induced by the orbits of a Borel action of a countable groupGonX.The structure of general countable Borel equivalence relations is very little understood. However, a lot is known for the particularly important subclass consisting of hyperfinite relations. A countable Borel equivalence relation is calledhyperfiniteif it is induced by a Borel ℤ-action, i.e., by the orbits of a single Borel automorphism. Such relations are studied and classified in [DJK] (see also the references contained therein). It is shown in Ornstein-Weiss [OW] and Connes-Feldman-Weiss [CFW] that for every Borel equivalence relationEinduced by a Borel action of a countable amenable groupGonXand for every (Borel) probability measure μ onX, there is a Borel invariant setY⊆Xwith μ(Y) = 1 such thatE↾Y(= the restriction ofEtoY) is hyperfinite. (Recall that a countable group G isamenableif it carries a finitely additive translation invariant probability measure defined on all its subsets.) Motivated by this result, Weiss [W2] raised the question of whether everyEinduced by a Borel action of a countable amenable group is hyperfinite. Later on Weiss (personal communication) showed that this is true forG= ℤn. However, the problem is still open even for abelianG. Our main purpose here is to provide a weaker affirmative answer for general amenableG(and more—see below). We need a definition first. Given two standard Borel spacesX, Y, auniversally measurableisomorphism betweenXandYis a bijection ƒ:X→Ysuch that both ƒ, ƒ-1are universally measurable. (As usual, a mapg:Z→W, withZandWstandard Borel spaces, is calleduniversally measurableif it is μ-measurable for every probability measure μ onZ.) Notice now that to assert that a countable Borel equivalence relation onXis hyperfinite is trivially equivalent to saying that there is a standard Borel spaceYand a hyperfinite Borel equivalence relationFonY, which isBorelisomorphic toE, i.e., there is a Borel bijection ƒ:X→YwithxEy⇔ ƒ(x)Fƒ(y). We have the following theorem.

Borel equivalence relations which are highly unfree

2008 ◽  
Vol 73 (4) ◽  
pp. 1271-1277 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Equivalence Relation ◽  
Probability Space ◽  
Ergodic Measure ◽  
Equivalence Relations ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Borel Probability

AbstractThere is an ergodic, measure preserving, countable Borel equivalence relation E on a standard Borel probability space (X, μ) such that E∣c is not essentially free on any conull C ⊂ X.

scholarly journals Decompositions and measures on countable Borel equivalence relations

2020 ◽  
pp. 1-33
Author(s):  
RUIYUAN CHEN
Keyword(s):  
Equivalence Relation ◽  
Countable Group ◽  
Equivalence Relations ◽  
Uniform Measure ◽  
Ergodic Decomposition ◽  
Continuous Action ◽  
Borel Sets ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Measure Preserving Actions

Abstract We show that the uniform measure-theoretic ergodic decomposition of a countable Borel equivalence relation $(X, E)$ may be realized as the topological ergodic decomposition of a continuous action of a countable group $\Gamma \curvearrowright X$ generating E. We then apply this to the study of the cardinal algebra $\mathcal {K}(E)$ of equidecomposition types of Borel sets with respect to a compressible countable Borel equivalence relation $(X, E)$ . We also make some general observations regarding quotient topologies on topological ergodic decompositions, with an application to weak equivalence of measure-preserving actions.

scholarly journals Actions of amenable equivalence relations on CAT(0) fields

2012 ◽  
Vol 34 (1) ◽  
pp. 21-54 ◽  
Author(s):  
MARTIN ANDEREGG ◽  
PHILIPPE HENRY
Keyword(s):  
Equivalence Relation ◽  
Metric Spaces ◽  
Amenable Group ◽  
Equivalence Relations ◽  
General Notion ◽  
Rigidity Result ◽  
Finite Dimensional ◽  
Borel Field

AbstractWe present the general notion of Borel fields of metric spaces and show some properties of such fields. Then we make the study specific to the Borel fields of proper CAT(0) spaces and we show that the standard tools we need behave in a Borel way. We also introduce the notion of the action of an equivalence relation on Borel fields of metric spaces and we obtain a rigidity result for the action of an amenable equivalence relation on a Borel field of proper finite dimensional CAT(0) spaces. This main theorem is inspired by the result obtained by Adams and Ballmann regarding the action of an amenable group on a proper CAT(0) space.

scholarly journals Uniformity, universality, and computability theory

2017 ◽  
Vol 17 (01) ◽  
pp. 1750003
Author(s):  
Andrew S. Marks
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Technical Tool ◽  
Free Products ◽  
Borel Sets ◽  
Borel Equivalence Relations ◽  
Strengthened Form ◽  
Shift Action ◽  
Natural Classes ◽  
Main Technical Tool

We prove a number of results motivated by global questions of uniformity in computabi- lity theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalbán, Reimann and Slaman. This notion is a strengthened form of a countable Borel equivalence relation being universal, which we conjecture is equivalent to the usual notion. With this additional uniformity hypothesis, we can answer many questions concerning how countable groups, probability measures, the subset relation, and increasing unions interact with universality. For many natural classes of countable Borel equivalence relations, we can also classify exactly which are uniformly universal. We also show the existence of refinements of Martin’s ultrafilter on Turing invariant Borel sets to the invariant Borel sets of equivalence relations that are much finer than Turing equivalence. For example, we construct such an ultrafilter for the orbit equivalence relation of the shift action of the free group on countably many generators. These ultrafilters imply a number of structural properties for these equivalence relations.

Actions of non-compact and non-locally compact Polish groups

2000 ◽  
Vol 65 (4) ◽  
pp. 1881-1894 ◽  
Author(s):  
Sławomir Solecki
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Locally Compact ◽  
Continuous Action ◽  
Borel Equivalence Relations ◽  
Polish Groups ◽  
Local Compactness ◽  
Polish Group

AbstractWe show that each non-compact Polish group admits a continuous action on a Polish space with non-smooth orbit equivalence relation. We actually construct a free such action. Thus for a Polish group compactness is equivalent to all continuous free actions of this group being smooth. This answers a question of Kechris. We also establish results relating local compactness of the group with its inability to induce orbit equivalence relations not reducible to countable Borel equivalence relations. Generalizing a result of Hjorth, we prove that each non-locally compact, that is, infinite dimensional, separable Banach space has a continuous action on a Polish space with non-Borel orbit equivalence relation, thus showing that this property characterizes non-local compactness among Banach spaces.

Borel reductions and cub games in generalised descriptive set theory

2013 ◽  
Vol 78 (2) ◽  
pp. 439-458 ◽  
Author(s):  
Vadim Kulikov
Keyword(s):  
Partial Order ◽  
Set Theory ◽  
Regular Cardinal ◽  
Equivalence Relations ◽  
Descriptive Set Theory ◽  
Borel Equivalence Relations ◽  
Power Set ◽  
Borel Reducibility ◽  
Descriptive Set

AbstractIt is shown that the power set of κ ordered by the subset relation modulo various versions of the non-stationary ideal can be embedded into the partial order of Borel equivalence relations on 2κ under Borel reducibility. Here κ is an uncountable regular cardinal with κ<κ = κ.

Borel complexity of isomorphism between quotient Boolean algebras

2008 ◽  
Vol 73 (4) ◽  
pp. 1328-1340
Author(s):  
Su Gao ◽  
Michael Ray Oliver
Keyword(s):  
Equivalence Relation ◽  
Boolean Algebras ◽  
Equivalence Relations ◽  
Borel Set ◽  
Borel Sets ◽  
Opposite Case ◽  
Borel Complexity ◽  
Borel Ideal ◽  
The One ◽  
Ergodic Equivalence Relations

In response to a question of Farah, “How many Boolean algebras are there?” [Far04], one of us (Oliver) proved that there are continuum-many nonisomorphic Boolean algebras of the form with I a Borel ideal on the natural numbers, and in fact that this result could be improved simultaneously in two directions:(i) “Borel ideal” may be improved to “analytic P-ideal”(ii) “continuum-many” may be improved to “E0-many”; that is, E0 is Borel reducible to the isomorphism relation on quotients by analytic P-ideals.See [Oli04].In [AdKechOO], Adams and Kechris showed that the relation of equality on Borel sets (and therefore, any Borel equivalence relation whatsoever) is Borel reducible to the equivalence relation of Borel bireducibility. (In somewhat finer terms, they showed that the partial order of inclusion on Borel sets is Borel reducible to the quasi-order of Borel reducibility.) Their technique was to find a collection of, in some sense, strongly mutually ergodic equivalence relations, indexed by reals, and then assign to each Borel set B a sort of “direct sum” of the equivalence relations corresponding to the reals in B. Then if B1, ⊆ B2 it was easy to see that the equivalence relation thus induced by B1 was Borel reducible to the one induced by B2, whereas in the opposite case, taking x to be some element of B / B2, it was possible to show that the equivalence relation corresponding to x, which was part of the equivalence relation induced by B1, was not Borel reducible to the equivalence relation corresponding to B2.

scholarly journals Trees and amenable equivalence relations

1990 ◽  
Vol 10 (1) ◽  
pp. 1-14 ◽  
Author(s):  
Scot Adams
Keyword(s):  
Equivalence Class ◽  
Equivalence Relation ◽  
Measure Space ◽  
Polynomial Growth ◽  
Finite Measure ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Borel Equivalence Relation

AbstractLet R be a Borel equivalence relation with countable equivalence classes on a measure space M. Intuitively, a ‘treeing’ of R is a measurably-varying way of makin each equivalence class into the vertices of a tree. We make this definition rigorous. We prove that if each equivalence class becomes a tree with polynomial growth, then the equivalence relation is amenable. We prove that if the equivalence relation is finite measure-preserving and amenable, then almost every tree (i.e., equivalence class) must have one or two ends.

Sign in / Sign up

Export Citation Format

Share Document