On the tensor product of bimodule categories over Hopf algebras. (Q1936555)

The Brauer-Picard group of a tensor category \(\mathcal C\) is the group of equivalence classes of invertible \(\mathcal C\)-bimodule categories. This group was computed for the category of \(G\)-graded finite-dimensional vector spaces, \(G\) an Abelian group, by \textit{P. Etingof, D. Nikshych} and \textit{V. Ostrik} [Quantum Topol. 1, No. 3, 209-273 (2010; Zbl 1214.18007)]. In the paper under review, the author studies this group for the bimodule category \(\mathrm{Rep}(H)\) for \(H\) a finite-dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a tensor category \(\mathcal C\), \(\mathrm{Fun}(M,N)\) denotes the category whose objects are module functors from \(M\) to \(N\), where \(M,N\) are left \(\mathcal C\)-module categories. Let \(A,B\) be finite-dimensional Hopf algebras. Any exact \((\mathrm{Rep}(B),\mathrm{Rep}(A))\)-bimodule category is known to be equivalent to the category \(S(M)\) of left \(S\)-modules for \(S\) a finite-dimensional right \(A^{cop}\otimes B\)-simple left \(A^{cop}\otimes B\)-comodule algebra. If \(S\) and \(K\) are two such simple left \(A^{cop}\otimes B\)-comodule algebras, let \(M(A,B,K,S)\) denote a certain \(\mathrm{Rep}(B)\)-bimodule category, which the author describes explicitly with some extra structure. The author establishes an equivalence between \(M(A,B,K,S)\) and \(\text{Fun}_{\mathrm{Rep}(B)}(S(M),K(M))\). Now let \(H\) be a finite-dimensional quasi-triangular Hopf algebra with \(R\)-matrix \(R\). Let \(K,S\) be right \(H\)-simple left \(H\)-comodule algebras. Let \(M(R,K,S)\) denote the category of \((K,S)\)-bimodules \(V\) with left coaction of \(V\) to \(H\otimes V\) which is a morphism of \((K,S)\)-bimodules. The author equips \(M(R,K,S)\) with the structure of a left \(\mathrm{Rep}(H)\)-module category, and using his previous results, shows that \(M(R,K,S)\) is equivalent to \(\text{Fun}_{\mathrm{Rep}(H)}(S(M),K(M))\) as categories of \(\mathrm{Rep}(H)\)-modules. For \(H\) any finite-dimensional Hopf algebra, \(K\) and \(S\) left \(H\otimes H^{cop}\)-comodule algebras right \(H\otimes H^{cop}\)-simple with some extra assumptions, the author obtains an equivalence of \(\mathrm{Rep}(H)\)-bimodule categories between the product of \(S(M)\) and \(K(M)\) in the category, and the category of left modules over the tensor product of \(S\) and \(K\). Finally he makes some remarks about the Brauer-Picard group of a finite-dimensional pointed Hopf algebra whose group of group-like elements forms an Abelian group.