Near-group categories

From MaRDI portal



Abstract: We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules, and an explicit construction of matrix solutions to the pentagon equations in the cases where we establish existence. Many of these also support (braided) commutative and tortile structures and we indicate when this is possible. Small examples are presented in detail.


The paper is a step in the classification of autonomous (= rigid = compact) \(R\)-linear monoidal categories for a commutative ring \(R\). The categories are assumed to have a finite set of simple objects that generate all objects under direct sum. In the case where the unit and counit for each simple object is invertible (that is, where the simple objects are pseudo-invertible), these structures are classified and called group-categories by \textit{F. Quinn} [``Lectures on axiomatic topological quantum field theory, in: Geometry and quantum field theory, IAS/Park City Math. Ser. 1, 323--453 (1995; Zbl 0901.18002)]. Here the author considers the case where all except exactly one simple object \(m\) have pseudo-inverses. The tensor square of \(m\) is a direct sum of a number of other simple objects and of a certain number \(k\) of copies of \(m\) itself. The case \(k=0\) was dealt with by \textit{D. Tambara} and \textit{S. Yamagami} [J. Algebra 209, 692--707 (1998; Zbl 0923.46052)], and the author [\textit{J. Siehler}, ``Braided near-group categories (2000; arxiv.org/abs/math.QA/0011037)]. So the present paper is dedicated to strictly positive \(k\).




Cited in
(39)








This page was built for publication: Near-group categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1408564)