[Paper Review] On the classification of inductive limits of II$_1$ factors with spectral gap

Sorin Popa|ArXiv.org|Oct 13, 2009

Advanced Operator Algebra Research13 references3 citations

TL;DR

This paper establishes classification results for inductive limits of II$_1$ factors with spectral gap using deformation/rigidity techniques. It shows that isomorphisms between such factors virtually preserve the underlying s-McDuff components and cocycle conjugate actions, making group and third cohomology class invariants for crossed product factors.

ABSTRACT

We consider II$_1$ factors $M$ which can be realized as inductive limits of subfactors, $N_n earrow M$, having spectral gap in $M$ and satisfying the bi-commutant condition $(N_n'\cap M)'\cap M=N_n$. Examples are the enveloping algebras associated to non-Gamma subfactors of finite depth, as well as certain crossed products of McDuff factors by amenable groups. We use deformation/rigidity techniques to obtain classification results for such factors.

Motivation & Objective

• To classify inductive limits of II$_1$ factors that possess spectral gap and satisfy the bi-commutant condition.
• To extend deformation/rigidity techniques to inductive limit structures in von Neumann algebras.
• To show that isomorphisms between such factors virtually preserve the underlying s-McDuff components and cocycle actions.
• To establish that the group and third cohomology class are isomorphism invariants for crossed product factors of s-McDuff algebras.
• To demonstrate that spectral gap in the enveloping factor is an isomorphism invariant for non-Gamma subfactors of finite index.

Proposed method

• Uses spectral gap condition to control almost-commuting elements and relate them to actual commutants in the ambient factor.
• Applies intertwining techniques from Popa's work to show that subalgebras can be unitarily conjugated into inductive limit components.
• Combines inductive limit structure with bi-commutant conditions to ensure that subalgebras are approximately contained in the limit components.
• Employs deformation/rigidity techniques to analyze the structure of inductive limits of subfactors with spectral gap.
• Utilizes cocycle conjugacy and group actions on s-McDuff factors to derive invariants under isomorphism.
• Generalizes results to II$_\infty$ factors via appropriate extensions of key lemmas to the infinite trace setting.

Experimental results

Research questions

• RQ1 Under what conditions can isomorphisms between inductive limits of II$_1$ factors be lifted to cocycle conjugacies of their underlying actions?
• RQ2 To what extent does the spectral gap property of a subfactor in its enveloping algebra determine its isomorphism class?
• RQ3 How do the group and third cohomology class of a cocycle action on a s-McDuff factor serve as invariants for the resulting crossed product factor?
• RQ4 Can spectral gap in the enveloping factor be characterized as an isomorphism invariant for non-Gamma subfactors of finite index?
• RQ5 What is the role of the bi-commutant condition in ensuring that spectral gap implies approximate containment in inductive limit components?

Key findings

• Any isomorphism between crossed product factors $M_i = T_i \rtimes \Gamma_i$ of s-McDuff algebras by amenable groups is virtually implemented by a cocycle conjugacy of the underlying actions.
• If the acting groups are torsion-free, the isomorphism arises from an actual cocycle conjugacy of the $\Gamma$-kernels on the non-Gamma components.
• The group $\Gamma$ and the class $\alpha = \text{Ob}(\theta) \in \text{H}^3(\Gamma, \mathbb{T})$ are isomorphism invariants for such crossed product factors.
• For $\Gamma = \mathbb{Z}^3$ and $\alpha \in \mathbb{T} \setminus \{\pm 1\}$, the factor $M = L(\mathbb{F}_\infty) \overline{\otimes} R \rtimes \sigma \mathbb{Z}^3$ satisfies $M \not\simeq M^\op$ and $M^{\otimes n}$ are pairwise non-isomorphic for $n = 1,2,3,\dots$.
• The spectral gap property of $N$ in its enveloping factor $N_\infty$ is an isomorphism invariant for non-Gamma subfactors $P \subset N$ of finite index.
• The semigroup of outer symmetries generated by irreducible summands of ${}_N L^2(N_\infty)_N$ is closed in $\text{End}(N^\infty)/\text{Int}(N^\infty)$ if $N$ has spectral gap in $N_\infty$.