Let $G$ be $S_{\mathbb{N}}$, the finitary permutation (i.e. permutations with finite support) group on positive integers $\mathbb{N}$. We prove that $G$ has the invariant von Neumann subalgebras rigidity (ISR, for short) property as introduced in Amrutam-Jiang's work. More precisely, every $G$-invariant von Neumann subalgebra $P\subseteq L(G)$ is of the form $L(H)$ for some normal sugbroup $H\lhd G$ and in this case, $H=\{e\}, A_{\mathbb{N}}$ or $G$, where $A_{\mathbb{N}}$ denotes the finitary alternating group on $\mathbb{N}$, i.e. the subgroup of all even permutations in $S_{\mathbb{N}}$. This gives the first known example of an infinite amenable group with the ISR property.
We will show a centrally free action of an amenable rigid C$^*$-tensor category on a properly infinite von Neumann algebra has the Rohlin property. This enables us to prove the fullness of the crossed product of a full factor by minimal action of a compact group. As another application of the Rohlin property, we will show the uniqueness of centrally free cocycle actions of an amenable rigid C$^*$-tensor category on properly infinite von Neumann algebras.
From a suitable groupoid G, we show how to construct an amenable principal groupoid whose C*-algebra is a Kirchberg algebra which is KK-equivalent to C*(G). Using this construction, we show by example that many UCT Kirchberg algebras can be realised as the C*-algebras of amenable principal groupoids.
In this paper, we give examples of maximal amenable subalgebras of the free group factor of two generators. More precisely, we consider two copies of the hyperfinite factor $R_i$ of type $\mathrm{II}_1$. From each $R_i$, we take a Haar unitary $u_i$ which generates a Cartan subalgebra of it. We show that the von Neumann subalgebra generated by the self-adjoint operator $u_1+u_1^{-1}+u_2+u_2^{-1}$ is maximal amenable in the free product. This provides infinitely many non-unitary conjugate maximal amenable MASAs.
We construct inner amenable groups G with infinite conjugacy classes and such that the associated II_1 factor does not have property Gamma of Murray and von Neumann. This solves a problem posed by Effros in 1975.
A class of $C^*$-algebras, to be called those of generalized tracial rank one, is introduced, and classified by the Elliott invariant. A second class of unital simple separable amenable $C^*$-algebras, those whose tensor products with UHF-algebras of infinite type are in the first class, to be referred to as those of rational generalized tracial rank one, is proved to exhaust all possible values of the Elliott invariant for unital finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. An isomorphism theorem for a special sub-class of those $C^*$-algebras are presented. This provide…
We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is…
We prove that for any infinite, maximal amenable subgroup $H$ in a hyperbolic group $G$, the von Neumann subalgebra $LH$ is maximal amenable inside $LG$. It provides many new, explicit examples of maximal amenable subalgebras in II$_1$ factors. We also prove similar maximal amenability results for direct products of relatively hyperbolic groups and orbit equivalence relations arising from measure-preserving actions of such groups.
In this article, we investigate a unique prime factorization property for infinite tensor product factors. We provide several examples of type II and III factors which satisfy this property, including all free product factors with diffuse free product components. In the type III setting, this is the first classification result for infinite tensor product non-amenable factors. Our proof is based on Popa's intertwining techniques and a characterization of relative amenability on the continuous cores.
Answering a question of J. Rosenberg, we construct the first examples of infinite characters on $GL_n(\mathbf{K})$ for a global field $\mathbf{K}$ and $n\geq 2.$ The case $n=2$ is deduced from the following more general result. Let $G$ a non amenable countable subgroup acting on locally finite tree $X$. Assume either that the stabilizer in $G$ of every vertex of $X$ is finite or that the closure of the image of $G$ in ${\rm Aut}(X)$ is not amenable. We show that $G$ has uncountably many infinite dimensional irreducible unitary representations $(π, \mathcal{H})$ of $G$ which are traceable, that…
We generalize the main result of Kamalov and show that if $G$ is an amenable discrete group with an action $α$ on a finite nuclear unital $C^*$-algebra $A$ such that the reduced crossed product $A\rtimes_{α,r} G$ has property $T$, then $G$ is finite and $A$ is finite dimensional. As an application, an infinite discrete group $H$ is non-amenable if and only if the uniform Roe algebra $C^*_u(H)$ has property $T$.
We say that a countable discrete group $Γ$ satisfies the invariant von Neumann subalgebras rigidity (ISR) property if every $Γ$- invariant von Neumann subalgebra $\mathcal{M}$ in $L(Γ)$ is of the form $L(Λ)$ for some normal subgroup $Λ\lhd Γ$. We show many ``negatively curved" groups, including all torsion free non-amenable hyperbolic groups and torsion free groups with positive first $L^2$-Betti number under a mild assumption, and certain finite direct product of them have this property. We also discuss whether the torsion-free assumption can be relaxed.
We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens the Ornstein--Weiss Rokhlin lemma. As an application we prove that, for every countably infinite amenable group G, the crossed product of a generic free minimal action of G on the Cantor set is Z-sta…
We prove W$^*$-superrigidity for a large class of coinduced actions. We prove that if $Σ$ is an amenable almost-malnormal subgroup of an infinite conjugagy class (icc) property (T) countable group $Γ$, the coinduced action $Γ\curvearrowright X$ from an arbitrary probability measure preserving action $Σ\curvearrowright X_0$ is W$^*$-superrigid. We also prove a similar statement if $Γ$ 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 $Γ$ is W$^*$-superrigid.
Using an interplay between geometric methods in group theory and soft von Neuman algebraic techniques we prove that for any icc, acylindrically hyperbolic group $Γ$ its von Neumann algebra $L(Γ)$ satisfies the so-called ISR property: \emph{any von Neumann subalgebra $N\subseteq L(Γ)$ that is normalized by all group elements in $Γ$ is of the form $N= L(Σ)$ for a normal subgroup $Σ\lhd Γ$.} In particular, this applies to all groups $Γ$ in each of the following classes: all icc (relatively) hyperbolic groups, most mapping class groups of surfaces, all outer automorphisms of free groups with at le…
It was shown by Rordam and the second named author that a countable group G admits an action on a compact space such that the crossed product is a Kirchberg algebra if, and only if, G is exact and non-amenable. This construction allows a certain amount of choice. We show that different choices can lead to different algebras, at least with the free group.
We show that, for countable sofic groups, a Bernoulli action with infinite entropy base has infinite entropy with respect to every sofic approximation sequence. This builds on the work of Lewis Bowen in the case of finite entropy base and completes the computation of measure entropy for Bernoulli actions over countable sofic groups. One consequence is that such a Bernoulli action fails to have a generating countable partition with finite entropy if the base has infinite entropy, which in the amenable case is well known and in the case that the acting group contains the free group on two genera…
In this paper we prove that the general version, F(N) of the Thompson group is inner amenable. As a consequence we generalize a result of P.Jolissaint. To do so, we prove first that F(N) together with a normal subgroup are i.c.c (infinite conjugacy classes) groups. Then, we investigate the relative McDuff property out of which we extract property $Γ$ for the group von Neumann algebras involved. By a result of E.G.Effros, F(N) follows inner amenable.
We prove that the alternating group of a topologically free action of a countably infinite group $Γ$ on the Cantor set has the property that all of its $\ell^2$-Betti numbers vanish and, in the case that $Γ$ is amenable, is stable in the sense of Jones and Schmidt and has property Gamma (and in particular is inner amenable). We show moreover in the realm of amenable $Γ$ that there are many such alternating groups which are simple, finitely generated, and C$^*$-simple. The device for establishing nonisomorphism among these examples is a topological version of Austin's result on the invariance o…
We show that any infinite collection $(Γ_n)_{n\in \mathbb N}$ of icc, hyperbolic, property (T) groups satisfies the following von Neumann algebraic \emph{infinite product rigidity} phenomenon. If $Λ$ is an arbitrary group such that $L(\oplus_{n\in \mathbb N} Γ_n)\cong L(Λ)$ then there exists an infinite direct sum decomposition $Λ=(\oplus_{n \in \mathbb N} Λ_n )\oplus A$ with $A$ icc amenable such that, for all $n\in \mathbb N$, up to amplifications, we have $L(Γ_n) \cong L(Λ_n)$ and $L(\oplus_{k\geq n} Γ_k )\cong L((\oplus_{k\geq n} Λ_k) \oplus A)$. The result is sharp and complements the pre…
We consider a new orbit equivalence invariant for measure-preserving actions of groups on the probability space, $σ:G\to$ Aut$(X,μ)$, denoted $χ_0(σ;G)$ and defined as the "intersection" of the 1-cohomology group, H$^1(σ,G)$, with Connes' $χ(M)$ invariant of the cross product von Neumann algebra, $M=L^\infty(X,μ)\rtimes_σG$. We calculate $χ_0(σ;G)$ for certain actions of groups of the form $G=H\times K$ with $H$ non-amenable and $K$ infinite amenable and we deduce that any such group has uncountably many orbit inequivalent actions.
We show that certain amenable subgroups inside $\tilde{A}_2$-groups are singular in the sense of Boutonnet and Carderi. This gives a new family of examples of singular group von Neumann subalgebras. We also give a geometric proof that if $G$ is an acylindrically hyperbolic group, $H$ is an infinite amenable subgroup containing a loxodromic element, then $H<G$ is singular. Finally, we present (counter)examples to show both situations happen concerning maximal amenability of $LH$ inside $LG$ if $H$ does not contain loxodromic elements.
We show that every countable group with infinite FC-center has the Schmidt property, i.e., admits a free, ergodic, measure-preserving action on a standard probability space such that the full group of the associated orbit equivalence relation contains a non-trivial central sequence. As its consequence, every countable, inner amenable group with property (T) has the Schmidt property.
We prove that every infinite amenable group admits Bernoulli actions of any possible Krieger type, including type $II_\infty$ and type $III_0$. We obtain this result as a consequence of general results on the ergodicity and Krieger type of nonsingular Bernoulli actions $G \curvearrowright \prod_{g \in G} (X_0,μ_g)$ with arbitrary base space $X_0$, both for amenable and for nonamenable groups. Earlier work focused on two point base spaces $X_0 = \{0,1\}$, where type $II_\infty$ was proven not to occur.
Let $α: G\curvearrowright X$ be a minimal free continuous action of an infinite countable amenable group on an infinite compact metrizable space. In this paper, under the hypothesis that the invariant ergodic probability Borel measure space $E_G(X)$ is compact and zero-dimensional, we show that the action $α$ has the small boundary property. This partially answers an open problem in dynamical systems that asks whether a minimal free action of an amenable group has the small boundary property if its space $M_G(X)$ of invariant Borel probability measures forms a Bauer simplex. In addition, under…
We single out a large class of groups ${\mathscr{M}}$ for which the following unique prime factorization result holds: if $Γ_1,\dots,Γ_n\in {\mathscr{M}}$ and $Γ_1\times\dots\timesΓ_n$ is measure equivalent to a product $Λ_1\times\dots\timesΛ_m$ of infinite icc groups, then $n \ge m$, and if $n = m$ then, after permutation of the indices, $Γ_i$ is measure equivalent to $Λ_i$, for all $1\leq i\leq n$. This provides an analogue of Monod and Shalom's theorem \cite{MS02} for groups that belong to ${\mathscr{M}}$. Class ${\mathscr{M}}$ is constructed using groups whose von Neumann algebras admit an…
Amenability for groups can be extended to metric spaces, algebras over commutative fields and $C^*$-algebras by adapting the notion of Følner nets. In the present article we investigate the close ties among these extensions and show that these three pictures unify in the context of the uniform Roe algebra $C_u^*(X)$ over a metric space $(X,d)$ with bounded geometry. In particular, we show that the following conditions are equivalent: (1) $(X,d)$ is amenable; (2) the translation algebra generating $C_u^*(X)$ is algebraically amenable (3) $C_u^*(X)$ has a tracial state; (4) $C_u^*(X)$ is not pro…