\(\text{II}_1\)-subfactors associated with the \(C^*\)-tensor category of a finite group (Q1306201)

Let \(G\) be a finite group. \({\mathcal U}_G\) denotes a \(C^*\)-tensor category of all unitary finite-dimensional representations of \(G\). The author determines the subfactors \(N\subset M= R\) of the hyperfinite \(\text{II}_1\)-factor \(R\) with finite Jones index \([M:N]\) \((<\infty)\) such that the \(C^*\)-tensor category \({\mathcal B}_{N\subset M}\) is equivalent to \({\mathcal U}_G\). Note that \({\mathcal B}_{N\subset M}\) is the smallest \(C^*\)-tensor category of \((N,N)\)-bimodules containing the bimodule \({_NL^2}(M)_N\) as an object. \(L({\mathcal H})\) denotes the algebra of all continuous linear operators on a Hilbert space \({\mathcal H}\). \(U({\mathcal H})\) is a class of unitary operators of \({\mathcal H}\). \(R^G\) is the fixed point algebra under an outer action \(\alpha\) of \(G\). If \(\sigma: G\to U({\mathcal H})\) is a finite-dimensional representation of \(G\), then \(\alpha\otimes \text{Ad }\sigma\) is an action of \(G\) on \(R\otimes L({\mathcal H})\) and the fixed point algebra \((R\otimes L({\mathcal H}))^G\) under the action is a \(\text{II}_1\)-factor. Then the subfactor \(R^G\subset (R\otimes L({\mathcal H}))^G\) has index \((\dim {\mathcal H})^2\). We put \(N(H):= \bigcap_{g\in G}gHg^{-1}\). The main theorem asserts that ``there exist a subgroup \(H\) of \(G\), a unitary finite-dimensional projective representation \(\psi: H\to U(\mathbb{C}^r)\), \((r\in\mathbb{N})\) of \(H\) satisfying \(\text{proj ker }\psi|N(H)= \{e\}\) and an outer action \(\alpha\) of \(G\) on the hyperfinite \(\text{II}_1\)-factor \(R\) such that every subfactor \(N\subset M\) of that kind is isomorphic to \(R^G\subset (R\otimes L(\mathbb{C}^r))^H\)''. It is interesting to note that \(R^G\subset (R\otimes L(\mathbb{C}^r))^H\) is a \(\text{II}_1\)-subfactor with index \([G:H]\cdot r^2\) and also that \({\mathcal B}_{R^G\subset (R\otimes L(\mathbb{C}^r))^H}\) is equivalent to \({\mathcal U}_G\) if and only if \(\text{proj ker }\psi|N(H)= \{e\}\).