The Brauer group of modified supergroup algebras. (Q855964): Difference between revisions

Let \((H,R)\) be a quasitriangular Hopf algebra over a field \(k\). Then \(_H\mathcal M\) is a braided monoidal category, and we can consider the Brauer group of \(_H\mathcal M\), denoted by \(\text{BM}(k,H,R)\). The aim of this paper is to compute this Brauer group in the case where \((H,R)\) is a modified supergroup algebra. This means that \(H=k[G]\ltimes\wedge V\), where \(G\) is a finite group, \(u\in G\) central of order 2, and \(V\) a finite dimensional \(k[G]\)-module on which \(u\) acts as \(-1\). The elements of \(V\) are \((u,1)\)-primitive, and the \(R\)-matrix is \[ R_u={1\over 2}(1\otimes 1+1\otimes u+u\otimes 1-u\otimes u). \] This completes the computation of the Brauer group of a finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero in the following sense: every finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero is twist equivalent to a modified supergroup algebra, and the Brauer group is invariant under twist equivalence (since the corresponding braided monoidal categories are isomorphic). The computation is performed in two steps. In Section 2, the author considers the case where \(V=0\). Then there are again three subcases. If \(u=1\), then \(\text{BM}(k,k[G],R_u)\) is the direct product of \(\text{Br}(k)\) and \(H^2(G,k^\cdot)\). If \(u\neq 1\) and \(\langle u\rangle\) is not a direct summand of \(G\), then \(\text{BM}(k,k[G],R_u)\) is a central extension of \(\text{Br}(k)\) by \(H_\#^2(G,k^\cdot)\), which is equal to \(H^2(G,k^\cdot)\) as a set, but with a modified group structure. If \(\langle u\rangle\) is a direct summand of \(G\), then \(\text{BM}(k,k[G],R_u)\) is the group with underlying set \[ \text{Br}(k)\times H^2(G,k^\cdot)\times\Hom(G/U,\mathbb{Z}_2)\times k^\cdot/(k^\cdot)^2\times\mathbb{Z}_2, \] with certain multiplication rules, that are given explicitly. If \(H=k[G]\ltimes\wedge V\), then we have a surjective split map \(\text{BM}(k,H,R_u)\to\text{BM}(k,k[G],R_u)\), and the cokernel of this map is explicitly given in Section 3. In Section 4, the results are related to some known exact sequences involving the Brauer group and the group of Galois extensions. More explicit computations involving lazy cohomology are performed in the final Section 5.