Braided autoequivalences and quantum commutative bi-Galois objects. (Q2349947)

Let \(H\) be a weak Hopf algebra over a field \(k\) with a bijective antipode \(S\), \(H_t\) the target space and \(H_s\) the source space of \(H\). A quasitriangular weak Hopf algebra is a pair \((H,R)\) where \(R=\sum R^1\otimes_kR^2\in\Delta^{\text{cop}}(1)(H\otimes_kH)\Delta(1)\) such that \((\text{id}\otimes\Delta)R=R_{13}R_{12}\), \((\Delta\otimes\text{id})R=R_{13}R_{23}\), \(\Delta^{\text{cop}}(h)R=R\Delta(h)\) where \(h\in H\), \(R_{12}=R\otimes 1\), \(R_{23}=1\otimes R\). Then there exists \(\overline R\in\Delta(1)(H\otimes_kH)\Delta^{\text{cop}}(1)\) such that \(\overline RR=\Delta(1)\). In particular, if \(\overline R=\sum R^2\otimes R^1\), then \((H,R)\) is called a triangular weak Hopf algebra. It is shown that the category \(_H^H\mathcal{YD}\) of left Yetter-Drinfeld modules over \(H\) is isomorphic to the category \(^{_RH}(_H\mathcal M)\) of comodules in \(_H\mathcal M\) over the braided Hopf algebra \(_RH\) which is the centralizer subalgebra of \(H_s\) in \(H\). Let \(A\) be a right \(_RH\)-comodule algebra. Then \(A\) is called a right braided \(_RH\)-Galois object if \(A\) is faithfully flat and the morphism \(\beta\colon A\otimes_tA\to A\otimes_t(_RH)\) given by \(a\otimes_tb\to ab_{(0)}\otimes_tb_{(1)}\) is an isomorphism. Similarly, a left braided \(_RH\)-Galois object and a braided \(_RH\)-bi-Galois object are defined. A cocommutative braided bi-Galois object \(A\) is called a quantum commutative Galois object if \(A\) is quantum commutative as an algebra in \(_H^H\mathcal{YD}\). Theorem. Let \((H,R)\) be a finite dimensional quasitriangular weak Hopf algebra. Assume that \(A\) is a braided bi-Galois object. Then the functor \(A\square-\) defines a braided autoequivalence of the category \(_H^H\mathcal{YD}\) if and only if \(A\) is quantum commutative where \(\square\) is the cotensor product over \(_RH\). In case \(H\) is semisimple over an algebraically closed field, then every braided autoequivalence of \(_H^H\mathcal{YD}\) trivializable on \(_H\mathcal M\) is given by a quantum commutative Galois object \(A\) over \(_RH\). Moreover, the braided Hopf algebras \(_RH\) of the face algebras defined by \textit{T. Hayashi} [Commun. Math. Phys. 203, No. 1, 211-247 (1999; Zbl 1055.81033)] and the quantum commutative Galois objects over \(_RH\) are computed.