On full groups of non-ergodic probability-measure-preserving equivalence relations

2015 ◽  
Vol 36 (7) ◽  
pp. 2218-2245 ◽  
Author(s):  
FRANÇOIS LE MAÎTRE
Keyword(s):  
Probability Measure ◽  
Operator Algebras ◽  
Baire Category ◽  
Equivalence Relations ◽  
Continuity Property ◽  
Algebraic Characterization ◽  
Full Group ◽  
Automatic Continuity ◽  
Ergodic Equivalence Relations ◽  
The Cost

This article generalizes our previous results [Le Maître. The number of topological generators for full groups of ergodic equivalence relations. Invent. Math. 198 (2014), 261–268] to the non-ergodic case by giving a formula relating the topological rank of the full group of an aperiodic probability-measure-preserving (pmp) equivalence relation to the cost of its ergodic components. Furthermore, we obtain examples of full groups that have a dense free subgroup whose rank is equal to the topological rank of the full group, using a Baire category argument. We then study the automatic continuity property for full groups of aperiodic equivalence relations, and find a connected metric for which they have the automatic continuity property. This allows us to provide an algebraic characterization of aperiodicity for pmp equivalence relations, namely the non-existence of homomorphisms from their full groups into totally disconnected separable groups. A simple proof of the extreme amenability of full groups of hyperfinite pmp equivalence relations is also given, generalizing a result of Giordano and Pestov to the non-ergodic case [Giordano and Pestov. Some extremely amenable groups related to operator algebras and ergodic theory. J. Inst. Math. Jussieu6(2) (2007), 279–315, Theorem 5.7].

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

scholarly journals Stability of products of equivalence relations

2018 ◽  
Vol 154 (9) ◽  
pp. 2005-2019 ◽  
Author(s):  
Amine Marrakchi
Keyword(s):  
Probability Measure ◽  
Direct Product ◽  
Equivalence Relation ◽  
Equivalence Relations ◽  
Similar Question ◽  
Stable Equivalence ◽  
Local Characterization

An ergodic probability measure preserving (p.m.p.) equivalence relation ${\mathcal{R}}$ is said to be stable if ${\mathcal{R}}\cong {\mathcal{R}}\times {\mathcal{R}}_{0}$ where ${\mathcal{R}}_{0}$ is the unique hyperfinite ergodic type $\text{II}_{1}$ equivalence relation. We prove that a direct product ${\mathcal{R}}\times {\mathcal{S}}$ of two ergodic p.m.p. equivalence relations is stable if and only if one of the two components ${\mathcal{R}}$ or ${\mathcal{S}}$ is stable. This result is deduced from a new local characterization of stable equivalence relations. The similar question on McDuff $\text{II}_{1}$ factors is also discussed and some partial results are given.

scholarly journals AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS

2017 ◽  
Vol 18 (3) ◽  
pp. 561-590 ◽  
Author(s):  
Marcin Sabok
Keyword(s):  
Metric Spaces ◽  
Separable Hilbert Space ◽  
Continuity Property ◽  
Group Topology ◽  
Automatic Continuity ◽  
Separable Group ◽  
Urysohn Space ◽  
Infinite Dimensional ◽  
Group Of Isometries ◽  
Groups Of Isometries

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the groups of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. This answers a question of Ben Yaacov, Berenstein and Melleray. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $\text{Aut}([0,1],\unicode[STIX]{x1D706})$, due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov.

scholarly journals Inner amenability, property Gamma, McDuff factors and stable equivalence relations

2017 ◽  
Vol 38 (7) ◽  
pp. 2618-2624 ◽  
Author(s):  
TOBE DEPREZ ◽  
STEFAAN VAES
Keyword(s):  
Probability Measure ◽  
Von Neumann Algebra ◽  
Amenable Group ◽  
Countable Group ◽  
Acta Math ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Von Neumann ◽  
Stable Equivalence ◽  
Inner Amenability

We say that a countable group $G$ is McDuff if it admits a free ergodic probability measure preserving action such that the crossed product is a McDuff $\text{II}_{1}$ factor. Similarly, $G$ is said to be stable if it admits such an action with the orbit equivalence relation being stable. The McDuff property, stability, inner amenability and property Gamma are subtly related and several implications and non-implications were obtained in Effros [Property $\unicode[STIX]{x1D6E4}$ and inner amenability. Proc. Amer. Math. Soc.47 (1975), 483–486], Jones and Schmidt [Asymptotically invariant sequences and approximate finiteness. Amer. J. Math.109 (1987), 91–114], Vaes [An inner amenable group whose von Neumann algebra does not have property Gamma. Acta Math.208 (2012), 389–394], Kida [Inner amenable groups having no stable action. Geom. Dedicata173 (2014), 185–192] and Kida [Stability in orbit equivalence for Baumslag–Solitar groups and Vaes groups. Groups Geom. Dyn.9 (2015), 203–235]. We complete the picture with the remaining implications and counterexamples.

scholarly journals Haar Null Sets and the Consistent Reflection of Non-meagreness

2014 ◽  
Vol 66 (2) ◽  
pp. 303-322 ◽  
Author(s):  
Márton Elekes ◽  
Juris Steprāns
Keyword(s):  
Probability Measure ◽  
Continuum Hypothesis ◽  
Borel Probability Measure ◽  
Baire Category ◽  
Borel Set ◽  
Polish Group ◽  
Borel Probability ◽  
Haar Null Sets ◽  
Definition Of ◽  
Null Set

AbstractA subset X of a Polish group G is called Haar null if there exist a Borel set B ⊃ X and Borel probability measure μ on G such that μ(gBh) = 0 for every g; h ∊ G. We prove that there exist a set X ⊂ R that is not Lebesgue null and a Borel probability measure μ such that μ (X + t) = 0 for every t ∊ R. This answers a question from David Fremlin’s problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set B. (The answer was already known assuming the Continuum Hypothesis.)This result motivates the following Baire category analogue. It is consistent with ZFC that there exist an abelian Polish group G and a Cantor set C ⊂ G such that for every non-meagre set X ⊂ G there exists a t ∊ G such that C ∩ (X + t) is relatively non-meagre in C. This essentially generalizes results of Bartoszyński and Burke–Miller.

scholarly journals Full groups of minimal homeomorphisms and Baire category methods

2014 ◽  
Vol 36 (2) ◽  
pp. 550-573
Author(s):  
TOMÁS IBARLUCÍA ◽  
JULIEN MELLERAY
Keyword(s):  
Baire Category ◽  
Full Group ◽  
Group Topology ◽  
Cantor Space ◽  
Polish Group ◽  
Minimal Homeomorphisms

We study full groups of minimal actions of countable groups by homeomorphisms on a Cantor space$X$, showing that these groups do not admit a compatible Polish group topology and, in the case of$\mathbb{Z}$-actions, are coanalytic non-Borel inside$\text{Homeo}(X)$. We point out that the full group of a minimal homeomorphism is topologically simple. We also study some properties of the closure of the full group of a minimal homeomorphism inside$\text{Homeo}(X)$.

An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem

1981 ◽  
Vol 46 (3) ◽  
pp. 523-530 ◽  
Author(s):  
Daniele Mundici
Keyword(s):  
Finite Type ◽  
Equivalence Relations ◽  
Algebraic Characterization ◽  
Elementary Equivalence ◽  
Algebraic Result ◽  
Theoretical Equivalence ◽  
Skolem Theorem

AbstractWe prove the following algebraic characterization of elementary equivalence: ≡ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of the familiar model theoretical notion. We apply this result to Friedman's fourth problem by proving that if is an (ω1, ω)-compact logic satisfying both the Robinson consistency theorem on countable structures of finite type and the Löwenheim-Skolem theorem for some λ < ωω for theories having ω1 many sentences, then ≡L = ≡ on such structures.

scholarly journals Bernoulli actions are weakly contained in any free action

2012 ◽  
Vol 33 (2) ◽  
pp. 323-333 ◽  
Author(s):  
MIKLÓS ABÉRT ◽  
BENJAMIN WEISS
Keyword(s):  
Probability Measure ◽  
Free Probability ◽  
Free Action ◽  
Countable Group ◽  
Unit Interval ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Relative Version ◽  
The Cost ◽  
Independent And Identically Distributed

AbstractLet Γ be a countable group and let f be a free probability measure-preserving action of Γ. We show that all Bernoulli actions of Γ are weakly contained in f. It follows that for a finitely generated group Γ, the cost is maximal on Bernoulli actions for Γ and that all free factors of i.i.d. (independent and identically distributed) actions of Γ have the same cost. We also show that if f is ergodic, but not strongly ergodic, then f is weakly equivalent to f×I, where Idenotes the trivial action of Γ on the unit interval. This leads to a relative version of the Glasner–Weiss dichotomy.

Sign in / Sign up

Export Citation Format

Share Document