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
Brauer groups
0 references
quasi-triangular Hopf algebras
0 references
Yetter-Drinfeld module algebras
0 references
Long dimodules
0 references
0 references