A construction of finite index \(C^*\)-algebra inclusions from free actions of compact quantum groups (Q2436079)

For a compact quantum group \(C\left( \mathbb{G}\right) \) acting on a \(C^*\)-algebra \(A\) by a nondegenerate injective coaction *-homomorphism \(\alpha:A\rightarrow A\otimes_{\min}C\left( \mathbb{G}\right) \), the authors show that two natural freeness conditions on the action, one introduced by Ellwood and the other by Rieffel, are equivalent, and that the Wassermann type inclusion associated with a free quantum group action provides an example of Watatani's finite index inclusion of \(C^*\)-algebras. Given a finite-dimensional unitary representation \(\pi\) of \(\mathbb{G}\) defined by a left \(C\left( \mathbb{G}\right) \)-comodule structure \(\delta_{\pi}:\mathcal{H}_{\pi}\rightarrow C\left( \mathbb{G}\right) \otimes\mathcal{H}_{\pi}\) on a Hilbert space \(\mathcal{H}_{\pi}\), the closed left ideal generated by \(1\otimes\widehat{\chi_{\pi}}\) in the crossed product \(A\rtimes\mathbb{G}\) is denoted \(\left( A\rtimes\mathbb{G}\right) _{\pi}\), where \(\chi_{\pi}\in C\left( \mathbb{G}\right) \) is the quantum character of \(\pi\) and \(\widehat{\chi_{\pi}}:=\varphi\left( \chi_{\pi}\cdot\right) \in C\left( \mathbb{G}\right) ^{\ast}\) for the invariant Haar state \(\varphi\) on \(C\left( \mathbb{G}\right) \). The \(\mathbb{G}\)-action \(\alpha\) is called free if it satisfies the Ellwood condition that \(A\otimes_{\min}C\left( \mathbb{G}\right) \) is the closed linear span of \(\alpha\left( A\right) \left( A\otimes1\right) \), and is called saturated if it satisfies the Rieffel condition that the crossed product \(A\rtimes\mathbb{G}\) is the closed linear span of \(\left( A\rtimes\mathbb{G}\right) _{\tau}\cdot\left( A\rtimes\mathbb{G}\right) _{\tau}^{\ast}\) for the trivial representation \(\tau\) of \(\mathbb{G}\). In this paper, the authors show that a \(\mathbb{G} \)-action \(\alpha\) is free if and only if it is saturated. Furthermore when \(\mathbb{G}\) acts freely on a unital \(C^*\)-algebra \(A\), it is shown that \(A^{\mathbb{G}}\subset\left( A\otimes\mathcal{B}\left( \mathcal{H}_{\pi}\right) \right) ^{\mathbb{G}}\) is a finite index inclusion of \(C^*\)-algebras for any finite-dimensional unitary representation \(\pi\) of \(\mathbb{G}\) and the fixed point subalgebra \(A^{\mathbb{G}}\) of \(A\), and the index of the canonical conditional expectation equals the square of the quantum dimension of \(\mathcal{H}_{\pi}\) if \(\pi\) is irreducible.