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

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.

2020 ◽  
Vol 8 ◽  
Author(s):  
YOSHIKATA KIDA ◽  
ROBIN TUCKER-DROB

We introduce inner amenability for discrete probability-measure-preserving (p.m.p.) groupoids and investigate its basic properties, examples, and the connection with central sequences in the full group of the groupoid or central sequences in the von Neumann algebra associated with the groupoid. Among other things, we show that every free ergodic p.m.p. compact action of an inner amenable group gives rise to an inner amenable orbit equivalence relation. We also obtain an analogous result for compact extensions of equivalence relations that either are stable or have a nontrivial central sequence in their full group.


1993 ◽  
Vol 58 (3) ◽  
pp. 894-907 ◽  
Author(s):  
Alexander S. Kechris

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.


2018 ◽  
Vol 154 (9) ◽  
pp. 2005-2019 ◽  
Author(s):  
Amine Marrakchi

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.


1977 ◽  
Vol 81 (2) ◽  
pp. 237-243 ◽  
Author(s):  
J. Moffat

In section 3 we shall prove the following results: Let G be a separable locally compact abelian group, R a von Neumann algebra acting on a separable Hilbert space, and α a weakly continuous representation of G by inner *-automorphisms of R, say α(g) = ad Wg with Wg ∈ U(R). Then there is a weakly continuous unitary representation of G, by unitaries in R, implementing α if and only if the Wg's commute with each other. The result was motivated by the proof of (7), theorem 1. Suppose now Gis a discrete amenable group of *-automorphisms of a countably decomposable von Neumann algebra R. In section 3 we give a necessary and sufficient condition for the existence of a faithful normal G-invariant state on R. This generalizes a result of Hajian and Kakutani on invariant measures (2).


2015 ◽  
Vol 25 (03) ◽  
pp. 381-432 ◽  
Author(s):  
Søren Haagerup ◽  
Uffe Haagerup ◽  
Maria Ramirez-Solano

Let F denote the Thompson group with standard generators A = x0, B = x1. It is a long standing open problem whether F is an amenable group. By a result of Kesten from 1959, amenability of F is equivalent to [Formula: see text] and to [Formula: see text] where in both cases the norm of an element in the group ring ℂF is computed in B(ℓ2(F)) via the regular representation of F. By extensive numerical computations, we obtain precise lower bounds for the norms in (i) and (ii), as well as good estimates of the spectral distributions of (I+A+B)*(I+A+B) and of A+A-1+B+B-1 with respect to the tracial state τ on the group von Neumann Algebra L(F). Our computational results suggest, that [Formula: see text] It is however hard to obtain precise upper bounds for the norms, and our methods cannot be used to prove non-amenability of F.


1989 ◽  
Vol 01 (02n03) ◽  
pp. 235-290 ◽  
Author(s):  
SHUICHIRO MAEDA

A state ϕ on a von Neumann algebra A is a positive linear functional on A with ϕ(1) = 1, and the restriction of ϕ to the set of projections in A is a finitely additive probability measure. Recently it was proved that if A has no type I 2 summand then every finitely additive probability measure on projections can be extended to a state on A. Here we give precise and complete arguments for proving this result.


2018 ◽  
Vol 29 (04) ◽  
pp. 1850033 ◽  
Author(s):  
Daniel Drimbe

We prove W[Formula: see text]-superrigidity for a large class of coinduced actions. We prove that if [Formula: see text] is an amenable almost-malnormal subgroup of an infinite conjugagy class (icc) property (T) countable group [Formula: see text], the coinduced action [Formula: see text] from an arbitrary probability measure preserving action [Formula: see text] is W[Formula: see text]-superrigid. We also prove a similar statement if [Formula: see text] is an icc non-amenable group which is measure equivalent to a product of two infinite groups. In particular, we obtain that any Bernoulli action of such a group [Formula: see text] is W[Formula: see text]-superrigid.


2007 ◽  
Vol 100 (1) ◽  
pp. 75 ◽  
Author(s):  
Yoshikazu Katayama ◽  
Masamichi Takesaki

To study outer actions $\alpha$ of a group $G$ on a factor $\mathcal M$ of type $\mathrm{III}_\lambda$, $0<\lambda<1$, we study first the cohomology group of a group with the unitary group of an abelian von Neumann algebra as a coefficient group and establish a technique to reduce the coefficient group to the torus $\mathsf T$ by the Shapiro mechanism based on the groupoid approach. We then show a functorial construction of outer actions of a countable discrete amenable group on an AFD factor of type $\mathrm{III}_\lambda$, sharpening the result in [17, §4]. The periodicity of the flow of weights on a factor $\mathcal M$ of type $\mathrm{III}_\lambda$ allows us to introduce an equivariant commutative square directly related to the discrete core. But this makes it necessary to introduce an enlarged group $\mathrm{Aut}(\mathcal M)_{m}$ relative to the modulus homomorphism $m=\mod\colon \mathrm{Aut}(\mathcal M)\to \mathsf R/T'\mathsf Z$. We then discuss the reduced modified HJR-exact sequence, which allows us to describe the invariant of outer action $\alpha$ in a simpler form than the one for a general AFD factor: for example, the cohomology group $H_{m,s}^{out}(G,N,\mathsf T)$ of modular obstructions is a compact abelian group. Making use of these reductions, we prove the classification result of outer actions of $G$ on an AFD factor $\mathcal M$ of type $\mathrm{III}_{\lambda}$.


Sign in / Sign up

Export Citation Format

Share Document