A Galois correspondence for \(II_1\) factors and quantum groupoids (Q1840772)

This paper is a continuation of a previous one: ``A characterization of depth two subfactors of \(II_1\) subfactors'', J. Funct. Anal. 171, 278-307 (2000; Zbl 0995.46041). In this former article, the authors proved that if \(N \subset M \subset M_1 \subset M_ 2\subset .\) is the basic construction [\textit{V. Jones}, Invent. Math. 72, 1-25 (1983; Zbl 0508.46040)] of any finite index and depth two inclusion of \(II_1\) subfactors \((N \subset M)\) , then \(B = M_1 \cap M_2\) acts on \(M_1\) as a finite \(C^*\)-quantum groupoid (fcqg) [or weak Hopf \( C^*\)-algebra with the terminology of \textit{G. Bòhm, K. Szlachanyi}, Lett. Math. Phys. 38, No.~4, 437-456 (1996; Zbl 0872.16022)] in such a way that \(M\) is the fixed points algebra, and \(M_2\) is isomorphic to the crossed product. In the present study is investigated the weaker situation when the depth is finite but not necessarily equal to two. As proved in proposition 4.1, for such an inclusion \(P_0 \subset P_1\), there exists a \(P_n\) in the basic construction such that \(P_0 \subset P_n\) is depth two hence \(P_1\) is an intermediate subfactor of this last inclusion. So using their previous paper, the authors restrict themselves to the study of intermediate subfactors \(P\) of any finite index and depth two inclusion of \(II_1\) subfactors of the form: \( M_1 \subset P \subset M_2\) ,when \(N \subset M \subset M_1\subset M_2 \subset ...\) is a basic construction. By theorem 4.3 there is a lattice isomorphism \(L\) between the intermediate von Neumann subalgebras \(P\) (not necessarily factors) and left coideals involutive subalgebras (lcis, in the sense of definition 3.1) \(I\) of \(B (= M_1 \cap M_2)\) given by the explicit formulas: \(L(P) = M \cap P \) (the relative commutant of \(M\) in \(P\)) and \(L^{-1}(I) = M_1 \rtimes I\) (the crossed product of \(M_1\) by the restriction of the action of \(B\) to \(I\)). With that point of view, by corollary 4.5, an intermediate von Neumann subalgebra \(K\) is a factor if and only if the center of \(K\) has a trivial intersection with the source subalgebra \(B_s\) of \(B\). As by definition \(B\) acts on its algebraic dual \(B^*\) (which is also a fcqg), proposition 4.10 says that there is an isomorphism \(\delta\) between lcis of \(B\) and lcis of \(B^*\) such that \(\delta(I) \subset B^* \subset B^* \rtimes I\) is basic. In chapter 5 is considered an intermediate subfactor \( N \subset M \subset N \rtimes B\), when \(B\) is a fcqg acting on \(N\) in such a way that \(N \subset N \rtimes B\) is a finite index depth two inclusion of \(II_1\) factors. Theorem 5.8 gives an equivalence between the category of \(N\)-\(N\)-bimodules of the inclusion \(N \subset M\) and the category of corepresentation of \(B\) (or representations of \(B^*\)); then it is proved in proposition 5.9 that for any lcis \(I\) of \(B\), the principal graph of the Bratelli diagram of the inclusion \(N \subset N \rtimes I\) is given by the connected component of the inclusion \(\delta(I) \subset B^*\) containing the trivial representation. Hence the principal graph of the inclusion \(N \subset M\) is given by the Bratelli diagram of the inclusion \(B_t^* \subset B^*\) where \(B_t^*\) is the target subalgebra of \(B^*\).