Bar categories and star operations

E. J. Beggs; S. Majid

Home/Archive/arXiv

arXiv · math/0701008

Bar categories and star operations

E. J. Beggs·S. Majid

View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a conventional $*$-Hopf algebra and modules over a more general object which call a `quasi-$*$-Hopf algebra' and for which examples include the standard quantum groups $u_q(g)$ at $q$ a root of unity (these are well-known not to be a usual $*$-Hopf algebra). We also provide examples of strictly quasiassociative bar categories, including modules over `$*$-quasiHopf algebras' and a construction based on finite subgroups $H\subset G$ of a finite group. Inside a bar category one has natural notions of `$\star$-algebra' and `unitary object' therefore extending these concepts to a variety of new situations. We study braidings and duals in bar categories and $\star$-braided groups (Hopf algebras) {\em in} braided-bar categories. Examples include the transmutation $B(H)$ of a quasitriangular $*$-Hopf algebra and the quantum plane $C_q^2$ at certain roots of unity $q$ in the bar category of $\widetilde{u_q(su_2)}$-modules. We use our methods to provide a natural quasi-associative $C^*$-algebra structure on the octonions ${\mathbb O}$ and on a coset example. In the appendix we extend the Tannaka-Krein reconstruction theory to bar categories in relation to $*$-Hopf algebras.

Explore related subjects

math.QA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

E. J. Beggs, S. Majid. 2007-12-22. Bar categories and star operations. https://arxiv.org/abs/math/0701008

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On singular vectors and associated Weyl elements for simply-laced universal affine vertex operator algebras

Given a finite-dimensional complex simple Lie algebra $\mathfrak{g}$ and a complex number $κ$, let $V^κ(\mathfrak{g})$ be the associated universal affine vertex algebra. Gorelik and Kac [GK07] gave a sufficient and necessary condition for $V^κ(\mathfrak{g})$ to be simple. In this paper, for simply-laced $\mathfrak{g}$ and non-critical $κ$, we determine the weights of singular vectors of $V^κ(\mathfrak{g})$ with minimal conformal weights, when $V^κ(\mathfrak{g})$ is not simple. We further determine all the longest Weyl elements in the Kashiwara-Tanisaki character theorem [KT00] which correspond to the weights of the singular vectors.

math.QA↗

arXiv2026

Modular invariants and NIM-reps

Given a pivotal module category over a spherical fusion category, we introduce the encircling module, a module over the fusion algebra defined using the pivotal structure, and prove that it is isomorphic to the NIM-rep as a fusion algebra module. When applied to the $\mathcal{TM}$ realisation of the modular invariant partition function (arXiv:1911.09024), this identifies the NIM-rep multiplicities with the entries $Z_{I,I^\vee}$ of the modular invariant (its diagonal relative to the charge-conjugation invariant, which is the one given by the regular module category), providing a categorical generalisation of Böckenhauer, Evans and Kawahigashi's results (arXiv:math/9907149). We also show that for indecomposable module categories the dimension condition on $\mathcal{TM}$ required for modular invariance is automatically satisfied, and that $\mathcal{TM}$ is, as an algebra, the full centre of the module category in the sense of Davydov, Kong and Runkel (arXiv:1307.5956), which for module categories of algebras is the full centre of Fjelstad, Fuchs, Runkel and Schweigert (arXiv:hep-th/0612306). Consequently $\mathcal{TM}$ gives rise to Cardy algebras in the sense of Kong and Runkel (arXiv:0807.3356).

math.QA↗

arXiv2026

A diagrammatic presentation for every pivotal pointed fusion category

We provide a generators and relations presentation of pivotal pointed fusion categories, $Vec(G,ω,π)$. Unlike the well-known skeletal model, our presentation is strict and allows multiple isomorphic objects. Our main tool is skein theory, which allows us to apply topological tools to understand the relations of morphisms in the category. This expository paper provides details of skein-theoretic work in the setup that allows multiple isomorphic labels in the generators, which didn't previously exist in the literature.

math.QA↗