
 Aa
 Aa
Kechris, Alexander S. and Miller, Benjamin D. 2008. Means on equivalence relations. Israel Journal of Mathematics, Vol. 163, Issue. 1, p. 241.
JACKSON, S. KECHRIS, A. S. and LOUVEAU, A. 2002. COUNTABLE BOREL EQUIVALENCE RELATIONS. Journal of Mathematical Logic, Vol. 02, Issue. 01, p. 1.
Thomas, Simon 2002. On the complexity of the classification problem for torsionfree abelian groups of rank two. Acta Mathematica, Vol. 189, Issue. 2, p. 287.
Let X be a standard Borel space (i.e., a Polish space with the associated Borel structure), and let E be a countable Borel equivalence relation on X, i.e., a Borel equivalence relation E for which every equivalence class [x]E is countable. By a result of FeldmanMoore [FM], E is induced by the orbits of a Borel action of a countable group G on X.
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 called hyperfinite if 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 OrnsteinWeiss [OW] and ConnesFeldmanWeiss [CFW] that for every Borel equivalence relation E induced by a Borel action of a countable amenable group G on X and for every (Borel) probability measure μ on X, there is a Borel invariant set Y ⊆ X with μ(Y) = 1 such that E ↾ Y (= the restriction of E to Y) is hyperfinite. (Recall that a countable group G is amenable if 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 every E induced by a Borel action of a countable amenable group is hyperfinite. Later on Weiss (personal communication) showed that this is true for G = ℤn. However, the problem is still open even for abelian G. Our main purpose here is to provide a weaker affirmative answer for general amenable G (and more—see below). We need a definition first. Given two standard Borel spaces X, Y, a universally measurable isomorphism between X and Y is a bijection ƒ: X → Y such that both ƒ, ƒ1 are universally measurable. (As usual, a map g : Z → W, with Z and W standard Borel spaces, is called universally measurable if it is μmeasurable for every probability measure μ on Z.) Notice now that to assert that a countable Borel equivalence relation on X is hyperfinite is trivially equivalent to saying that there is a standard Borel space Y and a hyperfinite Borel equivalence relation F on Y, which is Borel isomorphic to E, i.e., there is a Borel bijection ƒ: X → Y with xEy ⇔ ƒ(x)F ƒ(y). We have the following theorem.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.