On the Brauer-Picard group of a finite symmetric tensor category (Q2515633): Difference between revisions

The authors compute the Brauer-Picard group of the category of representation of the pointed Hopf algebra \(E(n)=\bigwedge^n\Bbbk\# \Bbbk C_2\) obtained as the bosonization of a quantum plane with the cyclic group \(C_2\). They show that this group is \(\text{PSp}_{2n}(\Bbbk)\times C_2\). Recall that the Brauer-Picard group of a finite tensor category \(\mathcal{C}\) is the group of equivalence classes of bimodule categories over \(\mathcal{C}\) which are invertible with respect to the tensor product. This group is also obtained as the the group of braided tensor autoequivalences of the Drinfeld center \(Z(\mathcal{C})\) of \(\mathcal{C}\), by results of \textit{A. Davydov} and the second author of this article [Algebra Number Theory 7, No. 6, 1365--1403 (2013; Zbl 1284.18015)], extending results of \textit{P. Etingof} et al. [Quantum Topol. 1, No. 3, 209--273 (2010; Zbl 1214.18007)]. If \(H\) is a finite-dimensional Hopf algebra, then \(\mathcal{C}=\mathrm{Rep} H\) is an example of a finite tensor category. Moreover, \(Z(\mathcal{C})\) is identified with the category of representations of \(D(H)\), the Drinfeld double of \(H\). They relate braided autoequivalences of the Drinfeld center of \(\text{Rep}(H)\) with invariant twists and 2-cocycles on \(H\). This is indeed the approach considered in the paper, for \(H=E(n)\) as above. The authors remark that it is the most general example of a non-semisimple symmetric tensor category without non-trivial Tannakian subcategories, by the work of \textit{P. Deligne} [Mosc. Math. J. 2, No. 2, 227--248 (2002; Zbl 1005.18009)]. In order to compute the Brauer-Picard group for this category, the authors study actions of \(\mathrm{Aut}^{\mathrm{br}}(Z(\mathcal{C}))\) on categorical analogues of Grassmannians, an idea already present in previous work of the second author, joint with \textit{B. Riepel} [J. Algebra 411, 191--214 (2014; Zbl 1354.18008)].