English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this paper, we define the KW cell system on a graph $\Gamma$, depending onparameters $N\in \mathbb{N}$, $q$ a root of unity, and $\omega$ an $N$-th rootof unity. This is a polynomial system of equations depending on $\Gamma$ andthe parameters. Using the graph planar algebra embedding theorem, we prove thatwhen $q = e^{2\pi i \frac{1}{2(N+k)}}$, solutions to the KW cell system on$\Gamma$ classify module categories over$\overline{\mathrm{Rep}(U_q(sl_N))^\omega}$ whose action graph for the object$\Lambda_1$ is $\Gamma$. The KW cell system is a generalisation of theEtingof-Ostrik and the De Commer-Yamashita classifying data for$\overline{\mathrm{Rep}(U_q(sl_2))}$ module categories, and Ocneanu's cellcalculus for $\overline{\mathrm{Rep}(U_q(sl_3))}$ module categories.  To demonstrate the effectiveness of this cell calculus, we solve the KW cellsystems corresponding to the exceptional module categories over$\overline{\mathrm{Rep}(U_q(sl_4))}$ when $q= e^{2\pi i \frac{1}{2(4+k)}}$, aswell as for all three infinite families of charge conjugation modules. Buildingon the work of the second author, this explicitly constructs and classifies allirreducible module categories over $\mathcal{C}(sl_4, k)$ for all $k\in\mathbb{N}$. These results prove claims made by Ocneanu on the quantumsubgroups of $SU(4)$. We also construct exceptional module categories over$\overline{\mathrm{Rep}(U_q(sl_4))^\omega}$ where $\omega\in \{-1, i, -i\}$.Two of these module categories have no analogue when $\omega=1$.  The main technical contributions of this paper are a proof of the graphplanar algebra embedding theorem for oriented planar algebras, and a refinementof Kazhdan and Wenzl's skein theory presentation of the category$\overline{\mathrm{Rep}(U_q(sl_N))^\omega}$. We also explicitly describe thesubfactors coming from a solution to a KW cell system.

Cell Systems for $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}$ Module Categories