Tensor \(C^\ast\)-categories arising as bimodule categories of \(II_{1}\) factors (Q1946795): Difference between revisions

The authors prove the following Theorems A, B, C, and D, among other things. A. For a finite tensor \(C^*\)-category, there is a \(\text{II}_1\) factor \(M\) such that the \(C^*\)-category is isomorphic to the category of \(M\)-\(M\)-bimodules \({}_MH_M\) (Hilbert spaces) over \(M\) of finite Jones index, with the Connes tensor product, which is a compact tensor \(C^*\)-category in the sense of Longo and Roberts. B. There exists a \(\text{II}_1\) factor \(M\) such that the invariant \(C(M)\) of Jones, defined to be the set of indices for which there are finite index irreducible inclusions of subfactors of \(M\), consists of \(1\) and seven irrationals involving \(\sqrt{13}\) in \(\mathbb Q(\sqrt{13})\). C. For a compact tensor \(C^*\)-category which is either the category of finite-dimensional unitary representations of a countable discrete group, or the category of finite dimensional corepresentations of an amenable or a maximally almost periodic discrete Kac algebra (a locally compact quantum group, a von Neumann algebra), there is a \(\text{II}_1\) factor \(M\) such that the \(C^*\)-category is the category of bimodules over \(M\). D. Let \(N\subset Q\) be a quasi-regular and depth two inclusion of \(\text{II}_1\) factors, with \(N' \cap Q\) hyperfinite, and \(N \subset Q \subset Q_1\) be the Jones basic construction, where \(Q_1\) is generated by \(Q\) and the projection from \(L^2(Q)\) to \(L^2(N)\), the GNS Hilbert space with respect to a faithful normal tracial state on \(N\). Then there exist uncountably many pairwise non-stably isomorphic \(\text{II}_1\) factors \((M_j)\) such that the category of bimodules over \(M_j\) for all \(j\) is isomorphic to the category of \(Q\)-\(Q\)-bimodules \({}_QL^2(Q_1)_Q\) over \(Q \subset Q_1\). As a note, \({}_M H_M\) above in Theorem A is described as \({}_{\psi(M)}( p L^2(M)^{\infty} )_{M}\) where \(\psi: M \rightarrow p M^{\infty} p\) is a \(\ast\)-homomorphism and \(p\) is a projection in \(L^2(M)^{\infty} = B(l^2(\mathbb N)) \otimes L^2(M)\). Also, the finiteness of the trace of \(p\) corresponds to being of finite Jones index. As for the proofs, we note the following. For A. By Theorem D, it suffices to show that there is a finite index, depth \(2\) inclusion \(N \subset Q\) of hyperfinite \(\text{II}_1\) factors, such that for the basic construction \(N \subset Q \subset Q_1\), the category of \(Q\)-\(Q\)-bimodules over \(Q \subset Q_1\) is that of the finite tensor \(C^*\)-category given. For B. Possible principle graphs of irreducible special Frobenius algebras in the Haagerup fusion category FC were classified by \textit{P. Grossman} and \textit{N. Snyder} [Commun. Math. Phys. 311, No. 3, 617--643 (2012; Zbl 1250.46042)], and a lemma in it gives a list of possible principle graphs of nontrivial simple algebras in FC. The list of indices in Theorem B is the same as the indices of graphs in the lemma. It is proved that the indices of these graphs are realized by some irreducible special Frobenius algebra in FC. For C. It is shown that every discrete group and every amenable and every maximally almost periodic Kac algebra has a strictly outer action on the hyper-finite \(\text{II}_1\) factor, For D. Use a version of a theorem by \textit{R. Nicoara, S. Popa} and \textit{R. Sasyk} [J. Funct. Anal. 242, No. 1, 230--246 (2007; Zbl 1112.46046)]: If a discrete group \(\Gamma\) has property (T) and \(M\) is a separable \(\text{II}_1\) factor, and \(J\) is the set of scalar \(2\)-cocycles \(\Omega\) on \(\Gamma\) such that there exists a (not necessarily unital) nontrivial \(\ast\)-homomorphism from the associated factor \(L_{\Omega}(\Gamma)\) to an amplification of \(M\) such as \(M \otimes \mathbb C 1\) with \(1\) the identity map on some Hilbert space, then \(J\) is countable.