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

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.

2019 ◽  
Vol 22 (3) ◽  
pp. 383-395
Author(s):  
Murray Elder ◽  
Cameron Rogers

Abstract For each symmetric, aperiodic probability measure μ on a finitely generated group G, we define a subset {A_{\mu}} consisting of group elements g for which the limit of the ratio {{\mu^{\ast n}(g)}/{\mu^{\ast n}(e)}} tends to 1. We prove that {A_{\mu}} is a subgroup, is amenable, contains every finite normal subgroup, and {G=A_{\mu}} if and only if G is amenable. For non-amenable groups we show that {A_{\mu}} is not always a normal subgroup and can depend on the measure. We formulate some conjectures relating {A_{\mu}} to the amenable radical.


2005 ◽  
Vol 15 (05n06) ◽  
pp. 1169-1188 ◽  
Author(s):  
ROMAN SAUER

There are notions of L2-Betti numbers for discrete groups (Cheeger–Gromov, Lück), for type II1-factors (recent work of Connes-Shlyakhtenko) and for countable standard equivalence relations (Gaboriau). Whereas the first two are algebraically defined using Lück's dimension theory, Gaboriau's definition of the latter is inspired by the work of Cheeger and Gromov. In this work we give a definition of L2-Betti numbers of discrete measured groupoids that is based on Lück's dimension theory, thereby encompassing the cases of groups, equivalence relations and holonomy groupoids with an invariant measure for a complete transversal. We show that with our definition, like with Gaboriau's, the L2-Betti numbers [Formula: see text] of a countable group G coincide with the L2-Betti numbers [Formula: see text] of the orbit equivalence relation [Formula: see text] of a free action of G on a probability space. This yields a new proof of the fact the L2-Betti numbers of groups with orbit equivalent actions coincide.


2017 ◽  
Vol 20 (2) ◽  
Author(s):  
Jack O. Button

AbstractWe show, using acylindrical hyperbolicity, that a finitely generated group splitting over


2015 ◽  
Vol 26 (14) ◽  
pp. 1550117
Author(s):  
Niels Meesschaert

Let [Formula: see text] and [Formula: see text] be two ergodic essentially free probability measure preserving actions of nonamenable Baumslag–Solitar groups whose canonical almost normal abelian subgroups act aperiodically. We prove that an isomorphism between the corresponding crossed product II1 factors forces [Formula: see text] when [Formula: see text] and [Formula: see text] when [Formula: see text]. This improves an orbit equivalence rigidity result obtained by Houdayer and Raum in [Baumslag–Solitar groups, relative profinite completions and measure equivalence rigidity, J. Topol. 8 (2015) 295–313].


2011 ◽  
Vol 21 (04) ◽  
pp. 595-614 ◽  
Author(s):  
S. LIRIANO ◽  
S. MAJEWICZ

If G is a finitely generated group and A is an algebraic group, then RA(G) = Hom (G, A) is an algebraic variety. Define the "dimension sequence" of G over A as Pd(RA(G)) = (Nd(RA(G)), …, N0(RA(G))), where Ni(RA(G)) is the number of irreducible components of RA(G) of dimension i (0 ≤ i ≤ d) and d = Dim (RA(G)). We use this invariant in the study of groups and deduce various results. For instance, we prove the following: Theorem A.Let w be a nontrivial word in the commutator subgroup ofFn = 〈x1, …, xn〉, and letG = 〈x1, …, xn; w = 1〉. IfRSL(2, ℂ)(G)is an irreducible variety andV-1 = {ρ | ρ ∈ RSL(2, ℂ)(Fn), ρ(w) = -I} ≠ ∅, thenPd(RSL(2, ℂ)(G)) ≠ Pd(RPSL(2, ℂ)(G)). Theorem B.Let w be a nontrivial word in the free group on{x1, …, xn}with even exponent sum on each generator and exponent sum not equal to zero on at least one generator. SupposeG = 〈x1, …, xn; w = 1〉. IfRSL(2, ℂ)(G)is an irreducible variety, thenPd(RSL(2, ℂ)(G)) ≠ Pd(RPSL(2, ℂ)(G)). We also show that if G = 〈x1, . ., xn, y; W = yp〉, where p ≥ 1 and W is a word in Fn = 〈x1, …, xn〉, and A = PSL(2, ℂ), then Dim (RA(G)) = Max {3n, Dim (RA(G′)) +2 } ≤ 3n + 1 for G′ = 〈x1, …, xn; W = 1〉. Another one of our results is that if G is a torus knot group with presentation 〈x, y; xp = yt〉 then Pd(RSL(2, ℂ)(G))≠Pd(RPSL(2, ℂ)(G)).


1971 ◽  
Vol 5 (1) ◽  
pp. 131-136 ◽  
Author(s):  
Gilbert Baumslag

We exhibit a 3-generator metabelian group which is not finitely related but has a trivial multiplicator.1. The purpose of this note is to establish the exitense of a finitely generated group which is not finitely related, but whose multiplecator is finitely generated. This settles negatively a question whichb has been open for a few years (it was first brought to my attention by Michel Kervaire and Joan Landman Dyer in 1964, but I believe it is somewhat older). The group is given in the follwing theorem.


Author(s):  
Jérémie Brieussel ◽  
Thibault Godin ◽  
Bijan Mohammadi

The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely mysterious. Many examples of such groups are constructed using Mealy automata. The aim of this paper is to give an algorithmic procedure to study the growth of such automaton groups, and more precisely to provide numerical upper bounds on their exponents. Our functions retrieve known optimal bounds on the famous first Grigorchuk group. They also improve known upper bounds on other automaton groups and permitted us to discover several new examples of automaton groups of intermediate growth. All the algorithms described are implemented in GAP, a language dedicated to computational group theory.


2019 ◽  
Vol 29 (01) ◽  
pp. 61-83 ◽  
Author(s):  
K. Matczak ◽  
A. Mućka ◽  
A. B. Romanowska

This paper is a direct continuation of the paper “Duality for dyadic intervals” by the same authors, and can be considered as its second part. Dyadic rationals are rationals whose denominator is a power of 2. Dyadic triangles and dyadic polygons are, respectively, defined as the intersections with the dyadic plane of a triangle or polygon in the real plane whose vertices lie in the dyadic plane. The one-dimensional analogues are dyadic intervals. Algebraically, dyadic polygons carry the structure of a commutative, entropic and idempotent groupoid under the binary operation of arithmetic mean. The first paper dealt with the structure of finitely generated subgroupoids of the dyadic line, which were shown to be isomorphic to dyadic intervals. Then a duality between the class of dyadic intervals and the class of certain subgroupoids of the dyadic unit square was described. The present paper extends the results of the first paper, provides some characterizations of dyadic triangles, and describes a duality for the class of dyadic triangles. As in the case of intervals, the duality is given by an infinite dualizing (schizophrenic) object, the dyadic unit interval. The dual spaces are certain subgroupoids of the dyadic unit cube, considered as (commutative, idempotent and entropic) groupoids with additional constant operations.


2019 ◽  
Vol 52 (1) ◽  
pp. 256-273
Author(s):  
Steven N. Harding ◽  
Alexander W. N. Riasanovsky

AbstractBased on the seminal work of Hutchinson, we investigate properties of α-weighted Cantor measures whose support is a fractal contained in the unit interval. Here, α is a vector of nonnegative weights summing to 1, and the corresponding weighted Cantor measure μα is the unique Borel probability measure on [0, 1] satisfying {\mu ^\alpha }(E) = \sum\nolimits_{n = 0}^{N - 1} {{\alpha _n}{\mu ^\alpha }(\varphi _n^{ - 1}(E))} where ϕn : x ↦ (x + n)/N. In Sections 1 and 2 we examine several general properties of the measure μα and the associated Legendre polynomials in L_{{\mu ^\alpha }}^2 [0, 1]. In Section 3, we (1) compute the Laplacian and moment generating function of μα, (2) characterize precisely when the moments Im = ∫[0,1]xm dμα exhibit either polynomial or exponential decay, and (3) describe an algorithm which estimates the first m moments within uniform error ε in O((log log(1/ε)) · m log m). We also state analogous results in the natural case where α is palindromic for the measure να attained by shifting μα to [−1/2, 1/2].


2009 ◽  
Vol 30 (6) ◽  
pp. 1803-1816 ◽  
Author(s):  
C. R. E. RAJA

AbstractLet K be a compact metrizable group and Γ be a finitely generated group of commuting automorphisms of K. We show that ergodicity of Γ implies Γ contains ergodic automorphisms if center of the action, Z(Γ)={α∈Aut(K)∣α commutes with elements of Γ} has descending chain condition. To explain that the condition on the center of the action is not restrictive, we discuss certain abelian groups which, in particular, provide new proofs to the theorems of Berend [Ergodic semigroups of epimorphisms. Trans. Amer. Math. Soc.289(1) (1985), 393–407] and Schmidt [Automorphisms of compact abelian groups and affine varieties. Proc. London Math. Soc. (3) 61 (1990), 480–496].


Sign in / Sign up

Export Citation Format

Share Document