
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 nonamenable 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 OzawaPopa and PopaVaes'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 biexact 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 biexact 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 BoutonnetIoanaSalehi 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 ArakiWoods 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
ArakiWoods 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
AndoHaagerupWinsl\o w [AHW13], we obtain a new and direct proof, without
relying on ConnesTomitaTakesaki 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 biexact 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 biexact groups.

We consider some conditions similar to Ozawa's condition (AO), and prove that
if a noninjective 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 biexactness 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 biexact groups. As a corollary, we give new examples of
prime factors.