scientific article; zbMATH DE number 1121136
Given a nondegenerate commuting square of finite-dimensional (von Neumann) algebras, one can construct two \(\text{II}_1\)-subfactors \(M_0\subset M_1\) and \(Q_0\subset Q_1\), via the horizontal and vertical basic constructions due to Jones. On the other hand, if we have an inclusion of AFD (approximately finite-dimensional) \(\text{II}_1\)-factors, one can construct a ``paragroup [\textit{A. Ocneanu}, Lond. Math. Soc. Lect. Note Ser. 136, 119-172 (1988; Zbl 0696.46048)] or a three-dimensional TQFT. The notion of equivalence (between two subfactors) is introduced so that if \(A\subset B\) and \(C\subset D\) are equivalent subfactors, they have the same TQFT. In this paper, motivated by the author's earlier result [Int. J. Math. 8, No. 3, 407-420 (1997; Zbl 0885.46051)] that the two subfactors arising from the basic construction are opposite equivalent (i.e. \(M_0\subset M_1\) is equivalent to \(Q^{\text{op}}_0\subset Q^{\text{op}}_1\)) and the two TQFT's are complex conjugate to each other, the author tries to establish a converse result. The main theorem is as follows: If we have two equivalent subfactors \(A\subset B\) and \(C\subset D\), with finite Jones index and finite depth, one can form a nondegenerate commuting square. From this, one obtains (via Jones' basic construction) the subfactors \(M_0\subset M_1\) and \(Q_0\subset Q_1\) in such a way that \(M_0\subset M_1\) and \(Q_0\subset Q_1\) are isomorphic to \(A\subset B\) and \(C^{\text{op}}\subset D^{\text{op}}\). In other words, this means that if two type \(\text{II}_1\)-subfactors (with finite index and depth) have conjugate TQFT's, then they arise from a nondegenerate finite-dimensional commuting square. The proof uses some tensor categorical notions like ``flatness and ``global index, and techniques from the paper of \textit{D. E. Evans} and \textit{Y. Kawahigashi} [Int. J. Math. 6, 537-558 (1995; Zbl 0844.57014)]. As an example, the author studies the case: \(R\subset R\rtimes G\) and \(R\rtimes H\subset R\rtimes G\), where \(R\) is the AFD \(\text{II}_1\)-factor, \(G= S_3\) is the symmetric group of order 3 acting on \(R\), and \(H= S_2\subset G\) is the symmetric group of order 2. The systems of the \(R\rtimes G\)-\(R\rtimes G\) bimodules arising from both subfactors are equivalent, and thus the two subfactors are equivalent. Starting from the \(R\rtimes G\)-\(R\rtimes G\) bimodules (denoted by \(X_1\), \(X_2\), \(X_3\)) corresponding to certain unitary representations of \(S_3\), he constructs a nondegenerate commuting square that agrees with the theorem.
- Constructing equivalence bimodules between noncommutative solenoids: a two-pronged approach
- Explicit construction of equivalence bimodules between noncommutative solenoids
- Constructing commutative semifields of square order
- Bimodules over uniformly oriented \(A_n\) quivers with radical square zero
- Singular equivalences induced by bimodules and quadratic monomial algebras
- Equivalence Bimodule Between Non-Commutative Tori
- Commuting squares and planar subalgebras
- A finiteness result for commuting squares of matrix algebras
- Square-zero derivations of matrix algebras over commutative rings
- scientific article; zbMATH DE number 777906
- Two subfactors arising from a non-degenerate commuting square. An answer to a question raised by V. F. R. Jones
- Quantum Galois correspondence for subfactors
- scientific article; zbMATH DE number 2131701 (Why is no real title available?)
- Two Subfactors Arising from a Non-Degenerate Commuting Square II — Tensor Categories and TQFT's —
- Commuting squares and planar subalgebras
- Projector matrix product operators, anyons and higher relative commutants of subfactors
- A Characterization of a Finite-Dimensional Commuting Square Producing a Subfactor of Finite Depth
- \(\alpha\)-induction for bi-unitary connections
- The zipper condition for 4-tensors in two-dimensional topological order and the higher relative commutants of a subfactor arising from a commuting square
- Flatness of -induced bi-unitary connections and commutativity of Frobenius algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4378041)
