Ozawa's Relative Solidity Theorem

• Ozawa's Relative Solidity Theorem is a rigidity paradigm in von Neumann algebras where group properties force a dichotomy between amenability and intertwining into controlled subalgebras.
• It employs bi-exactness, proper quasi-cocycles, and weakly-ℓ² representations to translate geometric and C*-algebraic conditions into structural rigidity results.
• The theorem extends solidity to a relative framework, leading to strong solidity implications and applications in orbit equivalence and W*-superrigidity.

Ozawa’s relative solidity theorem refers to a rigidity paradigm in the theory of von Neumann algebras in which geometric or $C^*$-algebraic properties of a group force a dichotomy for subalgebras of an associated crossed product or group factor: either the subalgebra Popa-intertwines into a specified “base” algebra, or its relative commutant or normalizer is amenable. In the literature around negatively curved groups, the baseline statement is Ozawa’s solidity theorem for group factors of i.c.c. hyperbolic groups, while the relative form appears as a crossed-product dichotomy and as a weakly compact embedding theorem that became the bridge to strong solidity (Chifan et al., 2011).

1. From solidity to relative solidity

Ozawa’s original solidity theorem, as recalled in the structural theory of $\mathrm{II}_1$ factors of negatively curved groups, states:

If $T$ is an i.c.c. Gromov hyperbolic group, then $L T$ is solid, i.e. $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$

Here “solid” means exactly that every diffuse von Neumann subalgebra has amenable relative commutant. In this form, the theorem concerns a group factor $LT$ and gives no ambient subalgebra relative to which the diffuse algebra must be located (Chifan et al., 2011).

The relative-solidity perspective replaces this absolute alternative by a structural dichotomy inside a crossed product. In the formulation used in the negatively curved setting, if

$M=L^\infty(X)\rtimes T,$

then a diffuse subalgebra $A\subset M$ either has amenable relative commutant or intertwines into a prescribed subalgebra coming from the base algebra or from a family of subgroups. This is the sense in which “relative solidity” extends ordinary solidity: the obstruction to amenability is not arbitrary largeness, but rather concentration inside a controlled subalgebra (Chifan et al., 2011).

This framework is explicitly tied to Ozawa’s use of bi-exactness and $C^*$-algebraic methods, but it is recast in deformation/rigidity language by combining ideas of Peterson, Ozawa, and Popa. The same viewpoint underlies later formulations for relatively hyperbolic groups, measure equivalence, generalized $q$-Gaussian algebras, and type III crossed products (Chifan et al., 2011, Mejia et al., 23 Sep 2025, Ding et al., 31 Mar 2025, Junge et al., 2015, Isono, 25 Aug 2025).

2. The relative theorem in crossed products

The central relative commutant dichotomy in the negatively curved-group setting is Theorem 3.2. Let $\mathrm{II}_1$0 be exact and assume it admits an array into a weakly-$\mathrm{II}_1$1 representation that is proper with respect to a family $\mathrm{II}_1$2 of subgroups. Let

$\mathrm{II}_1$3

be free, ergodic, p.m.p., and let

$\mathrm{II}_1$4

Then for any diffuse von Neumann subalgebra $\mathrm{II}_1$5, either:

1. $\mathrm{II}_1$6 is amenable, or
2. $\mathrm{II}_1$7 for some $\mathrm{II}_1$8 (Chifan et al., 2011).

For the case $\mathrm{II}_1$9, this becomes solidity. In that sense, the theorem is a genuine relative version of Ozawa’s solidity theorem: it identifies the only possible nonamenable obstruction to solidity as intertwining into a controlled crossed-product piece (Chifan et al., 2011).

A second relative formulation, Theorem 4.1, is the weakly compact embedding theorem. If $T$0 is an exact group admitting a proper quasi-cocycle into a weakly-$T$1 representation, $T$2 is measure-preserving, and

$T$3

then for every weakly compact embedding $T$4, one of the following holds:

1. $T$5, or
2. $T$6 is amenable (Chifan et al., 2011).

This theorem is the precise relative-solidity statement used to derive strong solidity when $T$7 is a point. It isolates the normalizer, not merely the relative commutant, and it does so under the Ozawa–Popa notion of weak compactness.

The paper also formulates the underlying Popa intertwining notation explicitly: $T$8 meaning that a corner of $T$9 embeds into $L T$0 inside $L T$1. Relative solidity is therefore not only a statement about amenability; it is a localization statement in the sense of Popa’s intertwining-by-bimodules theory (Chifan et al., 2011).

3. Group hypotheses and the passage to strong solidity

The group-theoretic hypotheses entering the theorem are precise. The main results are stated for groups satisfying some combination of:

• i.c.c.,
• exactness,
• weak amenability,
• admitting a proper quasi-$L T$2-cocycle into a weakly-$L T$3 representation, and
• for exact groups, equivalently being in the class $L T$4 (Chifan et al., 2011).

Theorem A gives a unification of Ozawa’s and Peterson’s solidity results:

Let $L T$5 be an i.c.c. countable discrete group which is exact and admits a proper quasi-$L T$6-cocycle $L T$7 into a weakly-$L T$8 representation. Then $L T$9 is solid.

The paper notes explicitly that for exact groups, $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$0 is equivalent to bi-exactness, so Theorem A recovers Ozawa’s solidity theorem for hyperbolic groups (Chifan et al., 2011).

The decisive strengthening is Theorem B:

Let $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$1 be an i.c.c. countable discrete group which is weakly amenable. If $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$2 admits a proper quasi-$$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$3-cocycle into a weakly-$$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$4 representation, then $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$5 is strongly solid.

The distinction between solidity and strong solidity is exact. A $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$6 factor $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$7 is solid if

$$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$8

whereas $$> A' \cap LT \ \text{is amenable for every diffuse von Neumann subalgebra } A \subset LT. >$$9 is strongly solid if for every diffuse amenable von Neumann subalgebra $LT$0,

$LT$1

Theorem B upgrades control of the relative commutant to control of the whole normalizer (Chifan et al., 2011).

The paper states consequences for i.c.c. hyperbolic groups, for lattices in rank-one simple Lie groups, and in particular for i.c.c. lattices in $LT$2, $LT$3, and $LT$4. It also records that hyperbolic groups satisfy the hypotheses via Mineyev–Monod–Shalom and Ozawa, and that $LT$5 lies in $LT$6 (Chifan et al., 2011).

4. Deformation/rigidity mechanism

The proof strategy is described as a hybrid of Peterson, Ozawa, and Popa. Peterson contributes the quasi-cocycle and $LT$7-rigidity perspective; Ozawa contributes exactness, local reflexivity, and passage from $LT$8 to $LT$9; Popa contributes intertwining, deformation/rigidity, and spectral gap (Chifan et al., 2011).

The deformation is built from exponentiating a quasi-cocycle. For a quasi-cocycle $M=L^\infty(X)\rtimes T,$0,

$M=L^\infty(X)\rtimes T,$1

The associated positive-definite kernel is

$M=L^\infty(X)\rtimes T,$2

which gives a u.c.p. Schur multiplier $M=L^\infty(X)\rtimes T,$3. The paper also constructs

$M=L^\infty(X)\rtimes T,$4

leading to a one-parameter family of automorphisms $M=L^\infty(X)\rtimes T,$5 on an extended Roe algebra $M=L^\infty(X)\rtimes T,$6 (Chifan et al., 2011).

The essential analytic features are that these deformations converge pointwise to the identity on $M=L^\infty(X)\rtimes T,$7, behave compactly enough on Fourier tails, and allow one to push Haagerup’s amenability criterion through. The criterion used is:

A von Neumann subalgebra $M=L^\infty(X)\rtimes T,$8 is amenable iff for every nonzero central projection $M=L^\infty(X)\rtimes T,$9 and finite $A\subset M$0, $A\subset M$1

This is the step by which deformation estimates yield amenability of relative commutants or normalizers (Chifan et al., 2011).

Weak compactness is the technical bridge from relative commutant control to normalizer control. Following Ozawa–Popa, $A\subset M$2 is weakly compact if the conjugation action of $A\subset M$3 on $A\subset M$4 is weakly compact, witnessed by a net of unit vectors $A\subset M$5 satisfying approximate centrality under $A\subset M$6, approximate invariance under $A\subset M$7, and the trace marginals

$A\subset M$8

This is the precise condition entering Theorem 4.1 (Chifan et al., 2011).

5. Structural consequences and negatively curved groups

The conceptual advance of the negatively curved-group paper is stated explicitly: it turns the bi-exactness/solidity paradigm into a deformation/rigidity framework driven by quasi-cocycles and arrays. The role of “negative curvature” is interpreted cohomologically via proper quasi-cocycles or arrays, thereby unifying hyperbolic groups, rank-one lattices, and related examples under one von Neumann algebraic mechanism (Chifan et al., 2011).

The significance of strong solidity is also stated concretely. Strong solidity gives finer structural control because it rules out large normalizers of amenable subalgebras, yields uniqueness of Cartan subalgebras in many crossed products, and feeds into orbit equivalence and $A\subset M$9-superrigidity applications. Using the methods together with a cocycle superrigidity result of Ioana, the paper shows that profinite actions of lattices in $C^*$0, $C^*$1, are virtually $C^*$2-superrigid (Chifan et al., 2011).

A plausible implication is that the relative-solidity theorem is best understood not as an isolated commutant estimate, but as a localization principle. In the crossed-product setting, the key alternative is

$C^*$3

and in the weakly compact setting it becomes

$C^*$4

This suggests that the theorem identifies the only ways in which nonamenable algebraic structure can persist inside factors associated with negatively curved groups (Chifan et al., 2011).

6. Later extensions and variants

Subsequent work has extended the relative-solidity paradigm in several directions.

For relatively hyperbolic groups, a 2025 paper proves that whenever $C^*$5 is hyperbolic relative to a finite family of exact, residually finite subgroups $C^*$6, the group von Neumann algebra $C^*$7 is solid relative to $C^*$8 in the sense that for every nonzero projection $C^*$9 and every $q$0 whose relative commutant has no amenable direct summand, there exists $q$1 such that

$q$2

The paper strengthens this to a structural statement for crossed products and a control theorem for the one-sided quasi-normalizer tower (Mejia et al., 23 Sep 2025).

In the measure-equivalence setting, Ding–Drimbe prove an analogue of relative solidity for orbit-equivalent actions of $q$3, where $q$4 is nonamenable biexact and $q$5 is arbitrary infinite. If

$q$6

then for any subgroup $q$7, either

$q$8

or

$q$9

This is described there as the measure-equivalence analogue of Ozawa–Popa relative solidity (Ding et al., 31 Mar 2025).

A different analogue appears for generalized $\mathrm{II}_1$00-Gaussian von Neumann algebras with coefficients. Under a subexponential growth estimate

$\mathrm{II}_1$01

the main theorem gives the dichotomy

$\mathrm{II}_1$02

for diffuse $\mathrm{II}_1$03 that are amenable relative to $\mathrm{II}_1$04. This is presented as a $\mathrm{II}_1$05-Gaussian analogue of Ozawa–Popa relative strong solidity (Junge et al., 2015).

Most recently, the theorem has been extended to the type III setting. For an action $\mathrm{II}_1$06 of a bi-exact discrete group on an amenable $\mathrm{II}_1$07-finite von Neumann algebra, with $\mathrm{II}_1$08, the type III extension states that $\mathrm{II}_1$09 is solid relative to $\mathrm{II}_1$10: for every projection $\mathrm{II}_1$11 and every von Neumann subalgebra $\mathrm{II}_1$12 with expectation such that $\mathrm{II}_1$13, the relative commutant $\mathrm{II}_1$14 is amenable. The new ingredient is a weak relative Dixmier theorem for inclusions equipped with a faithful normal semifinite operator-valued weight $\mathrm{II}_1$15 (Isono, 25 Aug 2025).

Taken together, these developments show that “Ozawa’s relative solidity theorem” now denotes a family of rigidity statements with a stable formal pattern: a geometric or exactness condition on the ambient object yields an intertwining-versus-amenability dichotomy for subalgebras, relative commutants, or normalizers. In the negatively curved $\mathrm{II}_1$16-factor setting, the formulation in terms of proper quasi-cocycles, weakly-$\mathrm{II}_1$17 representations, and weakly compact embeddings remains one of the foundational forms of that paradigm (Chifan et al., 2011).