II₁-subfactors associated with the C^*-tensor category of a finite group
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\}\).
- Jones index theory for Hilbert \(C^*\)-bimodules and its equivalence with conjugation theory
- Subfactors and group representations
- Tensor \(C^\ast\)-categories arising as bimodule categories of \(II_{1}\) factors
- Ergodic actions of \(S_\mu U(2)\) on \(C^{*}\)-algebras from \(II_{1}\) subfactors
- Relative matched pairs of finite groups from depth two inclusions of von Neumann algebras to quantum groupoids
- ON A SUBFACTOR ANALOGUE OF THE SECOND COHOMOLOGY
- scientific article; zbMATH DE number 1783027 (Why is no real title available?)
- Quantum Galois groups of subfactors
- C∗-Tensor Categories and Subfactors for Totally Disconnected Groups
- A categorical Connes' \chi(M)
- A classification of all finite index subfactors for a class of group-measure space II\(_{1}\) factors
- Representation theory for subfactors, -lattices and C^-tensor categories
This page was built for publication: \(\text{II}_1\)-subfactors associated with the \(C^*\)-tensor category of a finite group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306201)
