Rigidity for von Neumann algebras given by
locally compact groups and their crossed products
by Arnaud Brothier1 , Tobe Deprez2 and Stefaan Vaes2
To appear in Communications in Mathematical Physics.

arXiv:1703.09092v2 [math.OA] 6 Dec 2017

Abstract
We prove the first rigidity and classification theorems for crossed product von Neumann
algebras given by actions of non-discrete, locally compact groups. We prove that for arbitrary free probability measure preserving actions of connected simple Lie groups of real
rank one, the crossed product has a unique Cartan subalgebra up to unitary conjugacy.
We then deduce a W∗ strong rigidity theorem for irreducible actions of products of such
groups. More generally, our results hold for products of locally compact groups that are
nonamenable, weakly amenable and that belong to Ozawa’s class S.

1

Introduction and statement of the main results

Popa’s deformation/rigidity theory has lead to a wealth of classification, rigidity and structural
theorems for von Neumann algebras, and especially for II1 factors arising from countable groups
and their actions on probability spaces, through the group von Neumann algebra and the group
measure space construction of Murray and von Neumann. We refer to [Po06, Va10a, Io12, Va16]
for an introduction to deformation/rigidity theory. The main goal of this article is to prove
rigidity and classification theorems for crossed products by actions of non-discrete, locally
compact groups.
The classification problem for II1 factors M given as crossed products M = L∞ (X) ⋊ Γ for
free ergodic probability measure preserving (pmp) actions of countable groups splits into two
separate problems: the uniqueness problem for the Cartan subalgebra L∞ (X) and the classification problem for Γ y (X, µ) up to orbit equivalence. Striking progress has been made on
both problems. In [OP07], it is proved that for profinite free ergodic pmp actions of the free
groups Fn , the crossed product M has a unique Cartan subalgebra up to unitary conjugacy.
In [CS11], it was shown that the same holds for profinite actions of nonelementary hyperbolic
groups and actually for profinite actions of nonamenable, weakly amenable groups in Ozawa’s
class S introduced in [Oz03, Oz04]. For arbitrary free ergodic pmp actions of the same groups,
the uniqueness of the Cartan subalgebra was established in [PV11, PV12].
The first goal of this paper is to prove that also for locally compact groups that are nonamenable,
weakly amenable and in class S, crossed products M = L∞ (X) ⋊ G by arbitrary free ergodic
pmp actions have a unique Cartan subalgebra up to unitary conjugacy. This class of groups
includes all rank one simple Lie groups, as well as all locally compact groups that admit a
continuous and metrically proper action on a tree, or on a hyperbolic graph (see Proposition
7.1). The precise definition of property (S) goes as follows.
1

University Roma Tor Vergata, Department of Mathematics, Roma (Italy). E-mail: arnaud.brothier@gmail.com.
AB is supported by European Research Council Advanced Grant 669240 QUEST.
2
KU Leuven, Department of Mathematics, Leuven (Belgium).
E-mails: tobe.deprez@kuleuven.be and stefaan.vaes@kuleuven.be. TD is supported by a PhD fellowship of the
Research Foundation Flanders (FWO). SV is supported by European Research Council Consolidator Grant
614195 RIGIDITY, and by long term structural funding – Methusalem grant of the Flemish Government.

1

Definition. Let G be a locally compact group and denote S(G) = {F ∈ L1 (G) | F (g) ≥ 0
for a.e. g ∈ G and kF k1 = 1}. Equip S(G) with the topology induced by the L1 -norm. We say
that G has property (S) if there exists a continuous map η : G → S(G) satisfying
lim kη(gkh) − g · η(k)k1 = 0 uniformly on compact sets of g, h ∈ G.

k→∞

(1.1)

By [BO08, Proposition 15.2.3], Ozawa’s class S (see [Oz04]) consists of all countable groups Γ
that are exact and that have property (S).
Our uniqueness of Cartan theorem can then be stated as follows. In Section 3, we actually
prove a more general result, also valid for nonsingular actions (see Theorem 3.1) and thus
generalizing the results in [HV12] to the locally compact setting.
Theorem A. Let G = G1 × · · · × Gn be a direct product of nonamenable locally compact second
countable (lcsc) weakly amenable groups with property (S). Let G y (X, µ) be an essentially
free pmp action.
Then L∞ (X) ⋊ G has a unique Cartan subalgebra up to unitary conjugacy.
To understand Theorem A, note that if G is non-discrete, then L∞ (X) is not a Cartan subalgebra of M , but there is a canonical Cartan subalgebra given by choosing a cross section for
G y (X, µ) (see Section 3).
We then turn to orbit equivalence rigidity. In Section 4, we prove a cocycle superrigidity
theorem for arbitrary cocycles of irreducible pmp actions G1 × G2 y (X, µ) taking values in
a locally compact group with property (S). This result is similar to the cocycle superrigidity
theorem of [MS04], where the target group is assumed to be a closed subgroup of the isometry
group of a negatively curved space. We then deduce that Sako’s orbit equivalence rigidity
theorem [Sa09] for irreducible pmp actions G1 × G2 y (X, µ) of nonamenable groups in class
S stays valid in the locally compact setting. Recall here that a nonsingular action G1 × G2 y
(X, µ) of a direct product group is called irreducible if both G1 and G2 act ergodically.
In combination with Theorem A, we deduce the following W∗ strong rigidity theorem. This is
the first W∗ strong rigidity theorem for actions of locally compact groups.
Theorem B. Let G = G1 × G2 and H = H1 × H2 be unimodular lcsc groups without nontrivial
compact normal subgroups. Let G y (X, µ) and H y (Y, η) be essentially free, irreducible pmp
actions. Assume that G1 , G2 , H1 , H2 are nonamenable and that H1 , H2 are weakly amenable
and have property (S).
If p(L∞ (X) ⋊ G)p ∼
= q(L∞ (Y ) ⋊ H)q for nonzero projections p and q, then the actions are
conjugate: there exists a continuous group isomorphism δ : G → H and a pmp isomorphism
∆ : X → Y such that ∆(g · x) = δ(g) · ∆(x) for all g ∈ G and a.e. x ∈ X.
Fix Haar measures on G and H and denote by Tr the associated normal semifinite trace on
the crossed products L∞ (X) ⋊ G and L∞ (Y ) ⋊ H. If the Haar measures are normalized such
that δ is measure preserving, then Tr(p) = Tr(q). Also, the isomorphism p(L∞ (X) ⋊ G)p ∼
=
q(L∞ (Y ) ⋊ H)q has the explicit form given in Remark 4.3.
We deduce Theorem A from a very general structural result on the normalizer NM (A) = {u ∈
U (M ) | uAu∗ = A} of a von Neumann subalgebra A ⊂ M when M is equipped with an
arbitrary coaction Φ : M → M ⊗ L(G) of a locally compact weakly amenable group with
property (S), see Theorem F below. The main novelty is to show that the main ideas of [PV11]
can be made to work in this very general and much more abstract setting, by using several
results from the harmonic analysis of coactions.

2

We prove uniqueness of Cartan subalgebras by applying this general result to the canonical
coaction Φ : L(R) → L(R) ⊗ L(G) associated with a countable pmp equivalence relation R and
a cocycle ω : R → G with values in the locally compact group G. Applying the same general
result to the comultiplication ∆ : L(G) → L(G) ⊗ L(G) itself, we obtain the following strong
solidity results for locally compact group von Neumann algebras.
Recall that a diffuse von Neumann algebra M is called strongly solid if for every diffuse amenable
von Neumann subalgebra A ⊂ M that is the range of a normal conditional expectation, the
normalizer NM (A)′′ remains amenable. When also the amplification B(ℓ2 (N)) ⊗ M is strongly
solid, we say that M is stably strongly solid, see [BHV15].
Theorem C. Let G be a locally compact group with property (S) and assume that L(G) is
diffuse.
1. If G is unimodular and weakly amenable, then for every finite trace projection p ∈ L(G), we
have that pL(G)p is strongly solid.
2. If G is second countable, if G has the complete metric approximation property (CMAP) and
if the kernel of the modular function G0 = {g ∈ G | δ(g) = 1} is an open subgroup of G,
then L(G) is stably strongly solid.
Note that the von Neumann algebras L(G) appearing in the second part of Theorem C can be
of type III. The assumption on G0 being open in the second part of Theorem C is not essential,
but it makes the proof much less technical. In all our examples of locally compact groups G
with property (S) and with L(G) being nonamenable, the assumption is satisfied.
Examples D. Every finite center connected simple Lie group G of real rank one is weakly
amenable and has property (S). Every locally compact group G that acts metrically properly
on a tree (not necessarily locally finite) has CMAP and property (S). Every locally compact
hyperbolic group is weakly amenable and has property (S). References and proofs for these
statements are discussed in Section 7.
For locally compact groups G acting properly on a tree, [HR16, Theorems C and D] and [Ra15,
Theorems E and F] provide criteria ensuring that L(G) is a nonamenable factor. Applying
Theorem C, we thus obtain the first examples of nonamenable strongly solid locally compact
group von Neumann algebras. In particular, when n, m ∈ Z with 2 ≤ |m| < n and G denotes
the Schlichting completion of the Baumslag-Solitar group BS(m, n), then L(G) is strongly solid,
nonamenable and of type III|m/n| by combining Theorem C and [Ra15, Theorem G].
Combining Theorem A with [PV08, Proposition 7.1], we also obtain the following first examples
of II1 factors having a unique Cartan subalgebra up to unitary conjugacy, but not having a
group measure space Cartan subalgebra, in the sense that the countable equivalence relation
generated by the unique Cartan subalgebra cannot be written as the orbit equivalence relation
of an essentially free group action.
Corollary E. Let G = Sp(n, 1) with n ≥ 2 and let G y (X, µ) be any weakly mixing Gaussian
action. Put M = L∞ (X) ⋊ G. Then, M is a II∞ factor that has a unique Cartan subalgebra up
to unitary conjugacy, but that has no group measure space Cartan subalgebra. In particular, its
finite corners pM p are II1 factors with unique Cartan subalgebra, but without group measure
space Cartan subalgebra.
As explained above, Theorems A and C follow from a general result on normalizers inside tracial
von Neumann algebras M that are equipped with a so-called coaction of a locally compact
group. Recall that a coaction of a locally compact group G on a von Neumann algebra M is a

3

faithful normal ∗-homomorphism Φ : M → M ⊗ L(G) satisfying (Φ ⊗ id)Φ = (id ⊗ ∆)Φ, where
∆ : L(G) → L(G) ⊗ L(G) is the comultiplication given by ∆(λg ) = λg ⊗ λg for all g ∈ G.
Assume that Φ : M → M ⊗ L(G) is a coaction, Tr is a faithful normal semifinite trace on M
and p ∈ M is a projection with Tr(p) < ∞. Let A ⊂ pM p be a von Neumann subalgebra. We
say that
• A can be Φ-embedded if the pM p-bimodule Φ(p)(L2 (M p) ⊗ L2 (G)) given by x · ξ · y =
Φ(x)ξ(y ⊗ 1) admits a nonzero A-central vector;
• A is Φ-amenable if there exists a nonzero positive functional Ω on Φ(p)(M ⊗ B(L2 (G)))Φ(p)
that is Φ(A)-central and satisfies Ω(Φ(x)) = Tr(x) for all x ∈ pM p.
Note that the Φ-amenability of A ⊂ pM p is equivalent with the left A-amenability of the
pM p-M -bimodule Φ(pM p)Φ(p)(L2 (M ) ⊗ L2 (G))M in the sense of [PV11, Definition 2.3] and
this amenability notion for bimodules is a generalization of relative amenability for pairs of
von Neumann subalgebras introduced in [OP07, Section 2.2]. The following dichotomy type
theorem is a locally compact version of [PV12, Theorem 3.1].
Theorem F. Let G be a locally compact group that is weakly amenable and has property (S).
Let (M, Tr) be a von Neumann algebra with a faithful normal semifinite trace and Φ : M →
M ⊗L(G) a coaction. Let p ∈ M be a projection with Tr(p) < ∞ and A ⊂ pM p a von Neumann
subalgebra.
If A is Φ-amenable then at least one of the following statements holds: A can be Φ-embedded
or NpM p (A)′′ stays Φ-amenable.
Finally, in order to obtain stable strong solidity, we have to replace the normalizer NM (A) by
s (A) = {x ∈ M | xAx∗ ⊂ A and x∗ Ax ⊂ A}. Adapting the methods
the stable normalizer NM
of [BHV15] to the abstract setting of Theorem F, we obtain the following result.
Theorem G. If in Theorem F, we add the hypothesis that G has the complete metric approximation property, then in the conclusion, we may replace the normalizer NpM p(A)′′ by the stable
s
′′
normalizer NpM
p (A) .

2

Proof of Theorem F

The proof of Theorem F follows closely the proofs of [PV11, Theorem 5.1] and [PV12, Theorem
3.1]. The main novelty is to develop, in the context of coactions of locally compact groups, a
framework in which the main ideas of [PV11, PV12] are applicable. To do this, we need several
results from the harmonic analysis of coactions and their crossed products, which were proven
for arbitrary locally compact quantum groups in [Va00, BSV02, BS92].
Fix a weakly amenable, locally compact group G with property (S). Denote by Λ(G) the
Cowling-Haagerup constant of G, see [CH88]. Also fix a von Neumann algebra M with a
faithful normal semifinite trace Tr and a coaction Φ : M → M ⊗ L(G). Let p ∈ M be a
projection with Tr(p) < ∞ and A ⊂ pM p a von Neumann subalgebra that is Φ-amenable.
Denote by ∆ : L(G) → L(G) ⊗ L(G) the comultiplication, given by ∆(λg ) = λg ⊗ λg .
Weak amenability. Denote by A(G) the Fourier algebra of G, defined as the predual of
L(G) and identified with a subalgebra of the algebra Cb (G) of bounded continuous functions
on G, by identifying ω ∈ L(G)∗ with the function g 7→ ω(λg ). We denote by Ac (G) ⊂ A(G)
the subalgebra of compactly supported functions in A(G). By weak amenability of G, using
[CH88, Proposition 1.1] and a convexity argument, we can fix a net ηn ∈ Ac (G) such that the

4

associated normal completely bounded maps mn : L(G) → L(G) : mn (x) = (id ⊗ ηn )∆(x)
satisfy
kmn kcb ≤ Λ(G) < ∞
(id ⊗ mn )(X) → X

for all n, and
strongly, for all Hilbert spaces H and X ∈ B(H) ⊗ L(G).

(2.1)

Define the normal completely bounded maps ϕn : M → M : ϕn (x) = (id ⊗ ηn )Φ(x). Using
that Φ is a coaction, we get that Φ ◦ ϕn = (id ⊗ mn ) ◦ Φ. Since Φ is faithful, Φ is completely
isometric and thus, kϕn kcb ≤ kmn kcb . Since Φ is a homeomorphism for the strong topology on
norm bounded subsets, we get that ϕn (x) → x strongly for every x ∈ M .
Notations and terminology. Denote K = L2 (M p) ⊗ L2 (G) and view Φ as a normal ∗homomorphism Φ : M → B(K). Also define the normal ∗-antihomomorphism ρ : A → B(K)
given by ρ(a)ξ = ξ(a ⊗ 1). Define N = Φ(M ) ∨ ρ(A) as the von Neumann subalgebra of
B(K) generated by Φ(M ) and ρ(A). Note that N ⊂ B(L2 (M p)) ⊗ L(G). We also denote by
ρ : A → B(L2 (M p)) the ∗-antihomomorphism given by right multiplication.
Whenever V is a set of operators on a Hilbert space, we denote by [V] the operator norm closed
linear span of V. Denote by N0 ⊂ N the dense C∗ -subalgebra defined as N0 := [Φ(M )ρ(A)].
Write q = Φ(p).
We say that a normal completely bounded map ψ : pM p → pM p is adapted if the following
two conditions hold.
1. There exists a normal completely bounded map θ : qN q → B(L2 (pM p)) with θ(Φ(x)ρ(a)) =
ψ(x)ρ(a) for all x ∈ pM p and a ∈ A.
2. There exist a Hilbert space L, a unital ∗-homomorphism π0 : qN0 q → B(L) and maps
V, W : NpM p (A) → L such that
Tr(w∗ ψ(x)va) = hπ0 (Φ(x)ρ(a))V(v), W(w)i for all x ∈ pM p, a ∈ A, v, w ∈ NpM p(A) ,

and, defining kVk∞ = sup kV(v)k v ∈ NpM p(A) , we have kVk∞ kWk∞ < ∞ .

We denote by kψkadap the infimum of all possible values of Tr(p)−1 kVk∞ kWk∞ .

Step 1. Let ω ∈ A(G) and define m : L(G) → L(G) by m = (id ⊗ ω) ◦ ∆. Also define
ϕ : M → M by ϕ = (id ⊗ ω) ◦ Φ and, as before, note that (id ⊗ m) ◦ Φ = Φ ◦ ϕ. Put
ψ : pM p → pM p : ψ(x) = pϕ(x)p. We claim that ψ is adapted and that kψkadap ≤ kmkcb .
To prove step 1, we first prove the following statement: the pM p-A-bimodule
weakly contained in the pM p-A-bimodule Φ(pM p)q(L2 (M p) ⊗ L2 (G))A ⊗ 1.

pM pL

2 (pM p)
A

is

Using the leg numbering notation for multiple tensor products, we view
K′ := q12 (L2 (M ) ⊗ L2 (G) ⊗ L2 (G))q13
as the standard Hilbert space for q(M ⊗ B(L2 (G)))q. The left representation of q(M ⊗
B(L2 (G)))q on K′ is given by left multiplication in tensor positions 1 and 2, while the right
representation is given by right multiplication in tensor positions 1 and 3. The Φ-amenability
of A then provides a net of vectors ξi ∈ K′ satisfying
limhΦ(x)12 ξi , ξi i = Tr(x) and

lim kΦ(a)12 ξi − ξi Φ(a)13 k = 0

i

i

for all x ∈ pM p and a ∈ A. This implies that pM pL2 (pM p)A is weakly contained in the pM p-Abimodule Φ(pM p)12 K′Φ(A)13 . Since the pM p-bimodule Φ(pM p)12 K′Φ(pM p)13 is unitarily conjugate to
a multiple of the pM p-bimodule Φ(pM p)q(L2 (M p) ⊗ L2 (G))pM p ⊗ 1, the above weak containment

5

statement is proven. So, we get a unital ∗-homomorphism θ ′ : qN0 q → B(L2 (pM p)) satisfying
θ ′ (Φ(x)ρ(a)) = xρ(a) for all x ∈ pM p, a ∈ A.
Define the normal completely bounded map θ : qN q → B(L2 (pM p)) by θ(x) = p(id ⊗ ω)(x)p.
By construction, θ(Φ(x)ρ(a)) = ψ(x)ρ(a) for all x ∈ pM p and a ∈ A. Since θ(x) = θ ′ (q(id ⊗
m)(x)q) for all x ∈ qN0 q, we get that kθkcb ≤ kmkcb . So, the Stinespring like factorization
theorem (see e.g. [BO08, Theorem B.7]) provides a Hilbert space L, a unital ∗-homomorphism
π0 : qN0 q → B(L) and bounded operators V0 , W0 : L2 (pM p) → L satisfying θ(x) = W0∗ π0 (x)V0
for all x ∈ qN0 q and kV0 k kW0 k = kθkcb ≤ kmkcb . It now suffices to define V and W by
restricting V0 and W0 to NpM p(A) ⊂ L2 (pM p). So we have proved that ψ : pM p → pM p is
adapted and that kψkadap ≤ kmkcb . This concludes the proof of step 1.
Notations and terminology. We start with a net ηn ∈ Ac (G) such that the associated
normal completely bounded maps mn : L(G) → L(G) given by mn = (id ⊗ ηn ) ◦ ∆ satisfy (2.1).
Defining
ψn : pM p → pM p : ψn (x) = p(id ⊗ ηn )Φ(x)p ,
we obtain a net of adapted completely bounded maps ψn : pM p → pM p such that ψn (x) → x
strongly for all x ∈ pM p and lim supn kψn kadap ≤ Λ(G). We call such a net an adapted
approximate identity. We then define κ ≥ 1 as the smallest positive number for which there
exists an adapted approximate identity ψn : pM p → pM p with lim supn kψn kadap ≤ κ. We fix
such a ψn realizing κ.
Since each ψn is adapted, we have normal completely bounded maps θn : qN q → B(L2 (pM p))
satisfying θn (Φ(x)ρ(a)) = ψn (x)ρ(a) for all x ∈ pM p and a ∈ A. We can thus define µn ∈
(qN q)∗ given by µn (T ) = hθn (T )p, pi and satisfying µn (Φ(x)ρ(a)) = Tr(ψn (x)a) for all x ∈
pM p, a ∈ A.
For every v ∈ NpM p (A), denote by βv the automorphism of N implemented by right multiplication with v ∗ ⊗ 1 on L2 (M p) ⊗ L2 (G). Note that βv (Φ(x)ρ(a)) = Φ(x)ρ(vav ∗ ) for all x ∈ M
and a ∈ A. In particular, βv (q) = q and we also view βv as an automorphism of qN q.
Step 2. The functionals µn satisfy the following properties.
1. lim supn kµn k < ∞,
2. limn µn (Φ(x)ρ(a)) = Tr(xa) for all x ∈ pM p, a ∈ A,
3. limn kµn ◦ (βv ◦ Ad Φ(v)) − µn k = 0 for all v ∈ NpM p (A),
4. limn k(Φ(a)ρ(a∗ )) · µn − µn k = 0 for all a ∈ U (A).
To prove step 2, one can literally repeat the argument in [Oz10, Proof of Proposition 7] and
[PV11, Proof of Proposition 5.4], because for every v ∈ NpM p(A) and every adapted approximate identity ψn : pM p → pM p, the maps x 7→ ψn (xv ∗ )v and x 7→ v ∗ ψn (vx) form again
adapted approximate identities.
Step 3. There exist positive normal functionals ωn ∈ (qN q)∗ satisfying
1. limn ωn (Φ(x)) = Tr(x) for all x ∈ pM p,
2. limn kωn ◦ (βv ◦ Ad Φ(v)) − ωn k = 0 for all v ∈ NpM p (A),
3. limn ωn (Φ(a)ρ(a∗ )) = Tr(p) for all a ∈ U (A).
To prove step 3, choose a weak∗ limit point Ξ ∈ (pN p)∗ of the net µn . We find that Ξ(Φ(x)) =
Tr(x) for all x ∈ pM p, that Ξ is invariant under the automorphisms βv ◦ Ad Φ(v) for all
v ∈ NpM p(A) and that (Φ(a)ρ(a∗ )) · Ξ = Ξ for all a ∈ U (A). Define Ω1 = |Ξ|. So Ω1 is a

6

positive element of (qN q)∗ satisfying
Ω1 ◦(βv ◦Ad Φ(v)) = Ω1

and (Φ(a)ρ(a∗ ))·Ω1 = Ω1

for all v ∈ NpM p (A), a ∈ U (A) . (2.2)

Furthermore, we have that
| Tr(x)|2 = |Ξ(Φ(x))|2 ≤ kΩ1 k Ω1 (Φ(x∗ x)) for all x ∈ pM p .
In order to conclude the proof of step 3, we need to modify Ω1 so that its restriction to Φ(pM p)
is given by the trace. We first modify Ω1 so that this restriction is normal and faithful.
The bidual of the embedding Φ : pM p → qN q is an embedding Φ∗∗ : (pM p)∗∗ → (qN q)∗∗ .
Denote by z ∈ Z((pM p)∗∗ ) the support projection of the natural normal ∗-homomorphism
(pM p)∗∗ → pM p given by dualizing the embedding (pM p)∗ ֒→ (pM p)∗ . By construction, for
every Ω ∈ (pM p)∗ , the functional Ω(·z) belongs to (pM p)∗ . Write z1 = Φ∗∗ (z). Whenever
α ∈ Aut(qN q) satisfies α(Φ(pM p)) = Φ(pM p), the bidual automorphism α∗∗ ∈ Aut((qN q)∗∗ )
satisfies α∗∗ (z1 ) = z1 . In particular, z1 commutes with every unitary in qN q that normalizes
Φ(pM p). Since Φ(pM p) ⊂ qN q is regular, it follows that z1 belongs to the center of (qN q)∗∗ .
Applying the statement above to the automorphism α = βv ◦Ad Φ(v) and the unitary Φ(a)ρ(a∗ ),
it follows that the positive functional Ω2 (·) = Ω1 ( · z1 ) still satisfies the properties in (2.2).
By density, we have | Tr(x)|2 ≤ kΩ1 k Ω1 (Φ∗∗ (x∗ x)) for all x ∈ (pM p)∗∗ . Since Tr(x) = Tr(xz)
for all x ∈ pM p, we conclude that | Tr(x)|2 ≤ kΩ1 k Ω2 (Φ(x∗ x)) for all x ∈ pM p. In particular,
Ω2 ◦ Φ is faithful. Since Ω2 (Φ(x)) = Ω2 (Φ∗∗ (xz)) for all x ∈ pM p, we get that Ω2 ◦ Φ is normal.
So, we find a nonsingular T ∈ L1 (pM p)+ such that Ω2 (Φ(x)) = Tr(xT ) for all x ∈ pM p. Since
(2.2) holds, we have that T commutes with NpM p(A). For every n ≥ 3, we then define the
positive functional Ωn on qN q given by
Ωn (·) = Ω2 (Φ((T + 1/n)−1/2 ) · Φ((T + 1/n)−1/2 )) .
Each Ωn satisfies the properties in (2.2). Choosing Ω to be a weak∗ -limit point of the sequence
Ωn , we have found a positive functional Ω on qN q that satisfies the properties in (2.2) and that
moreover satisfies Ω(Φ(x)) = Tr(x) for all x ∈ pM p. Approximating Ω in the weak∗ topology
and taking convex combinations, we find a net of positive ωn ∈ (qN q)∗ satisfying the conditions
in step 3.
Notations and terminology. Choose a standard Hilbert space H for the von Neumann
algebra N , which comes with the normal ∗-homomorphism πl : N → B(H), the normal ∗antihomomorphism πr : N → B(H) and the positive cone H+ ⊂ H. For every v ∈ NpM p (A),
denote by Wv ∈ U (H) the canonical implementation of βv ∈ Aut(N ).
Step 4. There exist vectors ξn ∈ H+ satisfying πl (q)ξn = ξn = πr (q)ξn for all n and
1. limn hπl (Φ(x))ξn , ξn i = Tr(pxp) = limn hπr (Φ(x))ξn , ξn i for all x ∈ M ,
2. limn kπl (Φ(v))πr (Φ(v ∗ ))Wv ξn − ξn k = 0 for all v ∈ NpM p(A),
3. limn kπl (Φ(a))ξn − πl (ρ(a))ξn k = 0 for all a ∈ U (A).
Note that πl (q)πr (q)H serves as the standard Hilbert space of qN q. Define ξn ∈ πl (q))πr (q)H+
as the canonical implementation of the normal positive functional ωn ∈ (qN q)∗ . The properties
of ωn in step 3 translate into the above properties for ξn by the Powers-Størmer inequality.
Notations and terminology. Define the coaction Ψ : N → N ⊗ L(G) given by Ψ = id ⊗ ∆.
By [Va00, Definition 3.6 and Theorem 4.4], the coaction Ψ has a canonical implementation
on H, given by a nondegenerate ∗-homomorphism π : C0 (G) → B(H) satisfying the following
natural covariance properties w.r.t. πl , πr and Ψ.

7

Denote by Cλ∗ (G) ⊂ L(G) and Cρ∗ (G) ⊂ R(G) the canonical dense C∗ -subalgebras. We
denote by ⊗min the spatial C∗ -tensor product and define V ∈ M (C0 (G) ⊗min Cλ∗ (G)) and
W ∈ M (C0 (G) ⊗min Cρ∗ (G)) given by the functions V (g) = λg and W (g) = ρg . Define the
unitary operators X, Y ∈ B(H ⊗ L2 (G)) given by X = (π ⊗ id)(V ) and Y = (π ⊗ id)(W ).
Denoting by χ : L(G) → R(G) : χ(λg ) = ρ∗g the canonical anti-isomorphism, the covariance
properties are then given by
(πl ⊗ id)Ψ(x) = X(πl (x) ⊗ 1)X ∗

and (πr ⊗ χ)Ψ(x) = Y (πr (x) ⊗ 1)Y ∗

for all x ∈ N .
Formulation of the dichotomy. We are in precisely one of the following cases.
• Case 1. For every F ∈ C0 (G), we have that lim supn kπ(F )ξn k = 0.
• Case 2. There exists an F ∈ C0 (G) with lim supn kπ(F )ξn k > 0.
We prove that in case 1, the von Neumann subalgebra NpM p (A)′′ ⊂ pM p is Φ-amenable and
that in case 2, the von Neumann subalgebra A ⊂ pM p can be Φ-embedded.
Case 1 – Notations and terminology. Since G has property (S), we have a continuous map
Z0 : G → L2 (G) satisfying kZ0 (g)k = 1 for all g ∈ G and
lim kZ0 (gkh) − λg (Z0 (k))k = 0 uniformly on compact sets of g, h ∈ G.

k→∞

(2.3)

For each F ∈ C0 (G), we view Z0 F ∈ C0 (G) ⊗min L2 (G) and in this way, Z0 is an adjointable
operator from the C∗ -algebra C0 (G) to the Hilbert C∗ -module C0 (G) ⊗min L2 (G). Define
Ve ∈ M (Cλ∗ (G) ⊗min C0 (G)) given by the function g 7→ λg . So, Ve is just the flip of the unitary
V defined above. As operators on L2 (G) ⊗ L2 (G), we have ∆(a) = Ve (1 ⊗ a)Ve ∗ for all a ∈ L(G).

By [BSV02, Section 5], the closed linear span

M0 = [(id ⊗ ω)Φ(x) | x ∈ M, ω ∈ L(G)∗ ]

(2.4)

is a unital C∗ -subalgebra of M . Also, Φ(M0 ) ⊂ M (M0 ⊗min Cλ∗ (G)) and the restriction of Φ to
M0 defines a continuous coaction. In particular, the closed linear span
Sl = [Φ(M0 )(1 ⊗ C0 (G))] ⊂ M ⊗ B(L2 (G))

(2.5)

is a C∗ -algebra (i.e. the crossed product of M0 and the coaction Φ of Cλ∗ (G), as first defined in
[BS92, Définition 7.1]) and
M0 = [(id ⊗ ω)Φ(x) | x ∈ M0 , ω ∈ L(G)∗ ] .

(2.6)

Case 1 – Step 1. We claim that
(1 ⊗ Z0 )Φ(x) − (Φ ⊗ id)Φ(x)(1 ⊗ Z0 ) ∈ Sl ⊗min L2 (G)

(2.7)

for all x ∈ M0 .
Note that (2.3), with h = e, can be rephrased as follows: (1 ⊗ λ∗g )Z0 − (λg ⊗ 1)Z0 λ∗g belongs to
C0 (G) ⊗min L2 (G), uniformly on compact sets of g ∈ G. This means that for every F ∈ C0 (G),
we have
∗
Ve23
(Z0 ⊗ F ) − Ve13 (Z0 ⊗ F )Ve ∗ ∈ [C0 (G) ⊗ L2 (G) ⊗ C0 (G)]
and thus, because Ve normalizes C0 (G × G),

∗ e∗
Ve13
V23 (Z0 ⊗ F ) − (Z0 ⊗ F )Ve ∗ ∈ [(C0 (G) ⊗ L2 (G) ⊗ C0 (G))Ve ∗ ] .

8

(2.8)

Using that Ve23 and Ve13 commute, we similarly find that

Ve23 Ve13 (Z0 ⊗ F ) − (Z0 ⊗ F )Ve ∈ [(C0 (G) ⊗ L2 (G) ⊗ C0 (G))Ve ] .

(2.9)

By (2.6), it suffices to prove (2.7) for x = (1 ⊗ η ∗ )Φ(y)(1 ⊗ µ) where y ∈ M0 and where
η, µ ∈ Cc (G) are viewed as vectors in the Hilbert space L2 (G). Fix F ∈ C0 (G) such that
η ∗ F = η ∗ and F µ = µ. Using that Φ is a coaction and that ∆(a) = Ve (1 ⊗ a)Ve ∗ for all
a ∈ L(G), we find that
∗ e∗
(Φ ⊗ id)Φ(x) = (1 ⊗ 1 ⊗ 1 ⊗ η ∗ ) Ve34 Ve24 Φ(y)14 Ve24
V34 (1 ⊗ 1 ⊗ 1 ⊗ µ) .

Twice using that µ = F µ, it then follows from (2.8) that
(Φ ⊗ id)Φ(x) (1 ⊗ Z0 )

∗
= (1 ⊗ 1 ⊗ 1 ⊗ η ∗ ) Ve34 Ve24 Φ(y)14 (1 ⊗ Z0 ⊗ F ) Ve23
(1 ⊗ 1 ⊗ µ) + T
∗ e e
∗
e
= (1 ⊗ 1 ⊗ 1 ⊗ η ) V34 V24 Φ(y)14 (1 ⊗ Z0 ⊗ 1) V23 (1 ⊗ 1 ⊗ µ) + T

∗
= (1 ⊗ 1 ⊗ 1 ⊗ η ∗ ) Ve34 Ve24 (1 ⊗ Z0 ⊗ 1) Φ(y)13 Ve23
(1 ⊗ 1 ⊗ µ) + T

(2.10)

where the error term T belongs to

∗
[(1 ⊗ 1 ⊗ 1 ⊗ L2 (G)∗ ) Ve34 Ve24 Φ(M0 )14 (1 ⊗ C0 (G) ⊗ L2 (G) ⊗ C0 (G)) Ve23
(1 ⊗ 1 ⊗ L2 (G))] .

Using that [Φ(M0 )(1 ⊗ C0 (G))] = Sl = [(1 ⊗ C0 (G))Φ(M0 )], that Ve34 and Ve24 commute, that
[Ve (L2 (G) ⊗ C0 (G))] = [L2 (G) ⊗ C0 (G)] and that Ve normalizes C0 (G) ⊗min C0 (G) = C0 (G × G),
we get that T belongs to
∗
[(1 ⊗ 1 ⊗ 1 ⊗ L2 (G)∗ ) Ve34 Ve24 (1 ⊗ C0 (G) ⊗ L2 (G) ⊗ C0 (G)) Φ(M0 )13 Ve23
(1 ⊗ 1 ⊗ L2 (G))]
= [(1 ⊗ 1 ⊗ 1 ⊗ L2 (G)∗ ) Ve24 (1 ⊗ C0 (G) ⊗ L2 (G) ⊗ C0 (G)) Φ(M0 )13 Ve ∗ (1 ⊗ 1 ⊗ L2 (G))]
2

2

∗

= [(1 ⊗ C0 (G) ⊗ L (G)) (1 ⊗ 1 ⊗ L (G)

∗
) Ve23 Φ(M0 )13 Ve23
(1

23
2

⊗ 1 ⊗ L (G))]

= [(1 ⊗ C0 (G) ⊗ L2 (G)) (1 ⊗ 1 ⊗ L2 (G)∗ ) (Φ ⊗ id)Φ(M0 ) (1 ⊗ 1 ⊗ L2 (G))]

= [(1 ⊗ C0 (G))Φ(M0 ) ⊗ L2 (G)] = Sl ⊗min L2 (G) .

Using that η ∗ = η ∗ F and using (2.9), we can continue the computation in (2.10) and find that
(Φ ⊗ id)Φ(x) (1 ⊗ Z0 )
∗
= (1 ⊗ 1 ⊗ 1 ⊗ η ∗ ) Ve34 Ve24 (1 ⊗ Z0 ⊗ F ) Φ(y)13 Ve23
(1 ⊗ 1 ⊗ µ) + T
∗
= (1 ⊗ 1 ⊗ 1 ⊗ η ∗ ) (1 ⊗ Z0 ⊗ F ) Ve23 Φ(y)13 Ve23
(1 ⊗ 1 ⊗ µ) + T ′ + T

= (1 ⊗ Z0 ) (1 ⊗ 1 ⊗ η ∗ ) (Φ ⊗ id)Φ(y) (1 ⊗ 1 ⊗ µ) + T ′ + T
= (1 ⊗ Z0 ) Φ(x) + T ′ + T
where the error term T ′ belongs to

∗
[(1 ⊗ 1 ⊗ 1 ⊗ L2 (G)∗ ) (1 ⊗ C0 (G) ⊗ L2 (G) ⊗ C0 (G)) Ve23 Φ(M0 )13 Ve23
(1 ⊗ 1 ⊗ L2 (G))]

= [(1 ⊗ C0 (G) ⊗ L2 (G)) (1 ⊗ 1 ⊗ L2 (G)∗ ) (Φ ⊗ id)Φ(M0 ) (1 ⊗ 1 ⊗ L2 (G))]

= Sl ⊗min L2 (G) .

So (2.7) and step 1 are proven.
Case 1 – Step 2. Define the ∗-homomorphism ζl : M → B(H) : ζl = πl ◦ Φ and the
∗-antihomomorphism ζr : M → B(H) : ζr = πr ◦ Φ. Define
S = [ζl (M0 ) ζr (M0 ) π(C0 (G)) Wv | v ∈ NpM p(A)] .

9

(2.11)

Finally, define the isometry Z ∈ B(H, H ⊗ L2 (G)) given by Z = (π ⊗ id)(Z0 ). We claim that
S ⊂ B(H) is a C∗ -algebra and that
Zζl (x) − (ζl ⊗ id)Φ(x)Z

and Zζr (x) − (ζr (x) ⊗ 1)Z

belong to S ⊗min L2 (G)

(2.12)

for all x ∈ M0 .
Since ζl : M0 → B(H) and π : C0 (G) → B(H) are covariant w.r.t. the continuous coaction
Φ : M0 → M (M0 ⊗min Cr∗ (G)), they induce a nondegenerate representation of the full crossed
product. Since G is co-amenable, the canonical homomorphism of the full crossed product onto
the reduced crossed product is an isomorphism. The reduced crossed product is given by the
C∗ -algebra Sl defined in (2.5). So, we find a nondegenerate ∗-homomorphism
θl : Sl → B(H) : θl (Φ(x)(1 ⊗ F )) = ζl (x)π(F ) ,
for all x ∈ M0 , F ∈ C0 (G).
Associated with the coaction Φ : M → M ⊗ L(G), we have the canonical coaction Φop : M op →
M op ⊗ R(G) defined as follows. Denote by γ : M → M op : γ(x) = xop the canonical ∗-antiisomorphism. As before, define the ∗-anti-isomorphism χ : L(G) → R(G) = η(λg ) = ρ∗g . Then,
Φop ◦ γ = (γ ⊗ χ) ◦ Φ. The corresponding crossed product C∗ -algebra is
Sr = [Φop (M0op )(1 ⊗ C0 (G))] ⊂ M op ⊗ B(L2 (G)) .
Since also ζr and π are covariant, we similarly find a nondegenerate ∗-homomorphism
θr : Sr → B(H) : θr (Φop (xop )(1 ⊗ F )) = ζr (x)π(F ) ,
for all x ∈ M0 , F ∈ C0 (G).
So θl (Sl ) = [ζl (M0 )π(C0 (G))] and θr (Sr ) = [ζr (M0 )π(C0 (G))] and these are C∗ -algebras. Moreover, the unitaries Wv , v ∈ NpM p(A), commute with ζl (M ), ζr (M ) and π(C0 (G)). So, the space
S defined in (2.11) is a C∗ -algebra and
S = [θl (Sl ) θr (Sr ) Wv | v ∈ NpM p(A)] .
Also, θl (Sl ) ⊂ S and θr (Sr ) ⊂ S.
Applying to (2.7) the canonical extension of θl ⊗ id to the multiplier algebra, we find the first
half of (2.12). In the same way as we proved (2.7), one proves that
(1 ⊗ Z0 )Φop (xop ) − (Φop (xop ) ⊗ 1)(1 ⊗ Z0 ) ∈ Sr ⊗min L2 (G)

(2.13)

for all x ∈ M0 . Applying θr ⊗ id to (2.13), also the second half of (2.12) follows and step 2 is
proven.
Case 1 – Notations. Write G = NpM p (A) and consider the ∗-algebras CG and D = M ⊗alg
M op ⊗alg CG. Define the ∗-homomorphisms
Θ : D → B(H) : Θ(x ⊗ y op ⊗ v) = ζl (x) ζr (y) Wv ,
Θ1 : D → B(H ⊗ L2 (G)) : Θ1 (x ⊗ y op ⊗ v) = (ζl ⊗ id)Φ(x) (ζr (y) Wv ⊗ 1) .
Choose a positive functional Ω on B(H) as a weak∗ limit point of the net of vector functionals
T 7→ hT ξn , ξn i. The properties of the net ξn established in step 4 above then imply that:
Ω(1) = Ω(Θ(p ⊗ pop ⊗ p)) = Tr(p) , Ω(Θ(x ⊗ 1 ⊗ p)) = Tr(pxp) for all x ∈ M ,
Ω(Θ(v ⊗ (v ∗ )op ⊗ v)) = Tr(p) for all v ∈ G.

10

(2.14)

Case 1 – Step 3. Writing C = kΩk Λ(G)2 , we claim that
|Ω(Θ(x))| ≤ C kΘ1 (x)k

for all x ∈ D .

(2.15)

Since Wv commutes with π(C0 (G)) for all v ∈ G, we have ZWv = (Wv ⊗ 1)Z for all v ∈ G.
Denoting D0 = M0 ⊗alg M0op ⊗alg CG, (2.12) implies that
Z ∗ Θ1 (x)Z − Θ(x) ∈ S

for all x ∈ D0 .

(2.16)

Since we are in case 1, we have that Ω(π(F )) = 0 for all F ∈ C0 (G). So, Ω(T ) = 0 for all
T ∈ S. It then follows from (2.16) that
|Ω(Θ(x))| = |Ω(Z ∗ Θ1 (x)Z)| ≤ kΩk kΘ1 (x)k

for all x ∈ D0 .

(2.17)

To conclude step 3, we now have to approximate as follows an arbitrary x ∈ D by elements in
D0 .
Take a net ηn ∈ A(G) such that the net mn = (id ⊗ ηn ) ◦ ∆ satisfies (2.1). Define ϕn : M → M
by ϕn = (id ⊗ ηn ) ◦ Φ. Note that the image of Θ1 lies in B(H) ⊗ L(G) and that (id ⊗ mn ) ◦ Θ1 =
Θ1 ◦ (ϕn ⊗ id ⊗ id). It follows that
kΘ1 ((ϕn ⊗ id ⊗ id)(x))k ≤ Λ(G) kΘ1 (x)k

for all x ∈ D and all n .

Denoting by χ1 : L(G) → L(G) the period 2 anti-automorphism given by χ1 (λg ) = λg−1 , the
representation Θ1 is unitarily conjugate to the representation
Θ2 : D → B(H ⊗ L2 (G)) : Θ2 (x ⊗ y op ⊗ v) = (ζl (x) ⊗ 1) (ζr ⊗ χ1 )Φ(y) (Wv ⊗ 1) .
op
op
So, writing ϕop
m (y ) = (ϕm (y)) , we also find that

kΘ1 ((id ⊗ ϕop
m ⊗ id)(x))k ≤ Λ(G) kΘ1 (x)k

for all x ∈ D and all m .

Altogether, we have proved that
2
kΘ1 ((ϕn ⊗ ϕop
m ⊗ id)(x))k ≤ Λ(G) kΘ1 (x)k
p
For every T ∈ B(H), write kT kΩ = Ω(T ∗ T ). Since

for all x ∈ D and all n, m .

kζl (ϕn (x)) − ζl (x)k2Ω = Tr(p(ϕn (x) − x)∗ (ϕn (x) − x)p)

for every x ∈ M , it follows from the Cauchy-Schwarz inequality that for every x ∈ D and every
m,
op
Ω(Θ((id ⊗ ϕop
m ⊗ id)(x))) = lim Ω(Θ((ϕn ⊗ ϕm ⊗ id)(x))) .
n

Similarly, we have
Ω(Θ(x)) = lim Ω(Θ((id ⊗ ϕop
m ⊗ id)(x)))
m

for all x ∈ D. Since (ϕn ⊗

ϕop
m

⊗ id)(x) ∈ D0 for all n, m, it follows from (2.17) that

op
|Ω((ϕn ⊗ ϕop
m ⊗ id)(x))| ≤ kΩk kΘ1 ((ϕn ⊗ ϕm ⊗ id)(x))k ≤ C kΘ1 (x)k

for all n, m. Taking first the limit over n and then over m, we find that (2.15) holds and step 3
is proven.
Case 1 – End of the proof. Because of (2.15), we can define a continuous functional Ω1 on
the C∗ -algebra [Θ1 (D)] satisfying Ω1 (Θ1 (x)) = Ω(Θ(x)) for all x ∈ D. Since
Ω1 (Θ1 (x)∗ Θ1 (x)) = Ω(Θ(x∗ x)) ≥ 0

11

for all x ∈ D, it follows by density that Ω1 is positive.
Extend Ω1 to a functional on B(H ⊗ L2 (G)) without increasing its norm. So Ω1 remains
positive. Write
q1 = Θ1 (p ⊗ pop ⊗ p) = (ζl ⊗ id)Φ(p) (ζr (p) ⊗ 1) .
For every v ∈ G, define
Uv := Θ1 (v ⊗ (v ∗ )op ⊗ v) = (ζl ⊗ id)(Φ(v))(ζr (v ∗ )Wv ⊗ 1)
and note that Uv is a unitary in B(q1 (H ⊗ L2 (G))). By (2.14), these unitaries Uv satisfy
Ω1 (Uv ) = Ω1 (Θ1 (v ⊗ (v ∗ )op ⊗ v)) = Ω(Θ(v ⊗ (v ∗ )op ⊗ v)) = Tr(p)
= Ω(Θ(p ⊗ pop ⊗ p)) = Ω1 (Θ1 (p ⊗ pop ⊗ p)) = Ω1 (q1 ) .
By (2.14), we also have that
Ω1 (1 − q1 ) = Ω(1 − Θ(p ⊗ pop ⊗ p)) = 0 and
Ω1 ((ζl ⊗ id)(Φ(x))) = Ω(Θ(x ⊗ 1 ⊗ p)) = Tr(pxp) for all x ∈ M .
Altogether, we have in particular that Ω1 is Uv -central for every v ∈ G.
Define the positive functional Ω2 on q(M ⊗ B(L2 (G)))q given by Ω2 (T ) = Ω1 ((ζl ⊗ id)(T )).
Then, Ω2 (Φ(x)) = Tr(x) for all x ∈ pM p. Since for every v ∈ G, the functional Ω1 is Uv -central,
while ζr (v ∗ )Wv ⊗ 1 commutes with (ζl ⊗ id)(q(M ⊗ B(L2 (G)))q), we get that Ω2 is Φ(G)-central.
Writing P = NpM p (A)′′ , the Cauchy-Schwarz inequality implies that Ω2 is Φ(P )-central. So
we have proved that P is Φ-amenable.
Proof in Case 2. After passing to a subnet, we may assume that there is an F ∈ C0 (G) such
that the net kπ(F )ξn k is convergent to a strictly positive number. Choose a positive functional
Ω on B(H) as a weak∗ limit point of the net of vector functionals T 7→ hT ξn , ξn i. Define the
C∗ -algebra S1 := θl (Sl ) = [ζl (M0 )π(C0 (G))]. Denote by Ω1 the restriction of Ω to S1′′ . By the
properties of the net ξn established in step 4 above, Ω1 (ζl (x)) = Tr(pxp) for all x ∈ M and Ω1
is ζl (A)-central. Also, the restriction of Ω1 to S1 is nonzero.
Define δ = kΩ1 |S1 k and put ε = δ(4Λ(G)3 + 2Λ(G)2 + 2)−1 . Since the elements π(F ), with
F ∈ Cc (G) and 0 ≤ F ≤ 1, form an approximate identity for S1 , we can fix F ∈ Cc (G) with
0 ≤ F ≤ 1 and
Ω1 (π(F )) ≥ δ − ε

and |Ω1 (T ) − Ω1 (T π(F ))| < ε kT k for all T ∈ S1 .

As above, take a net of completely bounded maps ϕn : M → M such that kϕn kcb ≤ Λ(G) and
ϕn (M ) ⊂ M0 for all n and ϕn (x) → x strongly for all x ∈ M . Because Ω1 (ζl (x)) = Tr(pxp) for
all x ∈ M ,
Ω1 (ζl (x)T ζl (y)) = lim Ω1 (ζl (ϕn (x))T ζl (ϕn (y)))
(2.18)
n

for all x, y ∈ M and T ∈

S1′′ .

Using the ζl (A)-centrality of Ω1 , we then find, for all a ∈ U (A),
δ ≤ Ω1 (π(F )) + ε = Ω1 (ζl (a∗ )π(F )ζl (a)) + ε
= lim Re Ω1 (ζl (ϕn (a∗ ))π(F )ζl (ϕn (a))) + ε .
n

Since ζl (ϕm (a∗ ))π(F )ζl (ϕn (a)) belongs to S1 and has norm at most Λ(G)2 , we get that
δ ≤ lim sup Re Ω1 (ζl (ϕn (a∗ ))π(F )ζl (ϕn (a))π(F )) + ε(Λ(G)2 + 1) .
n

12

(2.19)

We claim that there exists an ω0 ∈ A(G) such that the corresponding completely bounded map
ϕ0 : M → M : ϕ0 = (id ⊗ ω0 ) ◦ Φ satisfies kϕ0 kcb ≤ 2Λ(G) and
π(F )ζl (x)π(F ) = π(F )ζl (ϕ0 (x))π(F )

for all x ∈ M0 .

(2.20)

Using θl : Sl → S1 , it suffices to construct ω0 ∈ A(G) such that kϕ0 kcb ≤ 2Λ(G) and
(1 ⊗ F )Φ(x)(1 ⊗ F ) = (1 ⊗ F )Φ(ϕ0 (x))(1 ⊗ F ) for all x ∈ M0 .

(2.21)

Denote by K ⊂ G the (compact) support of F . By [CH88, Proposition 1.1], we can choose
ω0 ∈ A(G) such that ω0 (g) = 1 for all g ∈ KK −1 and such that the map m0 = (id ⊗ ω0 ) ◦ ∆
satisfies km0 kcb ≤ 2Λ(G). As operators on L2 (G), we have that F λg F = 0 for all g ∈ G\KK −1 .
It follows that F xF = F m0 (x)F for all x ∈ L(G). Writing ϕ0 = (id ⊗ ω0 ) ◦ Φ, we then also
have
(1 ⊗ F )Φ(x)(1 ⊗ F ) = (1 ⊗ F ) (id ⊗ m0 )(Φ(x)) (1 ⊗ F ) = (1 ⊗ F )Φ(ϕ0 (x))(1 ⊗ F ) .
So (2.21) holds and (2.20) is proved.
Combining (2.20) and (2.19) and using that ζl (ϕn (a∗ ))π(F )ζl (ϕ0 (ϕn (a))) is an element of S1
with norm at most 2Λ(G)3 , we get that
δ ≤ lim sup Re Ω1 (ζl (ϕn (a∗ ))π(F )ζl (ϕ0 (ϕn (a)))π(F )) + ε(Λ(G)2 + 1)
n

≤ lim sup Re Ω1 (ζl (ϕn (a∗ ))π(F )ζl (ϕ0 (ϕn (a)))) + δ/2 .
n

As in (2.18) and using the ζl (A)-centrality of Ω1 , we conclude that
δ/2 ≤ Re Ω1 (ζl (a∗ )π(F )ζl (ϕ0 (a))) = Re Ω1 (π(F )ζl (ϕ0 (a)a∗ ))
for all a ∈ U (A). For every T ∈ S1′′ and x ∈ M , we have
|Ω1 (T ζl (x))|2 ≤ Ω1 (T T ∗ ) Tr(px∗ xp) .
So we find a unique η ∈ L2 (M p) such that
Ω1 (π(F )ζl (x)) = hxp, ηi

for all x ∈ M .

It then follows that
δ/2 ≤ Rehϕ0 (a)a∗ , ηi

for all a ∈ U (A) .

Since ω0 ∈ A(G), we can take ξ1 , ξ2 ∈ L2 (G) such that ω0 (g) = hλg ξ1 , ξ2 i for all g ∈ G. It
follows that
δ/2 ≤ RehΦ(a)(p ⊗ ξ1 )a∗ , η ⊗ ξ2 i for all a ∈ U (A) .
Defining ξ3 ∈ Φ(p)(L2 (M p) ⊗ L2 (G)) as the element of minimal norm in the closed convex hull
of {Φ(a)(p ⊗ ξ1 )a∗ | a ∈ U (A)}, we conclude that ξ3 satisfies Φ(a)ξ3 = ξ3 a for all a ∈ A and
that Rehξ3 , η ⊗ ξ2 i ≥ δ/2. So, ξ3 6= 0 and we have proven that A can be Φ-embedded.

3

Uniqueness of Cartan subalgebras; proof of Theorem A

Theorem A is a special case of the following general result. To formulate this result, recall
that a nonsingular action G y (X, µ) of a lcsc group G on a standard probability space is
called amenable in the sense of Zimmer if there exists a G-equivariant conditional expectation
E : L∞ (X × G) → L∞ (X) w.r.t. the action G y X × G given by g · (x, h) = (g · x, gh).

13

Theorem 3.1. Let G = G1 × · · · × Gn be a direct product of lcsc weakly amenable groups with
property (S). Let G y (X, µ) be an essentially free nonsingular action. Denote by G◦i the direct
product of all Gj , j 6= i.
If for every i ∈ {1, . . . , n} and every non-null G-invariant Borel set X0 ⊂ X, the action
◦
Gi y L∞ (X0 )Gi is nonamenable in the sense of Zimmer, then L∞ (X) ⋊ G has a unique
Cartan subalgebra up to unitary conjugacy.
In particular, L∞ (X) ⋊ G has a unique Cartan subalgebra up to unitary conjugacy when the
groups Gi are nonamenable and the action G y (X, µ) is either probability measure preserving
or irreducible.
Cross section equivalence relations. Theorem 3.1 is proven by using cross section equivalence relations. These were introduced in [Fo74, Co79] and a rather self-contained approach
can be found in [KPV13, Section 4.1 and Appendix B].
Let G y (X, µ) be a nonsingular action of a lcsc group G on the standard probability space
(X, µ). This means that X is a standard Borel space and that G y X is a Borel action that
leaves the measure µ quasi-invariant in the sense that µ(g · U ) = 0 if and only if µ(U ) = 0,
whenever U ⊂ X is Borel and g ∈ G. Assume that this action is essentially free, meaning that
almost every point x ∈ X has a trivial stabilizer. Since the set of points x ∈ X having a trivial
stabilizer is a Borel subset of X, we may equally well assume that the action is really free.
A cross section for G y (X, µ) is a Borel subset X1 ⊂ X with the following two properties.
• There exists a neighborhood U of e in G such that the map U × X1 → X : (g, x) 7→ g · x is
injective.
• The subset G · X1 ⊂ X is conull.
Note that the first condition implies that the map G × X1 → X : (g, x) 7→ g · x is countableto-one and thus, maps Borel sets to Borel sets. So, the set G · X1 appearing in the second
condition is Borel.
A partial cross section for G y (X, µ) is a Borel subset X1 ⊂ X satisfying the first condition
and satisfying the property that G · X1 is non-null.
Given any partial cross section X1 , the equivalence relation R on X1 defined by
R = {(y, y ′ ) ∈ X1 × X1 | y ∈ G · y ′ }
is Borel and has countable equivalence classes. Also, X1 has a canonical measure class, given by
a probability measure µ1 , and this measure µ1 is quasi-invariant under the equivalence relation
R. The cross section equivalence relation R on (X1 , µ1 ) is thus a countable nonsingular Borel
equivalence relation.
By construction, the von Neumann algebra L(R) is canonically isomorphic with q(L∞ (X)⋊G)q,
for some projection q, see e.g. [KPV13, Lemma 4.5]. In this way, cross sections define the
canonical Cartan subalgebra L∞ (X) ⋊ G.
As will become clear in the proof of Theorem 3.1, it is useful to allow µ to be a σ-finite measure
and to consider the special case where µ is scaled by the inverse of the modular function of
G, meaning that µ(g · U ) = δ(g)−1 µ(U ) for all Borel sets U ⊂ X and all g ∈ G. This covers
in particular the case where µ is a G-invariant probability measure and G is unimodular. Fix
a right invariant Haar measure λ on G and recall that λ(gU ) = δ(g)−1 λ(U ) for all Borel sets
U ⊂ G and g ∈ G.
Let µ be a σ-finite measure on X that is scaled by the inverse of the modular function. Let
X1 ⊂ X be any partial cross section (and note that the definitions above only depend on the

14

measure class of µ so that taking µ to be σ-finite makes no difference). Then there is a unique
σ-finite measure µ1 on X1 such that the following holds: whenever U is a neighborhood of e in
G such that the map Ψ : U ×X1 → X : (g, x) 7→ g ·x is injective, we have Ψ∗ (λ|U ×µ1 ) = µ|U ·X1 .
This measure µ1 is invariant under the cross section equivalence relation.
In the case where G is unimodular and µ is a G-invariant probability measure, we get that µ1
is a finite R-invariant measure. It is then more customary to normalize µ1 , so that µ1 becomes
an R-invariant probability measure on X1 and
Ψ∗ (λ|U × µ1 ) = covol(X1 ) µ|U ·X1 .
The scaling factor covol(X1 ) is called the covolume of X1 . Note that this covolume is proportional to the choice of the Haar measure on G.
The coaction Φω associated with a cocycle ω and ω-compactness. Let R be a countable
pmp equivalence relation on the standard probability space (X1 , µ1 ). Denote by [R] its full
group, i.e. the group of all pmp isomorphisms ϕ : X1 → X1 with the property that (ϕ(x), x) ∈ R
for all x ∈ X1 . Denote by [[R]] the full pseudogroup of R, consisting of all partial measure
preserving transformations with the property that (ϕ(x), x) ∈ R for all x ∈ dom(ϕ). The
tracial von Neumann algebra M = L(R) is generated by the Cartan subalgebra L∞ (X1 ) and
the unitary elements uϕ , ϕ ∈ [R], normalizing L∞ (X1 ). Similarly, every ϕ ∈ [[R]] defines a
partial isometry uϕ ∈ M . Finally, R is equipped with a natural σ-finite measure and L2 (M ) is
naturally identified with L2 (R).
Let G be a lcsc group and ω : R → G a cocycle, i.e. a Borel map satisfying
ω(x, y) ω(y, z) = ω(x, z)

for a.e. (x, y, z) ∈ R(2) ,

where R(2) = {(x, y, z) ∈ X1 × X1 × X1 | (x, y) ∈ R and (y, z) ∈ R} is equipped with its
natural σ-finite measure. Note that ω(x, x) = e for a.e. x ∈ X.
We say that a von Neumann subalgebra B ⊂ pM p is ω-compact if for every ε > 0, there exists
a compact subset K ⊂ G such that
ω
kb − PK
(b)k2 ≤ ε kbk

for all b ∈ B ,

ω is the orthogonal projection of L2 (R) onto L2 (ω −1 (K)).
where PK

Given a von Neumann subalgebra B ⊂ M , the same argument as in the proof of [Va10b,
Proposition 2.6] implies that the set of projections
{p ∈ B ′ ∩ M | p is a projection and Bp is ω-compact }
attains its maximum in a unique projection p and that this projection p belongs to NM (B)′ ∩M .
We associate to ω the coaction
Φω : M → M ⊗ L(G) : Φω (F ) = F ⊗ 1 , Φω (uϕ ) = (uϕ ⊗ 1)Vϕ ,
for all F ∈ L∞ (X1 ) and all ϕ ∈ [R], where Vϕ ∈ L∞ (X1 ) ⊗ L(G) is given by Vϕ (x) = λω(ϕ(x),x) .
We deduce from Theorem F the following result.
Theorem 3.2. Let R be a countable pmp equivalence relation on the standard probability space
(X1 , µ1 ). Let G be a weakly amenable locally compact group with property (S) and ω : R → G a
cocycle. Write M = L(R) and assume that A ⊂ M is a Φω -amenable von Neumann subalgebra
with normalizer P = NM (A)′′ . Denote by p ∈ P ′ ∩ M the unique maximal projection such that
Ap is ω-compact. Then, P (1 − p) is Φω -amenable.

15

Proof. By Theorem F, we only have to prove the following statement: if p ∈ A′ ∩M is a nonzero
projection such that Ap can be Φω -embedded, then there exists a nonzero projection q ∈ A′ ∩M
such that q ≤ p and Aq is ω-compact. Since Ap can be Φω -embedded, there exists a nonzero
vector ξ ∈ L2 (M ) ⊗ L2 (G) such that Φω (p)ξ = ξ = ξ(p ⊗ 1) and such that Φω (a)ξ = ξ(a ⊗ 1)
for all a ∈ Ap.
Denote by q the smallest projection in M that satisfies ξ = ξ(q ⊗ 1). Then, q ∈ A′ ∩ M , q ≤ p
and q 6= 0. Viewing ξ as affiliated with the W∗ -module M ⊗ L2 (G), we can take the polar
decomposition of ξ and find V ∈ M ⊗ L2 (G) satisfying V ∗ V = q and V a = Φω (a)V for all
a ∈ Ap.
Define G ⊂ [[R]] consisting of all ϕ ∈ [[R]] for which the set {ω(ϕ(x), x) | x ∈ dom(ϕ)} has
compact closure in G. For every ϕ ∈ [R] and every ε > 0, we can choose a Borel set U ⊂ X1
with µ1 (X1 \ U ) < ε such that the restriction of ϕ to U belongs to G. Therefore, the linear
span of all F uϕ , F ∈ L∞ (X1 ), ϕ ∈ G, defines a dense ∗-subalgebra M0 of M . By construction,
ω (x).
for every x ∈ M0 , there exists a compact subset K ⊂ G such that x = PK
Choose ε > 0. Consider on the W∗ -module M ⊗ L2 (G) the norm k · k2 given by the embedding
M ⊗ L2 (G) ⊂ L2 (M ) ⊗ L2 (G), as well as the operator norm k · k∞ . By the Kaplansky
density theorem, we can take W ∈ M0 ⊗alg Cc (G) ⊂ M ⊗ L2 (G) such that kW k∞ ≤ 1 and
kV − W k2 < ε/3 and kW ∗ W − qk2 < ε/3. For every a ∈ M , we find that
kV a− W ak2 ≤ kV − W k2 kak ≤
Therefore, kΦω (a)W −W ak2 ≤
we find that

ε
kak
3
2ε
3

and kΦω (a)V − Φω (a)W k2 ≤ kak kV − W k2 ≤

ε
kak .
3

kak for all a ∈ Ap. Since kW k∞ ≤ 1 and kW ∗ W −qk2 < ε/3,

kW ∗ Φω (a)W − aqk2 ≤ ε kak

(3.1)

for all a ∈ Ap.
When ξi ∈ Cc (G) have (compact) supports Ki ⊂ G, then (1 ⊗ ξ2∗ )Φω (x)(1 ⊗ ξ1 ) belongs to
L2 (ω −1 (K2 K1−1 )) for all x ∈ M . So because W ∈ M0 ⊗alg Cc (G), we can take a compact subset
ω for every x ∈ M . It then follows from
K ⊂ G such that W ∗ Φω (x)W belongs to the range of PK
ω
(3.1) that kPK (aq) − aqk2 ≤ ε kak for all a ∈ Ap. For every element a ∈ Aq, we can choose
ω (a) − ak ≤ ε kak for all
a1 ∈ Ap with ka1 k = kak and a = a1 q. So we have proved that kPK
2
a ∈ Aq. Since ε > 0 was arbitrary, this means that Aq is ω-compact.
In the formulation of Corollary 3.3 below, we make use of the following notion of an amenable
pair of group actions, as introduced in [AD81]. Let G be a lcsc group and let G y (Y, η) and
G y (X, µ) be nonsingular actions. Assume that p : Y → X is a G-equivariant Borel map such
that the measures p∗ (η) and µ are equivalent. Following [AD81, Définition 2.2], the pair (Y, X)
is called amenable if there exists a G-equivariant conditional expectation L∞ (Y, η) → L∞ (X, µ).
In particular, the action G y (X, µ) is amenable in the sense of Zimmer if and only if the pair
(X × G, X) with g · (x, h) = (g · x, gh) is amenable.
Corollary 3.3. Let G be a lcsc group and G y (X, µ) an essentially free nonsingular action
on the standard σ-finite measure space (X, µ). Assume that the action scales the measure
µ by the inverse of the modular function of G. Let (X1 , µ1 ) be a partial cross section with
µ1 (X1 ) < ∞ and denote by R the cross section equivalence relation on (X1 , µ1 ), which is a
countable equivalence relation with invariant probability measure µ1 (X1 )−1 µ1 .
Let H be a weakly amenable locally compact group with property (S) and π : G → H a continuous group homomorphism. Denote by ω : R → H the cocycle given by the composition of π
and the canonical cocycle ω0 : R → G determined by ω0 (x′ , x) · x = x′ for all (x′ , x) ∈ R.

16

Let A ⊂ L(R) be a Cartan subalgebra. If A is not ω-compact, then there exists a non-null
G-invariant Borel set X0 ⊂ X and a G-equivariant conditional expectation L∞ (X0 × H) →
L∞ (X0 ) w.r.t. the action g · (x, h) = (g · x, π(g)h).
Proof. Write M = L(R). Assume that the Cartan subalgebra A ⊂ M is not ω-compact. By
Theorem 3.2, we can take a nonzero central projection p ∈ Z(M ) such that M p is Φω -amenable.
Write p = 1X2 , where X2 ⊂ X1 is an R-invariant Borel set. Put X0 = G·X2 . Then X0 is a nonnull G-invariant Borel set. We prove that there exists a G-equivariant conditional expectation
L∞ (X0 × H) → L∞ (X0 ).
Since M p is Φω -amenable and since p ∈ L∞ (X1 ) so that Φω (p) = p⊗1, there exists a conditional
expectation M p⊗B(L2 (H)) → Φω (M p). Since (X1 , µ1 ) is a partial cross section, we can choose
a compact neighborhood K of e in G such that Ψ : K × X1 → X : Ψ(k, x) = k · x is injective.
Write N = L∞ (X) ⋊ G and define the coaction Φπ : N → N ⊗ L(H) given by
Φπ (F ug ) = F ug ⊗ uπ(g)

for all F ∈ L∞ (X), g ∈ G .

Define the projection q1 ∈ L∞ (X) given by q1 = 1K·X1 . In [KPV13, Lemma 4.5], an explicit
isomorphism
q1 N q1 ∼
(3.2)
= B(L2 (K)) ⊗ M
is constructed. Under this isomorphism, the restriction of Φπ to q1 N q1 is unitarily conjugate
with id ⊗ Φω and the projection q2 = 1K·X2 corresponds to 1 ⊗ p. We thus conclude that there
exists a conditional expectation q2 N q2 ⊗ B(L2 (H)) → Φπ (q2 N q2 ).
Since q0 = 1X0 is the central support of q2 inside N , there also exists a conditional expectation
E : N q0 ⊗ B(L2 (H)) → Φπ (N q0 ).
We now restrict E to L∞ (X0 × H) ⊂ N q0 ⊗ B(L2 (H)). For all F ∈ L∞ (X0 × H) and
F ′ ∈ L∞ (X0 ), we have
E(F ) Φπ (F ′ ) = E(F Φπ (F ′ )) = E(F (F ′ ⊗ 1)) = E((F ′ ⊗ 1) F ) = E(Φπ (F ′ )F ) = Φπ (F ′ ) E(F ) .
Since L∞ (X0 ) ⊂ N q0 is maximal abelian, it follows that E(F ) ∈ Φπ (L∞ (X0 )) = L∞ (X0 ) ⊗ 1.
Define the conditional expectation E0 : L∞ (X0 × H) → L∞ (X0 ) such that E(F ) = E0 (F ) ⊗ 1.
Since the action G y L∞ (X0 × H) is implemented by the unitary operators Φπ (ug q0 ), g ∈ G,
it follows that E0 is G-equivariant. This concludes the proof of the corollary.
Lemma 3.4. Let N be a σ-finite von Neumann algebra. Assume that the Connes-Takesaki
continuous core c(N ) = N ⋊σϕ R has at most one Cartan subalgebra up to unitary conjugacy.
Then the same holds for N itself.
Proof. Let A and B be Cartan subalgebras of N . Denote by EA : N → A and EB : N → B the
unique faithful normal conditional expectations. Let z ∈ Z(N ) be a nonzero central projection.
Note that z ∈ A ∩ B. The main part of the proof consists in showing that Az ≺N z Bz, where
we use the type III variant of Popa’s intertwining relation [Po03, Section 2] as defined in [HV12,
Definition 2.4]. Assuming that Az 6≺N z Bz, we deduce a contradiction.
By [HV12, Theorem 2.3], there exists a net of unitaries an ∈ U (Az) such that
EB (x∗ an y) → 0 ∗-strongly for all x, y ∈ N .

(3.3)

Choose faithful normal states ϕ on A and ψ on B. Still denote by ϕ and ψ the faithful normal
states on N given by ϕ ◦ EA , resp. ψ ◦ EB . The continuous core of N can then be realized as

17

cϕ (N ) = N ⋊σϕ R and as cψ (N ) = N ⋊σψ R. Denote by Θ : cϕ (N ) → cψ (N ) the canonical
∗-isomorphism given by Connes’ Radon-Nikodym theorem.
e ⊂ M and B
e⊂M
e = Θ(A⋊σϕ R) and B
e = B ⋊σψ R. Write M = cψ (N ) and note that A
Write A
are Cartan subalgebras. Denote by Tr the canonical faithful normal semifinite trace on M and
e be the trace preserving conditional expectations. Note that E e (x) = EB (x)
let EBe : M → B
B
for all x ∈ N . We prove that
EBe (x∗ an y) → 0 ∗-strongly for all x, y ∈ M .

(3.4)

e once (3.4) is proved, it follows that the Cartan subalgebras
Since an is a net of unitaries in Az,
e
e
A and B cannot be unitarily conjugate, contradicting the assumptions of the theorem. So once
(3.4) is proved, it follows that Az ≺N z Bz.
e is abelian, to prove (3.4), it suffices to prove that
Since B
lim kEBe (x∗ an y)k2,Tr = 0 for all x, y ∈ M with Tr(x∗ x) < ∞ and Tr(y ∗ y) < ∞.
n

(3.5)

Approximating x, y in k · k2,Tr , it suffices to prove (3.5) for all x, y of the form x = x1 x0 and
e with Tr(x∗ x0 ) < ∞ and Tr(y ∗ y0 ) < ∞. But then,
y = y1 y0 with x1 , y1 ∈ N and x0 , y0 ∈ B
0
0
EBe (x∗ an y) = x∗0 EBe (x∗1 an y1 ) y0 = x∗0 EB (x∗1 an y1 ) y0 ,

so that (3.5) follows from (3.3).
Thus, (3.4) is proved. As we already explained, it follows that Az ≺N z Bz for every nonzero
central projection z ∈ Z(N ).
Let z0 ∈ Z(N ) be the maximal central projection such that Az0 and Bz0 are unitarily conjugate
inside N z0 . Assume that z0 6= 1 and put z = 1− z0 . By the above, Az ≺N z Bz. By the type III
version of Popa’s [Po01, Theorem A.1] proved in [HV12, Theorem 2.5], there exists a nonzero
central projection z1 ∈ Z(N )z such that Az1 and Bz1 are unitarily conjugate. This contradicts
the maximality of z0 , so that z0 = 1.
We are now ready to prove Theorem 3.1.
Proof of Theorem 3.1. Take G = G1 × · · · × Gn as in the formulation of the theorem. Let
G y (X, µ) be an essentially free nonsingular action and assume that the hypotheses of the
theorem hold. We have to prove that N = L∞ (X) ⋊ G has a unique Cartan subalgebra up to
unitary conjugacy. By Lemma 3.4, it is enough to prove that the continuous core c(N ) has a
unique Cartan subalgebra up to unitary conjugacy.
e ⋊ G where
The continuous core c(N ) can be realized as a crossed product c(N ) = L∞ (X)
e
G y (X, µ
e) is the Maharam extension given by

e = X × R , g · (x, t) = g · x , t + log(δ(g)) + log(D(g, x)) , de
X
µ(x, t) = dµ(x) × exp(−t)dt ,

where δ : G → R+
∗ is the modular function of G and D is the Radon-Nikodym cocycle for
G y (X, µ) determined by
Z
Z
−1
F (x) D(g, x) dµ(x) .
F (g · x) dµ(x) =
X

X

e scales the measure µ
Note that the action G y X
e with δ−1 .
e µ
Let (X1 , µ1 ) be a cross section for G y (X,
e). Denote by R1 the cross section equivalence
relation on (X1 , µ1 ). To prove that c(N ) has a unique Cartan subalgebra, it suffices to prove
18

that L∞ (X1 ) is the unique Cartan subalgebra of L(R1 ), up to unitary conjugacy. So it suffices
to prove that for every non-null Borel set X2 ⊂ X1 with µ1 (X2 ) < ∞, the restricted equivalence
relation R = (R1 )|X2 has the property that L∞ (X2 ) is the unique Cartan subalgebra of L(R)
up to unitary conjugacy. Denote by µ2 the restriction of µ1 to X2 . Then (X2 , µ2 ) is a partial
e µ
cross section for G y (X,
e) and µ2 (X2 ) < ∞. Let A ⊂ L(R) be another Cartan subalgebra.

Denote by ω : R → G the canonical cocycle determined by ω(x′ , x) · x = x′ for all (x′ , x) ∈ R.
We claim that A is ω-compact. Denote by πi : G → Gi the quotient maps and put ωi = πi ◦ ω.
To prove the claim that A is ω-compact, it suffices to prove that A is ωi -compact for every
i ∈ {1, . . . , n}. Fix such an i and assume that A is not ωi -compact.
e0 ⊂ X
e and a G-equivariant
By Corollary 3.3, we find a non-null G-invariant Borel set X
∞
∞
e
e
conditional expectation E0 : L (X0 × Gi ) → L (X0 ) w.r.t. the action g · ((x, t), g′ ) =
(g · (x, t), πi (g)g′ ).
e given by s · (g, t) = (g, t + s). Note that this
Denote by (βs )s∈R the action of R on L∞ (X)
action of R commutes with the above G-action. Write p = 1Xe0 and denote by q the smallest
e with p ≤ q. Note that q = 1X ×R , where X0 ⊂ X is a
(βs )s∈R -invariant projection in L∞ (X)
0
W
G-invariant Borel set. Choose sk ∈ R, with s0 = 0, such that q = ∞
k=0 βsk (p). Inductively
∞
e
define the G-invariant projections pk ∈ L (X0 ) given by p0 = p and
k−1


X
βsi −sk (pi )
for all k ≥ 1.
pk = p 1 −
i=0

By construction, q =

P

k

βsk (pk ). Choosing a point-weak∗ limit point of the sequence

En : L∞ (X0 × R × Gi ) → L∞ (X0 × R) : En (F ) =

n
X
k=0


βsk E0 (pk ⊗ 1) (β−sk ⊗ id)(F ) ,

we obtain a G-equivariant conditional expectation E : L∞ (X0 × R × Gi) → L∞ (X0 × R). Since
R is amenable, we can take a mean over R of βs ◦ E ◦ (β−s ⊗ id), so that we may assume that
E is G × R-equivariant.
The restriction of E to L∞ (X0 )⊗1⊗L∞ (Gi ) then has its image in L∞ (X0 ×R)R = L∞ (X0 )⊗1.
So, we find a G-equivariant conditional expectation L∞ (X0 × Gi ) → L∞ (X0 ). Restricting to
◦
L∞ (X0 )Gi ⊗ L∞ (Gi ), we find a Gi -equivariant conditional expectation
◦

◦

L∞ (X0 )Gi ⊗ L∞ (Gi ) → L∞ (X0 )Gi .
◦

This precisely means that the action Gi y L∞ (X0 )Gi is amenable in the sense of Zimmer,
contrary to our assumptions.
So the claim that A is ω-compact is proved. Take a compact subset K ⊂ G such that
ω (a)k2 ≥ 1/2 for all a ∈ U (A). Since K is compact and ω : R → G is the canonical
kPK
2
cocycle, the subset ω −1 (K) ⊂ R is bounded, meaning that ω −1 (K) is the disjoint union of the
graphs of finitely many elements ϕi ∈ [[R]], i = 1, . . . , n, in the full pseudogroup of R. But
then, writing B = L∞ (X2 ),
n
X
ω
kEB (au∗ϕi )k22
kPK
(a)k22 =
i=1

ω (a)k2
kPK
2

≥ 1/2 for all a ∈ U (A), it follows that A ≺L(R) B, so that A
for all a ∈ L(R). Since
and B are unitarily conjugate by [Po01, Theorem A.1].

19

4

Cocycle and orbit equivalence rigidity; proof of Theorem B

Given an irreducible pmp action of G = G1 ×G2 on a standard probability space (X, µ), Monod
and Shalom proved in [MS04, Theorem 1.2] a cocycle superrigidity theorem for non-elementary
cocycles G × X → H with values in a closed subgroup H < Isom(X) of the isometry group
of a “negatively curved” space. It is therefore not surprising that one can also prove a cocycle
superrigidity theorem for cocycles with values in a group H satisfying property (S). We do this
in Theorem 4.1.
Applying cocycle superrigidity to the cocycles given by a stable orbit equivalence between
essentially free, irreducible pmp actions G1 × G2 y (X, µ) and H1 × H2 y (Y, η), we obtain
the following orbit equivalence strong rigidity theorem (see Theorem 4.2): if G1 and G2 are
nonamenable, while H1 and H2 have property (S), the actions must be conjugate.
Again, such an orbit equivalence strong rigidity theorem should not come as a surprise: in
[Sa09, Theorem 40], Sako proved exactly this result when G1 , G2 and H1 , H2 are countable
groups in class S. However, he does not use or prove a cocycle superrigidity theorem.
The main novelty of this section is that our approach is surprisingly simple and short.
Given lcsc groups G and H and a nonsingular action G y (X, µ), a Borel cocycle ω : G×X → H
is a Borel map satisfying
ω(gh, x) = ω(g, h · x) ω(h, x)

for all g, h ∈ G, x ∈ X .

In a measurable context, the slightly more appropriate notion of cocycle is however the following. Denote by M(X, H) the Polish group of Borel functions from X to H, modulo functions equal almost everywhere. The group G acts continuously on M(X, H) by (αg (F ))(x) =
F (g−1 · x). Then a cocycle is a continuous map
ω : G → M(X, H) : g 7→ ωg

satisfying ωgh = αh−1 (ωg ) ωh for all g, h ∈ G .

Every Borel cocycle ω gives rise to the cocycle ωg = ω(g, ·). Conversely, every cocycle can be
realized by a Borel cocycle after removing from X a G-invariant Borel set of measure zero, see
e.g. [Zi84, Theorem B.9].
The (measurable) cocycles ω and ω ′ are called cohomologous if there exists an element ϕ ∈
M(X, H) such that
ωg′ = αg−1 (ϕ) ωg ϕ−1 for all g ∈ G .
Borel cocycles ω, ω ′ : G×X → H are called cohomologous if there exists a Borel map ϕ : X → H
such that
ω ′ (g, x) = ϕ(g · x) ω(g, x) ϕ(x)−1 for all g ∈ G, x ∈ X .
Again, if two Borel cocycles are measurably cohomologous, then they also are Borel cohomologous on a conull G-invariant Borel set.
As in [MS04, Theorem 1.2], the following cocycle superrigidity theorem says that every “nonelementary” cocycle for an irreducible action G1 ×G2 y (X, µ) with values in a group with property (S) is cohomologous to a group homomorphism. In our context, being “non-elementary”
is expressed by a non relative amenability property introduced in [AD81] (see the discussion
preceding Corollary 3.3).
Theorem 4.1. Let G1 , G2 and H be lcsc groups and G1 × G2 y (X, µ) a pmp action with G2
acting ergodically. Assume that H has property (S). Let ω : G1 × G2 × X → H be a cocycle.
Then at least one of the following statements holds.

20

e < H such that K is compact and K < H
e is normal,
1. There exist closed subgroups K < H
e
and there exists a continuous group homomorphism δ : G1 → H/K with dense image such
that ω is cohomologous to a cocycle ω0 satisfying ω0 (g1 g2 , x) ∈ δ(g1 )K for all gi ∈ Gi and
a.e. x ∈ X.
2. With respect to the action G1 y X × H given by g1 ·(x, h) = (g1 ·x, ω(g1 , x) h) and the factor
map (x, h) 7→ x, there exists a G1 -equivariant conditional expectation L∞ (X ×H) → L∞ (X).
Proof. Throughout the proof, we write G = G1 ×G2 and we view G1 and G2 as closed subgroups
of G. We fix a left invariant Haar measure λ on H. We denote by h · ξ the left translation
action of H on L2 (H).
Formulation of the dichotomy. We are in precisely one of the following situations.
1. There exists no sequence gn ∈ G2 such that ω(gn , ·) → ∞ in measure. More precisely,
there exists a compact subset L ⊂ H and an ε > 0 such that for all g ∈ G2 the set
{x ∈ X | ω(g, x) ∈ L} has measure at least ε.
2. There exists a sequence gn ∈ G2 such that ω(gn , ·) → ∞ in measure.
Case 1. Fix such a compact set L ⊂ H and ε > 0. Define the unitary representation
π : G → U (L2 (X × H)) : (π(g)∗ ξ)(x, h) = ξ(g · x, ω(g, x)h)
for all g ∈ G, x ∈ X, h ∈ H, ξ ∈ L2 (X × H). Fix a compact subset L0 ⊂ H with λ(L0 ) > 0.
Given a Borel set A ⊂ H of finite measure, denote by 1A ∈ L2 (H) the function equal to 1 on
A and equal to 0 elsewhere. By our choice of L and ε, we find that
hπ(g)∗ (1 ⊗ 1LL0 ), 1 ⊗ 1L0 i ≥ ε λ(L0 )

for all g ∈ G2 .

Taking the unique vector of minimal norm in the closed convex hull of {π(g)(1⊗1LL0 ) | g ∈ G2 },
it follows that π admits a nonzero G2 -invariant vector. We thus find a Borel map
ξ : X → L2 (H)

such that ξ(g2 · x) = ω(g2 , x) · ξ(x) for all g2 ∈ G2 and a.e. x ∈ X,

and such that ξ is not zero a.e. Since x 7→ kξ(x)k2 is essentially G2 -invariant and the action
G2 y (X, µ) is ergodic, we may assume that kξ(x)k2 = 1 for a.e. x ∈ X.
Denote by T ⊂ L2 (H) the unit sphere, defined as T = {ξ0 ∈ L2 (H) | kξ0 k2 = 1}. The left
translation action H y T has closed orbits and thus H\T is a well defined Polish space. Since
the map x 7→ H · ξ(x) from X to H\T is G2 -invariant, it is constant a.e. So we find a unit
vector ξ0 ∈ L2 (H) and a Borel map ϕ : X → H such that ξ(x) = ϕ(x) · ξ0 for a.e. x ∈ X.
Replacing ω by the cohomologous cocycle given by
(g, x) 7→ ϕ(g · x)−1 ω(g, x) ϕ(x) ,
we find that ω(g2 , x) · ξ0 = ξ0 for all g2 ∈ G2 and a.e. x ∈ X.
Define the closed subgroup K < H given by
K = {s ∈ H | s · ξ0 = ξ0 } .
Then, K is compact and ω(g2 , x) ∈ K for all g2 ∈ G2 and a.e. x ∈ X. By Zimmer’s theory
for compact group valued cocycles (see [Zi75, Section 3]), we may further assume that the
restricted cocycle
ω2 : G2 × X → K : ω2 = ω|G2 ×X

21

is minimal, in the sense that the associated action G2 y X × K given by
g2 · (x, k) = (g2 · x, ω2 (g2 , x)k)
is ergodic.
Whenever g1 ∈ G1 and g2 ∈ G2 , we have for a.e. x ∈ X
ω(g1 , g2 · x) ω(g2 , x) = ω(g1 g2 , x) = ω(g2 g1 , x) = ω(g2 , g1 · x) ω(g1 , x) .

(4.1)

Fix g1 ∈ G1 . It follows from (4.1) that for all g2 ∈ G2 and a.e. x ∈ X, ω(g1 , g2 · x) ∈
K · ω(g1 , x) · K. Therefore, the map
X → K\H/K : x 7→ K · ω(g1 , x) · K
is G2 -invariant and thus constant a.e. We then find s ∈ H and Borel maps ϕ, ψ : X → K such
that (g1 still being fixed) we have ω(g1 , x) = ϕ(x) s ψ(x) for a.e. x ∈ X.
Then (4.1) becomes
ϕ(g2 · x) s ψ(g2 · x) ω(g2 , x) = ω(g2 , g1 · x) ϕ(x) s ψ(x)
for all g2 ∈ G2 and a.e. x ∈ X. So, the cocycle
ω2′ : G2 × X → K : ω2′ (g2 , x) = ψ(g2 · x) ω2 (g2 , x) ψ(x)−1
is cohomologous to ω2 (as cocycles for G2 y X with values in the compact group K) and takes
values in K ∩ s−1 Ks. The minimality of ω2 then implies that K ∩ s−1 Ks = K. Making a
similar reasoning for the cocycle (g2 , x) 7→ ω(g2 , g1 · x), which by construction is isomorphic
with ω2 and thus minimal as well, we also find that K ∩ sKs−1 = K. Defining the closed
subgroup H ′ < H given by
H ′ := {s ∈ H | sKs−1 = K} ,
we find that s ∈ H ′ . By construction, K < H ′ is normal. We have proved that for every
g1 ∈ G1 , there exists an s ∈ H ′ such that ω(g1 , x) ∈ sK for a.e. x ∈ X. We already had
ω(g2 , x) ∈ K for all g2 ∈ G2 and a.e. x ∈ X. So we find a Borel and thus continuous
homomorphism δ : G1 → H ′ /K such that ω(g1 g2 , x) ∈ δ(g1 )K for all g1 ∈ G1 , g2 ∈ G2 and
e < H ′ as the inverse image of the closure of δ(G1 ), the first statement
a.e. x ∈ X. Defining H
in the theorem holds.
Case 2. Fix a sequence gn ∈ G2 such that ω(gn , ·) → ∞ in measure. Fix a map η : H → S(H)
as given by property (S). Define the sequence of Borel maps
ηn : X → S(H) : ηn (x) = η(ω(gn , x)−1 ) .
By (4.1), we have for all g ∈ G1 that
ω(gn , g · x)−1 = ω(g, x) ω(gn , x)−1 ω(g, gn · x)−1 .

(4.2)

Fix g ∈ G1 and fix ε > 0. Take a compact subset L ⊂ H such that ω(g, x) ∈ L for all x in a
set of measure at least 1 − ε. Then take a compact subset L1 ⊂ H such that
kη(h1 hh−1
2 ) − h1 · η(h)k1 < ε
for all h1 , h2 ∈ L and all h ∈ H \ L1 . Finally take n0 such that for all n ≥ n0 , we have that
ω(gn , x)−1 ∈ H \ L1 for all x in a set of measure at least 1 − ε.

22

So, for our fixed g ∈ G1 and for all n ≥ n0 , there exists a Borel set Xn ⊂ X of measure at least
1 − 3ε such that
ω(g, x) ∈ L , ω(gn , x)−1 ∈ H \ L1 , ω(g, gn · x) ∈ L
for all x ∈ Xn . Applying η to (4.2), we conclude that for our fixed g ∈ G1 and all n ≥ n0 , we
have
kηn (g · x) − ω(g, x) · ηn (x)k1 < ε
for all x ∈ Xn . Since µ(Xn ) ≥ 1 − 3ε, we have proved that for every g ∈ G1 , the sequence of
functions
x 7→ kηn (x) − ω(g, x)−1 · ηn (g · x)k1
(4.3)
converges to zero in measure.
View S(H) ⊂ L1 (H) and define the normal conditional expectations
Z
∞
∞
F (x, y) (ηn (x))(y) dy .
Pn : L (X × H) → L (X) : (Pn (F ))(x) =
H

Choose a point-weak∗ limit point P : L∞ (X × H) → L∞ (X). Since the sequence in (4.3)
converges to zero in measure, P is a G1 -equivariant conditional expectation. So the second
statement in the theorem holds.
The cocycle superrigidity theorem 4.1 implies the following orbit equivalence strong rigidity
theorem. As mentioned above, for countable groups, the same result was obtained in [Sa09,
Theorem 40]. Combining Theorem A and Theorem 4.2, it follows that Theorem B holds.
Let G y (X, µ) and H y (Y, η) be essentially free, nonsingular actions of the lcsc groups G, H.
We say that these actions are stably orbit equivalent if they admit cross sections such that the
associated cross section equivalence relations are isomorphic.
Theorem 4.2. Let G = G1 × G2 and H = H1 × H2 be unimodular lcsc groups without
nontrivial compact normal subgroups. Assume that G y (X, µ) and H y (Y, η) are essentially
free, irreducible pmp actions. Assume that G1 , G2 are nonamenable and that H1 , H2 have
property (S).
If the actions are stable orbit equivalent, they must be conjugate.
More precisely, if (X1 , µ1 ) and (Y1 , η1 ) are cross sections, with cross section equivalence relations R and S, and if π : X1 → Y1 is a nonsingular isomorphism between the equivalence
relations R and S, there exist conull R-invariant (resp. S-invariant) Borel sets X2 ⊂ X1 and
Y2 ⊂ Y1 , a Borel bijection ∆ : G · X2 → H · Y2 and a continuous group isomorphism δ : G → H
such that
• X0 = G · X2 and Y0 = H · Y2 are conull Borel sets and ∆∗ (µ) = η,
• ∆(g · x) = δ(g) · ∆(x) for all g ∈ G and all x ∈ X0 ,
• ∆(x) ∈ H · π(x) for all x ∈ X2 ,
• δ is either of the form δ1 × δ2 where δi : Gi → Hi are isomorphisms, or of the form
(g1 , g2 ) 7→ (δ2 (g2 ), δ1 (g1 )) where δ1 : G1 → H2 and δ2 : G2 → H1 are isomorphisms,
• normalizing the Haar measures λG and λH such that δ∗ (λG ) = λH , we have covol(X1 ) =
covol(Y1 ).

23

Proof. Replacing X and Y by a conull G-invariant, resp. H-invariant, Borel set, we may assume
that the Borel actions G y X and H y Y are free.
Recall that µ1 is the natural R-invariant probability measure on X1 and that η1 is the natural
S-invariant probability measure on Y1 . Normalize the Haar measures λG and λH such that
covol(X1 ) = 1 = covol(Y1 ). Take compact neighborhoods U of e in G and V of e in H such
that the maps
Ψ : U × X1 → X : (k, x) 7→ k · x

and Φ : V × Y1 → Y : (l, y) 7→ l · y

(4.4)

are injective. By the definition of a cross section and its covolume (see page 14), these maps
satisfy


Ψ∗ (λG )|U × µ1 = µ|U ·X1 and Φ∗ (λH )|V × η1 = η|V·Y1 .

Replacing X1 and Y1 by conull Borel subsets that are invariant under the cross section equivalence relations, we may assume that π : X1 → Y1 is a Borel isomorphism between R and S.
Since π∗ (µ1 ) is an S-invariant probability measure on Y1 in the same measure class as η1 , we
have π∗ (µ1 ) = η1 . Since G · X1 and H · Y1 are conull and Borel, we may assume that X = G · X1
and Y = H · Y1 .
We start by translating the stable orbit equivalence π into a measure equivalence between G
and H. This is quite standard: the discrete group case can be found in [Fu98, Section 3], but
the locally compact case needs a little bit of care.
Choose a Borel map p : X → X1 such that p(x) ∈ G · x for all x ∈ X and p(k · x) = x for all
k ∈ U , x ∈ X1 . Extend π to the Borel map ρ : X → Y defined by ρ = π ◦ p. Similarly choose a
Borel map q : Y → Y1 and define ρe : Y → X : ρe = π −1 ◦ q. By construction, ρ(G · x) ∈ H · ρ(x)
and ρe(H · y) ∈ G · ρe(y) for all x ∈ X and all y ∈ Y . Since the actions G y X and H y Y are
free, we have unique Borel cocycles
ω : G × X → H : ρ(g · x) = ω(g, x) · ρ(x)

for all g ∈ G, x ∈ X,

ζ : H × Y → G : ρe(h · y) = ζ(h, y) · ρe(y)

for all h ∈ H, y ∈ Y .

Since ρe(ρ(x)) ∈ G · x and ρ(e
ρ(y)) ∈ H · y for all x ∈ X and all y ∈ Y , we also have unique Borel
maps
ϕ : X → G : ρe(ρ(x)) = ϕ(x) · x and ψ : Y → H : ρ(e
ρ(y)) = ψ(y) · y
for all x ∈ X, y ∈ Y .

Define the measure preserving Borel actions G × H y X × H and G × H y Y × G given by
(g, h) · (x, h′ ) = (g · x, ω(g, x) h′ h−1 ) ,
(g, h) · (y, g ′ ) = (h · y, ζ(h, y) g′ g −1 ) .

It is straightforward to check that

θ : X × H → Y × G : θ(x, h) = h−1 · ρ(x) , ζ(h−1 , ρ(x) ϕ(x))

is a G × H-equivariant Borel map and that θ is a bijection with inverse


θ −1 : Y × G → X × H : θ −1 (y, g) = g−1 · ρe(y) , ω(g −1 , ρe(y)) ψ(y) .

Using the maps Ψ and Φ given by (4.4), one checks that
θ(Ψ(k, x), l−1 ) = (Φ(l, π(x)), k −1 )

24

for all k ∈ U , l ∈ V, x ∈ X1 .

(4.5)

Since Ψ, Φ and π are measure preserving, it follows that the restriction of θ to U · X1 × V −1 is
measure preserving. Since the actions of G × H on X × H and Y × G are measure preserving
and since the map θ is G×H-equivariant, it follows that the entire map θ is measure preserving.
The main part of the proof consists in using Theorem 4.1 to show that the cocycle ω is cohomologous to an isomorphism of groups δ : G → H. Write ω(g, x) = (ω1 (g, x), ω2 (g, x)) ∈ H1 × H2 .
Claim. W.r.t. the actions G1 y X × Hi : g1 · (x, hi ) = (g1 · x, ωi (g1 , x) hi ), there is at most
one i ∈ {1, 2} for which there exists a G1 -equivariant conditional expectation L∞ (X × Hi ) →
L∞ (X).
To prove this claim, assume that such a conditional expectation exists for both i = 1, 2. Then
there also exists a G1 -equivariant conditional expectation L∞ (X × H) → L∞ (X) w.r.t. the
action g1 · (x, h) = (g1 · x, ω(g1 , x) h). Composing with the G-invariant probability measure µ
on X, we find a G1 -invariant state on L∞ (X × H). Using θ, it follows that L∞ (Y × G1 × G2 )
admits a G1 -invariant state, w.r.t. the action g1 · (y, g1′ , g2 ) = (y, g1′ g1−1 , g2 ). This implies that
G1 is amenable, contrary to our assumptions. So, the claim is proved.
Assume that there is no G1 -equivariant conditional expectation L∞ (X × H1 ) → L∞ (X). We
prove that the conclusions of the theorem hold with the group isomorphism δ : G → H being
of the form δ1 × δ2 . In the case where there is no G1 -equivariant conditional expectation
L∞ (X × H2 ) → L∞ (X), we exchange the roles of H1 and H2 and obtain again that the
conclusions of the theorem hold with δ being of the form (g1 , g2 ) 7→ (δ2 (g2 ), δ1 (g1 )).
Applying Theorem 4.1 to the cocycle ω1 , we find a compact subgroup K1 < H1 , a closed
e 1 < H1 with K1 being a normal subgroup of H
e 1 , and a continuous group homosubgroup H
e 1 /K1 with dense image such that ω1 is cohomologous (as a measurable
morphism δ : G1 → H
e 1 satisfying ω
cocycle) with a cocycle ω
e1 : G × X → H
e1 (g1 g2 , x) ∈ δ1 (g1 )K1 for all gi ∈ Gi and
x ∈ X.

In particular, there is an isomorphism between the actions of G on L∞ (X × H1 ) induced by
ω1 and ω
e1 . Using a K1 -invariant state on L∞ (H1 ), it follows that there is a G2 -equivariant
conditional expectation L∞ (X × H1 ) → L∞ (X). Applying the claim above to G2 instead of
G1 , it follows that there is no G2 -equivariant conditional expectation L∞ (X × H2 ) → L∞ (X)
w.r.t. the action induced by ω2 .

We can again apply Theorem 4.1 and altogether, we find compact subgroups Ki < Hi , closed
e i < Hi with Ki being a normal subgroup of H
e i , and continuous group homomorsubgroups H
e i /Ki with dense image such that, writing δ = δ1 × δ2 , K = K1 × K2 ,
phisms δi : Gi → H
e
e
e
H = H1 × H2 , the cocycle ω is cohomologous (as a measurable cocycle) with a cocycle
e satisfying ω
ω
e : G×X →H
e (g, x) ∈ δ(g)K for all g ∈ G, x ∈ X.

Since the actions of G × H on L∞ (X × H) induced by ω and ω
e are isomorphic, we find an
e into L∞ (X × H)G . Using θ, we also find such an
H-equivariant embedding of L∞ (H/H)
e 1 ) ⊗ 1 ⊂ L∞ (H/H)
e
embedding into L∞ (Y × G)G = L∞ (Y ). Since the elements of L∞ (H1 /H
e
are H2 -invariant, the irreducibility of the action H y (Y, η) implies that H1 = H1 . We similarly
e 2 = H2 . Since we assumed that the groups Hi have no nontrivial compact normal
find that H
subgroups, we also conclude that K is trivial.

We have proved that ω is cohomologous, as a measurable cocycle, with the continuous group
homomorphism δ : G → H having dense image. We now prove that δ is bijective. Consider
the unitary representation Π of G on L2 (X × H) given by (Π(g)ξ)(x, h) = ξ(g−1 · x, δ(g)−1 h).
Combining the map θ and the fact that the cocycle ω is cohomologous with δ, the representation
Π is unitarily conjugate to the representation of G on L2 (Y ×G) given by (g·ξ)(y, g′ ) = ξ(y, g′ g).
Therefore, Π is a multiple of the regular representation. In particular, Π has C0 -coefficients.
So,
g 7→ hΠ(g)(1 ⊗ 1D ), 1 ⊗ 1E i = λH (δ(g)D ∩ E)

25

is a C0 -function on G for all compact subsets D, E ⊂ H. It follows that Ker δ is a compact
subgroup of G and that δ is proper in the sense that δ(gn ) → ∞ whenever gn → ∞. By
assumption, G has no nontrivial compact normal subgroups. So, Ker δ = {e} and δ is injective.
Since δ is proper, the image of δ is closed. Since δ has dense image, we conclude that δ is
surjective. So we have proved that δ is bijective.
Since the Borel cocycles ω and δ are cohomologous as measurable cocycles, they are also
cohomologous as Borel cocycles on a conull G-invariant Borel set X0 ⊂ X. Since θ(X0 × H)
is a conull G × H-invariant Borel subset of Y × G, it must be of the form Y0 × H. So we can
restrict everything to X0 and Y0 , and assume that X0 = X and Y0 = Y . Choose a Borel map
γ : X → H such that ω(g, x) = γ(g · x) δ(g) γ(x)−1 for all g ∈ G, x ∈ X. Define the measure
preserving Borel bijections θ1 , θ2 : X × H → X × H given by
θ1 (x, h) = (x, γ(x)h)

and θ2 (x, h) = (δ−1 (h−1 ) · x, h−1 ) .

Write θe = θ ◦ θ1 ◦ θ2 . Consider the measure preserving Borel action of G × H on X × H given
by
(g, h) · (x, h′ ) = (δ−1 (h) · x , h h′ δ(g)−1 ) .
Still using the action of G × H on Y × G defined in (4.5), we get that θe is G × H-equivariant.
e e) = (∆(x), γe(x)) for all
Define the Borel functions ∆ : X → Y and e
γ : X → G such that θ(x,
x ∈ X. Then,

e h) = θe (e, δ−1 (h−1 )) · (x, e) = (e, δ−1 (h−1 )) · θ(x,
e e) = (∆(x), γe(x) δ−1 (h))
θ(x,
(4.6)

for all x ∈ X and h ∈ H. Since θe is bijective and δ is bijective, also ∆ : X → Y must be
bijective. Since θe is H-equivariant, we have ∆(g · x) = δ(g) · ∆(x) for all x ∈ X.
Since θe is measure preserving and δ is measure scaling, by (4.6), ∆ must be measure scaling.
Since both µ and η are probability measures, it follows that ∆ is measure preserving and thus
also that δ is measure preserving. By construction, ∆(x) ∈ H · ρ(x) for all x ∈ X and thus
∆(x) ∈ H · π(x) for all x ∈ X1 . This concludes the proof of the theorem.

Remark 4.3. Assume that we are in the situation of Theorem B. Given the more precise
description in Theorem 4.2 of the conjugacy between the actions G y (X, µ), H y (Y, η) and
its relation to the initial stable orbit equivalence, it follows that up to unitary conjugacy, any
∗-isomorphism π : p(L∞ (X) ⋊ G)p → q(L∞ (Y ) ⋊ H)q is the restriction of a ∗-isomorphism of
the form
π
e : L∞ (X) ⋊ G → L∞ (Y ) ⋊ H : π
e(ug F ) = uδ(g) ∆∗ (Ωg F ) for all F ∈ L∞ (X), g ∈ G ,

where ∆ : X → Y is a pmp isomorphism, δ : G → H is a group isomorphism, ∆(g · x) =
δ(g)·∆(x) for all g ∈ G and a.e. x ∈ X, and Ωg ∈ U (L∞ (X)) is a scalar cocycle, i.e. Ωg = Ω(g, ·)
where Ω : G × X → T is a Borel map satisfying Ω(gh, x) = Ω(g, h · x) Ω(h, x) for all g, h ∈ G
and a.e. x ∈ X.

5

Proof of Theorem G

Roughly speaking, Theorem G follows by appropriately combining the proof of [BHV15, Proposition 3.6] with the setup and methods in the proof of Theorem F in Section 2.
We start by making a first simplification. We replace M by B(ℓ2 (N)) ⊗ B(ℓ2 (N)) ⊗ M and
define the projection e = 1 ⊗ 1 ⊗ p in M . We then replace A by ℓ∞ (N) ⊗ B(ℓ2 (N)) ⊗ A and view
it as a von Neumann subalgebra of eM e. We finally replace p by the finite trace projection

26

e00 ⊗ e00 ⊗ p and the coaction Φ by id ⊗ Φ. We are now in the following situation: M is a von
Neumann algebra with a faithful normal semifinite trace Tr, e ∈ M is a projection, A ⊂ eM e
is a von Neumann subalgebra with Tr |A being semifinite and p ∈ A is a projection of finite
s
trace. Moreover, by [BHV15, Lemma 3.5], for every x ∈ NpM
p (pAp), there exist u ∈ NeM e (A)
s
and a, b ∈ pAp such that ua = x = bu. In particular, NpM p (pAp)′′ = pNeM e (A)′′ p. Also, for
s
∗
∗
every partial isometry v ∈ NpM
p (pAp) with v v = s and vv = t, there exists a u ∈ NeM e (A)
such that us = v = tu.
Assuming that pAp is Φ-amenable, we have to prove that pAp can be Φ-embedded or that
s
′′
′′
NpM
p (pAp) = pNeM e (A) p is Φ-amenable. Write q = Φ(p) and f = Φ(e).
Step 1. If u ∈ NeM e (A), then p(A ∪ {u})′′ p is still Φ-amenable.
Since pAp is Φ-amenable, there exists a positive functional Ω on q(M ⊗ B(L2 (G)))q that is
Φ(pAp)-central and that satisfies Ω(Φ(x)) = Tr(x) for all x ∈ pM p. Denote by E : eM e → A
the unique Tr-preserving normal conditional expectation. The functional Ω gives a conditional
expectation
P : q(M ⊗ B(L2 (G)))q → Φ(pAp)
satisfying P (Φ(x)) = Φ(E(x)) for all x ∈ pM p. We have a canonical isomorphism
f (M ⊗ B(L2 (G)))f ∼
= B(ℓ2 (N)) ⊗ B(ℓ2 (N)) ⊗ q(M ⊗ B(L2 (G)))q
sending Φ(A) onto ℓ∞ (N)⊗B(ℓ2 (N))⊗Φ(pAp). Denoting by E0 : B(ℓ2 (N)) → ℓ∞ (N) the normal
conditional expectation, taking E0 ⊗ id ⊗ P , we can extend P to a conditional expectation
P : f (M ⊗ B(L2 (G)))f → Φ(A)
satisfying P (Φ(x)) = Φ(E(x)) for all x ∈ eM e.
For every n ≥ 1, define
n

Pn : f (M ⊗ B(L2 (G)))f → Φ(A) : Pn (T ) =

1X
Φ(uk ) P (Φ(u−k )T Φ(uk )) Φ(u−k ) .
n
k=1

Note that every Pn is a conditional expectation satisfying Pn (Φ(x)) = Φ(E(x)) for all x ∈ eM e.
Define
P0 : f (M ⊗ B(L2 (G)))f → Φ(A)
as a point-weak∗ limit point of the sequence (Pn )n≥1 . Then P0 is a conditional expectation
satisfying P0 (Φ(x)) = Φ(E(x)) for all x ∈ eM e and
P0 (Φ(uk )T Φ(u−k )) = Φ(uk )P0 (T )Φ(u−k ) for all T ∈ f (M ⊗ B(L2 (G)))f , k ∈ Z .
Define the positive functional Ω0 on q(M ⊗ B(L2 (G)))q given by Ω0 (T ) = Tr(Φ−1 (P0 (T ))),
which is well defined because P0 (T ) ∈ Φ(pAp). By construction, Ω0 is Φ(pAp)-central and
Ω0 (Φ(x)) = Tr(x) for all x ∈ pM p.
Let k ∈ Z and a ∈ A. Put x0 = puk ap. Note that x0 = uk bp where b ∈ A is defined as
b = u−k puk a. Using the notation P ′ = Φ−1 ◦ P0 , we have for every T ∈ q(M ⊗ B(L2 (G)))q that
Ω0 (Φ(x0 )T ) = Ω0 (Φ(uk bp)T ) = Tr(P ′ (Φ(uk )Φ(bp)T ))
= Tr(uk bpP ′ (T Φ(uk ))u−k ) = Tr(P ′ (T Φ(uk ))bp) = Tr(P ′ (T Φ(uk bp)))
= Ω0 (T Φ(x0 )) .
Since Ω0 (Φ(x)) = Tr(x) for all x ∈ pM p and since the linear span of {puk ap | k ∈ Z, a ∈ A} is
strongly dense in p(A ∪ {u})′′ p, the Cauchy-Schwarz inequality implies that Ω0 is p(A ∪ {u})′′ pcentral. This concludes the proof of step 1.

27

Notations. Since G has CMAP, we can fix a net ηn ∈ A(G) such that the normal completely
bounded maps mn : L(G) → L(G) given by mn = (id ⊗ ηn ) ◦ ∆ satisfy the properties in (2.1)
with Λ(G) = 1. Define ϕn : M → M given by ϕn = (id ⊗ ηn ) ◦ Φ. Since Φ ◦ ϕn = (id ⊗ mn ) ◦ Φ,
also kϕn kcb ≤ 1 for all n and ϕn (x) → x strongly for all x ∈ M . Finally, we denote ψn :
pM p → pM p : ψn (x) = pϕn (x)p.
Whenever Q ⊂ eM e is a von Neumann subalgebra, we denote by NQ the von Neumann
subalgebra of B(L2 (M e)) ⊗ L(G) generated by Φ(M ) and ρ(Q), where ρ(a) is given by right
multiplication with a ∈ Q. We write N = NA .
s
∗
∗
For every partial isometry v ∈ NpM
p (pAp) with s = v v and t = vv , denote by

βv : ρ(s)N ρ(s) → ρ(t)N ρ(t)
the ∗-isomorphism implemented by right multiplication with v ∗ on L2 (M e) ⊗ L2 (G). Note that
βv (Φ(x)ρ(a)) = Φ(x)ρ(vav ∗ ).
Define q1 = Φ(p)ρ(p). We still denote by βv the normal, completely contractive map q1 N q1 →
q1 N q1 given by T 7→ βv (ρ(s)T ρ(s)).
Step 2. Let Q ⊂ eM e be a von Neumann subalgebra such that A ⊂ Q and such that pQp
is Φ-amenable. Then there exists a net of functionals µQ
n ∈ (q1 NQ q1 )∗ with the following
properties.
1. µQ
n (Φ(x)ρ(a)) = Tr(ψn (x)a) for all x ∈ pM p and a ∈ pQp.
2. kµQ
n k ≤ Tr(p) for all n.
To prove step 2, in the same way as in step 1 of the proof of Theorem F, using the Φ-amenability
of pQp, we find normal completely contractive maps θn : q1 N q1 → B(L2 (pM p)) satisfying
θn (Φ(x)ρ(a)) = ψn (x)ρ(a) for all x ∈ pM p and a ∈ pQp. Composing with the vector functional
T 7→ hT p, pi, which has norm Tr(p), the proof of step 1 is complete.
Step 3. The positive functionals ωn = |µA
n | in (q1 N q1 )∗ satisfy
1. limn ωn (Φ(x)) = Tr(x) for all x ∈ pM p,
2. limn ωn (Φ(a)ρ(a∗ )) = Tr(p) for all a ∈ U (pAp),
s
3. for every partial isometry v ∈ NpM
p (pAp), we have that limn kωn ◦ βv∗ − ωn ◦ Ad Φ(v)k = 0.

Note that, as defined above, the functional ωn ◦βv∗ on q1 N q1 is given by (ωn ◦βv∗ )(Φ(x)ρ(a)) =
ωn (Φ(x)ρ(v ∗ av)) for all x ∈ pM p and a ∈ pAp, while the functional ωn ◦ Ad Φ(v) on q1 N q1 is
given by (ωn ◦ Ad Φ(v))(Φ(x)ρ(a)) = ωn (Φ(vxv ∗ )ρ(a)).
To prove step 3, let Q ⊂ eM e be a von Neumann subalgebra such that A ⊂ Q and such that
Q
Q
Q
pQp is Φ-amenable. Define µQ
n as in step 2 and denote ωn = |µn |. Since kµn k ≤ Tr(p) for all
Q
Q
Q
n and limn µn (q1 ) = Tr(p), we find that limn kµn − ωn k = 0. Whenever a ∈ U (pQp), we get
Q
∗
∗
that limn µQ
n (Φ(a)ρ(a )) = Tr(p) and thus also, limn ωn (Φ(a)ρ(a )) = Tr(p). So the first two
properties in step 3 are already proven. It also follows that
lim k(Φ(a)ρ(a∗ )) · ωnQ − ωnQ k = 0 = lim kωnQ · (Φ(a)ρ(a∗ )) − ωnQ k
n

n

for all a ∈ U (pQp) and thus,
lim kΦ(a) · ωnQ − ρ(a) · ωnQ k = 0 = lim kωnQ · Φ(a) − ωnQ · ρ(a)k
n

n

for all a ∈ pQp.

28

(5.1)

s
∗
To prove the third property in step 3, fix a partial isometry v ∈ NpM
p (pAp) and write s = v v.
′′
Take u ∈ NeM e (A) such that v = us. Define Q = (A ∪ {u}) . By step 1 of the proof, pQp is
Φ-amenable. By construction v ∈ pQp. By (5.1),

lim kΦ(v ∗ ) · ωnQ · Φ(v) − ρ(v ∗ ) · ωnQ · ρ(v)k = 0 .
n

Restricting these positive functionals to q1 N q1 , we find the third property in step 3.
Notations. Choose a standard Hilbert space H for the von Neumann algebra N , which comes
with the normal ∗-homomorphism πl : N → B(H), the normal ∗-antihomomorphism πr : N →
B(H) and the positive cone H+ ⊂ H. For every u ∈ NeM e (A), define the automorphism βu of
N implemented by right multiplication with u∗ on L2 (M e) ⊗ L2 (G) and denote by Wu ∈ U (H)
its canonical implementation.
Denote by EZ : pAp → Z(A)p the unique trace preserving conditional expectation (i.e. the
center valued trace of pAp). For every projection s ∈ pAp, denote by zs ∈ Z(A)p its central
support, which equals the support projection of EZ (s). Denote by P0 ⊂ P(pAp) the set of
projections s ∈ pAp for which there exists a δ > 0 such that EZ (s) ≥ δzs . We then denote
Ds = (EZ (s))1/2 and we denote by Ds−1 the (bounded) inverse of Ds in Z(A)zs . As in [BHV15,
Section 3] and using [BHV15, Lemma 3.9], we can choose a sequence ai ∈ pAp such that
∞
X

ai a∗i = Ds zs

and

∞
X

a∗i ai = Ds−1 s .

i=0

i=0

We make once and for all a choice of ai for each s ∈ P0 . We also define
T (s) =

∞
X

Φ(ai )ρ(a∗i ) ∈ q1 N q1 .

i=0

Note that the series defining T (s) is strongly convergent, so that T (s) is a well defined element
of q1 N q1 .
s
∗
∗
For every partial isometry v ∈ NpM
p (pAp) with s = v v and t = vv , we denote by Wv :
πl (ρ(s))πr (ρ(s))H → πl (ρ(t))πr (ρ(t))H the canonical unitary implementation of the ∗-isomorphism βv : ρ(s)N ρ(s) → ρ(t)N ρ(t).

Step 4. The canonical implementation ξn ∈ πl (q1 )πr (q1 )H of ωn satisfies the following properties.
1. limn hπl (Φ(x))ξn , ξn i = Tr(pxp) = limn hπr (Φ(x))ξn , ξn i for all x ∈ M ,
2. limn kπl (Φ(a))ξn − πr (ρ(a))ξn k = 0 for all a ∈ U (pAp),
s
∗
∗
3. Whenever v ∈ NpM
p (pAp) is a partial isometry such that s = v v and t = vv belong to P0 ,
we have
lim kπl (Φ(v))ξn − πr (T (s)∗ ) πr (Φ(v)) Wv∗ πr (T (t)) ξn k = 0 .
(5.2)
n

The first two properties follow immediately from the first two properties of ωn in step 3. To also
deduce the third property from step 3, one can literally apply the proof of [BHV15, Proposition
3.6].
Notations and formulation of the dichotomy. As in the proof of Theorem F, the coaction
Ψ : N → N ⊗ L(G) given by Ψ = id ⊗ ∆ has a canonical implementation on the standard
Hilbert space H given by a nondegenerate ∗-homomorphism π : C0 (G) → B(H). We again
distinguish two cases.

29

• Case 1. For every F ∈ C0 (G), we have that lim supn kπ(F )ξn k = 0.
• Case 2. There exists an F ∈ C0 (G) with lim supn kπ(F )ξn k > 0.
s
′′
We prove that in case 1, the von Neumann subalgebra NpM
p (pAp) ⊂ pM p is Φ-amenable and
that in case 2, the von Neumann subalgebra pAp ⊂ pM p can be Φ-embedded.

The proof in case 2 is identical to the proof of case 2 in Theorem F, because that part of the
proof only relies on the first two properties of the net ξn in step 4. So from now on, assume
that we are in case 1. Choose a positive functional Ω on B(H) as a weak∗ limit point of the
net of vector functionals T 7→ hT ξn , ξn i.
Denote G = NeM e (A). The group G acts on N by the automorphisms βu , u ∈ G. We also
consider the diagonal action of G on N ⊗alg N op and denote by D the algebraic crossed product
D = (N ⊗alg N op ) ⋊alg G. As a vector space, D = N ⊗alg N op ⊗alg CG and the product and
∗-operation on D are given by
(x1 ⊗ y1op ⊗ u1 ) (x2 ⊗ y2op ⊗ u2 ) = x1 βu1 (x2 ) ⊗ (βu1 (y2 )y1 )op ⊗ u1 u2
(x ⊗ y

op

∗

∗

∗

op

⊗ u) = βu∗ (x ) ⊗ (βu∗ (y ))

and

∗

⊗u .

We define the ∗-representations
Θ : D → B(H) : Θ(x ⊗ y op ⊗ u) = πl (x) πr (y) Wu ,
Θ1 : D → B(H) ⊗ L(G) : Θ1 (x ⊗ y op ⊗ u) = (πl ⊗ id)Ψ(x) (πr (y) Wu ⊗ 1) .
Define the ∗-subalgebras Ni of N given by
N1 = span Φ(M )ρ(A) ,
N2 = [N1 ] ,
n
N3 = x ∈ N

there exist sequences xi ∈ M and ai ∈ A such that
X
X
X
X
all
x∗i xi ,
xi x∗i ,
a∗i ai and
ai a∗i are bounded
i

and x =

X

i

i

Φ(xi )ρ(ai )

i

o

i

.

Each Ni is globally invariant under the automorphisms βu , u ∈ G, and so we have the ∗subalgebras Di ⊂ D defined as Di = (Ni ⊗alg Niop ) ⋊alg G. Note that N1 ⊂ N3 , but that the
inclusion N2 ⊂ N3 need not hold.
Denote C = Tr(p) = kΩk. We claim that
|Ω(Θ(x))| ≤ C kΘ1 (x)k

for all x ∈ D3 .

(5.3)

To prove (5.3), first note that in exactly the same way as we proved (2.15), we get that (5.3)
holds for all x ∈ D1 and thus also for all x ∈ D2 by norm continuity.
P
Whenever xi ∈ M and ai ∈ A are sequences as in the definition of N3 and x = i Φ(xi )ρ(ai ),
we can choose a sequence of projections
pn ∈ pM p such that pn → p strongly and such that
P
∗
for each fixed n, the series pn i xi xi pn is norm convergent. This means that for each n, we
have that Φ(pn )x ∈ N2 .
Fix x ∈ D3 . Since the automorphisms βu act as the identity on Φ(M ), it follows that we can
find a sequence of projections pn ∈ pM p such that pn → p strongly and such that
xn = (Φ(pn ) ⊗ 1 ⊗ 1) x (1 ⊗ Φ(pn )op ⊗ 1) ∈ D2

30

for all n.
Since Ω(πl (Φ(x))) = Tr(pxp) for all x ∈ M , we get that
Ω = Ω · πl (p)

and

lim kΩ − Ω · πl (Φ(pn )k = 0 .
n

A similar result holds for πr and thus,
lim kΩ − πr (Φ(pn )) · Ω · πl (Φ(pn ))k = 0 .
n

This implies that Ω(Θ(x)) = limn Ω(Θ(xn )). Since xn ∈ D2 , we know that
|Ω(Θ(xn ))| ≤ C kΘ1 (xn )k ≤ C kΘ1 (x)k
for all n. So, (5.3) follows.
By (5.3), we can define the continuous functional Ω1 on the C∗ -algebra [Θ1 (D3 )] satisfying
Ω1 (Θ1 (x)) = Ω(Θ(x)) for all x ∈ D3 . It follows that Ω1 (Θ1 (x)∗ Θ1 (x)) ≥ 0 for all x ∈ D3 and
thus, Ω1 is positive. Extend Ω1 to a bounded functional on B(H ⊗ L2 (G)) without increasing
its norm. In particular, Ω1 remains a positive functional.
s
∗
∗
Let v ∈ NpM
p (pAp) be a partial isometry such that s = v v and t = vv belong to P0 . Using
the same notation as in step 4, we define the operator Y (v) ∈ B(H) given by

Y (v) = πr (T (s)∗ ) πr (Φ(v)) Wv∗ πr (T (t)) .
Note that Y (v) commutes with πl (Φ(M )). Also note that Y (v)∗ = Y (v ∗ ). Take u ∈ NeM e (A)
such that v = us. Since Wv = Wu πl (ρ(s)) πr (ρ(s)), we define the element y(v) ∈ D3 given by
y(v) = (ρ(s) ⊗ (ρ(s)Φ(v)T (s)∗ )op ⊗ 1) (1 ⊗ 1 ⊗ u∗ ) (1 ⊗ T (t)op ⊗ 1)
and note that Θ(y(v)) = Y (v) and Θ1 (y(v)) = Y (v) ⊗ 1.
p
p
For every T ∈ B(H), write kT kΩ = Ω(T ∗ T ). Similarly define kT kΩ1 = Ω1 (T ∗ T ) for all
T ∈ B(H ⊗ L2 (G)). Applying (5.2) for v and v ∗ , and using that Y (v ∗ ) = Y (v)∗ , we find that
kΘ(Φ(v) ⊗ 1 ⊗ 1 − y(v))kΩ = kπl (Φ(v)) − Y (v)kΩ = 0 and
kΘ(Φ(v ∗ ) ⊗ 1 ⊗ 1 − y(v)∗ )kΩ = kπl (Φ(v ∗ )) − Y (v)∗ kΩ = 0 .
Then also
k(πl ◦ Φ ⊗ id)(Φ(v)) − Y (v) ⊗ 1kΩ1 = kΘ1 (Φ(v) ⊗ 1 ⊗ 1 − y(v))kΩ1
= kΘ(Φ(v) ⊗ 1 ⊗ 1 − y(v))kΩ = 0 ,
∗

∗

k(πl ◦ Φ ⊗ id)(Φ(v )) − Y (v) ⊗ 1kΩ1 = kΘ1 (Φ(v ∗ ) ⊗ 1 ⊗ 1 − y(v)∗ )kΩ1

(5.4)

= kΘ(Φ(v ∗ ) ⊗ 1 ⊗ 1 − y(v)∗ )kΩ = 0 .
Define the positive functional Ω2 on q(M ⊗ B(L2 (G)))q given by Ω2 = Ω1 ◦ (πl ◦ Φ ⊗ id).
Since Y (v) ⊗ 1 commutes with πl (Φ(M )) ⊗ B(L2 (G)), it follows from (5.4) that Ω2 (Φ(v)T ) =
s
∗
∗
Ω2 (T Φ(v)) for every partial isometry v ∈ NpM
p (pAp) with v v and vv belonging to P0 . We
also have that Ω2 (Φ(x)) = Tr(x) for all x ∈ pM p. Since the linear span of all such partial
s
′′
isometries v is k · k2 -dense in P = NpM
p (pAp) , it follows that Ω2 is Φ(P )-central. So we have
proved that P is Φ-amenable. This concludes the proof of Theorem G.

31

6

Stable strong solidity; proof of Theorem C

The following is an immediate consequence of Ozawa’s solidity theorem [Oz03].
Proposition 6.1. Let G be a locally compact group with property (S). Assume that Cr∗ (G) is
an exact C∗ -algebra. Then M = L(G) is solid in the sense that for every diffuse von Neumann
subalgebra A ⊂ M that is the range of a normal conditional expectation, A′ ∩ M is injective.
Proof. By the type III version of Ozawa’s theorem [Oz03], as proved in [VV05, Theorem 2.5],
it suffices to prove the Akemann-Ostrand property, meaning that the ∗-homomorphism
θ : Cr∗ (G) ⊗alg Cr∗ (G) →

B(L2 (G))
: θ(a ⊗ b) = λ(a)ρ(b) + K(L2 (G))
K(L2 (G))

is continuous on the spatial tensor product Cr∗ (G) ⊗min Cr∗ (G).
As in the proof of (2.7), property (S) gives rise to an isometry Z0 that is an adjointable operator
from C0 (G) to C0 (G) ⊗min L2 (G) with the property that
Z0 λ(a) − (λ ⊗ λ)∆(a)Z0

and

Z0 ρ(b) − (ρ(b) ⊗ 1)Z0

belong to K(L2 (G)) ⊗min L2 (G)

for all a, b ∈ Cr∗ (G). The standard representation of Cr∗ (G) ⊗min Cr∗ (G) on L2 (G) ⊗ L2 (G) is
unitarily conjugate to the representation
θ1 : Cr∗ (G) ⊗min Cr∗ (G) → B(L2 (G) ⊗ L2 (G)) : θ1 (a ⊗ b) = (λ ⊗ λ)∆(a) (ρ(b) ⊗ 1) .
Since θ(a⊗ b) = Z0∗ θ1 (a⊗ b)Z0 + K(L2 (G)) for all a, b ∈ Cr∗ (G), the Akemann-Ostrand property
indeed holds.
For the proof of Theorem C, we need the following lemma.
Lemma 6.2. Let M be a diffuse σ-finite von Neumann algebra and pn ∈ M a sequence of
projections such that pn → 1 strongly. Then M is stably strongly solid if and only if pn M pn is
stably strongly solid for every n.
Proof. Write H = ℓ2 (N) and denote by zn ∈ Z(M ) the central support of pn . Since M is
σ-finite, we have B(H) ⊗ pn M pn ∼
= B(H) ⊗ M zn . By [BHV15, Corollary 5.2], we get that
pn M pn is stably strongly solid if and only if M zn is stably strongly solid. Since every diffuse
von Neumann algebra admits a diffuse amenable (even abelian) von Neumann subalgebra with
expectation, it is easy to check that M is stably strongly solid if and only if M zn is stably
strongly solid for each n.
Proof of Theorem C. First assume that G is unimodular. Fix a Haar measure on G and denote
by Tr the associated faithful normal semifinite trace on M = L(G). Fix a projection p ∈ L(G)
with Tr(p) < ∞. Assume that G is weakly amenable and has property (S). We have to prove
that pM p is strongly solid. So fix a diffuse amenable von Neumann subalgebra A ⊂ pM p. We
have to prove that NpM p (A)′′ is amenable.
Denote by ∆ : L(G) → L(G) ⊗ L(G) : ∆(λg ) = λg ⊗ λg the comultiplication. View ∆ as a
coaction on M , so that we can apply Theorem F. Since A is amenable, we certainly have that
A is ∆-amenable. We next prove that A cannot be ∆-embedded.
Fix a net an ∈ U (A) such that an → 0 weakly. For every ξ, η ∈ L2 (G), denote by ωξ,η ∈ L(G)∗
the vector functional given by ωξ,η (λg ) = hλg ξ, ηi. Also denote by mξ,η : L(G) → L(G) : mξ,η =
(id ⊗ ωξ,η ) ◦ ∆ the associated normal completely bounded map. We claim that
mξ,η (an ) → 0

strongly, for all ξ, η ∈ L2 (G).

32

(6.1)

Fix ξ, η ∈ L2 (G) and fix µ ∈ L2 (G). To prove (6.1), we must prove that kmξ,η (an )µk → 0.
Denote by V ∈ L∞ (G) ⊗ L(G) the unitary given by V (g) = λg for all g ∈ G. For every
a ∈ L(G), we have
mξ,η (a)µ = (id ⊗ ωξ,η )(∆(a))µ = (ωξ,η ⊗ id)(∆(a))µ
= (ωξ,η ⊗ id)(V (a ⊗ 1)V ∗ )µ = (η ∗ ⊗ 1)V (a ⊗ 1)V ∗ (ξ ⊗ µ) .
Approximating V ∗ (ξ ⊗ µ) ∈ L2 (G) ⊗ L2 (G) by linear combinations of vectors ξ0 ⊗ µ0 , it suffices
to prove that
lim k(η ∗ ⊗ 1)V (an ⊗ 1)(ξ0 ⊗ µ0 )k = 0 for all η, ξ0 , µ0 ∈ L2 (G).
n

Since the operator (η ∗ ⊗ 1)V (1 ⊗ µ0 ) belongs to K(L2 (G)), this last statement indeed holds
and the claim in (6.1) is proved.
For all µ1 , µ2 ∈ L2 (M p) and for all ξ, η ∈ L2 (G), we have
h∆(an ) (µ1 ⊗ ξ) a∗n , µ2 ⊗ ηi = hmξ,η (an )µ1 , µ2 an i .
So, (6.1) implies that
limh∆(an ) · ξ · a∗n , ξi = 0 for all ξ ∈ L2 (M p) ⊗ L2 (G).
n

So there is no nonzero vector ξ ∈ L2 (M p) ⊗ L2 (G) satisfying ∆(a)ξ = ξa for all a ∈ A, meaning
that A cannot be ∆-embedded.
Write P = NpM p (A)′′ . By Theorem F, P is ∆-amenable. Since the P -M -bimodule
∆(P )∆(p)(L

2

(M ) ⊗ L2 (G))M

is contained in a multiple of the coarse P -M -bimodule, it follows that P is amenable. So we
have proved that pM p is strongly solid.
Next assume that G is a locally compact second countable group with CMAP and property (S)
such that the kernel G0 of the modular function δ : G → R+ is an open subgroup of G. Fix
a left Haar measure on G and denote by ϕ the associated faithful normal semifinite weight on
M = L(G). Denote by σ ϕ its modular automorphism group, given by
σtϕ (λg ) = δ(g)it λg

for all g ∈ G, t ∈ R.

So, L(G0 ) lies in the centralizer L(G)ϕ and since G0 ⊂ G is an open subgroup, the restriction
of ϕ to L(G0 ) is semifinite. By Lemma 6.2, it is sufficient to prove that pL(G)p is stably
strongly solid for each nonzero projection p ∈ L(G0 ) with ϕ(p) < ∞. Fix such a projection
p and let A ⊂ pM p be a diffuse amenable von Neumann subalgebra with expectation. Write
s
′′
P = NpM
p (A) . We have to prove that P is amenable.
Denote H = ℓ2 (N) and define M1 = B(H) ⊗ M . Write A0 = B(H) ⊗ A and p1 = 1 ⊗ p. By
[BHV15, Lemma 3.4], we have to prove that Np1 M1 p1 (A0 )′′ is amenable. Since G has CMAP,
certainly G is exact (see e.g. [BCL16, Corollary E]) and Proposition 6.1 implies that A′ ∩ pM p
is amenable. So, A1 := A0 ∨ (A′0 ∩ p1 M1 p1 ) is amenable. Since Np1 M1 p1 (A0 )′′ ⊂ Np1 M1 p1 (A1 )′′
and since this is an inclusion with expectation, it suffices to show that P1 := Np1 M1 p1 (A1 )′′ is
amenable.
Let e ∈ B(H) be a minimal projection and choose a faithful normal state η on B(H) such
that e belongs to the centralizer of η. Also choose a faithful normal state ψ on pM p such that

33

σtψ (A) = A for all t ∈ R. Note that η ⊗ ψ is a faithful normal state on p1 M1 p1 . Then A1 and P1
are globally invariant under σ η⊗ψ and we obtain the canonical inclusions of continuous cores
cη⊗ψ (A1 ) ⊂ cη⊗ψ (P1 ) ⊂ cη⊗ψ (p1 M1 p1 ) .
Since A′1 ∩ p1 M1 p1 = Z(A1 ), it follows from [BHV15, Lemma 4.1] that cη⊗ψ (P1 ) is contained
in the normalizer of cη⊗ψ (A1 ). By Takesaki’s duality theorem [Ta03, Theorem X.2.3], P1 is
amenable if and only if its continuous core is amenable. So, it suffices to prove that the
normalizer of cη⊗ψ (A1 ) is amenable. Now we can cut down again with the projection e ⊗ 1 and
conclude that it is sufficient to prove the following result: for any diffuse amenable B ⊂ pM p
with expectation and for every faithful normal state ψ on pM p with σtψ (B) = B for all t ∈ R,
the canonical subalgebra cψ (B) of cψ (pM p) has an amenable stable normalizer.
Whenever p′ ∈ M ϕ is a projection with p′ ≥ p and ϕ(p′ ) < ∞, we can realize the continuous
core of p′ M p′ as πϕ (p′ )Mπϕ (p′ ) where M = cϕ (M ). Let
Π : cψ (pM p) → πϕ (p)Mπϕ (p)
be the canonical trace preserving isomorphism. Let pn ∈ Lψ (R) be a sequence of projections having finite trace and converging to 1 strongly. Since B is diffuse and using Popa’s
intertwining-by-bimodules [Po03, Section 2], it follows from [HU15, Lemma 2.5] that
6≺

Π(pn cψ (B)pn )

Lϕ (R)πϕ (p′ )

(6.2)

πϕ (p′ )Mπϕ (p′ )

for all n and all projections p′ ∈ M ϕ with p′ ≥ p and ϕ(p′ ) < ∞. Denote by P the set of these
projections p′ and define the ∗-algebra
[
M0 :=
πϕ (p′ )Mπϕ (p′ ) .
p′ ∈P

There is a unique linear map E : M0 → Lϕ (R) such that for every p′ ∈ P, the restriction of
E to πϕ (p′ )Mπϕ (p′ ) is normal and given by E(πϕ (x)λϕ (t)) = ϕ(x)λϕ (t) for all x ∈ p′ M p′ and
t ∈ R. Note that this restriction of E can be viewed as ϕ(p′ ) times the unique trace preserving
conditional expectation of πϕ (p′ )Mπϕ (p′ ) onto Lϕ (R)p′ .
Combining (6.2) and [HI15, Theorem 4.3], in order to prove that cψ (B) has an amenable
stable normalizer inside cψ (pM p), it is sufficient to prove the following statement: whenever
q ∈ πϕ (p)Mπϕ (p) is a projection of finite trace and A ⊂ qMq is a von Neumann subalgebra
that admits a net of unitaries an ∈ U (A) satisfying
E(x∗ an y) → 0

strongly, for all x, y ∈ M0 ,

(6.3)

then the stable normalizer of A inside qMq is amenable. Fix such a von Neumann subalgebra
A ⊂ qMq and fix a net of unitaries an ∈ U (A) satisfying (6.3).
Since ∆ ◦ σtϕ = (σtϕ ⊗ id) ◦ ∆ for all t ∈ R, there is a well defined coaction given by
Φ : M → M ⊗ L(G) : Φ(πϕ (x)λϕ (t)) = (πϕ ⊗ id)(∆(x)) (λϕ (t) ⊗ 1)
for all x ∈ M , t ∈ R.
The M-bimodule Φ(M)(L2 (M) ⊗ L2 (G))M ⊗ 1 is isomorphic with L2 (M) ⊗Lϕ (R) L2 (M) and
thus weakly contained in the coarse M-bimodule. Using Theorem G, it only remains to prove
that (6.3) implies that A cannot be Φ-embedded.

34

We deduce that A cannot be Φ-embedded from the following approximation result: for all
a ∈ Cr∗ (G0 ), ω ∈ L(G)+
∗ and ε > 0, there exist n ∈ N, elements aj , xj ∈ L(G) and scalars
δj > 0 for j ∈ {1, . . . , n} such that
σtϕ (aj ) = δjit aj

and

σtϕ (xj ) = δj−it xj

(6.4)

for all j ∈ {1, . . . , n} and all t ∈ R, and such that the map
Ψ : M → M : Ψ(x) =

n
X

j,k=1


πϕ (x∗j ) E πϕ (paj )∗ xπϕ (pak ) πϕ (xk )

(6.5)

is normal and completely bounded, and satisfies

(id ⊗ ω)Φ πϕ (pa)∗ · πϕ (pa) − Ψ

cb

<ε.

(6.6)

Already note that (6.4) implies that the right support of paj belongs to P, so that πϕ (paj ) ∈ M0
and the map Ψ is well defined and normal.
Assuming that such an approximation exists, we already deduce that A cannot be Φ-embedded.
It suffices to prove that
limhΦ(an )(µ ⊗ ξ), µan ⊗ ξi = 0 for all µ ∈ L2 (M) and ξ ∈ L2 (G),
n

because then also limn hΦ(an )η(a∗n ⊗ 1), ηi = 0 for all η ∈ L2 (Mq) ⊗ L2 (G), excluding the
existence of a nonzero vector η ∈ L2 (Mq) ⊗ L2 (G) satisfying Φ(a)η = η(a ⊗ 1) for all a ∈ A.
Since µ ⊗ ξ can be approximated by vectors of the form Φ(πϕ (a))(µ ⊗ ξ) with a ∈ Cr∗ (G0 ), it
suffices to prove that
limhΦ(πϕ (a)∗ an πϕ (a))(µ ⊗ ξ), µan ⊗ ξi = 0 for all a ∈ Cr∗ (G0 ), µ ∈ L2 (M) and ξ ∈ L2 (G).
n

Denoting by ω ∈ L(G)+
∗ the vector functional implemented by ξ, it is sufficient to prove that
(id ⊗ ω)(Φ(πϕ (a)∗ an πϕ (a))) → 0 strongly, for all a ∈ Cr∗ (G0 ), ω ∈ L(G)+
∗.
But this follows by the approximation in (6.6) and because (6.3) implies that Ψ(an ) → 0
strongly.
Fixing a ∈ Cr∗ (G0 ), ω ∈ L(G)+
∗ and ε > 0, it remains to find the approximation (6.6).
First take ξ ∈ Cc (G) such that the vector functional ωξ satisfies kω − ωξ k < (1/3) ε kak−2 . It
follows that, as maps on M = L(G),


(id ⊗ ω)∆ a∗ p · pa − (id ⊗ ωξ )∆ a∗ p · pa

cb

<

ε
.
3

(6.7)

Fix F ∈ Cc (G) with 0 ≤ F ≤ 1 and ξ = F ξ. For every x ∈ M and using the unitary
V ∈ L∞ (G) ⊗ L(G) as in the first part of the proof, we have


(id ⊗ ωξ )∆ a∗ p x pa = (ωξ ⊗ id)∆ a∗ p x pa
= (ξ ∗ ⊗ 1)V (a∗ pxpa ⊗ 1)V ∗ (ξ ⊗ 1)

= (ξ ∗ ⊗ 1)V (F a∗ pxp aF ⊗ 1)V ∗ (ξ ⊗ 1) .

Since a ∈ Cr∗ (G0 ) ⊂ Cr∗ (G) and F ∈ Cc (G), we get that aF is a compact operator on L2 (G)
that commutes with the modular function (viewed as a multiplication operator).

35

So we can approximate aF by a finite rank operator T of the form
T =

n
X

µj ξj∗

j=1

where ξj , µj ∈ Cc (G) and δξj = δj ξj , δµj = δj µj , and such that kT k ≤ kaF k ≤ kak and
kaF − T k ≤

ε
.
3 kak kξk2

Defining
m : M → M : m(x) = (id ⊗ ω)(∆(a∗ pxp a)) ,
m1 : M → M : m1 (x) = (ξ ∗ ⊗ 1)V (T ∗ pxp T ⊗ 1)V ∗ (ξ ⊗ 1) ,
we get that km − m1 kcb < ε.
Defining
aj =
we get that

Z

µj (g) λg dg
G

m1 (x) =

and xj = (ωξ,ξj ⊗ id)(V ∗ ) ,

n
X

ϕ(a∗j pxp ak )x∗j xk .

j,k=1

Both m and m1 commute with the modular automorphism group σ ϕ and thus canonically
extend to M = cϕ (M ) by acting as the identity on Lϕ (R). The canonical extension of m
equals

(id ⊗ ω)Φ πϕ (pa)∗ · πϕ (pa) ,

while the canonical extension of m1 equals the map Ψ given by (6.5). Since km − m1 kcb < ε,
also (6.6) holds and the theorem is proved.

7

Locally compact groups with property (S)

Recall that a compactly generated locally compact group G is said to be hyperbolic if the Cayley
graph of G with respect to a compact generating set K ⊂ G satisfying K = K −1 is Gromov
hyperbolic, in the sense that the metric d on G defined by
(
0
if g = h,
d(g, h) =
−1
n
min{n ∈ N | h g ∈ K }
if g 6= h,
turns G into a Gromov hyperbolic metric space. When G is non discrete, this Cayley graph is
not locally finite and often the action of G on its Cayley graph is not continuous.
By [CCMT12, Corollary 2.6], a locally compact group G is hyperbolic if and only if G admits a
proper, continuous, cocompact, isometric action on a proper geodesic hyperbolic metric space.
Combining several results from the literature, we have the following list of locally compact
groups that are weakly amenable and have property (S). In the formulation of the proposition,
graphs are assumed to be simple, non oriented and connected. We always equip their vertex
set with the graph metric. A hyperbolic graph is a simple, non oriented, connected graph such
that the underlying metric space is Gromov hyperbolic.

36

Proposition 7.1. Let G be a locally compact group. If one of the following conditions holds,
then G has the complete metric approximation property and property (S).
1. G is σ-compact and amenable.
2. ([Ha78, Sz91, Oz03]) G admits a continuous action on a (not necessarily locally finite) tree
that is metrically proper in the sense that for every vertex x, we have that d(x, g · x) → ∞
when g tends to infinity in G.
If one of the following conditions holds, then G is weakly amenable and has property (S).
3. G is compactly generated and hyperbolic.
4. ([Oz03, Oz07]) G admits a continuous proper action on a hyperbolic graph with uniformly
bounded degree.
5. ([CH88, Sk88]) G is a real rank one, connected, simple Lie group with finite center.
Proof. 1. Since G is amenable, a fortiori G has CMAP. Since G is σ-compact, we can fix an
increasing sequence of compact subsets Kn ⊂ G such that the interiors int(Kn ) cover G. We
make this choice such that K0 = ∅, Kn = Kn−1 , Kn ⊂ int(Kn+1 ) and Kn Kn Kn ⊂ Kn+1 for
all n. Since G is amenable, we can choose ηn ∈ S(G) such that kg · ηn − ηn k1 ≤ 2−n for all
n ≥ 0 and all g ∈ Kn . Choose continuous functions Fn : G → [0, 1] such that Fn (g) = 0 for all
g ∈ Kn−1 and Fn (g) = 1 for all g ∈ G \ Kn . By convention, F0 (g) = 1 for all g ∈ G.
Define the continuous function
µ : G → L1 (G)+ : µ(g) =

∞
X

Fn (g)ηn .

n=0

Note that n ≤ kµ(g)k1 ≤ n + 1 whenever n ≥ 1 and g ∈ Kn \ Kn−1 . Define η : G → S(G) :
η(g) = kµ(g)k−1
1 µ(g).
Choose ε > 0 and K ⊂ G compact. Take n0 such that K ⊂ Kn0 . Then take n1 > n0 such that
2(2n0 + 6)/n1 < ε. Fix g, k ∈ K and h ∈ G \ Kn1 . We prove that kη(ghk) − g · η(h)k1 < ε. Once
this is proved, it follows that G has property (S). Take n ≥ n1 such that h ∈ Kn+1 \ Kn . Since
K −1 Kn−1 K −1 ⊂ Kn and KKn+1 K ⊂ Kn+2 , we have ghk ∈ Kn+2 \ Kn−1 . Define γ ∈ L1 (G)
given by
n
X
γ=
ηk .
k=0

By construction, kµ(h) − γk1 ≤ 1 and kµ(ghk) − γk1 ≤ 3. Also,
kg · γ − γk1 ≤ 2n0 +

n
X

kg · ηk − ηk k1 ≤ 2n0 +

k=n0

n
X

2−k ≤ 2(n0 + 1) .

k=n0

Altogether, it follows that kg · µ(h) − µ(ghk)k1 ≤ 2n0 + 6. Since kµ(h)k1 ≥ n1 , it follows that
kg · η(h) − η(ghk)k1 < ε.
2. Let G = (V, E) be a tree and G y G a continuous metrically proper action. By [BO08,
Corollary 12.3.4], the group G has CMAP. For all x, y ∈ V , denote by A(x, y) ⊂ V the
(unique) geodesic between x and y. Fix a base point x0 ∈ V . Define the continuous map
η : G → Prob(V ) by defining η(g) as the uniform probability measure on A(x0 , g · x0 ). For all
g, h, k ∈ G, the symmetric difference between A(x0 , ghk · x0 ) and g · A(x0 , h · x0 ) contains at

37

most d(x0 , g · x0 ) + d(x0 , k · x0 ) elements. Since the action G y G is metrically proper, we have
d(x0 , h · x0 ) → ∞ when h tends to infinity in G. It then follows that
lim kη(ghk) − g · η(h)k1 = 0

h→∞

uniformly on compact sets of g, k ∈ G.

Since the action G y V has compact open stabilizers, there exists a G-equivariant isometric
map Prob(V ) → S(G). Composing η with this map, it follows that G has property (S).
3. By [CCMT12, Corollary 2.6], G admits a proper, continuous, cocompact, isometric action
on a proper geodesic hyperbolic metric space. By [MMS03, Theorem 21 and Proposition 8], G
satisfies at least one of the following three structural properties: G is amenable, or G admits
a proper action on a hyperbolic graph with uniformly bounded degree, or G admits closed
subgroups K < G0 < G such that G0 is of finite index and open in G, K is a compact normal
subgroup of G0 and G0 /K is a real rank one, connected, simple Lie group with finite center.
Since we already proved 1, to complete the proof of 3, it suffices to prove 4 and 5 and apply
Lemma 7.2 below.
4. Let G = (V, E) be a hyperbolic graph with uniformly bounded degree. Let G y G be a
continuous proper action. By [Oz07, Theorem 1], the group G is weakly amenable. The proof
of property (S) is almost identical to the proof of [Ka02, Theorem 1.33] and especially the
version in [BO08, Theorem 5.3.15]. For completeness, we provide the details here.
We use the following ad hoc terminology. Assume that [x′ , y ′ ] ⊂ V is a geodesic. If d(x′ , y ′ )
is even, we call “mid point of [x′ , y ′ ]” the unique point z ∈ [x′ , y ′ ] with d(x′ , z) = d(z, y ′ ) =
d(x′ , y ′ )/2. If d(x′ , y ′ ) is odd, we declare two points of [x′ , y ′ ] to be the “mid points of [x′ , y ′ ]”,
namely the two points z ∈ [x′ , y ′ ] with d(x′ , z) = (d(x′ , y ′ ) ± 1)/2 and thus d(z, y ′ ) = (d(x′ , y ′ ) ∓
1)/2. For all x, y ∈ V and k ∈ N, define the nonempty subset A(x, y, k) ⊂ V given by

A(x, y, k) = z ∈ V there exists a geodesic [x′ , y ′ ] ⊂ V with d(x, x′ ) ≤ k and d(y, y ′ ) ≤ k
such that z is one of the mid points of [x′ , y ′ ]

.

Note that A(x, y, k) = A(y, x, k) and A(g · x, g · y, k) = g · A(x, y, k) for all x, y ∈ V , k ∈ N and
g ∈ G.
Take δ > 0 such that every geodesic triangle in G is δ-thin (see [BO08, Definition 5.3.3]). Define
B = sup |{y ∈ V | d(y, x) ≤ 2δ}| .
x∈V

Since G has uniformly bounded degree, we have that B < ∞. We claim that for all x, y ∈ V
with d(x, y) ≥ 4k, we have
|A(x, y, k)| ≤ 2(k + 1)B .
(7.1)
To prove this claim, fix a geodesic [x, y] between x and y and denote by [a, b] ⊂ [x, y] the unique
segment determined by
d(x, a) = ⌊d(x, y)/2⌋ − k

and d(x, b) = ⌈d(x, y)/2⌉ + k .

Note that [a, b] contains at most 2(k + 1) vertices. To prove the claim, it thus suffices to show
that every z ∈ A(x, y, k) lies at distance at most 2δ from a vertex on [a, b].
Choose a geodesic [x′ , y ′ ] ⊂ V with d(x, x′ ) ≤ k and d(y, y ′ ) ≤ k. Let z be one of the mid
points of [x′ , y ′ ]. Since d(x, y) ≥ 4k, the geodesic picture of the five points x, x′ , y, y ′ , z in a tree

38

would look as the following picture on the left.
x
x

y
x0

z

c

y0

e

z

y′

x′

y

y′

x′

In our comparison tree, some of the “small” segments [x, x0 ], [x′ , x0 ], [y, y0 ], [y ′ , y0 ] could be
reduced to a single point, but the “large” segment [x0 , y0 ] has length at least 2k. Therefore,
in the comparison tree, the mid point z of [x′ , y ′ ] lies on the segment [x0 , y0 ]. We now turn
back to segments in the hyperbolic graph G, as in the picture on the right. Denote by c ∈ [x, y]
the unique point with d(x, c) = d(x′ , z). By construction, c ∈ [a, b]. To conclude the proof of
(7.1), we show that d(c, z) ≤ 2δ. Choose a geodesic [x, y ′ ] and denote by e ∈ [x, y ′ ] the unique
point with d(x, e) = d(x′ , z). Applying δ-thinness to the geodesic triangle x, x′ , y ′ , we find that
d(z, e) ≤ δ. Then applying δ-thinness to the geodesic triangle x, y, y ′ , we get that d(e, c) ≤ δ.
So, d(z, c) ≤ 2δ and the claim in (7.1) is proven.
Given a finite subset A ⊂ V , denote by p(A) the uniform probability measure on A. Exactly
as in the proof of [BO08, Theorem 5.3.15], define the sequence of maps
ηn : V × V → Prob(V ) : ηn (x, y) =

2n
1 X
p(A(x, y, k)) .
n
k=n+1

For finite sets A, B ⊂ V , we have
|A ∩ B|
1
kp(A) − p(B)k1 = 1 −
.
2
max{|A|, |B|}
When d(x, x′ ) ≤ d ≤ k, we have
A(x, y, k − d) ⊂ A(x′ , y, k) ⊂ A(x, y, k + d) .
Therefore, whenever d(x, x′ ) ≤ d ≤ k, we have
|A(x, y, k − d)|
1
kp(A(x, y, k)) − p(A(x′ , y, k))k1 ≤ 1 −
.
2
|A(x, y, k + d)|
So if d(x, x′ ) ≤ d ≤ n, we use the inequality between arithmetic and geometric mean and get
that
2n
1 X |A(x, y, k − d)|
1
′
kηn (x, y) − ηn (x , y)k1 ≤ 1 −
2
n
|A(x, y, k + d)|
k=n+1
!1/n
2n
Y
|A(x, y, k − d)|
≤1−
|A(x, y, k + d)|
k=n+1
!1/n
Qn+d
k=n−d+1 |A(x, y, k)|
= 1 − Q2n+d
.
k=2n−d+1 |A(x, y, k)|

Using (7.1), it follows that whenever d(x, x′ ) ≤ d ≤ n and d(x, y) ≥ 4(2n + d), we have
−2d/n
1
.
kηn (x, y) − ηn (x′ , y)k1 ≤ 1 − 2(2n + d + 1)B
2
39

So, for every ε > 0 and every d ∈ N, there exists an n such that
kηn (x, y) − ηn (x′ , y)k1 < ε
for all x, x′ , y ∈ V with d(x, x′ ) ≤ d and d(x, y) ≥ 4(2n + d).
The maps ηn are G-equivariant in the sense that
ηn (g · x, g · y) = g · ηn (x, y)

for all g ∈ G, x, y ∈ V ,

and the maps ηn are symmetric in the sense that ηn (x, y) = ηn (y, x) for all x, y ∈ V .
Passing to a subsequence, we find a sequence of G-equivariant symmetric maps ηn : V × V →
Prob(V ) and a strictly increasing sequence of integers dn ∈ N such that
kηn (x, y) − ηn (x′ , y)k1 ≤ 2−n
whenever x, x′ , y ∈ V , d(x, x′ ) ≤ n and d(x, y) ≥ dn . By convention, we take d0 = 0 and
η0 (x, y) = 12 (δx + δy ). Define the function ρ : N → N given by
ρ(n) = max{k ∈ N | dk ≤ n} .
Then ρ(0) = 0, ρ is increasing, ρ(n) → ∞ when n → ∞ and |ρ(n) − ρ(m)| ≤ |n − m| for all
n, m ∈ N. Using the trick in [BO08, Exercise 15.1.1], define the G-equivariant symmetric map
ρ(d(x,y))
1

+

µ : V × V → ℓ (V ) : µ(x, y) =

X

ηn (x, y) .

n=0

Note that kµ(x, y)k1 = 1 + ρ(d(x, y)). For all x, x′ , y ∈ V with ρ(d(x, y)) ≥ d(x, x′ ), we have
ρ(d(x,y))

kµ(x, y) − µ(x′ , y)k1 ≤ 2d(x, x′ ) + |ρ(d(x, y)) − ρ(d(x′ , y))| +

X

kηn (x, y) − ηn (x′ , y)k1

n=d(x,x′ )
ρ(d(x,y))
′

≤ 3d(x, x ) +

X

2−n ≤ 3d(x, x′ ) + 2 .

(7.2)

n=d(x,x′ )

Define the G-equivariant symmetric map
η : V × V → Prob(V ) : η(x, y) = kµ(x, y)k−1
1 µ(x, y) .
Since kµ(x, y)k1 = 1 + ρ(d(x, y)), it follows from (7.2) that
kη(x, y) − η(x′ , y)k1 ≤

2(3d(x, x′ ) + 2)
1 + ρ(d(x, y))

for all x, x′ , y ∈ V with ρ(d(x, y)) ≥ d(x, x′ ). This implies that for every n ∈ N, there exists a
κn ∈ N such that
1
kη(x, y) − η(x′ , y)k1 <
n
′
′
for all x, x , y ∈ V with d(x, x ) ≤ n and d(x, y) ≥ κn .
Fix a base point x0 ∈ V and define the continuous map γ : G → Prob(V ) = γ(g) = η(x0 , g · x0 ).
Since
γ(gh) = η(x0 , gh · x0 ) = g · η(g −1 · x0 , h · x0 ) and g · γ(h) = g · η(x0 , h · x0 ) ,

40

we find that limh→∞ kγ(gh) − g · γ(h)k1 = 0 uniformly on compact sets of g ∈ G. Since
γ(hk) = η(x0 , hk · x0 ) = η(hk · x0 , x0 ) = h · η(k · x0 , h−1 · x0 ) and γ(h) = h · η(x0 , h−1 · x0 ) ,
we find that
kγ(hk) − γ(h)k1 = kη(k · x0 , h−1 · x0 ) − η(x0 , h−1 · x0 )k1 ,
so that also limh→∞ kγ(hk) − γ(h)k1 = 0 uniformly on compact sets of k ∈ G.
As in the proof of 2, there exists a G-equivariant isometric map Prob(V ) → S(G), so that G
has property (S).
5. By [CH88], G is weakly amenable. By [Sk88, Proof of Théorème 4.4], G has property (S).
In the proof of Proposition 7.1, we used the following stability result for property (S). One can
actually prove that property (S) is stable under measure equivalence of locally compact groups,
but for our purposes, the following elementary lemma is sufficient.
Lemma 7.2. Let G be a locally compact group and K < G0 < G closed subgroups such that
K is compact and normal in G0 , and G0 is open and of finite index in G. If G0 /K has
property (S), then also G has property (S).
Proof. Since L1 (G0 /K) ⊂ L1 (G0 ), we have a G0 -equivariant map S(G0 /K) → S(G0 ). So,
property (S) for G0 /K implies property (S) for G0 . Write G as the disjoint union of G0 gi ,
i = 1, . . . , n. Define the continuous map π : G → G0 given by π(ggi ) = g for all g ∈ G0
and i ∈ {1, . . . , n}. View S(G0 ) ⊂ S(G). Given η0 : G0 → S(G0 ) as in the definition of
property (S), define the continuous map
n

1 X −1
gi · η0 (π(gi g)) .
η : G → S(G) : η(g) =
n
i=1

One checks that limh→∞ kη(ghk) − g · η(h)k1 = 0 uniformly on compact sets of g, k ∈ G. So, G
again has property (S).

References
[AD81]

C. Anantharaman-Delaroche, Action moyennable d’un groupe localement compact sur une
algèbre de von Neumann, II. Math. Scand. 50 (1982), 251-268.
[BS92]
S. Baaj and G. Skandalis, Unitaires multiplicatifs et dualité pour les produits croisés de
C∗ -algèbres. Ann. Sci. École Norm. Sup. (4) 26 (1993), 425-488.
[BSV02]
S. Baaj, G. Skandalis and S. Vaes, Non-semi-regular quantum groups coming from number
theory. Comm. Math. Phys. 235 (2003), 139-167.
[BHV15]
R. Boutonnet, C. Houdayer and S. Vaes, Strong solidity of free Araki-Woods factors. Amer.
J. Math., to appear. arXiv:1512.04820
[BCL16]
J. Brodzki, C. Cave and K. Li, Exactness of locally compact groups. Adv. Math. 312 (2017),
209-233.
[BO08]
N.P. Brown and N. Ozawa, C∗ -algebras and finite-dimensional approximations. Graduate
Studies in Mathematics 88. American Mathematical Society, Providence, 2008.
[CCMT12] P. Caprace, Y. de Cornulier, N. Monod and R. Tessera, Amenable hyperbolic groups. J.
Eur. Math. Soc. 17 (2015), 2903-2947.
[CS11]
I. Chifan and T. Sinclair, On the structural theory of II1 factors of negatively curved groups.
Ann. Sci. École Norm. Sup. 46 (2013), 1-34.
[Co79]
A. Connes, Sur la théorie non commutative de l’intégration. In Algèbres d’opérateurs, Lecture Notes in Mathematics 725, Springer, Berlin, 1979, pp. 19-143.

41

[CH88]
[Fo74]
[Fu98]
[Ha78]
[HI15]
[HR16]
[HU15]
[HV12]
[Io12]
[Ka02]
[KPV13]
[MMS03]
[MS04]
[Oz03]
[Oz04]
[Oz07]
[Oz10]
[OP07]
[Po01]
[Po03]
[Po06]

[PV08]

[PV11]
[PV12]
[Ra15]
[Sa09]
[Sk88]

M. Cowling and U. Haagerup, Completely bounded multipliers of the Fourier algebra of a
simple Lie group of real rank one. Invent. Math. 96 (1989), 507-549.
P. Forrest, On the virtual groups defined by ergodic actions of Rn and Zn . Adv. Math. 14
(1974), 271-308.
A. Furman, Orbit equivalence rigidity. Ann. of Math. 150 (1999), 1083-1108.
U. Haagerup, An example of a nonnuclear C∗ -algebra, which has the metric approximation
property. Invent. Math. 50 (1978/79), 279-293.
C. Houdayer and Y. Isono, Unique prime factorization and bicentralizer problem for a class
of type III factors. Adv. Math. 305 (2017), 402-455.
C. Houdayer and S. Raum, Locally compact groups acting on trees, the type I conjecture
and non-amenable von Neumann algebras. Preprint. arXiv:1610.00884
C. Houdayer and Y. Ueda, Asymptotic structure of free product von Neumann algebras.
Math. Proc. Cambridge Philos. Soc. 161 (2016), 489-516.
C. Houdayer and S. Vaes, Type III factors with unique Cartan decomposition. J. Math.
Pures Appl. 100 (2013), 564-590.
A. Ioana, Classification and rigidity for von Neumann algebras. In European Congress of
Mathematics, Kraków, 2012, Eur. Math. Soc., Zürich, 2013, pp. 601-625.
V.A. Kaimanovich, Boundary amenability of hyperbolic spaces. In Discrete geometric analysis, Contemp. Math. 347, Amer. Math. Soc., Providence, 2004, pp. 83-111.
D. Kyed, H.D. Petersen and S. Vaes, L2 -Betti numbers of locally compact groups and their
cross section equivalence relations. Trans. Amer. Math. Soc. 367 (2015), 4917-4956.
I. Mineyev, N. Monod and Y. Shalom, Ideal bicombings for hyperbolic groups and applications. Topology 43 (2004), 1319-1344.
N. Monod and Y. Shalom, Cocycle superrigidity and bounded cohomology for negatively
curved spaces. J. Differential Geom. 67 (2004), 395-455.
N. Ozawa, Solid von Neumann algebras. Acta Math. 192 (2004), 111-117.
N. Ozawa, A Kurosh-type theorem for type II1 factors. Int. Math. Res. Not. Art. ID 97560
(2006), 21 pp.
N. Ozawa, Weak amenability of hyperbolic groups. Groups Geom. Dyn. 2 (2008), 271-280.
N. Ozawa, Examples of groups which are not weakly amenable. Kyoto J. Math. 52 (2012),
333-344.
N. Ozawa and S. Popa, On a class of II1 factors with at most one Cartan subalgebra. Ann.
Math. 172 (2010), 713-749.
S. Popa, On a class of type II1 factors with Betti numbers invariants. Ann. of Math. 163
(2006), 809-899.
S. Popa, Strong rigidity of II1 factors arising from malleable actions of w-rigid groups, I.
Invent. Math. 165 (2006), 369-408.
S. Popa, Deformation and rigidity for group actions and von Neumann algebras. In Proceedings of the International Congress of Mathematicians (Madrid, 2006), Vol. I, European
Mathematical Society Publishing House, 2007, pp. 445-477.
S. Popa and S. Vaes, Cocycle and orbit superrigidity for lattices in SL(n, R) acting on
homogeneous spaces. In Geometry, rigidity, and group actions, Chicago Lectures in Math.,
Univ. Chicago Press, Chicago, 2011, pp. 419-451.
S. Popa and S. Vaes, Unique Cartan decomposition for II1 factors arising from arbitrary
actions of free groups. Acta Math. 212 (2014), 141-198.
S. Popa and S. Vaes, Unique Cartan decomposition for II1 factors arising from arbitrary
actions of hyperbolic groups. J. Reine Angew. Math. 694 (2014), 215-239.
S. Raum, C∗ -simplicity of locally compact Powers groups. To appear in J. Reine Angew.
Math. arXiv:1505.07793
H. Sako, Measure equivalence rigidity and bi-exactness of groups. J. Funct. Anal. 257
(2009), 3167-3202.
G. Skandalis, Une notion de nucléarité en K-théorie (d’après J. Cuntz). K-Theory 1 (1988),
549-573.

42

[Sz91]
[Ta03]
[Va00]
[Va10a]

[Va10b]
[Va16]
[VV05]
[Zi75]
[Zi84]

G. Szwarc, Groups acting on trees and approximation properties of the Fourier algebra. J.
Funct. Anal. 95 (1991), 320-343.
M. Takesaki, Theory of operator algebras, II. Encyclopaedia of Mathematical Sciences 125,
Springer-Verlag, Berlin, 2003.
S. Vaes, The unitary implementation of a locally compact quantum group action. J. Funct.
Anal. 180 (2001), 426-480.
S. Vaes, Rigidity for von Neumann algebras and their invariants. In Proceedings of the
International Congress of Mathematicians (Hyderabad, 2010), Vol. III, Hindustan Book
Agency, New Delhi, 2010, pp. 1624-1650.
S. Vaes, One-cohomology and the uniqueness of the group measure space decomposition of
a II1 factor. Math. Ann. 355 (2013), 661-696.
S. Vaes, Amenability versus non amenability: an introduction to von Neumann algebras.
In European Congress of Mathematics, Berlin, 2016, Eur. Math. Soc., Zürich, in press.
S. Vaes and R. Vergnioux, The boundary of universal discrete quantum groups, exactness
and factoriality. Duke Math. J. 140 (2007), 35-84.
R.J. Zimmer, Extensions of ergodic group actions. Illinois J. Math. 20 (1976), 373-409.
R.J. Zimmer, Ergodic theory and semisimple groups. Monographs in Mathematics 81.
Birkhäuser Verlag, Basel, 1984.

43

