Popa's Intertwining Criterion

• Popa's intertwining criterion is a method for determining when a corner of one von Neumann subalgebra embeds into another using intertwining-by-bimodules and partial isometries.
• In the finite tracial setting, the criterion is characterized by the existence of a nonzero partial isometry, a finite-dimensional A–B bimodule in L²(M), and the failure of asymptotic vanishing for conditional expectations.
• Extensions of the criterion incorporate modular theory, continuous cores, and operator-valued weights, enabling its application to σ-finite, nontracial, and type III von Neumann algebras.

Popa’s intertwining criterion, usually written $A \preceq_M B$, is a criterion for deciding when a corner of a von Neumann subalgebra $A$ embeds into a corner of another subalgebra $B$ inside an ambient von Neumann algebra $M$. In the finite tracial setting it is equivalent to the existence of an intertwining partial isometry, to the presence of a finite-right-dimensional $A$-$B$ bimodule inside $L^2(M)$, and to the failure of a certain asymptotic vanishing condition for conditional expectations; later work extended the criterion to $\sigma$-finite, nontracial, and type III settings by replacing tracial $L^2$-methods with modular theory, continuous cores, basic constructions, operator-valued weights, and weak relative Dixmier techniques (Isono, 2019, Isono, 25 Aug 2025).

1. Classical tracial formulation

Let $M$ be a separable II$A$0 factor with faithful normal trace $A$1, and let $A$2 be von Neumann subalgebras. In the standard formulation, $A$3 means that $A$4 embeds into $A$5 inside $A$6 in the sense of intertwining-by-bimodules. One standard form of the criterion states that the following are equivalent (Goldbring, 2020).

First, there exist projections $A$7 and $A$8, a $A$9-homomorphism

$B$0

and a nonzero partial isometry $B$1 such that

$B$2

Second, there exists a nonzero $B$3-$B$4 sub-bimodule $B$5 whose right $B$6-dimension is finite: $B$7

Third, there is no sequence of unitaries $B$8 such that

$B$9

where $M$0 is the trace-preserving conditional expectation.

This formulation isolates the criterion’s central analytic content. The bimodule picture expresses a representation-theoretic relation between $M$1 and $M$2; the partial-isometry picture gives a concrete intertwiner inside $M$3; and the unitary-sequence formulation turns the embedding problem into a vanishing/nonvanishing test for conditional expectations.

Several common misunderstandings are excluded by the classical formulation itself. The relation $M$4 does not mean $M$5; it means that a corner of $M$6 can be conjugated into a corner of $M$7 by a partial isometry. It is weaker than unitary conjugacy, which would require a unitary $M$8 with $M$9, and stronger than information about intersections or relative commutants alone, because it detects an actual $A$0-$A$1 bimodule link inside $A$2 (Goldbring, 2020).

2. $A$3-finite and type III generalizations

In the nontracial setting, the ambient algebra is a $A$4-finite von Neumann algebra $A$5, and the relevant inclusions $A$6 are assumed to be with expectation. Isono formulates $A$7 by requiring projections $A$8, $A$9, a partial isometry $B$0, and a unital normal $B$1-homomorphism

$B$2

such that $B$3 is with expectation and

$B$4

(Isono, 2019).

A more flexible formulation uses an auxiliary separable Hilbert space $B$5, a fixed minimal projection $B$6, a projection $B$7, a unital normal $B$8-homomorphism

$B$9

such that $L^2(M)$0 is with expectation, and a partial isometry

$L^2(M)$1

satisfying

$L^2(M)$2

This preserves the original intertwining structure while accommodating nontracial basic-construction methods (Isono, 25 Aug 2025).

The general analytic criterion replaces tracial $L^2(M)$3-norms by strong or $L^2(M)$4-strong convergence. In Isono’s Popa–Houdayer–Isono criterion, if $L^2(M)$5 is finite, then $L^2(M)$6 is equivalent to the nonexistence of a net of unitaries $L^2(M)$7 such that

$L^2(M)$8

The same framework uses the basic construction $L^2(M)$9, the Jones projection $\sigma$0, and the canonical operator-valued weight $\sigma$1 to reformulate intertwining as the existence of a nonzero positive element

$\sigma$2

with

$\sigma$3

(Isono, 2019).

The 2025 reformulation removes tracial assumptions altogether for large classes of inclusions. Under either the hypothesis that $\sigma$4 has no direct summand that is semifinite and properly infinite, or that $\sigma$5 is properly infinite, the following are equivalent: $\sigma$6; the absence of a net $\sigma$7 with

$\sigma$8

the existence of a positive element $\sigma$9 with

$L^2$0

where

$L^2$1

and the nonexistence of certain unital completely positive maps in the weak Dixmier semigroup $L^2$2 that vanish on the basic-construction coefficients $L^2$3 (Isono, 25 Aug 2025).

3. Modular actions and continuous cores

A major refinement of the criterion relates intertwining to modular theory. Let $L^2$4 and $L^2$5 be faithful normal states preserved by conditional expectations onto $L^2$6 and $L^2$7, respectively. Isono defines

$L^2$8

by requiring a witness $L^2$9 for $M$0, with $M$1, together with a generalized cocycle $M$2 for the modular action $M$3 with support projection $M$4, such that if $M$5, then

$M$6

and

$M$7

(Isono, 2019).

The first part of Isono’s Theorem A states that $M$8 is equivalent to the existence of a faithful normal state $M$9, preserved by some conditional expectation onto $A$00, such that

$A$01

Thus an intertwining element can be chosen so that it also aligns appropriate modular flows.

The second part of Theorem A passes to continuous cores. For a faithful normal semifinite weight $A$02, the continuous core is

$A$03

After tensoring with a type III$A$04 factor $A$05 equipped with a faithful normal state $A$06, Isono proves that the following are equivalent: modular-flow intertwining, conditional-expectation intertwining, and the intertwining of continuous cores,

$A$07

inside the core of $A$08 (Isono, 2019).

This core characterization is structurally significant because $A$09 is semifinite, so one recovers access to the original analytic machinery of Popa’s criterion in a nontracial environment. Isono emphasizes that tensoring with a type III$A$10 factor is necessary: without the tensor product, one can have $A$11 while the corresponding core inclusion fails (Isono, 2019).

4. Weak relative Dixmier property and structural applications

The operator-valued-weight approach yields a nontracial replacement for tracial $A$12-averaging. Let $A$13 be an inclusion with a faithful normal semifinite operator-valued weight

$A$14

For $A$15, define the $A$16-weakly closed convex hull of its $A$17-unitary orbit by

$A$18

Isono proves that for every positive element $A$19 with $A$20, the set $A$21 intersects $A$22. This is the weak relative Dixmier property for integrable positive elements, and it extends Marrakchi’s conditional-expectation нәтиҗيجة to the operator-valued-weight setting (Isono, 25 Aug 2025).

The same paper uses this property to derive a general nontracial reformulation of Popa’s criterion. The implication from the existence of $A$23 with $A$24 to $A$25 proceeds by extracting a nonzero central element from the convex hull, thereby producing the positive intertwiner needed in the basic construction. In this sense, weak relative Dixmier averaging replaces tracial Hilbert-space averaging (Isono, 25 Aug 2025).

These extensions feed directly into rigidity theory. Isono’s 2019 paper uses the criterion and its modular/core refinements to analyze unitary conjugacy of subfactors, crossed-product decompositions, W$A$26-superrigidity, and stable strong solidity. In particular, mutual intertwining can force unitary conjugacy under suitable irreducibility and factoriality hypotheses; the paper’s Theorem C gives a W$A$27-superrigidity result for Bernoulli shifts of ICC countable discrete groups in the class $A$28 acting on amenable type III$A$29 factors; and Theorem G and Corollary H characterize stable strong solidity for amalgamated free products and free product factors in terms of intertwining alternatives and the behavior of stable normalizers (Isono, 2019).

The 2025 paper develops a complementary set of type III applications. For a crossed product $A$30 by a discrete bi-exact group $A$31 acting on an amenable $A$32-finite von Neumann algebra $A$33, Theorem E states that $A$34 is solid relative to $A$35: if $A$36 is with expectation and $A$37, then $A$38 is amenable. The same techniques yield a Galois-type correspondence for crossed products by totally disconnected groups: under the stated outerness and minimality assumptions, every intermediate subfactor between $A$39 and $A$40 is of the form $A$41 for some closed subgroup $A$42 (Isono, 25 Aug 2025).

5. Spectral gap, factorial commutants, and model-theoretic reformulations

Although Goldbring’s paper on Popa’s factorial commutant embedding problem does not restate the intertwining criterion explicitly, it is organized around rigidity inputs that are closely related to Popa-style spectral-gap/intertwining phenomena. The motivating question asks whether every $A$43-embeddable II$A$44 factor $A$45 admits an embedding

$A$46

such that the relative commutant

$A$47

is a factor (Goldbring, 2020).

Goldbring replaces $A$48 by a locally universal McDuff II$A$49 factor $A$50 and studies property (T) factors. The central rigidity notion is $A$51-spectral gap: a subfactor $A$52 has $A$53-spectral gap in $A$54 if

$A$55

The paper recalls that property (T) factors have $A$56-spectral gap in any extension. A key structural fact states that if $A$57 is a $A$58-spectral gap subfactor of an existentially closed factor $A$59, then

$A$60

From this, Goldbring deduces that $A$61 is a factor, and hence

$A$62

is also a factor (Goldbring, 2020).

The main theorem then asserts that if $A$63 is an infinitely generic II$A$64 factor, then for any property (T) II$A$65 factor $A$66, there exists an embedding

$A$67

such that

$A$68

is a factor. Since infinitely generic factors are existentially closed, locally universal, and McDuff, this gives a fixed McDuff locally universal ambient factor whose ultrapower admits factorial relative commutants for all property (T) factors. The paper describes this as a “poor man’s resolution” of Popa’s factorial commutant embedding problem for property (T) factors, because the target is $A$69 rather than $A$70 (Goldbring, 2020).

This connection is conceptually close to intertwining theory. Spectral gap prevents the appearance of asymptotically central sequences, and Popa’s criterion detects the failure of asymptotic disjointness through conditional expectations. The papers do not identify these frameworks, but they place them on the same deformation/rigidity axis.

6. Interpretation, scope, and recurrent points of confusion

The criterion’s most persistent conceptual feature is that it converts an embedding problem into an obstruction to averaging away a subalgebra. In the tracial II$A$71 case, one tests whether unitaries in $A$72 can force all coefficients $A$73 to vanish in $A$74-norm; failure of this vanishing is exactly the existence of an intertwiner. In the $A$75-finite and type III settings, the same philosophy survives, but traces are replaced by strong-topology convergence, basic constructions, operator-valued weights, and completely positive averaging semigroups (Goldbring, 2020, Isono, 25 Aug 2025).

A first misconception is to identify $A$76 with inclusion. The criterion says only that a corner of $A$77 embeds into a corner of $A$78, generally after compression and conjugation by a partial isometry. A second misconception is to treat it as merely a statement about relative commutants. Relative commutants measure commutation, whereas intertwining detects finite-dimensional $A$79-$A$80 bimodule structure and therefore an actual representation-theoretic relation inside the ambient algebra (Goldbring, 2020).

A third recurrent point concerns the nontracial setting. The absence of a faithful normal trace does not eliminate intertwining theory; rather, it changes its analytic realization. Isono’s modular formulation shows that an intertwiner can be made compatible with modular flows, and his later operator-valued-weight formulation shows that weak relative Dixmier averaging of integrable positive elements can play the role that $A$81-averaging played in the classical proof (Isono, 2019, Isono, 25 Aug 2025).

Taken together, these developments locate Popa’s intertwining criterion at the center of modern deformation/rigidity theory. In II$A$82 factors it is the standard device for converting asymptotic orthogonality into algebraic embedding; in type III theory it becomes a modular and core-compatible tool; and in model-theoretic work on factorial commutant embeddings it reappears indirectly through spectral-gap rigidity and ultrapower commutant control (Isono, 2019, Goldbring, 2020).