• Let $M$ be a $\rm 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 arbitrary $\rm 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\leq \mathbb{R}^*_+$ which is realized as a fundamental group of a $\rm II_1$ factor, there exists a $\rm II_1$ factor $M$ which satisfies this property and whose fundamental group is $G$. Using this, we deduce that if $G,H \leq \mathbb{R}^*_+$ are realized as fundamental groups of $\rm II_1$ factors (with separable predual), then so are groups $G \cdot H$ and $G \cap H$.
  • Let $\mathbb{G}$ be a free (unitary or orthogonal) quantum group. We prove that for any non-amenable subfactor $N\subset L^\infty(\mathbb{G})$, which is an image of a faithful normal conditional expectation, and for any $\sigma$-finite factor $B$, the tensor product $N \otimes B$ has no Cartan subalgebras. This generalizes our previous work that provides the same result when $B$ is finite. In the proof, we establish Ozawa--Popa and Popa--Vaes's weakly compact action on the continuous core of $N \otimes B$ as the one relative to B, by using an operator valued weight to B and the central weak amenability of $\mathbb{G}$.
  • We investigate the asymptotic structure of (possibly type III) crossed product von Neumann algebras $M = B \rtimes \Gamma$ arising from arbitrary actions $\Gamma \curvearrowright B$ of bi-exact discrete groups (e.g. free groups) on amenable von Neumann algebras. We prove a spectral gap rigidity result for the central sequence algebra $N' \cap M^\omega$ of any nonamenable von Neumann subalgebra with normal expectation $N \subset M$. We use this result to show that for any strongly ergodic essentially free nonsingular action $\Gamma \curvearrowright (X, \mu)$ of any bi-exact countable discrete group on a standard probability space, the corresponding group measure space factor ${\rm L}^\infty(X) \rtimes \Gamma$ has no nontrivial central sequence. Using recent results of Boutonnet-Ioana-Salehi Golsefidy [BISG15], we construct, for every $0 < \lambda \leq 1$, a type III$_\lambda$ strongly ergodic essentially free nonsingular action $\mathbf F_\infty \curvearrowright (X_\lambda, \mu_\lambda)$ of the free group $\mathbf F_\infty$ on a standard probability space so that the corresponding group measure space type III$_\lambda$ factor ${\rm L}^\infty(X_\lambda, \mu_\lambda) \rtimes \mathbf F_\infty$ has no nontrivial central sequence by our main result. In particular, we obtain the first examples of group measure space type III factors with no nontrivial central sequence.
  • We show that whenever $m \geq 1$ and $M_1, \dots, M_m$ are nonamenable factors in a large class of von Neumann algebras that we call $\mathcal C_{(\text{AO})}$ and which contains all free Araki-Woods factors, the tensor product factor $M_1 \mathbin{\overline{\otimes}} \cdots \mathbin{\overline{\otimes}} M_m$ retains the integer $m$ and each factor $M_i$ up to stable isomorphism, after permutation of the indices. Our approach unifies the Unique Prime Factorization (UPF) results from [OP03, Is14] and moreover provides new UPF results in the case when $M_1, \dots, M_m$ are free Araki-Woods factors. In order to obtain the aforementioned UPF results, we show that Connes's bicentralizer problem has a positive solution for all type ${\rm III_1}$ factors in the class $\mathcal C_{(\text{AO})}$.
  • The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^\omega, \varphi^\omega)$ where $(M, \varphi)$ is a $\sigma$-finite von Neumann algebra endowed with a faithful normal state satisfying $(M^\varphi)' \cap M = \mathbf{C} 1$. More precisely, we show that whenever $P_1, P_2 \subset M^\omega$ are von Neumann subalgebras with separable predual that are globally invariant under the modular automorphism group $(\sigma_t^{\varphi^\omega})$, there exists a unitary $v \in \mathcal U((M^\omega)^{\varphi^\omega})$ such that $P_1$ and $v P_2 v^*$ are $\ast$-free inside $M^\omega$ with respect to the ultraproduct state $\varphi^\omega$. Combining our main result with the recent work of Ando-Haagerup-Winsl\o w [AHW13], we obtain a new and direct proof, without relying on Connes-Tomita-Takesaki modular theory, that Kirchberg's quotient weak expectation property (QWEP) for von Neumann algebras is stable under free product. Finally, we obtain a new class of inclusions of von Neumann algebras with the relative Dixmier property.
  • We prove some unique factorization results for tensor products of free quantum group factors. They are type III analogues of factorization results for direct products of bi-exact groups established by Ozawa and Popa. In the proof, we first take continuous cores of the tensor products, which satisfy a condition similar to condition (AO), and discuss some factorization properties for the continuous cores. We then deduce factorization properties for the original type III factors. We also prove some unique factorization results for crossed product von Neumann algebras by direct products of bi-exact groups.
  • We consider some conditions similar to Ozawa's condition (AO), and prove that if a non-injective factor satisfies such a condition and has the W*CBAP, then it has no Cartan subalgebras. As a corollary, we prove that $\rm II_1$ factors of universal orthogonal and unitary discrete quantum groups have no Cartan subalgebras. We also prove that continuous cores of type $\rm III_1$ factors with such a condition are semisolid as a $\rm II_\infty$ factor.
  • We define Ozawa's notion of bi-exactness to discrete quantum groups, and then prove some structural properties of associated von Neumann algebras. In particular, we prove that any non amenable subfactor of free quantum group von Neumann algebras, which is an image of a faithful normal conditional expectation, has no Cartan subalgebras.
  • We generalize Kirchberg's weak exactness to inclusions of C*-algebras in von Neumann algebras and study some characterizations and permanence properties which are similar to those of exact groups. We then consider a similar condition to Ozawa's condition (AO) with our weak exactness and generalize Ozawa's theorem for bi-exact groups. As a corollary, we give new examples of prime factors.