Autoequivalences of tensor categories attached to quantum groups at roots of 1 (Q2417734)

Let \(k\) be an algebraically closed field of characteristic zero, \(G\) a simple algebraic group over \(k\), \(\mathfrak{g}\) its Lie algebra, \(q\) a root of unity of odd order coprime to \(3\) if \(G\) is of type \(G_{2}\) and coprime to the determinant of the Cartan matrix of \(G\), and \(\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)\ Lusztig's small quantum group attached to \(\mathfrak{g}\)\ [\textit{G. Lusztig}, J. Am. Math. Soc. 3, No. 1, 257--296 (1990; Zbl 0695.16006)]. Then \(\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)\ is a quasitriangular Hopf algebra so that the category \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)\ of its finite-dimensional representations is a finite braided tensor category [\textit{P. Etingof} et al., Tensor categories. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1365.18001)]. One of the principal goals in this paper is to compute the Picard group \(\mathsf{Pic}\left( \mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \right) \) of this category, namely, the group of equivalence classes of invertible \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)-module categories. It is well known that \(\mathsf{Pic}\left( \mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \right) \)\ is isomorphic to the group \(\mathsf{Aut}^{\mathrm{bt}}\left( \mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \right) \) of braided autoequivalences of \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)\ [\textit{A. Davydov} and \textit{D. Nikshych}, Algebra Number Theory 7, No. 6, 1365--1403 (2013; Zbl 1284.18015); \textit{P. Etingof} et al., Quantum Topol. 1, No. 3, 209--273 (2010; Zbl 1214.18007)]. It is shown under some restriction on \(q\)\ that \(\mathsf{Aut}^{\mathrm{bt}}\left( \mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \right) \)\ is isomorphic to \(\mathsf{Aut}\left( \mathfrak{g}\right) \) of automorphisms of \(\mathfrak{g}\), namely, \[ \mathsf{Aut}^{\mathrm{bt}}\left( \mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \right) =\Gamma\vartriangleright<G^{\mathrm{ad}} \] where \(G^{\mathrm{ad}}\)\ is the adjoint group of \(G\)\ and \(\Gamma =\Gamma_{\mathfrak{g}}\) is the automorphism group of the Dynkin diagram of \(\mathfrak{g}\). It is also shown that \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)\ has only two braidings, namely, the standard one and its inverse, any tensor autoequivalence of \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \) being necessarily braided. Therefore, the group of tensor autoequivalences of \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \)\ is isomorphic to \(\Gamma\vartriangleright <G^{\mathrm{ad}}\), which generalizes the result in [\textit{J. Bichon}, Glasg. Math. J. 58, No. 3, 727--738 (2016; Zbl 1377.16025)] dealing with the case that \(\mathfrak{g}=\mathfrak{sl}_{2}\). In consideration of the braided tensor category \(\mathcal{O}_{q}\left( G\right) \mathsf{-comod}\) of finite-dimensional comodules over the function algebra \(\mathcal{O}_{q}\left( G\right) \), which is the \(G\)-equivariantization of \(\mathsf{Rep\,}\mathfrak{u}_{q}\left( \mathfrak{g}\right) \), it is shown that every braided autoequivalence of \(\mathcal{O}_{q}\left( G\right) \mathsf{-comod}\)\ comes from a Dynkin diagram automorphism if \(l\) is sufficiently large, a similar result being established in the non-braided case, which generalizes a result in [\textit{S. Neshveyev} and \textit{L. Tuset}, Adv. Math. 227, No. 1, 146--169 (2011; Zbl 1220.46046); Int. Math. Res. Not. 2012, No. 15, 3498--3508 (2012; Zbl 1256.17008)] dealing with the case that \(q\)\ is not a root of unity. This paper deals with the classical groups \(SL_{N}\), \(Sp_{N}\) and \(SO_{N}\) when \(l>N\). This paper introduces the notion of a finitely dominated tensor category as a gadget. It is shown that the category of comodules over a finitely presented Hopf algebra is finitely dominated, it being established that tensor autoequivalences of a finitely dominated category preserving a tensor generator form an algebraic group. For the entire collection see [Zbl 1412.22001].