No label defined (Q4378041)

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.