In [CDD22], we investigated the structure of $\ast $-isomorphisms between von Neumann algebras $L(\Gamma )$ associated with graph product groups $\Gamma $ of flower-shaped graphs and property (T) wreath-like product vertex groups, as in [CIOS21]. In this follow-up, we continue the structural study of these algebras by establishing that these graph product groups $\Gamma $ are entirely recognizable from the category of all von Neumann algebras arising from an arbitrary nontrivial graph product group with infinite vertex groups. A sharper $C^*$-algebraic version of this statement is also obtained. In the process of proving these results, we also extend the main $W^*$-superrigidity result from [CIOS21] to direct products of property (T) wreath-like product groups.

We prove novel asymptotic freeness results in tracial ultraproduct von Neumann algebras. In particular, we show that whenever $M = M_1 \ast M_2$ is a tracial free product von Neumann algebra and $u_1 \in \mathscr U(M_1)$, $u_2 \in \mathscr U(M_2)$ are Haar unitaries, the relative commutants $\{u_1\}' \cap M^{\mathcal U}$ and $\{u_2\}' \cap M^{\mathcal U}$ are freely independent in the ultraproduct $M^{\mathcal U}$. Our proof relies on Mei–Ricard’s results [MR16] regarding $\operatorname {L}^p$-boundedness (for all $1 < p < +\infty $) of certain Fourier multipliers in tracial amalgamated free products von Neumann algebras. We derive two applications. Firstly, we obtain a general absorption result in tracial amalgamated free products that recovers several previous maximal amenability/Gamma absorption results. Secondly, we prove a new lifting theorem which we combine with our asymptotic freeness results and Chifan–Ioana–Kunnawalkam Elayavalli’s recent construction [CIKE22] to provide the first example of a $\mathrm {II_1}$ factor that does not have property Gamma and is not elementary equivalent to any free product of diffuse tracial von Neumann algebras.

In 1988, Haagerup and Størmer conjectured that every pointwise inner automorphism of a type ${\rm III_1}$ factor is a composition of an inner and a modular automorphism. We study this conjecture and prove that every type ${\rm III_1}$ factor with trivial bicentralizer indeed satisfies this condition. In particular, this shows that Haagerup and Størmer's conjecture holds in full generality if Connes’ bicentralizer problem has an affirmative answer. Our proof is based on Popa's intertwining theory and Marrakchi's recent work on relative bicentralizers.

We single out a large class of groups ${\rm {\boldsymbol {\mathscr {M}}}}$ for which the following unique prime factorization result holds: if $\Gamma _1,\ldots,\Gamma _n\in {\rm {\boldsymbol {\mathscr {M}}}}$ and $\Gamma _1\times \cdots \times \Gamma _n$ is measure equivalent to a product $\Lambda _1\times \cdots \times \Lambda _m$ of infinite icc groups, then $n \ge m$, and if $n = m$, then, after permutation of the indices, $\Gamma _i$ is measure equivalent to $\Lambda _i$, for all $1\leq i\leq n$. This provides an analogue of Monod and Shalom's theorem [Orbit equivalence rigidity and bounded cohomology, Ann. of Math. 164 (2006), 825–878] for groups that belong to ${\rm {\boldsymbol {\mathscr {M}}}}$. Class ${\rm {\boldsymbol {\mathscr {M}}}}$ is constructed using groups whose von Neumann algebras admit an s-malleable deformation in the sense of Sorin Popa and it contains all icc non-amenable groups $\Gamma$ for which either (i) $\Gamma$ is an arbitrary wreath product group with amenable base or (ii) $\Gamma$ admits an unbounded 1-cocycle into its left regular representation. Consequently, we derive several orbit equivalence rigidity results for actions of product groups that belong to ${\rm {\boldsymbol {\mathscr {M}}}}$. Finally, for groups $\Gamma$ satisfying condition (ii), we show that all embeddings of group von Neumann algebras of non-amenable inner amenable groups into $L(\Gamma )$ are ‘rigid’. In particular, we provide an alternative solution to a question of Popa that was recently answered by Ding, Kunnawalkam Elayavalli, and Peterson [Properly Proximal von Neumann Algebras, Preprint (2022), arXiv:2204.00517].

We introduce Poisson boundaries of II$_1$ factors with respect to density operators that give the traces. The Poisson boundary is a von Neumann algebra that contains the II$_1$ factor and is a particular example of the boundary of a unital completely positive map as introduced by Izumi. Studying the inclusion of the II$_1$ factor into its boundary, we develop a number of notions, such as double ergodicity and entropy, that can be seen as natural analogues of results regarding the Poisson boundaries introduced by Furstenberg. We use the techniques developed to answer a problem of Popa by showing that all finite factors satisfy his MV property. We also extend a result of Nevo by showing that property (T) factors give rise to an entropy gap.

One of the main aims of this paper is to give a large class of strongly solid compact quantum groups. We do this by using quantum Markov semigroups and noncommutative Riesz transforms. We introduce a property for quantum Markov semigroups of central multipliers on a compact quantum group which we shall call ‘approximate linearity with almost commuting intertwiners’. We show that this property is stable under free products, monoidal equivalence, free wreath products and dual quantum subgroups. Examples include in particular all the (higher-dimensional) free orthogonal easy quantum groups.

We then show that a compact quantum group with a quantum Markov semigroup that is approximately linear with almost commuting intertwiners satisfies the immediately gradient- ${\mathcal {S}}_2$ condition from [10] and derive strong solidity results (following [10]). Using the noncommutative Riesz transform we also show that these quantum groups have the Akemann–Ostrand property; in particular, the same strong solidity results follow again (now following [27]).

Generalizing von Neumann’s result on type II $_1$ von Neumann algebras, I characterise lattice isomorphisms between projection lattices of arbitrary von Neumann algebras by means of ring isomorphisms between the algebras of locally measurable operators. Moreover, I give a complete description of ring isomorphisms of locally measurable operator algebras when the von Neumann algebras are without type II direct summands.

Suppose that $\mathcal {A}$ is a unital subhomogeneous C*-algebra. We show that every central sequence in $\mathcal {A}$ is hypercentral if and only if every pointwise limit of a sequence of irreducible representations is multiplicity free. We also show that every central sequence in $\mathcal {A}$ is trivial if and only if every pointwise limit of irreducible representations is irreducible. Finally, we give a nice representation of the latter algebras.

Bożejko and Speicher associated a finite von Neumann algebra MT to a self-adjoint operator T on a complex Hilbert space of the form $\mathcal {H}\otimes \mathcal {H}$ which satisfies the Yang–Baxter relation and $ \left\| T \right\| < 1$. We show that if dim$(\mathcal {H})$ ⩾ 2, then MT is a factor when T admits an eigenvector of some special form.

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.

We provide a class of separable II1 factors $M$ whose central sequence algebra is not the ‘tail’ algebra associated with any decreasing sequence of von Neumann subalgebras of $M$. This settles a question of McDuff [On residual sequences in a II1 factor, J. Lond. Math. Soc. (2) (1971), 273–280].

We prove simplicity of all intermediate $C^{\ast }$-algebras $C_{r}^{\ast }(\unicode[STIX]{x1D6E4})\subseteq {\mathcal{B}}\subseteq \unicode[STIX]{x1D6E4}\ltimes _{r}C(X)$ in the case of minimal actions of $C^{\ast }$-simple groups $\unicode[STIX]{x1D6E4}$ on compact spaces $X$. For this, we use the notion of stationary states, recently introduced by Hartman and Kalantar [Stationary $C^{\ast }$-dynamical systems. Preprint, 2017, arXiv:1712.10133]. We show that the Powers’ averaging property holds for the reduced crossed product $\unicode[STIX]{x1D6E4}\ltimes _{r}{\mathcal{A}}$ for any action $\unicode[STIX]{x1D6E4}\curvearrowright {\mathcal{A}}$ of a $C^{\ast }$-simple group $\unicode[STIX]{x1D6E4}$ on a unital $C^{\ast }$-algebra ${\mathcal{A}}$, and use it to prove a one-to-one correspondence between stationary states on ${\mathcal{A}}$ and those on $\unicode[STIX]{x1D6E4}\ltimes _{r}{\mathcal{A}}$.

Let M be an arbitrary factor and $\sigma : \Gamma \curvearrowright M$ an action of a discrete group. In this paper, we study the fullness of the crossed product $M \rtimes _\sigma \Gamma $. When Γ is amenable, we obtain a complete characterization: the crossed product factor $M \rtimes _\sigma \Gamma $ is full if and only if M is full and the quotient map $\overline {\sigma } : \Gamma \rightarrow {\rm out}(M)$ has finite kernel and discrete image. This answers the question of Jones from [11]. When M is full and Γ is arbitrary, we give a sufficient condition for $M \rtimes _\sigma \Gamma $ to be full which generalizes both Jones' criterion and Choda's criterion. In particular, we show that if M is any full factor (possibly of type III) and Γ is a non-inner amenable group, then the crossed product $M \rtimes _\sigma \Gamma $ is full.

We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II1 factor is an enforceable II1 factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian $\text{C}^{\ast }$-algebras and use this to show that it is the prime model of its theory.

We investigate factoriality, Connes' type III invariants and fullness of arbitrary amalgamated free product von Neumann algebras using Popa's deformation/rigidity theory. Among other things, we generalize many previous structural results on amalgamated free product von Neumann algebras and we obtain new examples of full amalgamated free product factors for which we can explicitely compute Connes' type III invariants.

For an arbitrary discrete probability-measure-preserving groupoid $G$, we provide a characterization of property (T) for $G$ in terms of the groupoid von Neumann algebra $L(G)$. More generally, we obtain a characterization of relative property (T) for a subgroupoid $H\subset G$ in terms of the inclusions $L(H)\subset L(G)$.

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.

Let $M$ be a $\text{II}_{1}$ factor and let ${\mathcal{F}}(M)$ denote the fundamental group of $M$. In this article, we study the following property of $M$: for any $\text{II}_{1}$ factor $B$, we have ${\mathcal{F}}(M\,\overline{\otimes }\,B)={\mathcal{F}}(M){\mathcal{F}}(B)$. We prove that for any subgroup $G\leqslant \mathbb{R}_{+}^{\ast }$ which is realized as a fundamental group of a $\text{II}_{1}$ factor, there exists a $\text{II}_{1}$ factor $M$ which satisfies this property and whose fundamental group is $G$. Using this, we deduce that if $G,H\leqslant \mathbb{R}_{+}^{\ast }$ are realized as fundamental groups of $\text{II}_{1}$ factors, then so are groups $G\cdot H$ and $G\cap H$.

Let $I$ be any nonempty set and let $(M_{i},\unicode[STIX]{x1D711}_{i})_{i\in I}$ be any family of nonamenable factors, endowed with arbitrary faithful normal states, that belong to a large class ${\mathcal{C}}_{\text{anti}\text{-}\text{free}}$ of (possibly type $\text{III}$ ) von Neumann algebras including all nonprime factors, all nonfull factors and all factors possessing Cartan subalgebras. For the free product $(M,\unicode[STIX]{x1D711})=\ast _{i\in I}(M_{i},\unicode[STIX]{x1D711}_{i})$ , we show that the free product von Neumann algebra $M$ retains the cardinality $|I|$ and each nonamenable factor $M_{i}$ up to stably inner conjugacy, after permutation of the indices. Our main theorem unifies all previous Kurosh-type rigidity results for free product type $\text{II}_{1}$ factors and is new for free product type $\text{III}$ factors. It moreover provides new rigidity phenomena for type $\text{III}$ factors.