Tannaka duals in semisimple tensor categories (Q1849131)

Let \(A\) be a finite-dimensional Hopf algebra with its Tannaka dual \({\mathcal A}\) realized inside a semisimple tensor category \(\mathcal T\). This paper introduces the notion of \({\mathcal A}-{\mathcal A}\) modules in \({\mathcal T}\). Then the totality of the \({\mathcal A}-{\mathcal A}\) modules turns out to constitute a tensor category \({\mathcal T}\rtimes{\mathcal A}\) with the unit object given by an analogue of the regular representation of \(A\). If a Hopf algebra (symmetry) \(A\) comes into through a coaction on an operator algebra \(M\), then the crossed (or smash) product algebra \(M\rtimes A^*\) and the fixed point algebra \(M^A\) are associated so that they act on \(M\) in a bimodule fashion. Moreover the \(M\rtimes A^*-M^A\) bimodule \(M\) obtained this way is imprimitive in the sense that \(M \rtimes A^*\) and \(M^A\) are commutants of each other. Then the crossed products vs. fixed point algebras reciprocity of this kind allows one to interpret \({\mathcal T} \rtimes{\mathcal A}\) as presenting the orbifold of \({\mathcal T}\) by the dual Hopf algebra \(A^*\). The orbifold tensor category \({\mathcal T}\rtimes {\mathcal A}\) in turn admits a canonical realization of the Tannaka dual \({\mathcal B}\) of the dual Hopf algebra \(A^*\), which allows one to take the second orbifold \(({\mathcal T} \rtimes {\mathcal A}) \rtimes {\mathcal B}\) and this paper shows the duality \(({\mathcal T} \rtimes {\mathcal A}) \rtimes {\mathcal B}\cong {\mathcal T}\). By forgetting the bimodule action of \({\mathcal A}\) on the unit object to one-sided (say, right) \({\mathcal A}\)-action, it is shown that it can be made into a right \({\mathcal B}\)-module \(M\) with the property of imprimitivity, \(M\otimes_{\mathcal B}M^*\cong I\) and \(_{\mathcal B}M^* \otimes M_{\mathcal B}\cong_{\mathcal B}I_{\mathcal B}\). This paper also investigates how the rigidity is inherited under the process of taking orbifolds: if the original tensor category \({\mathcal T}\) is rigid and semisimple, then so it is for the orbifold tensor category \({\mathcal T}\rtimes{\mathcal A}\).