English

Admissibility and the $C_2$ Spider

Quantum Algebra 2018-01-04 v1

Abstract

A tensor category is multiplicity-free if for any objects A,B,CA,B,C we have that Hom(ABC,C)\mathrm{Hom}(A\otimes B\otimes C,\mathbb{C}) is either 00 or 11 dimensional. It is known that Repuni(Uq(sp(4)))Rep^{uni}(U_q(\mathfrak{sp}(4))) is not multiplicty-free. We find a full subcategory of Repuni(Uq(sp(4)))Rep^{uni}(U_q(\mathfrak{sp}(4))) which is multiplicty-free. A description of the dimension of these Hom\mathrm{Hom} spaces is given for this subcategory, including when qq is a root of unity. The methods used arise from the description, given by Kuperberg, of Repuni(Uq(sp(4)))Rep^{uni}(U_q(\mathfrak{sp}(4))) as a spider. The main tool is the recursive definition of clasps given by Kim. In particular, we provide an appropriate notion of admissibility when looking at the Sp(4)k\mathrm{Sp}(4)_k ribbon graph invariants with restricted edge labels.

Cite

@article{arxiv.1801.00953,
  title  = {Admissibility and the $C_2$ Spider},
  author = {Wade Bloomquist and Andres Mejia},
  journal= {arXiv preprint arXiv:1801.00953},
  year   = {2018}
}

Comments

16 pages

R2 v1 2026-06-22T23:35:17.105Z