TENSOR PRODUCT DECOMPOSITIONS OF II1 FACTORS ARISING FROM
EXTENSIONS OF AMALGAMATED FREE PRODUCT GROUPS

arXiv:1710.05019v2 [math.OA] 28 Nov 2017

IONUŢ CHIFAN, ROLANDO DE SANTIAGO, AND WANCHALERM SUCPIKARNON

A BSTRACT. In this paper we introduce a new family of icc groups Γ which satisfy the following product rigidity phenomenon, discovered in [DHI16] (see also [dSP17]): all tensor
product decompositions of the II1 factor L(Γ) arise only from the canonical direct product
decompositions of the underlying group Γ. Our groups are assembled from certain HNNextensions and amalgamated free products and include many remarkable groups studied
throughout mathematics such as graph product groups, poly-amalgam groups, BurgerMozes groups, Higman group, various integral two-dimensional Cremona groups, etc. As
a consequence we obtain several new examples of groups that give rise to prime factors.

1. I NTRODUCTION
An important step towards understanding the structure of II1 factors is the study their
tensor product decompositions. A factor is called prime if it cannot be decomposed as a
tensor product of diffuse factors. Using his notion of ∗-orthogonal von Neumann algebras, S. Popa was able to show in [Po83] that the (non-separable) II1 factor L(F S ) arising
from the free group F S with uncountably many generators S is prime. More than a decade
later, using Voiculescu’s influential free probability theory, Ge managed to prove the same
result about the free group factors L(F n ) with countably many generators, n ≥ 2 [Ge98].
Using a completely different perspective based on C∗ -techniques, Ozawa obtained a farreaching generalization of this by showing that for every icc hyperbolic group Γ the corresponding factor L(Γ) is in fact solid (for every diffuse A ⊆ L(Γ) von Neumann subalgebra,
its relative commutant A ′ ∩ L(Γ) is amenable) [Oz03]. Developing a new approach rooted
in the study of closable derivations, Peterson showed primeness of L(Γ), whenever Γ is
any nonamenable icc group with positive first Betti number [Pe06]. Within the powerful
framework of his deformation/rigidity theory Popa discovered a new proof of solidity
of the free group factors [Po06]. These methods laid out the foundations of a rich subsequent activity regarding the study of primeness and other structural aspects of II1 factors
[Oz04, CH08, CI08, Si10, Fi10, CS11, CSU11, SW11, HV12, Bo12, BHR12, DI12, CKP14,
Is14, HI15, Ho15, DHI16, Is16].
1.1. Statements of main results. Drimbe, Hoff and Ioana have discovered in [DHI16]
a new classification result regarding the study of tensor product decompositions of II1
factors. Precisely, whenever Γ is an icc group that is measure equivalent to a direct product of non-elementary hyperbolic groups then all possible tensor product decompositions
I.C. was partially supported by NSF grants DMS # 1600688 and DMS # 1301370.
R.dS. was partially supported by a grant at from Sloan Center for Exemplary Mentoring, NSF grant DMS
# 1600688 and RTG Assistantship at UCLA.
W.S. was partially supported by NSF grant DMS # 1600688.
1

of the corresponding II1 factor L(Γ) can arise only from the canonical direct product decompositions of the underlying group Γ. Pant and the second author showed the same
result holds when Γ is a poly-hyperbolic group with non-amenable factors in its composition series [dSP17]. In this paper we introduce several new classes of groups for which
this tensor product rigidity phenomenon still holds. Our groups arise from natural algebraic constructions involving HNN-extensions or amalgamated free products thus including many remarkable groups intensively studied throughout mathematics such as
graph products or poly-amalgams groups.
Basic properties in Bass-Serre theory of groups show that the only way an amalgam
Γ1 ∗Σ Γ2 could decompose as a direct product is through its core Σ. Precisely, if Γ1 ∗Σ Γ2 =
Λ1 × Λ2 then there is a permutation s of {1, 2} so that Λs(1) 6 Σ. This further gives
Σ = Λs(1) × Σ0 , Γ1 = Λs(1) × Γ01 , Γ2 = Λs(1) × Γ02 for some groups Σ0 6 Γ01 , Γ02 and
hence Λs(2) = Γ01 ∗Σ0 Γ02 . An interesting question is to investigate situations when this
basic group theoretic aspect could be upgraded to the von Neumann algebraic setting.
It is known this fails in general since there are examples of product indecomposable icc
amalgams whose corresponding factors are McDuff and hence decomposable as tensor
products (see Remarks 6.3). However, under certain indecomposability assumptions on
the core algebra (see also Remarks 6.3) we are able to provide a positive answer to our
question.
Theorem A. Let Γ = Γ1 ∗Σ Γ2 be an icc group such that [Γ1 : Σ] ≥ 2 and [Γ2 : Σ] ≥ 3. Assume
¯ M2 ,
that Σ is finite-by-icc and any corner of L(Σ) is virtually prime. Suppose that L(Γ) = M1 ⊗
for diffuse Mi ’s. Then there exist decompositions Σ = Ω × Σ0 with Σ0 finite, Γ1 = Ω × Γ01 ,
Γ2 = Ω × Γ02 , for some groups Σ0 6 Γ01 , Γ02 , and hence Γ = Ω × (Γ01 ∗Σ0 Γ02 ). Moreover, there is
a unitary u ∈ L(Γ), t > 0, and a permutation s of {1, 2} such that
Ms(1) = uL(Ω)t u∗

and

Ms(2) = uL(Γ01 ∗Σ0 Γ02 )1/t u∗ .

(1.1)

The same question can be considered in the realm of non-degenerate HNN-extension
groups and a similar approach leads to the following counterpart of Theorem A.
Theorem B. Let Γ = HNN(Λ, Σ, θ ) be an icc group such that Σ 6= Λ 6= θ (Σ). Assume that
¯ M2 , for
Σ is finite-by-icc and any corner of L(Σ) is virtually prime. Suppose that L(Γ) = M1 ⊗
diffuse Mi ’s. Then there exist decompositions Σ = Ω × Σ0 with Σ0 finite and Λ = Ω × Λ0 .
In addition, there is ω ∈ Ω such that θ = ad(ω )|Ω × θ|Σ0 : Ω × Σ0 → Ω × Λ0 and hence
Γ = Ω × HNN(Λ0 , Σ0 , θ|Σ0 ). Also, there is a unitary u ∈ L(Γ), t > 0, and a permutation s of
{1, 2} such that
Ms(1) = uL(Ω)t u∗

and

Ms(2) = uL(HNN (Λ0 , Σ0 , θ|Σ0 ))1/t u∗ .

(1.2)

One way to take this analysis to a next step would be to investigate more complicated
groups which can be structurally assembled from amalgamated free products. We denote
by T the class of all icc grous that are either amalgamated free products Γ1 ∗Σ Γ2 satisfying
[Γ1 : Σ] ≥ 2, [Γ2 : Σ] ≥ 3 and Σ ∈ Crss , or, HNN-extensions HNN(Λ, Σ, θ ) satisfying
Σ 6= Λ 6= θ (Σ) and Σ ∈ Crss . For the precise definition of class Crss we refer the reader to
[CIK13, Definition 2.7], but we point out briefly that it contains all finite groups, all nonelementary hyperbolic groups and all non-amenable free products groups. Then we write
Γ ∈ Quotn (T ) and say Γ is an n-step extension of groups in T (or a poly-amalgam of length n)
2

if Γ admits a composition series of length n whose factor groups belong to T (see Section
5). This class covers many important groups such as direct products of polyfree groups,
including: central quotients of most surface braid groups; most mapping class groups,
Torelli groups, and Johnson kernels of low genus surfaces; etc [CKP14]. Combining our
methods with previous deep classification results in von Neumann algebras from [PV11,
PV12, Io12, Va13, CIK13, CdSS15] we are able to classify of all tensor decompositions of
II1 factors arising from these poly-amalgam groups:
Theorem C. Let D be the class of all groups commensurable to a group in Crss ∪ (finite-by-T ).
¯ M2 , for
Let Γ ∈ Quotn (T ) ∪ (Quotn (T )-by-Crss ) be an icc group. Assume that L(Γ) = M1 ⊗
diffuse Mi ’s. Then there exist a decomposition Γ = Γ1 × Γ2 , where Γi is commensurable to a
group in Quotni (D) for some ni ∈ 1, n. Moreover, one can find a unitary u ∈ L(Γ), t > 0 and a
permutation s of {1, 2} such that
Ms(1) = uL(Γ1 )t u∗

and

Ms(2) = uL(Γ2 )1/t u∗ .

(1.3)

Another remarkable class of groups whose tensor decompositions of the corresponding
factors could be completely described are the graph product groups. These are natural
generalizations of the right angled Artin and Coxeter groups and were introduced by E.
Green in her PhD thesis [Gr90]. The study of graph products and their subgroups has became a trendy subject over the last decade in geometric group theory and many important
results have been discovered, [A13, HW08, W11, MO13, AM10]. These groups have been
considered in the von Neumann algebraic setting in [CF14] and several structural results
(strong solidity, Cartanless) for these algebras have emerged from the works [CF14, Ca16].
Our work investigates new aspects regarding the structure of these algebras.
To introduce the result we briefly recall the graph product construction. Let G be a
finite graph with vertex set V and without loops or multiple edges. The graph product
G(Γv , v ∈ V ) of a given family of vertex groups {Γv }v∈V is the quotient of the free product
∗v∈V Γv by the relations [Γu , Γv ] = 1 whenever u and v are adjacent vertices in G . For every
v ∈ V we denote by link(v) the set of all vertices w 6= v that are adjacent to v. Given a
subset A ⊆ V we denote by link(A) = ∩v∈A link(v). Also, we let Vstar be the collection of
all v ∈ V such that link(v) = V \ {v}.
It is well known that a graph product group can be decomposed non-canonically as
a direct product precisely when the vertices of the underlying graph can be partitioned
into two disjoint sets V1 ⊔ V2 = V so that each vertex v ∈ V1 is connected to by an edge
to every vertex in V2 , and vice versa; equivalently, the complement of the underlying
graph has two components. In this situation, the factors which decompose Γ arise from
the sub-graph products corresponding to the subgraphs induced by V1 and V2 . We show
that this basic group factorization phenomenon passes to the von Neumann algebraic
structure, thus enabling a complete classification of all tensor product decompositions of
L(G(Γv , v ∈ V )), for a large family of graphs G . Specifically, we have the following
Theorem D. Let Γ = G(Γv , v ∈ V ) an icc graph product group. Assume that Vstar = ∅ and
¯ M2 , for diffuse Mi ’s. Then one can find
also |Γv | = ∞ for all v ∈ V . Suppose that L(Γ) = M1 ⊗
a proper subset A ⊂ V such that A ⊔ link(A) = V , a unitary u ∈ L(Γ), and a scalar t > 0
satisfying
M1 = uL(ΓA )t u∗

and
3

M2 = uL(Γlink (A) )1/t u∗ .

We note in passing that if Vstar 6= ∅ then similar statements could be obtained under
the additional assumption that the vertex groups Γv for v ∈ Vstar are icc hyperbolic (or
biexact [Oz03]).
As an application of the aforementioned classification results we are able to identify
several new examples of remarkable groups which give rise to prime factors. In particular
these include various well known classes of simple groups—a novelty in the area (see
part c) in Corollary E). In addition, we are able to recover some of the results obtained in
[DHI16, Corollary B] (see part d) in Corollary E).
Corollary E. If Γ is a group in one of the following classes then L(Γ) is prime.
a)
b)
c)
d)
e)
f)

the integral two-dimensional Cremona group Autk (k[ x, y]), where k is a countable field;
Higman’s group ha, b, c, d | ab = a2 , bc = b2 , cd = c2 , d a = d2 i [Hi51];
Burger-Mozes’ groups [BM01], Camm’s groups [Ca51], Bhattacharjee’s groups [Bh94];
PSL2 (Z [S−1 ]), where S is a finite collection of primes.
PGL2 (k[t]), PSL2 (k[t]), where k countable field, e.g. k is a number field.
∼ E2 ( R[t])/( I2 ) where R is a finite integral domain or R is a countable comPE2 ( R[t]) =
mutative integral domain with |(r )| = ∞ for every r ∈ R \ {0}.

1.2. Comments on the proof of Theorem A. The proofs of the main results in the paper
follow a common general strategy. Although Theorem A is not the most technically involved, we believe that a brief outline of its proof will give the reader a solid informal
understanding of the underlying method of proof. Assume that Γ = Γ1 ∗Σ Γ2 and con¯ M2 . Making use of the classification of norsider a tensor decomposition of L(Γ) = M1 ⊗
malizers of subalgebras in amalgamated free products developed in [Io12, Va13] we can
assume that a corner of M1 can be intertwined into L(Σ) inside L(Γ), in the sense of Popa,
(M1 ≺ L(Γ) L(Σ) [Po03]). This in combination with intertwining techniques from [CKP14]
and the virtual primeness assumption on L(Σ) imply that, up to corners, M1 is actually
∼ com L(Σ),
spatially commensurable to L(Σ) (see Section 4). This property, denoted by M1 =
L (Γ )
roughly means that a (nontrivial) corner of M1 can by conjugated via a partial isometry
from L(Γ) onto a finite index subalgebra inside a corner of L(Σ). Then developing new
techniques that build upon some ideas from [CdSS15] (see also [DHI16]) we are able to
∼ com L(Σ) always implies that the subgroup generated by Σ and its censhow that M1 =
L (Γ )
tralizer CΓ (Σ) has finite index in Γ. Finally adapting some arguments from [OP03] and
[CdSS15] we conclude that Γ splits non-trivially as a direct product and the statement
follows using basic Bass-Serre group theory considerations and intertwining techniques.
The aforementioned criterion of deducing the direct product splitting of Γ (and hence
the tensor decomposition of L(Γ)) only from spatial commensurability between a corner
of M1 and a corner of a subalgebra L(Σ) arising from a subgroup Σ < Γ is the common
underlying strategy used in the proofs of the main results of the paper.

1.3. Terminology. The von Neumann algebras M considered in this paper are endowed
with a unital, faithful, normal linear functional τ : M → C that is tracial, i.e. τ ( xy) =
τ (yx ), for all x, y ∈ M. If x ∈ M then we denote by k x k its operator norm and by
k x k2 = τ ( x ∗ x )1/2 its 2-norm. Given a von Neumann algebra M, we denote by Z( M) its
center, by U ( M) its unitary group, by P( M) the set of its projections, and by ( M)1 its unit
4

ball with respect to the operator norm. For a set S ⊆ M, we denote by S ′′ the smallest
von Neumann subalgebra of M which contains S.
All inclusions P ⊆ M of von Neumann algebras are assumed unital, unless otherwise
specified. Given von Neumann subalgebras P, Q ⊆ M, we denote by EP : M → P the
conditional expectation onto P, by P ′ ∩ M = {x ∈ M | [ x, P] = 0} the relative commutant
of P in M, and by P ∨ Q the von Neumann algebra generated by P and Q.
Unless otherwise specified, all groups considered in this paper are assumed countable
and discrete. Given a group Γ, we denote by {uγ }γ∈Γ ⊆ U (ℓ2 Γ) its left regular representation given by uγ (ξ )(λ) = ξ (γ−1 λ), for all ξ ∈ ℓ2 Γ and λ ∈ Γ. The weak operator closure
of the linear span of {uγ }γ∈ G in B (ℓ2 (Γ)) is called the group von Neumann algebra of
Γ and is denoted by L(Γ). L(Γ) is a II1 factor precisely when Γ has infinite non-trivial
conjugacy classes (icc) [MvN43].
Let Γ be a group. Given subsets K, F ⊆ Γ, we put KF = {k f |k ∈ K, f ∈ F}. Given a
subgroup Σ < Γ, we denote by CΣ (K ) = {g ∈ Σ|γk = kγ, for all k ∈ K} the centralizer of
K in Σ. If C and D are classes of groups then we say that a group Γ is C -by-D if there exist
a short exact sequence 1 → A → Γ → B → 1 with A ∈ C and B ∈ D . We denote by Sn
the permutation group of n letters. If m < n are positive integers, m, n will denote the set
{m, . . . , n}.
2. I NTERTWINING R ESULTS

IN

A MALGAMATED F REE P RODUCT

VON

N EUMANN

ALGEBRAS

2.1. Popa’s intertwining techniques. Over a decade ago, S. Popa has introduced in [Po03,
Theorem 2.1 and Corollary 2.3] the following powerful analytic criterion to identify intertwiners between arbitrary subalgebras of tracial von Neumann algebras.
In order to study the structural theory of von Neumann algberas S. Popa has introduced
the following notion of intertwining subalgebras which has been very instrumental in the
recent developments in the classification of von Neumann algebras. Given (not necessarily unital) inclusions P, Q ⊂ M of von Neumann subalgebras, one says that a corner
of P embeds into Q inside M and writes P ≺ M Q if there exist p ∈ P( P), q ∈ P(Q), a
∗-homomorphism Θ : pPp → qQq and a non-zero partial isometry v ∈ qMp so that
Θ( x )v = vx, for all x ∈ pPp. The partial isometry v is also called an intertwiner between P
and Q. If we moreover have that Pp ′ ≺ M Q, for any nonzero projection p ′ ∈ P ′ ∩ 1 P M1 P
(equivalently, for any nonzero projection p ′ ∈ Z( P ′ ∩ 1 P M1 P )), then we write P ≺sM Q.
For ease of notation, we write P ≺ Q (or P ≺s Q) instead of P ≺ M Q (or P ≺sM Q)
whenever the ambient algebra M is understood from context.
Then in [Po03, Theorem 2.1 and Corollary 2.3] Popa developed a powerful analytic
method to identify intertwiners between arbitrary subalgebras of tracial von Neumann
algebras.
Theorem 2.1. [Po03] Let ( M, τ ) be a separable tracial von Neumann algebra and let P, Q ⊂ M
be (not necessarily unital) von Neumann subalgebras. Then the following are equivalent:
(1) P ≺ M Q.
(2) For any group G ⊂ U ( P) so that G ′′ = P there is no sequence (un )n ⊂ G satisfying
kEQ ( xun y)k2 → 0, for all x, y ∈ M.
5

For further use we record the following basic intertwining result in amalgamated free
products von Neumann algebras.
Proposition 2.2. Let M = M1 ∗ P M2 be an amalgamated free product von Neumann algebra. If
for each i there is ui ∈ U ( Mi ) so that EP (ui ) = 0 then M ⊀ M Mk for all k = 1, 2.
Proof. Let u = u1 u2 ∈ U ( M). Using freeness and basic approximation properties one
can see that limn→∞ k E Mk ( xun y)k2 = 0 for all x, y ∈ M. Then Theorem 2.1 (b) gives the
conclusion.

2.2. Finite index inclusions of von Neumann algebras. The Jones index of a II1 factors
inclusion P ⊆ M, denoted [ M : P], is the dimension of L2 ( M) as a left P-module. For
various basic properties of finite index inclusions of factors we refer the reader to the
groundbreaking work of V.F.R. Jones, [Jo81]. Subsequently, several generalizations of the
finite index notion for an inclusion of arbitrary von Neumann algebras emerged. For
instance, M. Pimsner and S. Popa discovered a “probabilistic” notion of index for an inclusion P ⊆ M of arbitrary von Neumann algebras, which the case of inclusions of II1
factors coincides with Jones’ index, [PP86, Theorem 2.2]. Namely, the probabilistic index of
a tracial von Neumann algebras inclusion P ⊆ M is defined as [ M : P] = λ−1 , where
λ = inf {k EP ( x )k22 k x k−2
2 | x ∈ M+ , x 6= 0}.
Here we convene that 10 = ∞.
Below we record some basic properties of finite index inclusions of von Neumann algebras that will be needed throughout the paper. They are well known and some of the
proofs are included here just for the sake of completeness.
Proposition 2.3. Let N ⊆ M be von Neumann algebras with [ M : N ] < ∞. Then the following
hold:
(1) If N is a factor then dimC ( N ′ ∩ M) ≤ [ M : N ] + 1.
(2) If Z( M) is purely atomic then Z( N ) is also purely atomic, [Po95, 1.1.2(iv)].
(3) If N is a factor and r ∈ N ′ ∩ M then [rMr : Nr ] ≤ τ (r )[ M : N ] < ∞, [Po95, 1.1.2(ii)].
(4) Assume P ⊆ N ⊆ M are II1 factors and there exists 0 6= e ∈ P( P ′ ∩ M) satisfying
Pe = eMe and E N (e) = τ (e)1. Then [ N : P] < ∞, and there is f ∈ P( N ′ ∩ M) so that
f ≥ e and [ f M f : N f ] < ∞.

Proof. (1) Fix 0 6= p ∈ N ′ ∩ M a projection. Since N is a factor then E N ( p) = τ ( p)1.
As [ M : N ] < ∞ then τ ( p)2 = k E N ( p)k22 ≥ [ M : N ]−1 k pk22 = [ M : N ]−1 τ ( p). Thus
τ ( p) ≥ [ M : N ]−1 for all projections p ∈ N ′ ∩ M and hence dimC ( N ′ ∩ M) ≤ [ M : N ] + 1.
(2) Let p ∈ Z( N ) be a maximal projection such that Z( N ) p is purely atomic and
Z( N )(1 − p) is diffuse. To prove the conclusion it suffices to show that q = 1 − p vanishes. Since N ⊆ M is finite index so is qNq ⊆ qMq. This implies that qMq ≺qMq qNq and
hence qNq ′ ∩ qMq ≺qMq qMq ′ ∩ qMq = Z( M)q. Therefore Z( N )q ≺ Z( M)q and since
Z( M) is purely atomic it follows that there exists a minimal projection of Z( N ) under q.
This forces q = 0, as desired.
(3) Since r ∈ N ′ ∩ M and N is a factor we have E N (r ) = τ (r )1. Thus E Nr (rxr ) =
τ (r )−1 E N (rxr )r for all x ∈ M. Hence k E Nr (rxr )k22,r = τ (r )−2 k E N (rxr )k22 ≥ τ ( p)−2 [ M :
N ]−1 krxr k22 = τ (r )−1 [ M : N ]−1 krxr k22,r which shows [rMr : Nr ] ≤ τ (r )[ M : N ].
6

(4) First we show that for all x ∈ N we have
EP ( x )e = exe.

(2.1)

If y ∈ P, then τ (EP ( x )ey) = τ (EP ( x )EP (e)y) = τ (e)τ (EP ( x )y) = τ (e)τ ( xy), and similarly
τ (exey) = τ ( xye) = τ ( xyE N (e)) = τ (e)τ ( xy). Since EP ( x )e, exe ∈ Pe, (2.1) follows.
Let f be the central support of e in {N, e} ′′ . Using (2.1) we get that {N f , e} ′′ is canonically
isomorphic to the basic construction of the inclusion P f ⊆ N f .
Now, since Pe = eMe and M is a factor, we get that e( P ′ ∩ M)e = Ce. In particular,
Z({N, e} ′′ )e = Ce, and hence Z({N f , e} ′′ ) = Z({N, e} ′′ ) f = Cz. Thus, {N f , e} ′′ is a II1
factor. Applying [Jo81, Proposition 3.17], the inclusion P f ⊆ N f has finite index. Since
E N ( f ) = τ ( f )1 then P ⊆ N has finite index as well.
Finally, since {N f , e} ′′ is a factor and e{N f , e} ′′ e = eMe, it follows that {N f , e} ′′ = f M f .
Applying [Jo81, Proposition 3.17] again we get [ f M f : N f ] = [ N f : P f ] < ∞.


Lemma 2.4. Let N ⊆ M be a finite index inclusion of II1 factors. Then one can find projections
p ∈ M, q ∈ N, a partial isometry v ∈ M, and a unital injective ∗-homomorphism φ : pMp →
qNq such that
(1) φ( x )v = vx for all x ∈ pMp, and
(2) [qNq : φ( pMp)] < ∞.

Proof. Since [ M : N ] < ∞ then M ≺ N. Thus there exist projections p ∈ M, q ∈ N, a
partial isometry v ∈ M, and a unital injective ∗-homomorphism φ : pMp → qNq so that
φ( x )v = vx for all x ∈ pMp.

(2.2)

Denoting by Q = φ( pMp) ⊆ qNq notice that vv∗ ∈ Q ′ ∩ qMq and v∗ v = p. Moreover
by restricting vv∗ if necessary we can assume wlog the support projection of E N (vv∗ )
equals q. Also from (2.2) we have that Qvv∗ = vMv∗ = vv∗ Mvv∗ . Since M is a factor,
passing to relative commutants we have vv∗ (Q ′ ∩ qMq)vv∗ = (Qvv∗ ) ′ ∩ vv∗ Mvv∗ =
Z(vv∗ Mvv∗ ) = Cvv∗ . Since Q ′ ∩ qNq ⊆ Q ′ ∩ qMq there is a projection r ∈ Q ′ ∩ qNq
such that r (Q ′ ∩ qNq)r = Qr ′ ∩ rNr = Cr. Since q = s(E N (vv∗ )) one can check that
rv 6= 0. Thus replacing Q by Qr, φ(·) by φ(·)r, q by r, and v by the partial isometry
from the polar decomposition of rv then the intertwining relation (2.2) still holds with the
additional assumption that Q ′ ∩ qMq = Cq. In particular, EqNq (vv∗ ) = cq where c is a
positive scalar.
To finish the proof we only need to argue that [qNq : Q] < ∞. Consider the von
Neumann algebra hqNq, vv∗ i generated by qNq and vv∗ inside qMq. Therefore we have
the following inclusions Q ⊆ qNq ⊆ hqNq, vv∗ i ⊆ qMq. Since vv∗ Mvv∗ = Qvv∗ then
vv∗ qNq, vv∗ = Qvv∗ . Moreover since vv∗ ∈ Q ′ ∩ qMq and EqNq (vv∗ ) = c1 one can check
that hqNq, vv∗ i is isomorphic to the basic construction of Q ⊆ qNq. Therefore Q ⊆ qNq
has index c (hence finite).

2.3. Relative amenability for von Neumann algebras. Let P ⊂ M be an inclusion of
von Neumann algebras. A state φ : M → C is P-central if φ(mx ) = φ( xm) for every
x ∈ P and every m ∈ M. A tracial von Neuman algebra ( M, τ ) is amenable if there exists
an M-central state on φ : B( L2 ( M, τ )) → C with φ| M = τ. By the celebrated result of
A. Connes, a von Neumann algebra is amenable if and only if it is approximately finite
dimensional, i.e. M = lim Mn for an increasing sequence of finite dimensional algebras
−→
7

Mn , [Co76]. In [OP07] it was considered a relative version of this notion which turned out
very instrumental in studying structural properties of von Neumann algebras.
Definition 2.5. [OP07, Section 2.2] Let ( M, τ ) be a tracial von Neumann algebra, p ∈ M a
projection, and P ⊂ pMp, Q ⊂ M von Neumann subalgebras. We say that P is amenable
relative to Q inside M if there exists a P-central state φ : ph M, e Q i p → C such that φ( x ) =
τ ( x ), for all x ∈ pMp.

One easily recovers classical notion of amenability by choosing Q = C; more generally,
if Q is amenable and P is amenable relative to Q, it necessarily follows that P is amenable.
This definition is fruitful for numerous reasons, not the least of which its strong parallel
properties. Also we will often use that every amenable P is automatically amenable with
respect to any subalgebra Q inside M.
As an amenable group Neumann algebra corresponds to an amenable group, so does
relative amenability of group von Neumann algebras coincide with relative amenability
of the groups. More specifically, given a group Γ and a pair of subgroups Λ1 , Λ2 6 Γ,
Λ1 < Γ is amenable relative to Λ2 inside Γ i if and only if L(Λ1 ) is amenable relative to
L(Λ2 ) inside L(Γ).
3. P RODUCT D ECOMPOSITIONS

OF

AFP

VON

N EUMANN A LGEBRAS

In this section we obtain several structural results describing all possible direct product
decompositions for large classes of II1 factors that arise either as AFP or HNN von Neumann algebras (see Theorems 3.4, 6.4). Along the way we also prove a few intertwining
results for commuting subalgebras inside AFP and HNN extensions that are essential for
the next sections. Our arguments rely heavily on the classification results of normalizers
of subalgebras in AFP and HNN von Neumann algebras from [Io12, Va13].
Theorem 3.1. Let P ⊂ Mi for i = 1, 2 be von Neumann algebras such that for each i = 1, 2
there is ui ∈ U ( Mi ) so that EP (ui ) = 0. Consider M = M1 ∗ P M2 be an amalgamated free
product von Neumann algebra and assume in addition that M is not amenable relative to P inside
M. Let p ∈ M be a nonzero projection and assume A1 , A2 ⊆ pMp are two commuting diffuse
subalgebras that A1 ∨ A2 ⊆ pMp has finite index. Then Ai ≺ P for some i = 1, 2.
Proof. Fix A ⊂ A1 arbitrary diffuse amenable subalgebra of A1 . Using [Va13, Theorem
A], one of the following holds:
(1) A ≺ P;
(2) A2 ≺ Mi for some i = 1, 2; or
(3) A2 is amenable relative to P inside M.
If (2) holds then either
(4) A2 ≺ P; or
(5) A1 ∨ A2 ≺ Mi .
If (5) holds, since [ pMp : A1 ∨ A2 ] < ∞, then we must have M ≺ M Mi . Then Proposition
2.2 will lead to a contradiction. If case (3) holds, then applying [Va13, Theorem A] again
we get one of the following
(6) A2 ≺ P;
(7) A1 ∨ A2 is a amenable relative to P inside M; or
(8) A1 ∨ A2 ≺ Mi for some i.
8

If (7) holds, since [ pMp : A1 ∨ A2 ] < ∞, it follows that pMp is a amenable relative to P
inside M, contradicting the initial assumption. Notice (8) was already eliminated before.
Summarizing, we have obtained that for any subalgebra A ⊂ A1 amenable we have either
A ≺ P or A2 ≺ P. Using [BO08, Appendix] this implies either A1 ≺ P or A2 ≺ P.

Since HNN extensions are corners of AFP [Ue08], then the previous result implies the
following counterpart for HNN-extensions. We leave the details to the reader.
Theorem 3.2. Let P ⊂ N be finite von Neumann algebras and let θ : P → N be a trace preserving
embedding. Consider M = HNN( N, P, θ ) be the corresponding HNN-extension von Neumann
algebra and assume M is not amenable relative to P. Let p ∈ M be a nonzero projection and
assume A1 , A2 ⊆ pMp are two commuting diffuse subalgebras such that A1 ∨ A2 ⊆ pMp is
finite index. Then Ai ≺ P for some i = 1, 2.
Corollary 3.3. Assume one of the following holds:
(1) Γ = Γ1 ∗Σ Γ2 such that [Γ1 : Σ] ≥ 2 and [Γ2 : Σ] ≥ 3;
(2) Γ = HNN(Γ, Σ, θ ) such that Σ 6= Γ 6= θ (Σ).
Denote by M = L(Γ) let p ∈ P( M) and assume A1 , A2 ⊆ pMp are two commuting diffuse
subalgebras such that A1 ∨ A2 ⊆ pMp is finite index. Then Ai ≺ M L(Σ) for some i = 1, 2.
Proof. Since [Γ1 : Σ] ≥ 2 and [Γ2 : Σ] ≥ 3 then by the proof of [Io12, Theorem 7.1] it
follows that L(Γ) is not amenable relative to L(Σ). The conclusion follows then from

Theorem 3.1. The HNN extension case follows similarly.
Theorem 3.4. Let M = M1 ∗ P M2 be an amalgamated free product such that M, M1 , M2 , P are
II1 factors and [ Mk : P] = ∞ for all k = 1, 2. Also assume A1 , A2 ⊂ M are diffuse factors such
¯ A2 . Then there exist tensor product decompositions P = C⊗
¯ P0 , M1 = C⊗
¯ M10 ,
that M = A1 ⊗
¯ M20 and hence M = C⊗(
¯ M10 ∗ P0 M20 ). Moreover, there exist t > 0 and a permutation
M2 = C ⊗
∼ C and A1/t =
∼ M0 ∗P M0 .
σ ∈ S2 such that Atσ(1) =
0
1
2
σ(2)
Proof. By Theorem 3.1 we have that A1 ≺ P and hence there exist projections 0 6= a ∈ A1 ,
0 6= p ∈ P a partial isometry 0 6= v ∈ M and a unital injective ∗-homomorphism Φ :
aA1 a → pPp such that
Φ( x )v = vx for all x ∈ aA1 a.
(3.1)

Shrinking a if necessary we can assume there is an integer m such that τ ( p) = m−1 .
Letting B = φ(aA1 a) we have that vv∗ ∈ B ′ ∩ pMp. Also we can assume wlog that
s(EP (vv∗ )) = p and using factoriality of Ai that v∗ v = r1 ⊗ r2 . Thus by (3.1) there is a
unitary u ∈ M so that
Bvv∗ = vA1 v∗ = ur1 A1 r1 ⊗ r2 u∗ .
(3.2)
Passing to relative commutants we also have
vv∗ ( B ′ ∩ pMp)vv∗ = ( Bvv∗ ) ′ ∩ vv∗ Mvv∗ = (vA1 v∗ ) ′ ∩ vMv∗

= u((r1 A1 r1 ⊗ r2 ) ′ ∩ r1 A1 r2 ⊗ r2 A2 r2 )u∗ = ur1 ⊗ r2 A2 r2 u∗ .

(3.3)

¯ r2 A2 r2 )u∗ = vv∗ Mvv∗ . LetAltogether, we have vv∗ ( B ∨ B ′ ∩ pMp)vv∗ = u(r1 A1 r1 )⊗(
∗
′
ting z be the central support of vv in B ∨ B ∩ pMp we conclude that

( B ∨ B ′ ∩ pMp)z = zMz.
9

(3.4)

Note by construction we actually have z ∈ Z( B ′ ∩ pMp). In addition, we have p ≥ z ≥
vv∗ and hence p ≥ s(EP (z)) ≥ s(EP (vv∗ )) = p. Thus s(EP (z)) = p. Also notice that
p ≥ s(E Mk (z)) ≥ z ≥ vv∗ . For every t > 0 denote by ekt = χ[t,∞)(E M (z)) . Using relation
k

(3.4) and [CIK13, Lemma 2.3] it follows that the inclusion ( B ∨ B ′ ∩ pMk p)ekt ⊆ ekt Mk ekt
is finite index. This, together with the assumptions and [Va07, Lemma 3.7] further imply
that ( B ∨ B ′ ∩ pMk p)ekt ⊀ Mk P. But ekt z commutes with ( B ∨ B ′ ∩ pMk p)ekt and hence by
[IPP05, Theorem 1.2.1] we have ekt z ∈ Mk . Since ekt z → z in WOT, as t → 0, we obtain
that z ∈ pMk p, for all k = 1, 2. In conclusion z ∈ pM1 p ∩ pM2 p = pPp and hence z = p.
¯ B ′ ∩ pMp). Moreover, we have
Thus using factoriality and (3.4) we get that pMp = B⊗(
¯ B ′ ∩ pMp) and since B is a factor it follows from [Ge96, Theorem
B ⊂ pPp ⊂ pMp = B⊗(
′
¯ B ∩ pPp). Similarly one can show that pMk p = B⊗(
¯ B ′ ∩ pMk p) for
A] that pPp = B⊗(
all k = 1, 2. Thus,
B ′ ∩ pMp = ( B ′ ∩ pM1 p) ∨ ( B ′ ∩ pM2 p) = ( B ′ ∩ pM1 p) ∗(B ′ ∩ pPp) ( B ′ ∩ pM2 p).
Combining these observations, we now have
¯ B ′ ∩ pMp) = B⊗((
¯ B ′ ∩ pM1 p) ∗(B ′ ∩ pPp) ( B ′ ∩ pM2 p))
pMp = B⊗(
¯ B ′ ∩ pM1 p)) ∗ B⊗(
¯ B ′ ∩ pM2 p))
= ( B⊗(
¯ B ′ ∩ pPp) ( B⊗(
Tensoring by Mm (C ) this further gives
¯ pMp
M = M m (C ) ⊗
¯ B⊗((
¯ B ′ ∩ pM1 p) ∗(B ′ ∩ pPp) ( B ′ ∩ pM2 p))
= M m (C ) ⊗
¯ B⊗(
¯ B ′ ∩ pM1 p)) ∗ Mm (C )⊗¯ B⊗(
¯ B⊗(
¯ B ′ ∩ pM2 p))
= ( M m (C ) ⊗
¯ B ′ ∩ pPp) ( Mm (C )⊗
¯ B, P0 := B ′ ∩ pPp, M0 := B ′ ∩ pMk p, altogether, the previous
Letting C := Mm (C )⊗
k
¯ P0 , M1 = C⊗
¯ M10 , M2 = C⊗
¯ M20 , and M = C⊗(
¯ M10 ∗ P0 M20 ).
relations show that P = C⊗
For the remaining part of the conclusion, notice that relations (3.2), (3.3) and p = z(vv∗ )
∗
τ (r ) ∼
τ (r ) ∼
show that Ai 1 =
B, Ai +12 =
( B ′ ∩ pMp)τ (vv ) . Using amplifications these further imply
mτ (r1 ) ∼
τ (r )/(mτ (vv∗ )) ∼
that A
= C, A 2
= M0 ∗P M0 . Letting t = mτ (r1 ) we get the desired
i

conclusion.

i+1

1

4. C OMMENSURABLE

0

VON

2



N EUMANN A LGEBRAS

In the context of Popa’s concept of weak intertwining of von Neumann algebras we
introduce a notion of commensurable von Neumann algebras up to corners. This notion
is essential to this work as it can be used very effectively to detect tensor product decompositions of II1 factors (see Theorems 4.4 and 4.6 below). In the first part of section we
build the necessary technical tools to prove these two results. Several of the arguments
developed here are inspired by ideas from [CdSS15] and [DHI16].
Definition 4.1. Let P, Q ⊂ M (not necessarily unital) inclusions of von Neumann alge∼ com Q (and we say a corner of P is spatially commensurable to a corner of
bras. We write P =
M
Q) if there exist nonzero projections p ∈ P, q ∈ Q, a nonzero partial isometry v ∈ M and
10

a ∗-homomorphism φ : pPp → qQq such that

φ( x )v = vx for all x ∈ pPp
[qQq : φ( pPp)] < ∞
s(EQ (vv∗ )) = q.

(4.1)
(4.2)
(4.3)

When just condition (4.1) is satisfies together with φ( pPp) = qQq (i.e φ is a ∗-isomorphism
∼ φ,v qQq.
) we write pPp =
M
Remark. When pPp is a II1 factor then so is φ( pPp). By Proposition 2.3 (1), Z(qQq) is finite
dimensional, so there exists r ∈ Z(qQq) such that rv 6= 0. Thus replacing φ(·) by φ(·)r
and v by the isometry in the polar decomposition of rv one can check (4.1) still holds.
Also from Proposition 2.3 (3) it follows that φ( pPp)r ⊆ rQr is an finite index inclusion of
∼ com Q and P is a factor, we will
II1 factors. Hence throughout this article, whenever P =
M
always assume the algebras in (4.2) are II1 factors.
We record next a technical variation of [CKP14, Proposition 2.4] in the context of commensurable von Neumann algebras that will be essential to deriving the main results of
this section.
Lemma 4.2. Let Σ < Γ be groups where Γ is icc. Assume Z( L(Σ)) is purely atomic, r ∈ L(Γ) is
a projection, and there exist commuting II1 subfactors P, Q ⊆ rL(Γ)r such that P ∨ Q ⊆ rL(Γ)r
is finite index. If P ≺ L(Σ) then one of the following holds:
(1) There exist projections p ∈ P, e ∈ L(Σ), a partial isometry w ∈ M, and a unital injective
∗-homomorphism Φ : pPp → eL(Σ)e such that
(a) Φ( x )w = wx for all x ∈ pPp;
(b) s(EL(Σ) (ww∗ )) = e;
(c) If B := Φ( pPp) then B ∨ ( B ′ ∩ eL(Σ)e) ⊆ eL(Σ)e is a finite index inclusion of II1
factors.
com
∼
(2) P = M L(Σ).
Proof. Let M = L(Γ). Since P ≺ M L(Σ) there exist projections p ∈ P, q ∈ L(Σ), a partial
isometry v ∈ M, and a unital injective ∗-homomorphism φ : pPp → qL(Σ)q such that
φ( x )v = vx for all x ∈ pPp.

(4.4)

Let C := φ( pPp). Note v∗ v ∈ pPp ′ ∩ pMp, vv∗ ∈ C ′ ∩ qMq and we can also assume that
s(EL(Σ) (vv∗ )) = q

(4.5)

Since P ∨ ( P ′ ∩ rMr ) has finite index in rMr then [CKP14, Proposition 2.4] implies that
C ∨ (C ′ ∩ qL(Σ)q) ⊂ qL(Σ)q

(4.6)

is also a finite index inclusion of algebras.
By Proposition 2.3(2) Z(C ′ ∩ qL(Σ)q) is purely atomic and there is e ∈ Z(C ′ ∩ qL(Σ)q)
so that ev 6= 0 and we have either
i) (C ′ ∩ qL(Σ)q)e is a II1 factor, or
ii) (C ′ ∩ qL(Σ)q)e = Mn (C )e for some n ∈ N.
11

Consider Φ : pPp → Ce =: B given by Φ( x ) = φ( x )e for all x ∈ pPp and let w be the partial isometry in the polar decomposition of ev. Then (4.4) implies that Φ( x )w = wx for all
x ∈ pPp. Moreover we have evv∗ e ≤ ww∗ and hence EL(Σ) (vv∗ )e = EL(Σ) (evv∗ e) ≤
EL(Σ) (ww∗ ). Thus e = s(EL(Σ) (vv∗ ))e = s(EL(Σ) (vv∗ )e) ≤ s(EL(Σ) (ww∗ )) and hence
s(EL(Σ) (ww∗ )) = e.
Assume case i) above. Using (4.6), B ∨ ( B ′ ∩ eL(Σ)e) = Ce ∨ (C ′ ∩ qL(Σ)q)e ⊆ eL(Σ)e)
is a finite index inclusion of II1 factors. Altogether, these lead to possibility (1) in the
statement.
Assume case ii) above. Then relation (4.6) implies that C = Be ⊆ eL(Σ)e is finite index
which gives possibility (2) in the statement.

Proposition 4.3 (Lemma 1.4.5 in [IPP05]). Let R, Q ⊆ N ⊆ M, P ⊆ M be (not necessarily
unital) inclusions of von Neumann algebras such that 1 Q = 1 N and assume P is factor. Assume
∼ φ,v Q and r ∈ Q ′ ∩ N is a projection such that s(E N (vv∗ )) = 1 N and rv 6= 0. If
that P =
M
∼ com R then P =
∼ com R.
Qr =
N
M
To be able to derive the first main result of the section we need to recall two results. The
first provides a von Neumann algebraic criterion deciding when is a group commensurable to product of infinite groups. This technical tool was an essential piece in the work
[CdSS15] and has also lead for other important subsequent developments [CdSS15]. For
its proof we refer the reader to the proofs of Claims 4.7-4.12 in [CdSS15].
Theorem 4.4 (Claims 4.7-4.12 in [CdSS15]). Let Σ < Λ be finite-by-icc groups. Also assume
there exists 0 6= p ∈ Z( L(Σ) ′ ∩ L(Λ)) such that L(Σ) ∨ L(Σ) ′ ∩ L(Λ) p ⊆ pL(Λ) p admits a
finite Pimnser-Popa basis. Then there exists Ω < Λ such that [Σ, Ω] = 1 and [Λ : ΣΩ] < ∞.

The second result is a basic von Neumann’s projections equivalence property for inclusions of von Neumann algebras. Its proof is standard and we include it only for reader’s
convenience.
Lemma 4.5. Let N ⊆ ( M, τ ) be finite von Neumann algebras, where N is a II1 factor. Then for
every projection 0 6= e ∈ M there exists a projection f ∈ N and a partial isometry w ∈ M such
that e = w∗ w and ww∗ = f .

Proof. First we show for every 0 6= y ∈ P( N ), its central support in M satisfies z M (y) =
1. To see this note z M (y) ≥ y and hence E N (z M (y)) ≥ E N (y) = y. As N is a factor
then E N (z M (y)) = τ (z M (y))1 and hence τ (z M (y))1 ≥ y. This forces τ (z M (y)) ≥ 1 and
hence z M (y) = 1. In particular, for every 0 6= y ∈ P( N ) and 0 6= x ∈ P( M) we have
z M ( x )z M (y) = z M ( x ) 6= 0. By Comparison Theorem x and y have nonzero subequivalent
projections.
Let F be the set of all collections of mutually orthogonal projections ei ≤ e for which
there exist mutually orthogonal projections f i ∈ N and wi ∈ M satisfying wi∗ wi = ei and
wi wi∗ = f i for all i. By above paragraph F 6= ∅ and consider the order (F , ≺) given
by set inclusion. By P
Zorn’s lemma there is {ei | i ∈ I}, a maximal collection. Then
P
P set
′
′
∗
∗
i ei = : e ≤ e, f :=
i f i ∈ N and note that e = w w and f = ww , where w =
i wi .
To reach our conclusion we only need to argue that e = e ′ . Indeed, if 0 6= e − e ′ , by the
previous paragraph there exist 0 6= e0 ≤ e − e ′ , 0 6= f 0 ≤ 1 − f and w0 ∈ M such that
w∗0 w0 = e0 and w0 w∗0 = f 0 . Thus {ei | i ∈ I}  {ei | i ∈ I} ∪ {e0 } contradicting the maximality
of {ei }.

12

With this two facts at hand we are now ready to prove the first main result of the section.
Theorem 4.6. Let Σ 6 Γ be countable groups, where Γ is icc and Σ is finite-by-icc. Let r ∈ L(Γ)
be a projection and let P, Q ⊂ rL(Γ)r be commuting II1 factors such that P ∨ Q ⊆ rL(Γ)r has
∼ com L(Σ) then there exist a subgroup Ω 6 CΓ (Σ) such that
finite index. If P =
L (Γ )
(1) [Γ : ΣΩ] < ∞;
∼ com L(Ω).
(2) Q =
M

∼ com L(Σ) there exist projections p ∈ P, e ∈ L(Σ), a partial isometry
Proof. Since P =
L (Γ )
v ∈ L(Γ), and a injective, unital ∗-homomorphism Φ : pPp → eL(Σ)e so that
(1) Φ( x )v = vx for all x ∈ pPp, and
(2) Φ( pPp) ⊆ eL(Σ)e is a finite index inclusion of II1 factors.
Denote by R := Φ( pPp) ⊆ eL(Σ)e. Let T ⊆ R ⊆ eL(Σ)e be the downward basic
construction for inclusion R ⊆ eL(Σ)e [Jo81, Lemma 3.1.8] and let a ∈ T ′ ∩ qL(Σ)q
be the Jones’ projection satisfying eL(Σ)e = h R, ai and aL(Σ)a = Ta. Also note that
[eL(Σ)e : R] = [ R : T ]. Using equation (1) the restriction Φ−1 : T → pPp is an injective
∗-homomorphism such that U := Φ−1 (T ) ⊆ pPp is a finite Jones index subfactor and
Φ−1 (y)v∗ = v∗ y, for all y ∈ T.

(4.7)

Let θ ′ : Ta → T be the ∗-isomorphism given by θ ′ ( xa) = x. One can check that 0 6= v∗ a
and let 0 6= w be a partial isometry so that v∗ a = w∗0 |v∗ a|. Then Ta = aL(Σ)a together with
(4.7) shows that θ = Φ−1 ◦ θ ′ : aL(Σ)a → pPp is an injective ∗-homomorphism satisfying
θ (aL(Σ) a) = U and
θ (y)w∗0 = w∗0 y, for all y ∈ aL(Σ)a.
(4.8)
Since P ∨ Q ⊆ rL(Γ)r is finite index then so is pPp ∨ Q ⊆ pL(Γ) p. Also since U ⊂ pPp
is finite index it follows that U ∨ Q ⊆ pL(Γ) p is finite index. Since these are factors it
follows that U ∨ Q ⊆ pL(Γ) p admits a finite Pimsner-Popa basis. From construction we
have U ∨ Q ⊆ U ∨ U ′ ∩ pL(Γ) p ⊆ pL(Γ) p and hence U ∨ Q ⊆ U ∨ U ′ ∩ pL(Γ) p admits
a finite Pimsner-Popa basis. Also since U ∨ Q is a factor we have by Proposition 2.3(1)
that dimC (Z(U ∨ U ′ ∩ pL(Γ) p)) < ∞. As Z(U ∨ U ′ ∩ pL(Γ) p) = Z(U ′ ∩ pL(Γ) p) we
conclude that dimC (Z(U ′ ∩ pL(Γ) p)) < ∞. Using Proposition 2.3(3) for every minimal
projection b ∈ Z(U ′ ∩ pL(Γ) p) it follows that (U ∨ Q)b ⊆ U ∨ (U ′ ∩ pL(Γ) p)b is a finite
index inclusion of II1 factors. Thus there exists Cb > 0 such that for all x ∈ U+ and
y ∈ (U ′ ∩ pL(Γ) p)+ we have

kEU∨Qb ( xyb)k22,b ≥ Cb k xybk22,b .

(4.9)

Since EU∨Q (b) = τp (b) p we have EU∨Qb (zb) = EU∨Q (zb)bτp−1 (b) for all z ∈ U ∨
U ′ ∩ pL(Γ) p. Thus for every x ∈ U and y ∈ U ′ ∩ pL(Γ) p we have EU∨Qb ( xyb) =
EU∨Q ( xyb)bτp−1 (b) = xEU∨Q (yb)bτp−1 (b) = xEQ (yb)bτp−1 (b) = xEQb (yb). Also since
U is a factor one can check that for all x ∈ U and y ∈ U ′ ∩ pL(Γ) p we have k xybk22 =
k x k22 kybk22 . This further implies that k xybk22,b = k x k22 kybk22,b . Using these formulas together with (4.9) we see that k x k22 k EQb (yb)k22,b = k xEQb (yb)k22,b = k EU∨Qb ( xyb)k22,b ≥
Cb k xybk22,b = Cb k x k22 kybk22,b and hence k EQb (yb)k22,b ≥ Cb kybk22,b for all y ∈ U ′ ∩ pL(Γ) p.
13

Hence, Qb ⊆ (U ′ ∩ pL(Γ) p)b is a finite index inclusion of II1 factors for every minimal
projection b ∈ Z(U ′ ∩ pL(Γ) p).
Choose a minimal projection b ∈ Z(U ′ ∩ pL(Γ) p) so that w∗ = bw∗0 6= 0. Thus (4.8)
gives
θ (y)w∗ = w∗ y, for all y ∈ aL(Σ)a.
(4.10)
∗
′
∗
′
Notice that w w ∈ (U ∩ pL(Γ) p)b and ww ∈ aL(Σ)a ∩ aL(Γ)a. Letting u ∈ pL(Γ) p
be a unitary so that uw∗ w = w, relation (4.10) entails
uUw∗ wu∗ = ww∗ aL(Σ)a.

(4.11)

Passing to relative commutants we also have
uw∗ w(U ′ ∩ pL(Γ) p)w∗ wu∗ = ww∗ (aL(Σ)a ′ ∩ aL(Γ)a)ww∗ = ww∗ ( L(Σ) ′ ∩ L(Γ))ww∗
(4.12)
Altogether, (4.11) and (4.12) imply that
uw∗ w(U ∨ (U ′ ∩ pL(Γ) p))w∗ wu∗ = ww∗ (aL(Σ)a ∨ (aL(Σ)a ′ ∩ aL(Γ)a))ww∗

= ww∗ ( L(Σ) ∨ ( L(Σ) ′ ∩ L(Γ)))ww∗ .

(4.13)

Since from assumptions pPp ∨ Qp = p( P ∨ Q) p ⊆ pL(Γ) p is a finite index and U ⊆
pPp is finite index it follows that U ∨ Qp ⊆ pL(Γ) p is finite index as well. Also notice that
U ∨ Qp ⊆ U ∨ ( P ′ ∩ rL(Γ)r ) p = U ∨ ( pPp ′ ∩ pL(Γ) p) ⊆ U ∨ (U ′ ∩ pL(Γ) p) ⊆ pL(Γ) p.
Thus U ∨ (U ′ ∩ pL(Γ) p) ⊆ pL(Γ) p is finite index. Combining with (4.13) we obtain that
ww∗ ( L(Σ) ∨ ( L(Σ) ′ ∩ L(Γ)))ww∗ ⊆ ww∗ L(Γ)ww∗ is a finite index inclusion of II1 factors.
Using Theorem 4.4 there exists a subgroup Ω < Λ such that [Σ, Ω] = 1 and [Γ : ΣΩ] < ∞.
Since Γ is icc if follows that Σ, Ω are icc as well; in particular, L(Σ), L(Ω) are II1 factors.
Using Lemma 4.5 there exist unitaries v1 ∈ U ′ ∩ pL(Γ) p, u2 ∈ L(Σ) ′ ∩ L(Γ) such that
v1 w∗ wv∗1 = q1 ∈ Qb and u∗2 ww∗ u2 = q2 ∈ L(Ω). Denoting by t := u∗2 uv∗1 then relation
(4.12) can be rewritten as
tq1 (U ′ ∩ pL(Γ) p)q1 t∗ = q2 ( L(Σ) ′ ∩ L(Γ))q2 .

(4.14)

Since [Γ : ΣΩ] < ∞ then q2 L(ΣΩ)q2 ⊆ q2 L(Γ)q2 has finite index. Since L(Ω) ⊆ L(Σ) ′ ∩
L(Γ) it follows that q2 L(ΣΩ)q2 ⊆ q2 L(Σ) ∨ L(Σ) ′ ∩ L(Γ)q2 is finite index as well. Therefore q2 L(Ω)q2 ⊆ q2 L(Σ) ′ ∩ L(Γ)q2 is finite index inclusion of II1 factors. By Lemma 2.4
there exist ri ≤ q2 , w1 ∈ q2 L(Σ) ′ ∩ L(Γ)q2 , and a ∗-isomorphism φ ′ : r1 L(Σ) ′ ∩ L(Γ)r1 →
B ⊆ r2 L(Ω)r2 such that
(1) φ ′ ( x )w1 = w1 x for all x ∈ r1 L(Σ) ′ ∩ L(Γ)r1
(2) [r2 L(Ω)r2 : B] < ∞
Using Lemma 4.5, relation (4.14), and perturbing more the unitary t we can assume there
exists a projection q3 ∈ Q such that q3 b ≤ q1 and
tq3 (U ′ ∩ pL(Γ) p)q3 bt∗ = r1 ( L(Σ) ′ ∩ L(Γ))r1 .
Ψ′

bt∗

(4.15)
Ψ ′ (x)

txbt∗

Consider the ∗-isomorphism
: q3 Qq3 → tq3 Qq3
given by
=
and
let Ψ = φ ′ ◦ Ψ ′ : q3 Qq3 → r2 L(Ω)r2 . Using (1) above for every x ∈ q3 Qq3 we have
Ψ( x )w1 t = φ ′ (Ψ ′ ( x ))w1 t = w1 Ψ ′ ( x )t = w1 txb = w1 tbx. Next we argue that w1 tb 6= 0.
If w1 tb = 0 then w1 tbq1 t∗ = 0 and hence w1 q2 = 0. Thus w1 = w1 r1 = w1 r1 q2 = 0, a
contradiction. So letting w to be the isometry in the polar decomposition of w1 tb, q := q3
14

and f := r2 we get that Ψ : qQq → f L(Ω) f a injective, unital ∗-homomorphism so that
Ψ( x )w = wx for all x ∈ qQq. Moreover since Qb ⊆ q1 (U ′ ∩ pL(Γ) p)q1 is finite index then
using (2) above and (4.15) one gets that Ψ(qQq) ⊆ r2 L(Ω)r2 has finite index. Altogether
∼ com L(Ω).
these show that Q =

L (Γ )
We end this section presenting the second main result. This roughly asserts that tensor
product decompositions of group von Neumann algebras whose factors are commensurable with subalgebras arising commuting subgroups can be “slightly perturbed” to
tensor product decompositions arising from the actual direct product decompositions of
the underlying group. The proof uses the factor framework in an essential way and it is
based on arguments from [OP03, Proposition 12] and [CdSS15, Theorem 4.14] (see also
[DHI16, Theorem 6.1]).
¯ M2 , where Mi are
Theorem 4.7. Let Γ be an icc group and assume that M = L(Γ) = M1 ⊗
diffuse factors. Also assume there exist commuting, non-amenable, icc subgroups Σ1 , Σ2 < Γ
∼ com L(Σ1 ), and M2 =
∼ com L(Σ2 ). Then there exist a group
such that [Γ : Σ1 Σ2 ] < ∞, M1 =
M
M
decomposition Γ = Γ1 × Γ2 , a unitary u ∈ M and t > 0 such that M1 = uL(Γ1 )t u∗ and
M2 = uL(Γ2 )1/t u∗ .
¯ M2 then proceeding as in
Proof. In particular, we have L(Σ1 ) ≺ M M1 . Since M = M1 ⊗
the proof of [OP03, Proposition 12] there exist a scalar µ > 0 and a partial isometry v ∈ M
1/µ
satisfying p = vv∗ ∈ M2 , q = v∗ v ∈ L(Σ1 ) ′ ∩ M and
µ

vL(Σ1 )v∗ ⊆ M1 p.

(4.16)

Let Ω2 = {γ ∈ Γ : |OΣ1 (γ)| < ∞} and notice that Σ2 6 Ω2 . As [Γ : Σ1 Σ2 ] < ∞ then
[Γ : Ω2 Σ1 ] < ∞. Letting Ω1 = CΣ1 (Ω2 ), one can check that Ω1 , Ω2 < Λ are commuting,
non-amenable, icc subgroups satisfying [Γ : Ω1 Ω2 ] < ∞ and [Σ1 : Ω1 ] < ∞. Also
µ
notice that L(Σ1 ) ′ ∩ M ⊆ L(Ω2 ) and by relation (4.16) we have uL(Ω1 )u∗ ⊆ M1 p. Since
1/µ
L(Ω2 ) and M2 are factors then as in the proof of [OP03, Proposition 12], one can find
1/µ
partial isomoetries w1 , . . . , wm ∈ L(Ω2 P
) and u1 , . . . , um ∈ MP
satisfying wi wi ∗ = q ′ ≤ q,
2
ui ∗ ui = p ′ = uq ′ u∗ ≤ p for all i and j w j ∗ w j = 1 L(Ω2 ) , j u j u j ∗ = 1 1/µ . Combining
M2
P
µ
with the above, one can check u = j u j vw j ∈ M is a unitary satisfying uL(Ω1 )u∗ ⊆ M1 .
µ
¯ M21/µ then
Since M = M1 ⊗
1/µ

u ( L ( Ω 1 ) ′ ∩ M ) u ∗ ⊇ M2

.

(4.17)

Let Θ2 = {λ ∈ Λ | |OΩ1 (λ)| < ∞} and Θ1 = CΩ1 (Θ2 ) and as before it follows that
Θ1 , Θ2 < Λ are commuting, non-amenable, icc subgroups such that [Γ : Θ1 Θ2 ] < ∞ and
1/µ
µ
¯ M21/µ
[Σ1 : Θ1 ] < ∞. Moreover, by (4.17) we have uL(Θ2 )u∗ ⊇ M2 . Since M = M1 ⊗
¯ M21/µ , where B ⊆ M1µ is a factor. But
by [Ge96, Theorem A] we have uL(Θ2 )u∗ = B⊗
relation implies that uLΣ2 u∗ ≺ M1/µ and since [Ω2 : Σ2 ] < ∞ it follows that uL(Ω2 )u∗ ≺
1/µ
1/µ
µ
M2 . Since B ⊆ uL(Ω2 )u∗ it follows that B ≺ M2 . However since B ⊆ M1 and M =
µ
¯ M21/µ this forces that B has an atomic corner. As B is a factor we get B = Mk (C ), for
M1 ⊗
¯ M2t
some k ∈ N. Altogether, we have uL(Θ2 )u∗ = M2t where t = k/µ. Since M = M11/t ⊗
15

we also get u( L(Θ2 ) ′ ∩ M)u∗ = M11/t . Let Γ1 = {λ ∈ Λ | |OΘ2 (λ)| < ∞} and since Θ2 is icc
it follows that Γ1 ∩ Θ2 = 1. By construction, uL(Γ1 )u∗ ⊇ u( L(Θ2 ) ′ ∩ M)u∗ = M11/t ; hence,
¯ u( L(Θ2 ) ′ ∩ M)u∗ for some A ⊆ uL(Θ2 )u∗ . In
[Ge96, Theorem A] gives uL(Γ1 )u∗ = A⊗
particular, we have A = uL(Γ1 )u∗ ∩ uL(Θ2 )u∗ = C1 and hence uL(Γ1 )u∗ = u( L(Θ2 ) ′ ∩
M)u∗ . Letting Γ2 = Θ2 it follows that Γ1 and Γ2 are commuting, non-amenable subgroups
of Γ such that Γ1 ∩ Γ2 = 1, Γ1 Γ2 = Γ, uL(Γ1 )u∗ = M11/t , and uL(Γ2 )u∗ = M2t .

5. F INITE - STEP E XTENSIONS

OF

A MALGAMATED F REE P RODUCT ( OR P OLY- AMALGAM )
G ROUPS

Fixing C a class of groups we recall next the finite-step extensions groups over C . First
let Quot1 (C) = C . For any integer n ≥ 2, we say that a group Γ ∈ Quotn (C) if there exist:
(1) groups Γk , for all k ∈ 0, n, such that Γ0 = 1 and Γ = Γn , and
(2) epimorphisms πk : Γk → Γk−1 such that ker (πk ) ∈ C , for all k ∈ 1, n.
If n is the minimal integer satisfying conditions (1)-(2) above then Γ is called a n-step
extension of groups in C . We denote by Quot(C) := ∪n∈N Quotn (C), the class of all finitestep extension of groups in C . We also denote by Quotn (C)c (resp Quot(C)c ) the class of all
groups commensurable with groups in Quotn (C) (resp Quot(C)).
Below we recall some useful elementary algebraic properties of group extensions. The
proofs are omitted as they are either straightforward or already contained in [CIK13, Lemmas 2.9-2.10] and [CKP14, Proposition 3.3].
Proposition 5.1. The following properties hold:
(1) If Γ ∈ Quotn (C) and p : Λ → Γ is a epimorphism such that ker ( p) ∈ C then Λ ∈
Quotn+1 (C);
(2) If Γi ∈ Quotni (C) for all i ∈ 1, k then Γ1 × · · · × Γk ∈ Quotn1 +···+nk (C);
(3) If C = C c then Quotn (C)c = Quotn (C) and Quot(C)c = Quot(C);
(4) Let Γ ∈ Quotn (C), let πk : Γk → Γk−1 be the epimorphisms satisfying the previous
definition, and let pn = π2 ◦ · · · ◦ πn : Γn → Γ1 . Then the following hold:
(a) If Λ < Γ1 is a subgroup such that Λ ∈ C then p−1
n (Λ ) ∈ Quotn (C);
(b) ker( pn ) ∈ Quotn−1 (C); moreover, if C is closed under commensurability and Λ < Γ
is a subgroup such that pn (Λ) is finite then p−1
n ( pn (Λ )) ∈ Quotn−1 (C).
(5) Γ ∈ Quotn (C) if and only if there exists a composition series 1 = Λ0 ⊳ Λ1 ⊳ · · · ⊳ Λn
such that Γ = Λn and the factors Λi /Λi−1 ∈ C for all i ∈ 0, n − 1; in other words, Γ is a
poly-C group.
Notation 5.2. We denote by T all groups Γ belonging to one of the following families:
(1) amalgamated free products Γ = Γ1 ∗Σ Γ2 satisfying [Γ1 : Σ] ≥ 2, [Γ2 : Σ] ≥ 3, and
Σ ∈ Crss (see [CIK13, Definition 2.7] for Crss ); note this includes all finite Σ;
(2) HNN-extensions Γ = HNN(Λ, Σ, θ ) satisfying Σ 6= Λ 6= θ (Σ) and Σ ∈ Crss .
Next we will describe all possible nontrivial direct product decompositions of finite
step extensions of (tree) groups T . These results will be used later on in the proofs of
the main results of Section 6. First we treat the amalgamated free product and HNNextension case.
Lemma 5.3. The following hold:
16

(1) Let Γ = Γ1 ∗Σ Γ2 . If Γ = Λ1 × Λ2 then one can find σ ∈ S2 satisfying Σ = Λσ(1) × Σ0 ,
Γ1 = Λσ(1) × Γ01 , Γ2 = Λσ(1) × Γ02 , and Λσ(2) = Γ01 ∗Σ0 Γ02 .
(2) Let Γ = HNN(Ψ, Σ, θ ) be non-degenerate. If Γ = Λ1 × Λ2 then one can find σ ∈ S2
such that Σ = Λσ(1) × Σ0 , Ψ = Λσ(1) × Ψ0 . Moreover θΛσ (1) = ad(t1 ) for some
t1 ∈ Λσ(1) and Λσ(2) = HNN(Ψ0 , Σ0 , θ|Σ0 ).
Proof. (1) Since Γ = Λ1 × Λ2 then using Theorem 3.1 and [CI17, Lemma 2.2] there is
h ∈ Γ so that [Λσ(1) : hΣh−1 ∩ Λσ(1) ] < ∞. So conjugating by h we can assume that
[Λσ(1) : Σ ∩ Λσ(1) ] < ∞. Also passing to a finite index subgroup we can assume Σ ∩
Λσ(1) is normal in Γ. Therefore we have Γ/(Σ ∩ Λσ(1) ) = (Γ1 /(Σ ∩ Λσ(1) )) ∗Σ/(Σ∩Λσ (1))
(Γ2 /(Σ ∩ Λσ(1) )) = Λσ(1) /(Σ ∩ Λσ(1) ) × Λσ(2) . Since Λσ(1) /(Σ ∩ Λσ(1) ) is finite then
[KS70, Theorem 10] implies that Λσ(1) /(Σ ∩ Λσ(1) ) 6 Σ/(Σ ∩ Λσ(1) ) and thus Λσ(1) 6 Σ.
Hence Σ = Λσ(1) × Σ0 and Γi = Λσ(1) × Γi0 for all i ∈ 1, 2, and Λσ(2) = Γ01 ∗Σ0 Γ02 .
(2) Since Γ = Λ1 × Λ2 then using Theorem 3.2 and proceeding as in the previous case
we can assume that Ω := Σ ∩ Λσ(1) is normal in Γ and has finite index in Λσ(1) . Let
t ∈ Γ be so that θ ( x ) = txt−1 for all x ∈ Σ. By normality we have θ (Ω) = Ω and
moreover one can check Γ/Ω = HNN(Ψ/Ω, Σ/Ω, θ̃ ), where θ̃ ( xΩ) = θ ( x )Ω. Also we
have Γ/Ω = Λσ(1) /Ω × Λσ(2) and since Λσ(1) /Ω is finite it follows from [dC09, Proposition 3] Λσ(1) /Ω 6 Σ/Ω; in particular, Ω = Λσ(1) 6 Σ. Hence Σ = Λσ(1) × Σ0 ,
Ψ = Λσ(1) × Ψ0 . Writing t = t1 t2 with ti ∈ Λσ(i ) one can check that θ ( x ) = t2 xt−1
2
for all x ∈ Σ0 and also θ (Σ0 ) < Ψ0 . In addition one can check that θ|Λσ (1) = ad(t1 ) and
also Λσ(2) = HNN(Ψ0 , Σ0 , θ|Σ0 ).

Theorem 5.4. Denote by D = Crss ∪ (finite-by-T )c . Let Γ ∈ Quotcn (T ) such that Γ = Λ1 × Λ2 .
Then for every i ∈ 1, 2 there exist there exists ki ∈ 1, n such that Λi ∈ Quotck (D).
i

Proof. We proceed by induction on n. As the case n = 1 follows immediately from Lemma
5.3 we only need to show the induction step. Since Γ ∈ Quotcn (T ) there exist:
(1) groups Γk , for all k ∈ 0, n, such that Γ0 = 1 and Γ is commensurable to Γn , and
(2) epimorphisms πk : Γk → Γk−1 such that ker(πk ) ∈ T , for all k ∈ 1, n.
Consider the epimorphism ρ = π2 ◦ · · · ◦ πn : Γn → Γ1 . Since Γ = Λ1 × Λ2 , then Γ1 =
ρ(Λ1 ) × ρ(Λ2 ). Since Γ1 ∈ T , either Γ1 = Θ1 ∗∆ Θ2 or Γ1 = HNN(Θ, ∆, θ ).
We first treat the case where Γ1 ∈ T is an amalgamated free product Θ1 ∗∆ Θ2 as described in Notation 5.2. By Lemma 5.3 we can assume that ∆ = Ω × ∆0 , Θ1 = Ω × Θ01 ,
Θ2 = Ω × Θ02 , ρ(Λ1 ) = Ω, and ρ(Λ2 ) = Θ01 ∗∆0 Θ02 . Thus ρ−1 (Ω) = Λ1 × Λ02 and
ρ−1 (Θ01 ∗∆0 Θ02 ) = Λ01 × Λ2 , for some subgroups Λi0 6 Λi . Observe that Λ01 × Λ02 = ker(ρ)
and hence Λi0 ⊳ Λi are normal. Combining with the above we have
∼ Ω,
Λ1 /Λ01 =

∼ Θ0 ∗∆ Θ0 .
Λ2 /Λ02 =
1
2
0

(5.1)

Since ker(ρ) ∈ Quotn−1 (T ) and Λi are icc it follows by the induction hypothesis that
either Λi0 ∈ Quotck (D) for some ki ∈ 1, n − 1 or Λi0 = 1. Also, as ∆ ∈ Crss we have either
i

a) Ω is finite and ∆0 ∈ Crss , or
b) ∆0 is finite and Ω ∈ Crss .

17

If a) holds then by (5.1) Λ1 is commensurable with Λ01 , and hence Λ1 ∈ Quotck1 (D) as
desired. When Λ02 = 1 (5.1) already gives Λ2 ∈ Quot1 (T ), so assume Λ02 is infinite. Since
Λ02 ⊳ Λ2 is normal then using the inductive hypothesis there is a finite index subgroup
A 6 Λ02 which is normal in Λ2 and satisfies A ∈ Quotk2 (D). By Proposition 5.1 (5),
A is a poly-D group of length k2 . Using the isomorphism theorem we have Λ2 /Λ02 =
(Λ2 /A)/(Λ02 /A) and from (5.1) it follows Λ2 /A is finite-by-Crss and hence in D . Thus
Λ2 is poly-D of length k2 + 1 and by Proposition 5.1(5) Λ2 ∈ Quotk2 +1 (D).
Assume b) holds. If Λ01 = 1 then from (5.1) Λ1 ∈ Crss ⊂ Quot1 (D). Also since ∆0
is finite it follows form (5.1) that Λ2 /Λ02 = Θ01 ∗∆0 Θ02 ∈ Crss . Using the inductive hypothesis there exists a finite index subgroup A 6 Λ02 that is normal in Λ2 and satisfies
A ∈ Quotk2 (D). Proceeding as in the previous case we have Λ2 ∈ Quotk2 +1 (D), as desired. When both Λi0 are infinite one can show in a similar manner Λi0 ∈ Quotki +1 (D), for
all i ∈ 1, 2. When Λ02 = 1 one can show that Λ01 ∈ Quotk1 +1 (D) and Λ2 = Θ01 ∗∆0 Θ02 ∈
Crss ⊂ Quot1 (D).
Now if Γ = HNN(Θ, ∆, θ ), Lemma 5.3 once again allows us to assume that ∆ = Ω × ∆,
Θ = Ω × Θ0 , ρ(Λ1 ) = Ω, and ρ(Λ2 ) = HNN(Θ0 , ∆0 , θ|∆0 ). The result now follows by
proceeding as in the case where Γ1 was assumed to be an amalgamated free product. 
Proposition 5.5. Let Γ = (Γ1 ∗Σ1 Γ2 ) ∗Σ2 Γ3 ) ∗Σ3 Γ4 ) · · · ) ∗Σn−1 Γn be an iterated amalgamated
free product and assume that for each i = 1, n the group Σi is direct product indecomposable.
Assume that Γ = Λ1 × Λ2 for Λi infinite groups. Then there exist direct product decompositions
Γi = Ωi × Σi and a subset F ⊆ 3, n satisfying the following properties:
(1) Denoting by Fc = 1, n \ F we have
Λ1 = B( Fc ) = Σ1 ∗ (∗i ∈ F c Ωi ),

Λ2 = A( F) = ∗i ∈ F Ωi ;

(2) For all i ∈ 1, n we have

A( F \ n, i + 1), if i + 1 ∈ Fc \ n, i + 2
Σi =
B( Fc \ i + 2 ), if i + 1 ∈ F \ n, i + 2
Proof. Follows by applying successively Lemma 5.3.
6. C LASSIFICATION

OF

T ENSOR P RODUCT D ECOMPOSITIONS

.


OF

G ROUP II 1 FACTORS

In [DHI16] it was discovered a new classification result in the study of tensor product
decompositions of II1 factors. Precisely, whenever Γ is an icc group that is measure equivalent to a direct product of non-elementary hyperbolic groups then all possible tensor
product decompositions of the II1 factor L(Γ) arise from the canonical direct product decompositions of the underlying group Γ. The same result holds when Γ is poly-hyperbolic
with non-amenable factors in the composition series [dSP17].
In this section we provide yet several new examples of groups Γ for which this classification of tensor product decompositions of L(Γ) holds. These include many natural
examples Γ of amalgamated free product groups (Theorem 6.1), poly-amalgam groups
(Theorem 6.11), or graph product groups (Theorem 6.16). These results are obtained by
18

combining the classification of normalizers of subalgebras in AFP von Neumann algebras from [Io12, Va13] or group-extensions von Neumann algebras [CIK13] with the techniques on commensurable algebras from Section 4.
6.1. Amalgamated free products.
Theorem 6.1. Let Γ = Γ1 ∗Σ Γ2 be an icc group with [Γ1 : Σ] ≥ 2 and [Γ2 : Σ] ≥ 3 and assume
¯ M2 = L(Γ) for diffuse Mi ’s. Then
that any corner of L(Σ) is virtually prime. Assume that M1 ⊗
there exist direct product decompositions Σ = Ω × Σ0 , Γ1 = Ω × Γ01 , Γ2 = Ω × Γ02 with Σ0
finite. Moreover there exist a unitary u ∈ L(Γ), t > 0 and a permutation σ of {1, 2} such that
Mσ(1) = uL(Ω)t u∗

and

Mσ(2) = uL(Γ01 ∗Σ0 Γ02 )1/t u∗ .

(6.1)

¯ M2 = L(Γ), by Corollary 3.3 we can assume Mσ(1) ≺ L(Σ). Since any
Proof. Since M1 ⊗
∼ com L(Σ), and
corner of L(Σ) is virtually prime then by Lemma 4.2 we must have Mσ(1) =
M
further applying Theorems 4.6 and 4.7 there exist infinite groups Λi so that Γ = Λ1 × Λ2 .
Thus the desired conclusion follows by using Lemma 5.3.

Corollary 6.2. Let Γ = (Γ1 ∗Σ1 Γ2 ) ∗Σ2 Γ3 ) · · · ) ∗Σn−1 Γn be an iterated amalgamated free product satisfying [(Γ1 ∗Σ1 Γ2 ) ∗Σ2 Γ3 ) · · · ∗Σn−2 Γn−1 : Σn−1 ] ≥ 2 and [Γn : Σn−1 ] ≥ 3. Also for
each i ∈ 1, n assume Σi is direct-product indecomposable and L(Σi ) virtually prime. Assume that
¯ M2 = L(Γ) for diffuse Mi ’s. Then there exist direct-product decompositions Γi = Ωi × Σi
M1 ⊗
and a subset F ⊆ 3, n satisfying the following properties:
(1) Γ = A( F) × B( Fc ), where Fc = 1, n \ F and

A( F) = ∗i ∈ F Ωi

B( Fc ) = Σ1 ∗ (∗i ∈ F c Ωi );

(2) For all i ∈ 1, n we have

A( F \ n, i + 1), if i + 1 ∈ Fc \ n, i + 2
Σi =
B( Fc \ n, i + 1), if i + 1 ∈ F \ n, i + 2

.

Moreover, there is a unitary u ∈ L(Γ), t > 0, and a permutation σ of {1, 2} such that
Mσ(1) = uL(A( F))t u∗

and

Mσ(2) = uL(B( Fc ))1/t u∗ .

Proof. The proof follows from Theorem 6.1 and Proposition 5.5.

(6.2)



Remarks 6.3. Theorem 6.1 presents a situation when a faithful von Neumann algebraic
counterpart of Lemma 5.3 could be successfully obtained. However, if one drops the
primeness assumption on L(Σ), the conclusion of the theorem is no longer true. Precisely,
there exists icc amalgam Γ = Γ1 ∗Σ Γ2 whose group factors L(Γ) admit nontrivial tensor
product decompositions while Γ is direct-product indecomposable. For example, take
groups Σ < Ω satisfying the following conditions:
i) for each finite E ⊂ Ω there are γ, λ ∈ Σ so that [γ, E] = [λ, E] = 1 and γλ 6= λγ
[Jo98];
ii) for each γ ∈ Σ there is λ ∈ Ω so that γλ 6= λγ.
Concrete such examples are Σ = ⊕S∞ H < Ω = ∪n∈N ( H ≀ Sn ), where H is any icc group
and S∞ is the group of finite permutations of N.
19

Then the inclusion Σ < Γ = Ω ∗Σ Ω still satisfies i) and by [Jo98, Proposition 2.4] L(Γ)
¯ , where R is the hyperfinite factor. On the other hand,
is McDuff so L(Γ) = L(Γ)⊗R
combining Lemma 5.3 with ii) one can see Γ is indecomposable as a direct product.
Thus it remains open to investigate other natural conditions on L(Σ) that will insure
a statement similar to the conclusion of Theorem 6.1. For instance recycling the same
arguments from the proof of Theorem 6.1 one can easy show this is still the case if one
requires Σ ∈ Quot(T ∪ Crss )c . However little is known beyond those examples and a
future investigation in this direction as potential of revealing new interesting technology.
To this end we notice the following counterpart of Theorem 6.1 for HNN-extensions.
Theorem 6.4. Let Γ = HNN(Λ, Σ, θ ) be an icc group and assume that any corner of L(Σ)
¯ M2 = L(Γ) = M, for diffuse Mi ’s. Then there exist
is virtually prime. Assume that M1 ⊗
decompositions Σ = Ω × Σ0 with Σ0 finite, Λ = Ω × Λ0 . Also, there is ω ∈ Ω such that
θ = ad(ω )|Ω × θ|Σ0 : Ω × Σ0 → Ω × Λ0 and also Γ = Ω × HNN(Λ0 , Σ0 , θ|Σ0 ). In addition,
one can find a unitary u ∈ L(Γ) and t > 0 such that
M1 = uL(Ω)t u∗

and

M2 = uL(HNN (Λ0 , Σ0 , θ|Σ0 ))1/t u∗ .

(6.3)

Proof. Follows using Corollary 3.3, Lemma 5.3 (2), and recycling the same arguments from
the proof of Theorem 6.1.

6.2. Extensions of amalgamated free products.
Notation 6.5. Assume that Λ, Γ are groups and let π : Λ → Γ be an epimorphism. Then
¯ L(Γ) the ⋆-homomorphism induced
following [CIK13] we denote by ∆π : L(Λ) → L(Λ)⊗
by ∆(uλ ) = uλ ⊗ vπ (λ) where {uλ |λ ∈ Λ} and {vγ |γ ∈ Γ} are the canonical unitaries of
L(Λ) and L(Γ), respectively.
Theorem 6.6. Assume Notation 6.5 above and suppose that Γ = Γ1 ∗Σ Γ2 or Γ = HNN(Λ, Σ, θ ).
Let A1 , A2 ⊂ L(Λ) = M be diffuse subalgebras such that A1 ∨ A2 ⊂ M has finite index. Then
there exists i = 1, 2 such that Ai ≺ L(π −1 (Σ)).
Proof. We treat only the case of amalgamated free product as the other one follows similarly. Let π : Λ → Γ be an epimorphism and consider the embeddings ∆π ( A1 ), ∆π ( A2 ) ⊂
e Now we may view M
e = L(Λ )⊗
¯ L(Γ) = M.
¯ L(Γ1 ) ∗ L(Γ)⊗¯ L(Σ) L(Λ)⊗
¯ L ( Γ 2 ).
∆π ( M ) ⊂ L(Λ )⊗
Let A ⊂ A1 be an arbitrary diffuse amenable subalgebra. Naturally, ∆π ( A) ⊂ ∆π ( A1 ) is
e Thus by [Va13, Theorem A] we have the following
an amenable diffuse subalgebra of M.
trichotomy:
¯ L(Σ), or
(a) ∆π ( A) ≺ Me L(Λ)⊗
π
¯ L(Γi ) for some i = 1, 2, or
(b) ∆ ( A2 ) ≺ Me L(Λ)⊗
e
¯ L(Σ) inside M.
(c) ∆π ( A) is coamenable relative to L(Λ)⊗
Assume (c) holds. Then a repeated application of [Va13, Theorem A] gives either
¯ L(Σ), or
(d) ∆π ( A2 ) ≺ Me L(Λ)⊗
π
¯ L(Γi ) for some i = 1, 2, or
(e) ∆ ( A1 ∨ A2 ) ≺ L(Λ)⊗
π
e
¯ L(Σ) inside M.
(f) ∆ ( A1 ∨ A2 ) is coamenable relative to L(Λ)⊗
We claim (c) will necessarily imply (d) as cases (e) and (f) will necessarily yield a con¯ L(Γi ) since
tradiction. If (e) were to hold, this may further implies ∆π ( L(Λ)) ≺ M̃ L(Λ)⊗
20

[ M : A1 ∨ A2 ] < ∞ and hence by [CK15, Proposition 8.5] we have L(Λ) ≺ M L(π −1 (Γi )).
This gives [Λ : π −1 (Γi )] < ∞ which in turn implies [Γ : Γi ] < ∞ which can hold only if
Γi = Σ, a contradiction.
If (f) holds, since [ M : A1 ∨ A2 ] < ∞ this would further imply ∆π ( L(Γ)) coamenable rele by [OP07]. Using [CK15, Proposition 8.6], then Γ = π (Λ)
¯ L(Σ) inside M
ative to L(Λ)⊗
is amenable relative to Σ inside Γ. However, [Io12] would imply [Γi , Σ] ≤ 2 for i = 1, 2,
¯ L(Σ) inagain leading to a contradiction. Hence if ∆π ( A) is amenable relative to L(Λ)⊗
e then ∆π ( A2 ) ≺ e L(Λ)⊗
¯ L ( Σ ).
side M,
M
¯ L(Σ). If
Now if we suppose (b) holds, we claim this also implies ∆π ( A2 ) ≺ Me L(Λ)⊗
π
π
¯ L(Γi ), then there exists projections p ∈ ∆ ( A2 ), q ∈ L(Λ)⊗
¯ L ( Γi ), a
∆ ( A2 ) ≺ Me L(Λ)⊗
π
e and a ∗-isomorphism Ψ : p∆ ( A2 ) p → B ⊂ qL(Λ)⊗
¯ L(Γi )q such
partial isometry v ∈ M,
that
Ψ( x )v = vx ∀ x ∈ p∆π ( A2 ) p.
(6.4)
∗
Additionally, we may assume ∆EL(Λ)⊗¯ L(Σ) (v v) = q. Next, if B ≺ L(Λ)⊗ L(Γi ) L(Λ) ⊗ L(Σ),
¯ L(Σ)t such that
there exists Φ : rBr → tL(Λ)⊗
¯ L ( Γi )
Φ( x )w = wx for all x ∈ rBr, where r ≤ q and w ∈ L(Λ)⊗
(6.5)
Using (6.4) together with (6.5), we get that

Φ(Ψ( x ))wv = wΨ( x )v = wvx.

(6.6)

Note that if wv = 0, we have wvv∗ = 0, wEL(Λ)⊗¯ L(Γi ) (vv∗ ) = 0. Then we obtain wq =
w∆EL(Λ)⊗¯ L(Γi ) (vv∗ ) = 0. Therefore, w = 0, a contradiction. As the consequence, wv 6= 0
and hence (6.6) show that
¯ L ( Σ ).
(6.7)
∆π ( A2 ) ≺ L(Λ )⊗
∗
¯ L(Γi ) and hence
¯ L(Σ), by [IPP05, Theorem 1.2.1] we get vv ∈ L(Λ)⊗
If B 6≺ L(Λ)⊗
∗
π
∗
∗
¯
¯
Bvv = v∆ ( A2 )v ⊂ L(Λ)⊗ L(Γi ). Since Bvv 6≺ L(Λ)⊗ L(Σ), again by [IPP05, Theo¯ L(Γi ) and hence v∆π ( A1 ∨
rem 1.2.1] it follows that qN L(Λ)⊗ L(Γi ) (v∆π ( A2 )v∗ ) ′′ ⊂ L(Λ)⊗
¯ L(Γ) and ∆π ( A1 ∨ A2 ) ≺ L(Λ)⊗
¯ L(Γi ). Since [ M : A1 ∨ A2 ] < ∞, we
A2 )v ∗ ⊂ L(Λ )⊗
π
¯
have ∆ ( L(Λ)) ≺ L(Λ)⊗ L(Γi ) which as before leads to a contradiction. Thus, case (b)
¯ L ( Σ ).
always leads to (6.7), i.e., ∆π ( A2 ) ≺ L(Λ)⊗
Summarizing the results above we have for every amenable diffuse subalgebra A ⊂ A1
either
¯ L(Σ)
∆π ( A) ≺ Me L(Λ)⊗

or

¯ L ( Σ ).
∆π ( A2 ) ≺ Me L(Λ)⊗

¯ L(Σ) for some i ∈ {1, 2}. A
By [BO08, Corollary F.14, Appendix F], ∆π ( Ai ) ≺ Me L(Λ)⊗
final application of [CK15, Proposition 8.5] allows us to conclude Ai ≺ M L(π −1 (Σ)), as
desired.

Definition 6.7. A subgroup Σ < Γ is called weakly malnormal if there exists γ1 , ..., γn ∈ Γ
satisfying | ∩in=1 γi Σγi−1 | < ∞.

Corollary 6.8. Assume Notation 6.5 above and suppose that either Γ = Γ1 ∗Σ Γ2 or Γ =
HNN(Λ, Σ, θ ) is an icc group satisfying the conditions from Corollary 3.3. Assume also that
Σ < Γ is a weakly malnormal subgroup. Let p ∈ L(Λ) be a projection and let A1 , A2 ⊂ pL(Λ) p
be diffuse commuting subalgebras such that A1 ∨ A2 = pL(Λ) p. Then there exists i = 1, 2 such
that Ai ≺ L(ker(π )).
21

Proof. This follows directly by combining Theorem 6.6 and [HPV10, Corollary 7, Proposition 8]

Theorem 6.9 (Theorem in [CKP14]). Assume the Notation 6.5 above and suppose that Γ ∈ Crss .
Let p ∈ L(Λ) be a projection and let A1 , A2 ⊂ L(Λ) be diffuse commuting subalgebras such that
A1 ∨ A2 ⊂ pL(Λ) p has finite index. Then there exists i = 1, 2 such that Ai ≺ L(ker(π )).
Theorem 6.10. Let Γ ∈ Quotn (T ) ∪ Quotn (T )-by-Crss . Let r ∈ L(Γ) be a projection and
assume P1 , P2 ⊆ rL(Γ)r are commuting diffuse subfactors such that P1 ∨ P2 ⊆ rL(Γ)r is finite
index. Then there exist icc commuting subgroups Σ1 , Σ2 < Γ such that [Γ : Σ1 Σ2 ] < ∞ and
∼ com L(Σ1 ), P2 =
∼ com L(Σ2 ).
P1 =
L (Γ )
L (Γ )

Proof. For ease of notation denote by M = L(Γ). We will proceed by induction on n.
Assume n = 1. In this case Γ either belongs to T or it is a T -by-Crss group.
First assume Γ = Γ1 ∗Σ Γ2 . Since P1 ∨ P2 ⊆ pMp is finite index, by Corollary 3.3 we can
assume P1 ≺ L(Σ). Since any corner eL(Σ)e is virtually prime then using Lemma 4.2 we
∼ com L(Σ) and the desired conclusion follows by applying Theorem
must have that P1 =
M
4.6. The case Γ = HNN(Λ, Σ, θ ) follows similarly.
Now assume Γ is a T -by-Crss group. Let π : Γ → Λ be a surjective homomorphism so
that Λ ∈ Crss and ker(π ) ∈ T . By Theorem 6.9 we have P1 ≺ L(ker(π )). Using Lemma
4.2 one of the following cases must hold:
(1) There exist projections p ∈ P1 , e ∈ L(ker(π )), a partial isometry w ∈ M, and a
unital injective ∗-homomorphism Φ : pP1 p → eL(ker(π ))e such that
(a) Φ( x )w = wx for all x ∈ pP1 p;
(b) s(EL(ker(π )) (ww∗ )) = e;
(c) If B := Φ( pP1 p) then B ∨ ( B ′ ∩ eL(ker(π ))e) ⊆ eL(ker (π ))e is a finite index
inclusion of II1 factors.
∼ com L(ker(π )).
(2) P1 =
M
If case (2) were to hold the the desired conclusion follows from Theorem 4.6.
Assume case (1) holds. Since ker(π ) ∈ T then using (1c) and the previous case one
can find commuting subgroups Ω1 , Ω2 6 ker(π ) such that [ker(π ) : Ω1 Ω2 ] < ∞ and
′
∼ com
∼ com
B =
L (ker(π ) L(Ω1 ) and B ∩ eL(ker (π ))e = L (ker(π )) L(Ω2 ) Proposition 4.3 we get that
∼ com L(Ω1 ) and the conclusion follows again from Theorem 4.6.
P1 =
M
For the inductive step we argue in a similar manner. First assume Γ ∈ Quotn (T ) and
suppose there is a surjective group homomorphism π : Γ → Λ where Λ is either an
amalgamated free product of an HNN-extension and ker(π ) ∈ Quotn−1 (T ). By Theorem
6.6 we have P1 ≺ L(π −1 (Σ)). Using Lemma 4.2 one of the following cases must hold:
(1) There exist projections p ∈ P1 , e ∈ L(π −1 (Σ)), a partial isometry w ∈ M, and a
unital injective ∗-homomorphism Φ : pP1 p → eL(π −1 (Σ))e such that
(a) Φ( x )w = wx for all x ∈ pP1 p;
(b) s(EL(π −1 (Σ)) (ww∗ )) = e;
(c) If B := Φ( pP1 p) then B ∨ ( B ′ ∩ eL(π −1 (Σ))e) ⊆ eL(π −1 (Σ))e is a finite index
inclusion of II1 factors.
∼ com L(π −1 (Σ)).
(2) P1 =
M
If case (2) were to hold the the desired conclusion follows from Theorem 4.6.
22

Assume case (1) holds. Since π −1 (Σ) is Quotn−1 (T )-by-Crss then using (1c) and the
induction hypothesis one can find commuting subgroups Ω1 , Ω2 6 π −1 (Σ) such that
′
−1
∼ com −1
∼ com
[π −1 (Σ) : Ω1 Ω2 ] < ∞ and B =
L (π (Σ)) L(Ω1 ) and B ∩ eL(π (Σ))e = L (π −1 (Σ)) L(Ω2 )
∼ com L(Ω1 ) and the conclusion follows again from TheoProposition 4.3 we get that P1 =
M
rem 4.6.
When Γ ∈ Quotn (T )-by-Crss one can proceed in a similar manner and we leave the
details to the reader.

Theorem 6.11. Denote by D = Crss ∪ (finite-by-T )c . Let Γ ∈ Quotn (T ) ∪ (Quotn (T )-by¯ M2 , where Mi are diffuse
Crss ) be an icc group. Let M = L(Γ) and assume that M = M1 ⊗
factors. Then there exist a product groups decomposition Γ = Γ1 × Γ2 , where Γi ∈ Quotcni (D) for
some ni ∈ 1, n. Moreover, one can find a unitary u ∈ M and t > 0 such that M1 = uL(Γ1 )t u∗
and M2 = uL(Γ2 )1/t u∗ .
Proof. The conclusion follows directly by combining Theorems 6.10, 4.4 and 5.4.



6.3. Graph products of groups. Let G be a graph without loops and multiple edges and
denote its vertex set by V (G) = V . Let {Γv }v∈V be a family of groups, indexed over
the vertices of G and called vertex groups. The graph product of {Γv }v∈V , denoted by
G(Γv , v ∈ V ), is defined as the quotient of the free product ∗v∈V Γv by the relations
[Γu , Γv ] = 1 whenever u and v are adjacent vertices in G . These groups were introduced
by E. Green in [Gr90] and are natural generalizations of the right angled Artin and Coxeter groups. The study of graph products and their subgroups became a trendy subject
over the last decade in geometric group theory and many important results have been
discovered, [A13, HW08, W11, MO13, AM10].
Given any subset U ⊆ V , the subgroup ΓU = hΓu : u ∈ U i of G(Γv , v ∈ V ) is called a full
subgroup. In turn this can be naturally identified with the graph product GU (Γu , u ∈ U )
corresponding to the subgraph GU of G , spanned by the vertices of U. Any conjugate of a
full subgroup is called a parabolic subgroup.
For every v ∈ V we denote by link(v) the subset of vertices w 6= v that are adjacent to
v in G . Similarly, for every U ⊆ V we denote by link(U ) = ∩u∈U link(u). Also we make
the convention that link(∅) = V . Notice that U ∩ link(U ) = ∅.
Graph product groups naturally admit many amalgamated free product decompositions. For further use we recall from [Gr90, Lemma 3.20] the following free amalgam
decomposition involving parabolic subgroups associated with link sets of G ; precisely,
for any v ∈ V we have

G(Γw , w ∈ V ) = ΓV \{v} ∗Γlink (v) Γstar(v) ,

(6.8)

where we denoted by star(v) = {v} ∪ link(v).
Let G be a graph and let V be its vertex set. We denote by Vstar the subset of all v ∈ V
such that star(v) = V . With this notation at hand we recall the following well-known
result which will be useful in the proof of the main result.
Proposition 6.12. Assume G is a graph let Γ = G(Γv , v ∈ V ) be a graph product group, where
Vstar = ∅. If Γ = Λ1 × Λ2 is a nontrivial product decomposition there exists B ⊂ V such that
Λ1 = ΓB and Λ2 = Γlink(B) .
23

Also for further use we record the following basic result that follows from the study of
parabolic subgroups of graph products performed in [AM10, Section 3] (see also [MO13,
Lemma 6.1])
Lemma 6.13. Assume G is a graph let Γ = G(Γv , v ∈ V ) be a graph product group, where
Γv is infinite for every v ∈ V . Assume there exist subsets U, W ⊆ V and γ ∈ Γ satisfying
γΓW γ−1 6 ΓU and [ΓU : γΓW γ−1 ] < ∞. Then U = W and ΓU = γΓW γ−1 .
Proof. First, notice [AM10, Corollary 3.8] implies that W ⊆ U. Since [ΓU : γΓW γ−1 ] < ∞
T
there exist γ1 , ..., γk ∈ ΓU so that ik=1 γi γΓW γ−1 γi−1 is a finite index, normal subgroup of
ΓU . Using [AM10, Proposition 3.4] inductively, one can find λ ∈ Γ and T ⊆ W such that
Tk
−1 −1
−1
i = 1 γi γΓW γ γi = λΓ T λ . Altogether, we have
λΓT λ−1 6 ΓU 6 NΓ (λΓT λ−1 ) and [ΓU : λΓT λ−1 ] < ∞.

(6.9)

However, the normalizer formula of [AM10, Proposition 3.13] shows that

NΓ (λΓT λ−1 ) =λΓT ∪link(T ) λ−1 = λ(ΓT ∨ Γlink(T ) )λ−1 = λΓT λ−1 ∨ λΓlink(T ) λ−1 .

(6.10)

Since T ∩ link(T ) = ∅ then λΓT λ−1 , λΓlink(T ) λ−1 < λΓT ∪link(T ) λ−1 are commuting subgroups with trivial intersection. Then using (6.9) and (6.10) we get that ΓU = λΓT λ−1 ∨
(λΓlink (T ) λ−1 ∩ ΓU ). Since [ΓU : λΓT λ−1 ] < ∞ it follows that λΓlink(T ) λ−1 ∩ ΓU is finite. By [AM10, Proposition 3.4] again there are X ⊆ link(T ) ∩ U and µ ∈ Γ so that
λΓlink(T ) λ−1 ∩ ΓU = µΓX µ−1 . However, since all non-trivial vertex groups are infinite it
follows that ΓX = 1 and hence ΓU = λΓT λ−1 . Since, by construction, we have T ⊆ W ⊆
U, this further entails T = W = U and moreover [ΓU : γΓW γ−1 ] in the formula before ; in
particular, γΓW γ−1 = ΓU .

Lemma 6.14. Let Γ = G(Γv , v ∈ V ) be an icc graph product group where |Γv | = ∞ for all v ∈ V .
¯ M2 = L(Γ), for diffuse Mi ’s then there exists a partition A1 ⊔ A2 = V \ Vstar satisfying
If M1 ⊗
link( A1 ) = A2 ⊔ Vstar , link( A2 ) = A1 ⊔ Vstar , and
Mi ≺s L(Γlink ( Ai ) ), for all i = 1, 2.
Proof. If V = Vstar , the conclusion is trivial. So fix v ∈ V \ Vstar arbitrary. Using the
assumptions and formula (6.8), there is a nontrivial decomposition of Γ as an amalga¯ M2 = L(ΓV \{v} ) ∗ L(Γ
mated free product Γ = ΓV \{v} ∗Γlink(v) Γstar(v) . Thus we have M1 ⊗
link( v ) )
L(Γstar (v) ), and, using Corollary 3.3, we must have either M1 ≺ L(Γlink (v) ) or M2 ≺
L(Γlink (v) ). Since N M ( Mi ) ′′ = M is a II1 factor, [DHI16, Lemma 2.4(2)] further implies
M1 ≺s L(Γlink (v) )

or

M2 ≺s L(Γlink (v) ).

For each i = 1, 2 denote by Ai ⊂ V the maximal subset such that
Mi ≺s L(Γlink (v) ) for all v ∈ Ai .
Notice that A1 ∪ A2 = V \ Vstar . Next we show the following
Claim 6.15. For each i = 1, 2 we have Mi ≺s L(Γlink ( Ai ) ).
24

(6.11)

Proof of Claim 2.7. Throughout this proof we will follow the notation used in [Va10, Definition 2.2]. Using (6.11) and [Va10, Lemma 2.5] we have

( Mi )1 ⊂approx L(Γlink (v) ) for all v ∈ Ai .
Thus, using [Va10, Lemma 2.7] successively, we obtain

( Mi )1 ⊂approx L(S), where S = {

\

hv Γlink(v) h−1
v , hv ∈ Γ}.

(6.12)

v∈ Ai

Also, using [AM10, Proposition 3.4] successively, for each {hv }v∈ Ai ⊂ Γ there are T ⊂
T
v∈ Ai link(v) = link( Ai ) and k ∈ Γ so that
\

v∈ Ai

−1
hv Γlink(v) h−1
6 kΓlink ( Ai ) k−1 .
v = kΓ T k

(6.13)

Altogether, (6.12), (6.13) and [Va10, Lemma 2.5] show that Mi ≺s L(Γlink ( Ai ) ), as desired.

Claim 6.15 implies that L(Γlink ( Ai ) ) ′ ∩ M ≺ Mi′ ∩ M. Since L(Γ Ai ) ⊆ L(Γlink ( Ai ) ) ′ ∩ M
we further get L(Γ A1 ) ≺ M2 . Since M2 ≺s L(Γlink ( A2 ) ) then [Va07, Lemma 3.7] further
leads to
L(Γ A1 ) ≺ L(Γlink ( A2 ) ).
Similarly we have L(Γ A2 ) ≺ L(Γlink ( A1 ) ). Assume wlog that A1 6= ∅. Then by [CI17,
Lemma 2.2] there is h ∈ Γ such that [Γ A1 : hΓlink( A2 ) h−1 ∩ Γ A1 ] < ∞. Using [AM10,
Proposition 3.4] again, there are T ⊂ link( A2 ) ∩ A1 and s ∈ Γ so that hΓlink( A2 ) h−1 ∩ Γ A1 =
sΓT s−1 . Thus sΓT s−1 6 Γ A1 is finite index and by Lemma 6.13 we have A1 = T and also
sΓT s−1 = Γ A1 . Since T ⊆ link( A2 ) then A1 ⊆ link( A2 ) and hence

V = Vstar ∪ A1 ∪ A2 ⊆ link( A2 ) ⊔ A2 ⊆ V .
Therefore A2 ⊔ link( A2 ) = V and moreover Vstar ⊔ A1 = link( A2 ) and Vstar ⊔ A2 =

link( A1 ). Thus Claim 6.15 gives the desired conclusion.
Theorem 6.16. Let Γ = G(Γv , v ∈ V ) an graph product group. Assume that Γ is icc, Vstar = ∅,
¯ M2 = L(Γ) = M, for diffuse Mi ’s then there exists a proper
and |Γv | = ∞ for all v ∈ V . If M1 ⊗
subset A ⊂ V such that A ⊔ link( A) = V , a unitary u ∈ M, and a scalar t > 0 such that
M1 = uL(Γlink ( A) )t u∗

and

M2 = uL(Γ A )1/t u∗ .

Proof. Using Lemma 6.15 together with the hypothesis assumptions there exist proper
subsets A1 , A2 ⊂ V so that A1 = link( A2 ), A2 = link( A1 ), and for each i = 1, 2 we have
Mi ≺s L(Γlink ( Ai ) ). So letting A := A1 we get
M1 ≺s L(Γlink ( A) )

and

M 2 ≺ s L ( Γ A ).

(6.14)

Passing to the relative commutants intertwining in the above relations we also have
L(Γ A ) ≺ M2 and L(Γlink ( A) ) ≺ M1 . As N M ( L(Γ A )) ′′ = N M ( L(Γlink(A) )) ′′ = M is a
II1 factor we further conclude by [DHI16, Lemma 2.4(2)] that
L ( Γ A ) ≺ s M2

and
25

L(Γlink ( A) ) ≺s M1 .

(6.15)

Using (6.14)-(6.15) in combination with [DHI16, Theorem 6.1], Lemma 6.13, and Proposition 6.12 one can find u ∈ U ( M) and t > 0 such that M1 = uL(Γlink ( A) )t u∗ and
M2 = uL(Γ A )1/t u∗ .

7. A PPLICATIONS

TO

P RIME FACTORS

Despite all the spectacular progress witnessed over the last decade, understanding the
primeness aspects of AFP group factors L(Γ1 ∗Σ Γ2 ) remains a nontrivial problem that
seems to depend entirely on the “nature” and “position” of the amalgamated group Σ
inside Γ1 ∗Σ Γ2 . While there is no satisfactory general answer to this problem we highlight
below several natural conditions on Σ that will insure primeness. This will lead to new
examples of prime II1 factors.
First we note the following particular case (n = 1) of Corollary 6.8.
Corollary 7.1. Let Γ = Γ1 ∗Σ Γ2 be an amalgamated free product or Γ = HNN(Λ, Σ, θ ) be an
HNN extension as in the statement of Corollary 3.3. If Γ is icc and Σ is weakly malnormal in Γ
then L(Γ) is prime.
When Σ is amenable we have the following strengthening of the previous result.
Corollary 7.2. Let Γ = Γ1 ∗Σ Γ2 be an amalgamated free product or let Γ = HNN(Λ, Σ, θ ) be
an HNN extension as in the statement of Corollary 3.3. Also assume Γ is icc, Σ is amenable, and
there exists γ ∈ Γ such that |γΣγ−1 ∩ Σ| < ∞. Then L(Γ) is virtually prime, i.e. for every
commuting, diffuse subfactors A1 , A2 ⊂ L(Γ) we have that [ L(Γ) : A1 ∨ A2 ] = ∞.

Proof. Assume by contradiction that M = L(Γ) is not virtually prime, i.e. there exist
diffuse, commuting subfactors A1 , A2 ⊆ M such that [ M : A] < ∞, where A = A1 ∨ A2 .
Applying Corollary 3.3 there exists i ∈ 1, 2 so that Ai ≺ L(Σ); assume i = 1. Since Σ is
amenable, then A1 is diffuse amenable. Thus A is McDuff and hence A ′ ∩ Aω is a diffuse
von Neumann algebra. By [PP86, Proposition 1.11] we have that [ Mω : Aω ] = [ M : A] <
∞ and hence [ A ′ ∩ Aω : A ′ ∩ Mω ] < ∞. Altogether these show that A ′ ∩ Mω is diffuse.
On the other hand since [ M : A] < ∞ there exists {mi } ⊂ M, a finite
basis.
PPimsner-Popa
−1
∗
Using [Po02, Lemma 3.1] it follows that the map Φ( x ) = [ M : A]
i mi xmi implements
′
ω
′
ω
the conditional expectation from A ∩ M onto M ∩ M . In addition, the index of Φ is
majorised by [ M : A]−1 . Thus [ A ′ ∩ Mω : M ′ ∩ Mω ] < ∞ and since A ′ ∩ Mω is diffuse we
conclude that M ′ ∩ Mω is also diffuse; in particular M has property Gamma and thus Γ is
inner amenable. However, the assumptions and [MO13, Corollary 2.2] give that Γ must
be acylindrically hyperbolic which contradicts [DGO11, Theorem 2.32] (see also [CSU13,
Theorem C] for a more general argument).

The previous results lead to several new examples of groups that give rise to prime
factors. In addition, we are also able to recover some of the primeness results proved in
[DHI16, Corollary B].
Corollary 7.3. If Γ is a group in one of the following classes then L(Γ) is prime.
a) the integral two-dimensional Cremona group Autk (k[ x, y]), where k is a countable field;
b) Higman’s group ha, b, c, d | ab = a2 , bc = b2 , cd = c2 , d a = d2 i [Hi51];
c) Burger-Mozes’ groups [BM01], Camm’s groups [Ca51], Bhattacharjee’s groups [Bh94];
d) PSL2 (Z [S−1 ]), where S is a finite collection of primes;
26

e) PGL2 (k[t]), PSL2 (k[t]), where k is a countable field.
f) PE2 ( R[t]) = E2 ( R[t])/( I2 ), where R is a finite commutative integral domain or a countable commutative integral domain with |(r )| = ∞ for every r ∈ R \ {0}.

Proof. a) It is well known that Γ = Autk (k[ x, y]) can be decomposed as an amalgamated
free product Γ = A ∗C B where:
 


x
ax + by + c
(1) A is the group of all affine maps
→
, where a, b, ...., f ∈ k
y
dx + ey + f


a, b
and det
6= 0;
c, d
 


x
ax + b
(2) B is the triangular subgroup of all maps of the form
→
,
y
cy + g( x )
where a, c ∈ k∗ , b ∈ k and g( x ) ∈ k[ x ];
(3) C = A ∩ B are all the triangular maps above where g( x ) is linear.
Then using [MO13, Lemma 4.23] the conclusion follows from Corollary 7.1. In fact it is
known that C is nilpotent and hence amenable so the stronger conclusion from Corollary
7.2 still holds.
b) Higman group is an amalgam Γ = A ∗C B where A = ha, b, e | ba = b2 , eb = e2 i and
B = hc, d, f | dc = d2 , f d = f 2 i with free amalgamated subgroups C = ha, ei and hc, f i
with a = f , e = c. The result follows from Theorem 6.1 and [MO13, Corollary 4.26].
¯ M2 for diffuse Mi ’s. Note in all these cases
c) Assume by contradiction L(Γ) = M1 ⊗
Γ = A ∗C B where C < A and C < B are finite index inclusions of non-abelian free groups.
By [Oz03] L(C) is solid, hence virtually prime. Using Theorem 6.1 we get Γ = C × H
where H = A/C ∗ B/C, contradicting the simplicity of Γ, [BM01, Ca51, Bh94].
d) First write S = {p1 , . . . , pn } = T ∪ {pn }. By [Se03, Corollary 2 p. 80], SL2 Z[S]−1 admits
a decomposition as an amalgamated free product
SL2 (Z [S−1 ]) = SL2 (Z [ T −1 ]) ∗Γ0 ( pn ) SL2 (Z [ T −1 ]),
where Γ0 ( pn ) is the subgroup of all matrices whose lower-left entry is 0 mod pn , the
Hecke congruence subgroup of level pn in SL2 (Z [ T −1 ]). Now observe that [SL2 (Z [ T −1 ] :
Γ0 ( pn )] = pn + 1. Thus, after we mod out by the center ± I, we obtain the presentation of
PSL2 (Z [S−1 ]) as the amalgamated free product
PSL2 (Z [S−1 ]) = PSL2 (Z [ T −1 ]) ∗Γ̃0 ( pn ) PSL2 (Z [ T −1 ]),
∼ Γ0 ( pn )/(± I ). Furthermore, PSL2 (Z ) contains a free subgroup of finite
where e
Γ0 ( p n ) =
index, thereby showing the group Γ̃0 ( pn ) is commensurable to a nonabelian free group
Γ0 ( pn )) is virtually prime by [Oz03].
and hence L(e
If L( PSL2 (Z [S−1 ])) is non-prime, Theorem 6.1 implies that PSL2 (Z [S−1 ] decomposes
−1
as a direct product of infinite
Q groups, which is impossible since PSL2 (Z [S ]) is an irreducible lattice in SL2 (R ) × p∈S SL2 (Q p ).
27

e) Letting R be an arbitrary unital ring, we denote by B( R) ( or SB( R)) as the subgroup
of GL2 ( R) ( resp. SL2 ( R))


a b
B ( R) : =
a, d ∈ R∗ , d ∈ R ,
0 d


a b
a ∈ R∗ , d ∈ R .
SB( R) :=
0 a−1
Nagao’s Theorem ([Se03, Theorem 6 p. 86]) allows us to decompose GL2 (k[t]) and SL2 (k[t])
as into the amalgamated free products GL2 (k[t]) = GL2 (k) ∗ B(k) B(k[t]) and SL2 (k[t]) =
SL2 (k) ∗SB(k) SB2 (k[t]), respectively. Taking the central quotient then yields the following
decompositions:
PGL2 (k[t]) = PGL2 (k) ∗ PB(k) PB(k[t])
PSL2 (k[t]) = PSL2 (k) ∗ PSB(k) PSB(k[t])
Where PB( R) := B( R)/( R∗ · I2 ) and PSB( R) = SB( R)/( R∗ · I2 ).
Now if k were finite, PB(k) and PSB(k) are of type I and thus the result follows from
[CH08, Theorem 5.2].
Next assume k is a countably infinite field and note this is sufficient to conclude that
PB2 (k) and PSB2 (k) are icc. Now, there exists g ∈ SL2 (k) 6 GL2 (k[t]) so that B(k) g and
SB(K ) g are a subgroups of the lower triangular matrices with entries in k.


a 0
g
∼ k∗ × k∗ ,
B(k) ∩ B(k) =
a, b ∈ k∗ =
0 b


a 0
g
∼ k∗ .
SB(k) ∩ SB(k) =
a ∈ k∗ =
0 a−1
∼ L( PGL2 (k[t])) is a decomposition into II1 factors. Corollary 3.3 allows
¯ P2 =
Now, if P1 ⊗
us to assume P1 ≺ L( PB(k)), which moreover implies P1 ≺ L( PB(k) ∩ PB(k) g ) [PV06,
Theorem 6.16], c.f. [HPV10, Corollary 7] . However, this now implies that P1 is not a II1
factor since PB(k) ∩ PB(k) g is abelian, a contradiction. The case of PSL2 (k[t]) follows
analogously.
f) For any ring unital S, E2 (S) denotes the subgroup of SL2 (S) generated by the elementary matrices, and note that if S is not a field, the inclusion is in fact proper (see [KM97]).
∼ E2 ( R ) ∗
By Nagao’s theorem, we write E2 ( R[t]) =
SB ( R) SB( R[ t]) and we see the case when
R is finite follows again from an application of [CH08, Theorem 5.2]. We remark that the
condition |(r )| = ∞ for every r ∈ R \ {0} is both necessary and sufficient to ensure that the
group PSB( R) is icc. Thus, after passing to the central quotient, we proceed exactly as in
part e).

Remarks 7.4. We mention that one may relax the assumption that k or R are countable in
parts e) and f). Though the resulting von Neumann algebra is no longer seperable, i.e. it
does not act on a seperable Hilbert space, the techniques found in [Po83] are adaptable to
this situation and thus we conclude that L(Γ) is prime if:
(1) Γ = PGL2 (k[t]) for every field k, or
(2) Γ = PSL2 (k[t]) for every field k, or
(3) Γ = PE2 ( R[t]) for every finite integral domain R, or
28

(4) Γ = PE2 (S[t]) for every infinite integral domain such that |(r )| = ∞ for every
r ∈ R.
Finally, we close by mentioning our generalization of a conjecture of J. Peterson which
was our impetus for undertaking the current project.
Conjecture 7.5. If Γ is a Burger-Mozes group [BM01] or a Camm’s group [Ca51], or a Bhattacharjee’s group [Bh94] then L(Γ) is strongly solid.
R EFERENCES
[A13] I. Agol, The virtual Henken conjecture, Doc. Math. 18 (2013), 1045–1087. With an appendix by I. Agol,
D. Groves, and J. Manning.
[AM10] Y. Antolín, A. Minasyan, Tits alternatives for graph products, J. Reine Angew. Math. 704 (2015), 55–83.
[Bh94] M. Bhattacharjee, Constructing finitely presented infinite nearly simple groups, Comm. Algebra 22
(1994), 4561–4589.
[Bo12] R. Boutonnet, On solid ergodicity for Gaussian action, J. Funct. Anal. 263 (2012), 1040–1063.
[BHR12] R. Boutonnet, C. Houdayer, and S. Raum, Amalgamated free product type III factors with at most one
Cartan subalgebra, Compos. Math. 150 (2014), 143–174.
[BO08] N. P. Brown, N. Ozawa, C∗ -algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88, AMS, Providence, RI.
[BM01] M. Burger, S. Mozes, Lattices in products of trees, Inst. Hautes Ètudes Sci. Pub. Sér. I Math. 92 (2001),
151–194.
[Ca51] R. Camm, Simple free products, J. London Math. Soc. 28 (1953), 66–76.
[Ca16] M. Caspers, Absence of Cartan subalgebras for right-angled Hecke von Neumann algebras, Preprint
arXiv:1601.00593.
[CF14] M. Caspers, P. Fima, Graph products of operator algebras, J. Noncommut. Geom. 11 (2017), 367–411.
[CdSS15] I. Chifan, R. de Santiago, T. Sinclair, W ∗ -rigidity for the von Neumann algebras of products of hyperbolic
groups, Geom. Funct. Anal. 26 (2016), 136–159.
[CH08] I. Chifan, C. Houdayer, Bass-Serre rigidity results in von Neumann algebras, Duke Math. J. 153 (2010),
23–54.
[CI08] I. Chifan, A. Ioana, Ergodic subequivalence relations induced by a Bernoulli action, Geom. Funct. Anal.
20 (2010), 53–67.
[CI17] I. Chifan, A. Ioana, Amalgamated free product rigidity for group von Neumann algebras, Preprint.
arXiv:1705.07350.
[CIK13] I. Chifan, A. Ioana and Y. Kida, W ∗ -superrigidity for arbitrary actions of central quotients of braid
groups, Math. Ann. 361 (2015), 563–582.
[CK15] I. Chifan, Y. Kida, OE and W ∗ -superrigidity results for actions by surface braid groups, Proc. Lond. Math.
Soc. 111 (2015), 1431–1470.
[CKP14] I. Chifan, Y. Kida, S. Pant, Primeness Results for von Neumann Algebras Associated with Surface Braid
Groups, Int. Math. Res. Not. 16 (2016), 4807–4848.
[CS11] I. Chifan, T. Sinclair, On the structural theory of II1 factors of negatively curved groups, Ann. Sci. Éc.
Norm. Sup. 46 (2013), no. 1, 1–34.
[CSU11] I. Chifan, T. Sinclair, and B. Udrea, On the structural theory of II1 factors of negatively curved groups,
II. Actions by product groups, Adv. Math. 245 (2013), 208–236.
[CSU13] I. Chifan, T. Sinclair, B. Udrea, Inner amenability for groups and central sequences in factors, Ergodic
Theory Dynam. Systems 36 (2016), no. 4, 1106–1029.
[Co76] A. Connes, Classification of injective factor, Ann. of Math. 101 (1976), 73–115.
[DI12] Y. Dabraowski and A. Ioana, Unbounded derivations, free dilations and indecomposability results for II1
factors, Trans. Amer. Math. Soc. 368 (2016), no. 7, 4525–4560.
[D69] J. Dixmier, Quelques propriétés des suites centrales dans les facteurs de type II1 , Invent. Math. 7 (1969),
215–225.
[DGO11] F. Dahmani, V. Guirardel, D. Osin, Hyperbolically embedded subgroups and rotating families in groups
acting on hyperbolic spaces, Mem. Amer. Math. Soc. 245 (2017), no. 1156, 1–164.
29

[dC09] Y. de Cornulier, Infinite conjugacy classes ingroups acting on trees, Groups Geom. Dyn. 3 (2009) 267-277.
[dSP17] R. de Santiago, S. Pant, Tensor decompositions for II1 Factors of poly-hyperbolic groups, Preprint, 2017.
[DHI16] D. Drimbe, D. Hoff, A. Ioana, Prime II1 factors arising from irreducible lattices in products of rank one
simple Lie groups, J. Reine Angew. Math. to appear, arXiv:1611.02209.
[Fi10] P. Fima, A note on the von Neumann algebra of a Baumslag-Solitar group, C. R. Acad. Sci. Paris, Ser. I 349
(2011), 25–27.
[Ge96] L. Ge, On maximal injective subalgebras of factors, Adv. Math. 118 (1996), no. 1, 34–70.
[Ge98] L. Ge, Applications of Free Entropy to Finite von Neumann Algebras, II Ann,. of Math. Second Series,
147, No. 1 (Jan., 1998), pp. 143–157.
[Gr90] E. Green, Graph Products of Groups PhD Thesis, The University of Leeds, 1990,
http://etheses.whiterose.ac.uk/236/.
[HW08] F. Hagelund, D. Wise, Special cube complexes, Geom. Funct. Anal. 17 (2008), 1551–1620.
[Hi51] G. Higman, A finitely generated infinite simple group, J. London Math. Soc. (2) 26 (1951), 61–64.
[Ho15] D. Hoff, von Neumann Algebras of Equivalence Relations with Nontrivial One-Cohomology. J. Funct. Anal.
270 (2016), no. 4, 1501–1536.
[HI15] C. Houdayer, Y. Isono, Unique prime factorization and the bicentralizer problem for a class of type III
factors, Adv. Math. 305 (2017), 402–455.
[HPV10] C. Houdayer, S. Popa, S. Vaes, A class of groups for which every action is W ∗-superrigid,
Groups, Geometry, and Dynamics 7 (2013), 577–590.
[HV12] C. Houdayer, S. Vaes. Type III factors with unique Cartan decomposition, J. Mathématiques Pures et
Appliqu’ees 100 (2013), 564–590.
[Io12] A. Ioana, Cartan subalgebras of amalgamated free product II1 factors, Ann. Sci. Éc. Norm. Sup.(4) 48
(2015), no. 1, 71–130.
[IPP05] A. Ioana, J. Peterson, S. Popa, Amalgamated free products of w-rigid factors and calculation of their
symmetry groups. Acta Math. 200 (2008), 85–153.
[Is14] Y. Isono, Some prime factorization results for free quantum group factors, J. Reine Angew. Math. 722 (2017),
215–250.
[Is16] Y. Isono, On fundamental groups of tensor product II1 factors, preprint arXiv:1608.06426.
[Jo98] P. Jolissaint, Central Sequences in the Factor Associated with the Thompson Group F, Annales de l’Institut
Fourier 48 (1998), 1093–1106.
[Jo81] V.F.R. Jones, Index for subfactors, Invent. Math. 72 (1983), 1–25.
[KS70] A. Karrass, D. Solitar, The subgroups of a free product of two groups with an amalgamated subgroup, Trans.
Amer. Math. Soc. 150 (1970), 227–255.
[KM97] S. Krstic, J. McCool, Free quotients of SL2 ( R[ x ]), Proc. Amer. Math. Soc. 1125 (1997), 1585–1588.
[MO13] A. Minasyan, D. Osin, Acylindrical hyperbolicity of groups acting on trees, Math. Ann. 362 (2015),
1055–1105.
[MvN36] F.J. Murray, J. von Neumann, On rings of operators, Ann. Math. 37 (1936), 116–229.
[MvN43] F.J. Murray, J. von Neumann, Rings of operators IV, Ann. Math. 44 (1943), 716–808.
[Oz03] N. Ozawa, Solid von Neumann algebras, Acta Math. 192 (2004), 111–117.
[Oz04] N. Ozawa, A Kurosh-type theorem for type II1 factors, Int. Math. Res. Not. (2006), Art. ID 97560, 21.
[OP03] N. Ozawa, S. Popa, Some prime factorization results for type II1 factors, Invent. Math. 156 (2004), 223–
234.
[OP07] N. Ozawa, S. Popa, On a class of II1 factors with at most one Cartan subalgebra, Ann. Math. 172 (2010),
713–749.
[Pe06] J. Peterson, L2 -rigidity in von Neumann algebras, Invent. Math. 175 (2009) no. 2, 417–433.
[PP86] M. Pimsner, S. Popa, Entropy and index for subfactors, Ann. Sci. École Norm. Sup. 19 (1986), 57–106.
[Po83] S. Popa, Orthogonal pairs of ∗-subalgebras in finite von Neumann algebras, J. Operator Th. 9 (1983), no.
2, 253–268.
[Po95] S. Popa, Classification of subfactors and their endomorphisms, CBMS Regional Conference Series in
Mathematics, vol. 86, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1995.
[Po02] S. Popa, Universal construction of subfactors, J. Reine Angew. Math. 543 (2002), 39–81.
30

[Po03] S. Popa, Strong rigidity of II1 factors arising from malleable actions of w-rigid groups I, Invent. Math. 165
(2006), 369–408.
[Po06] S. Popa, On Ozawa’s property for free group factors, Int. Math. Res. Not. (2007), no. 11, 10pp.
[PV06] S. Popa, S. Vaes, Strong rigidity of generalized Bernoulli actions and computations of their symmetry
groups. Adv. in Math. 217 (2008), 833–872.
[PV11] S. Popa, S. Vaes, Unique Cartan decomposition for II1 factors arising from arbitrary actions of free groups,
Acta Math. 212 (2014), 141–198.
[PV12] S. Popa, S. Vaes, Unique Cartan decomposition for II1 factors arising from arbitrary actions of hyperbolic
groups, J. Reine Angew. Math. 694 (2014), 215–239.
[Sc71] P. Schupp, Small cancellation theory over free products with amalgamation, Math. Ann. 193 (1971), 255–
264.
[Se03] J-P. Serre, Trees, Translated from the French original by John Stillwell. Corrected 2nd printing of the
1980 English translation. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. x+142
pp.
[Si10] T. Sinclair, Strong solidity of group factors from lattices in SO(n, 1) and SU (n, 1), J. Funct. Anal. 260
(2011), no. 11, 3209–3221.
[SW11] J. O. Sizemore and A. Winchester, Unique prime decomposition results for factors coming from wreath
products, Pacific J. Math. 265 (2013), no. 1, 221–232.
[Ue08] Y. Ueda, Remarks on HNN extensions in operator algebras, Illinois J. Math. 52 (2008), 705–725.
[Va07] S. Vaes, Explicit computations of all finite index bimodules for a family of II1 factors, Annales Scientifiques
de l’Ecole Normale Supérieure 41 (2008), 743–788.
[Va10] S. Vaes, One-cohomology and the uniqueness of the group measure space decomposition of a II1 factor, Math.
Ann. 355 (2013), no. 2, 661–696.
[Va13] S. Vaes, Normalizers inside amalgamated free products von Neumann algebras, Publ. Res. Inst. Math. Sci.
50 (2014), 695–721.
[W11] D. T. Wise, Research announcement: the structure of groups with a quasiconvex hierarchy, Electron. Res.
Announc. Math. Sci. 16 (2009), 44–55.
D EPARTMENT OF M ATHEMATICS , T HE U NIVERSITY
52242, USA
E-mail address: ionut-chifan@uiowa.edu

OF

I OWA , 14 M AC L EAN H ALL , I OWA C ITY, IA

D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF C ALIFORNIA L OS A NGELES , L OS A NGELES , CA,
USA
E-mail address: rdesantiago@math.ucla.edu
D EPARTMENT OF M ATHEMATICS , T HE U NIVERSITY OF I OWA , 14 M AC L EAN H ALL , I OWA C ITY, IA
52242, USA
E-mail address: wanchalerm-sucpikarnon@uiowa.edu

31

