PROPERTY τ AND COUNTABLE BOREL EQUIVALENCE RELATIONS

2007 ◽  
Vol 07 (01) ◽  
pp. 1-34 ◽  
Author(s):  
SIMON THOMAS
Keyword(s):  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Borel Equivalence Relations ◽  
Borel Reducibility ◽  
Projective Lines

We prove Borel superrigidity results for suitably chosen actions of groups of the form SL2(ℤ[1/p1, … , 1/pt]), where {p1, …, pt} is a finite nonempty set of primes, and present a number of applications to the theory of countable Borel equivalence relations. In particular, for each prime q, we prove that the orbit equivalence relations arising from the natural actions of SL2(ℤ[1/q]) on the projective lines ℚp ∪ {∞}, p ≠ q, over the various p-adic fields are pairwise incomparable with respect to Borel reducibility.

scholarly journals Ioana's Superrigidity Theorem and Orbit Equivalence Relations

ISRN Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-8
Author(s):  
Samuel Coskey
Keyword(s):  
Ergodic Theory ◽  
Set Theory ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Borel Reducibility ◽  
Free Abelian Groups ◽  
Property T ◽  
Expository Paper ◽  
Torsion Free

We give a survey of Adrian Ioana's cocycle superrigidity theorem for profinite actions of Property (T) groups and its applications to ergodic theory and set theory in this expository paper. In addition to a statement and proof of Ioana's theorem, this paper features the following: (i) an introduction to rigidity, including a crash course in Borel cocycles and a summary of some of the best-known superrigidity theorems; (ii) some easy applications of superrigidity, both to ergodic theory (orbit equivalence) and set theory (Borel reducibility); and (iii) a streamlined proof of Simon Thomas's theorem that the classification of torsion-free abelian groups of finite rank is intractable.

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 κ<κ = κ.

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 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.

TREEABLE EQUIVALENCE RELATIONS

2012 ◽  
Vol 12 (01) ◽  
pp. 1250003 ◽  
Author(s):  
GREG HJORTH
Keyword(s):  
Free Group ◽  
Equivalence Relations ◽  
Borel Equivalence Relations ◽  
Borel Reducibility

There are continuum many ≤B-incomparable equivalence relations induced by a free, Borel action of a countable non-abelian free group — and hence, there are 2α0 many treeable countable Borel equivalence relations which are incomparable in the ordering of Borel reducibility.

scholarly journals Diagonal actions and Borel equivalence relations

2006 ◽  
Vol 71 (4) ◽  
pp. 1081-1096 ◽  
Author(s):  
Longyun Ding ◽  
Su Gao
Keyword(s):  
Equivalence Relation ◽  
Abelian Groups ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Borel Equivalence Relations ◽  
Polish Groups

AbstractWe investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence relation is characterized and is shown to be connected with the Borelness of the intersection operator. We also consider relatively tame Polish groups and give a characterization of them in the class of countable products of countable abelian groups. Finally an example of a logic action is considered and its complexity in the Borel reducbility hierarchy determined.

James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to Pmax forcing. pp. 5–23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25–62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63–119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121–144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145–185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187–206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207–244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245–263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265–299. - Menachem Magidor and Chris Lambie-Hanson. On the strengths and weaknesses of weak squares. pp. 301–330. - Boban Veličković and Giorgio Venturi. Proper forcing remastered. pp. 331–362. - Asger ToÖrnquist and Martino Lupini. Set theory and von Neumann algebras. pp. 363–396. - W. Hugh Woodin, Jacob Davis, and Daniel RodrÍguez. The HOD dichotomy. pp. 397–419.

2014 ◽  
Vol 20 (1) ◽  
pp. 94-97
Author(s):  
Natasha Dobrinen
Keyword(s):  
New York ◽  
Set Theory ◽  
Von Neumann Algebras ◽  
Operator Algebras ◽  
Continuum Hypothesis ◽  
London Mathematical Society ◽  
Equivalence Relations ◽  
Classification Problems ◽  
Von Neumann ◽  
Borel Equivalence Relations
Sign in / Sign up

Export Citation Format

Share Document