No Arabic abstract
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 initiate a study of maximal subgroups and maximal von Neumann subalgebras which have the Haagerup property. We determine maximal Haagerup subgroups inside $mathbb{Z}^2 rtimes SL_2(mathbb{Z})$ and obtain several explicit instances where maximal Haagerup subgroups yield maximal Haagerup subalgebras. Our techniques are on one hand based on group-theoretic considerations, and on the other on certain results on intermediate von Neumann algebras, in particular these allowing us to deduce that all the intermediate algebras for certain inclusions arise from groups or from group actions. Some remarks and examples concerning maximal non-(T) subgroups and subalgebras are also presented, and we answer two questions of Ge regarding maximal von Neumann subalgebras.
Given a von Neumann algebra $M$ denote by $S(M)$ and $LS(M)$ respectively the algebras of all measurable and locally measurable operators affiliated with $M.$ For a faithful normal semi-finite trace $tau$ on $M$ let $S(M, tau)$ (resp. $S_0(M, tau)$) be the algebra of all $tau$-measurable (resp. $tau$-compact) operators from $S(M).$ We give a complete description of all derivations on the above algebras of operators in the case of type I von Neumann algebra $M.$ In particular, we prove that if $M$ is of type I$_infty$ then every derivation on $LS(M)$ (resp. $S(M)$ and $S(M,tau)$) is inner, and each derivation on $S_0(M, tau)$ is spatial and implemented by an element from $S(M, tau).$
Ge asked the question whether $LF_{infty}$ can be embedded into $LF_2$ as a maximal subfactor. We answer it affirmatively by three different approaches, all containing the same key ingredient: the existence of maximal subgroups with infinite index. We also show that point stabilizer subgroups for every faithful, 4-transitive action on an infinite set give rise to maximal von Neumann subalgebras. Combining this with known results on constructing faithful, highly transitive actions, we get many maximal von Neumann subalgebras arising from maximal subgroups with infinite index.
Given a type I von Neumann algebra $M$ with a faithful normal semi-finite trace $tau,$ let $S_0(M, tau)$ be the algebra of all $tau$-compact operators affiliated with $M.$ We give a complete description of all derivations on the algebra $S_0(M, tau).$ In particular, we prove that if $M$ is of type I$_infty$ then every derivation on $S_0(M, tau)$ is spatial.
A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which von Neumann algebras are clean as rings? In this paper, we characterize strongly clean von Neumann algebras and prove that all finite von Neumann algebras and all separable infinite factors are clean.