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

From MaRDI portal
Revision as of 14:35, 5 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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