Universal properties of L(F_ ) in subfactor theory.
Higher relative commutants \(M_i^\prime \cap M_j\) are finite-dimensional \(C^*\)-algebras obtained from the Jones tower \(N=M_{-1} \subset M=M_0 \subset M_1 \subset \ldots\) of an inclusion \(N\subset M\) of von Neumann factors of type II\(_1\). The lattice \(\{ M_i^\prime \cap M_j\}_{-1\leq i\leq j}\) plays a central role in the classification of subfactors. An axiomatic characterization of these objects was given by the first author [\textit{S. Popa}, Invent. Math. 120, No. 3, 427--445 (1995; Zbl 0831.46069)]. Such an abstract object is called a standard lattice. The construction of a II\(_1\) factor inclusion with prescribed lattice of higher relative commutants uses amalgamated free products and depends on the choice of a von Neumann algebra \(Q\). The paper under review contains a number of important contributions to the study of standard lattices and subfactors in free group factors. The type II\(_1\) group factor \(L({\mathbb F}_\infty)\) of the free group on a countable infinite number of generators is shown to have subfactor universal properties, in the sense that its subfactors realize all possible standard lattices in a functorial way. More precisely, the following results are proved: Theorem 1. Any standard lattice can be realized as the system of higher relative commutants of a type II\(_1\) subfactor \(N\subset M\), where both \(N\) and \(M\) are isomorphic to the free group factor \(L({\mathbb F}_\infty)\). Moreover, the construction of subfactors \(N\subset M\) can be chosen to be a functor from the category of standard lattices (with commuting square inclusions as morphisms) to the category of subfactors (with commuting square inclusions as morphisms). Theorem 2. The type II\(_1\) factors appearing in the inclusions previously constructed by Popa for the initial data \(Q=L({\mathbb F}_\infty)\) are all isomorphic to \(L({\mathbb F}_\infty)\). Theorem 3. Given an arbitrary inclusion of II\(_1\) factors \(N\subset M\), there exists an inclusion \(\widehat{N}\subset \hat{M}\) with the same standard lattice as \(N\subset M\) and so that \(\widehat{M}\cong \hat{N}\cong M\ast L({\mathbb F}_\infty)\). These results generalize and put in a natural abstract context previous work from \textit{S. Popa} [Invent. Math. 111, No. 2, 375--405 (1993; Zbl 0787.46047), Invent. Math. 120, No. 3, 427--445 (1995; Zbl 0831.46069)], \textit{F. Radulescu} [Invent. Math. 115, No. 2, 347--389 (1994; Zbl 0861.46038)], \textit{K. Dykema} [Am. Math. J. 117, No. 6, 1555--1602 (1995; Zbl 0854.46051)], \textit{D. Shlyakhtenko} [J. Funct. Anal. 166, No. 1, 1--47 (1999; Zbl 0951.46035)], and \textit{D. Shlyakhtenko} and \textit{Y. Ueda} [J. Reine Angew. Math. 548, 149--166 (2002; Zbl 1009.46035)].
- \(A\)-valued semicircular systems
- Amalgamated Free Products of Multi-Matrix Algebras and a Construction of Subfactors of a Free Group Factor
- An axiomatization of the lattice of higher relative commutants of a subfactor
- Classification of amenable subfactors of type II
- Compressions of free products of von Neumann algebras
- Free products of hyperfinite von Neumann algebras and free dimension
- Free quasi-free states
- scientific article; zbMATH DE number 798187 (Why is no real title available?)
- Index for subfactors
- Interpolated free group factors
- Irreducible subfactors of LF∞ of index λ >4
- Markov traces on universal Jones algebras and subfactors of finite index
- Random matrices, amalgamated free products and subfactors of the von Neumann algebra of a free group, of noninteger index
- Some applications of freeness with amalgamation
- Universal construction of subfactors
- A universal enveloping for \(L_\infty\)-algebras.
- Guionnet-Jones-Shlyakhtenko subfactors associated to finite-dimensional Kac algebras
- An axiomatization of the lattice of higher relative commutants of a subfactor
- Representing interpolated free group factors as group factors
- Realizations of algebra objects and discrete subfactors
- Free product von Neumann algebras associated to graphs, and Guionnet, Jones, Shlyakhtenko subfactors in infinite depth
- HNN extensions of von Neumann algebras
- Realization of rigid \(C^\ast \)-bicategories as bimodules over type \(\mathrm{II}_1\) von Neumann algebras
- Universal construction of subfactors
- Rigid C^*-tensor categories of bimodules over interpolated free group factors
- On the classification of inductive limits of II\(_{1}\) factors with spectral gap
- On spectral gap rigidity and Connes invariant (M)
- $Q$-systems and compact $W^*$-algebra objects
- Actions of $\mathbb {F}_\infty $ whose II$_1$ factors and orbit equivalence relations have prescribed fundamental group
- FROM SUBFACTOR PLANAR ALGEBRAS TO SUBFACTORS
- Unshaded planar algebras and their associated II\(_{1}\) factors
- scientific article; zbMATH DE number 672384 (Why is no real title available?)
- scientific article; zbMATH DE number 1003155 (Why is no real title available?)
- Irreducible subfactors of LF∞ of index λ >4
- \(C^\ast\)-algebras from planar algebras. II: The Guionnet-Jones-Shlyakhtenko \(C^\ast\)-algebras
- On the classification of full factors of type III
- Weak amenability for subfactors
- On the Guionnet-Jones-Shlyakhtenko construction for graphs
- The classification of subfactors of index at most 5
- A semi-finite algebra associated to a subfactor planar algebra
- Subfactors and mathematical physics
- The legacy of Vaughan Jones in 𝐼𝐼₁ factors
- An inequality for non-microstates free entropy dimension for crossed products by finite abelian groups
- W^-representations of subfactors and restrictions on the Jones index
- Distortion for multifactor bimodules and representations of multifusion categories
- On a two-sided Guionnet-Jones-Shlyakhtenko construction and interpolated free group factors arising from finite groups
- Constructing the extended Haagerup planar algebra
- Discrete inclusions of C*-algebras
- Actions of tensor categories on Kirchberg algebras
- Representation theory for subfactors, -lattices and C^-tensor categories
- Annular representations of free product categories
- On a composition of subfactors with group subfactors
This page was built for publication: Universal properties of \(L(\mathbb{F}_ \infty)\) in subfactor theory.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1886154)