The Brauer group of some quasitriangular Hopf algebras. (Q1867322)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Brauer group of some quasitriangular Hopf algebras.
scientific article

    Statements

    The Brauer group of some quasitriangular Hopf algebras. (English)
    0 references
    2 April 2003
    0 references
    Let \(k\) be a field and \(H\) a Hopf algebra with bijective antipode. Then we can introduce the Brauer group \(BQ(k,H)\) of Yetter-Drinfeld module algebras [see \textit{S. Caenepeel, F. Van Oystaeyen} and \textit{Y. H. Zhang}, Trans. Am. Math. Soc. 349, No. 9, 3737-3771 (1997; Zbl 0912.16015)]. If \(H\) is commutative and cocommutative, then the Yetter-Drinfeld modules coincide with the Long dimodules, and we recover the Brauer-Long group. The structure of the Brauer-Long group is fairly well understood. The Brauer group of Yetter-Drinfeld module algebras is much more complicated, explicit computations have been carried out so far only in a limited number of situations. In the present paper, the authors study the subgroup \(BM(k,H,R)\) consisting of classes represented by algebras for which the action is induced by the coaction using a given quasitriangular structure \(R\) on \(H\), and its dual version \(BC(k,H,R)\). In the case where \(H=kG\) with \(G\) a finite Abelian group, we recover the Brauer group of \textit{L. N. Childs, G. Garfinkel} and \textit{M. Orzech} [Trans. Am. Math. Soc. 175, 299-326 (1973; Zbl 0265.13002)], and the Brauer-Wall group (if \(G\) is the cyclic group of order \(2\)). In particular, \(BM\) and \(BC\) are computed for all (co)quasitriangular structures on the family of Hopf algebras \[ H_\nu=\langle g,x,\;g^{2\nu}=1,\;x^2=0,\;xg=-gx\rangle \] with \(g\) odd, \(g\) grouplike and \(x\) \((g^\nu,1)\)-primitive. These Hopf algebras were introduced by \textit{D. E. Radford} [Lect. Notes Pure Appl. Math. 158, 205-266 (1994; Zbl 0841.57044)], and their quasitriangular structures \(R_{s,\beta}\) are known and indexed by \(\beta\in k\) and \(1\leq s\leq 2\nu\) odd. It is first shown that \[ BM(k,H_\nu,R_{s,\beta})\cong BM(k,H_\nu,R_{s,0}). \] The main result is Theorem 4.12 stating that we have a split exact sequence \[ 1\to (k,+)\to BM(k,H_\nu,R_{s,0})\to B_{\theta_s}(k,\mathbb{Z}_{2\nu})\to 1, \] where \(B_{\theta_s}(k,\mathbb{Z}_{2\nu})\) is the Brauer group of Childs, Garfinkel and Orzech, and \(\theta_s\colon\mathbb{Z}_{2\nu}\times\mathbb{Z}_{2\nu}\to k\) is the bicharacter on \(\mathbb{Z}_{2\nu}\) induced by \(R_{s,0}\). If \(k\) is algebraically closed, then it follows that \(BM(k,H_\nu,R_{s,0})\) is the direct sum of \(r+1\) copies of \(\mathbb{Z}_2\) and one copy of \((k,+)\).
    0 references
    0 references
    Brauer groups
    0 references
    quasi-triangular Hopf algebras
    0 references
    Yetter-Drinfeld module algebras
    0 references
    Long dimodules
    0 references
    0 references
    0 references