Making non-trivially associated tensor categories from left coset representatives
type: Item
instance of: scholarly article
title: Making non-trivially associated tensor categories from left coset representatives
zbMATH Open document ID: 1037.18004
DOI: 10.1016/S0022-4049(02)00119-6
author: Edwin Beggs
published in: Journal of Pure and Applied Algebra
publication date: 2003-03-09T00:00:00Z
review text: Let \(G\) be a subgroup of a finite group \(X\), \(M\subset X\) a set of left coset representatives. From the algebraic structure on \(X\), the author first constructs a binary operation on \(M\) which has a left identity and right division. Conversely any set with such an operation can be realized as a set of left coset representatives for the quotient of two permutation groups. This operation is not associative, but the breakdown of associativity is given by a ``cocycle'' \(\tau: M\times M\to G\). Using this cocycle he constructs a tensor product with non-trivial associator for the category \({\mathcal C}\) of \(G\setminus X\)-graded right representations of \(G\). This category also can be given evaluation and coevaluation maps, depending on the choice of \(M\), making it into a rigid tensor category. Under the assumption that the binary operation on \(M\) has left division, he proves that the grading and group action can be combined into the action of an algebra \(A\) on the objects in the category. It turns out that A itself is in \({\mathcal C}\), and that the multiplication is associative by using the associator. Next the author constructs a double factorization from two copies of the original group \(X\), where one copy of \(X\) is given a different binary operation. From the double, similarly the author constructs a category \({\mathcal D}\) which is braided, as well as being non-trivially associated. Moreover, he again forms an algebra \(D\) in \({\mathcal D}\) whose action combines both the gradings and action in the definition of \({\mathcal D}\). Then using the braiding in \(\mathcal D\), he reconstructs a coproduct on \(D\) from the tensor product structure in \({\mathcal D}\), and explicitly calculates the braided Hopf algebra structure on \(D\).
Mathematics Subject Classification ID: 18D10
Mathematics Subject Classification ID: 16W30
zbMATH DE Number: 1878446
zbMATH Keywords: left coset representative
zbMATH Keywords: tensor category
zbMATH Keywords: rigid tensor category
zbMATH Keywords: braided tensor category
zbMATH Keywords: double construction
zbMATH Keywords: braided Hopf algebra
MaRDI profile type: Publication
cites work: Quasialgebra structure of the octonions
cites work: Finite group factorizations and braiding
cites work: Loop groups and the symplectic form for solitons in integrable theories
cites work: Quasitriangular and differential structures on bicrossproduct Hopf algebras
cites work: Groupoids and crossed objects in algebraic topology
cites work: Loops and semidirect products
cites work: Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction
cites work: The quantum double as quantum mechanics
cites work: Q4857364
cites work: Matched pairs of groups and bismash products of hopf algebras
cites work: Q5587110
cites work: TOPOLOGICAL QUANTUM FIELD THEORIES ASSOCIATED TO FINITE GROUPS AND CROSSED G-SETS
full work available at URL: s0022-4049(02)00119-6
OpenAlex ID: W1978830080
description: scientific article; zbMATH DE number 1878446