We study webs in quantum type $C$, focusing on the rank three case. We define a linear pivotal category $\mathbf{Web}(\mathfrak{sp}_6)$ diagrammatically by generators and relations, and conjecture that it is equivalent to the category $\mathbf{FundRep}(U_q(\mathfrak{sp}_6))$ of quantum $\mathfrak{sp}_6$ representations generated by the fundamental representations, for generic values of the parameter $q$. We prove a number of results in support of this conjecture, most notably that there is a full, essentially surjective functor $\mathbf{Web}(\mathfrak{sp}_6) \rightarrow \mathbf{FundRep}(U_q(\mathfrak{sp}_6))$, that all $\mathrm{Hom}$-spaces in $\mathbf{Web}(\mathfrak{sp}_6)$ are finite-dimensional, and that the endomorphism algebra of the monoidal unit in $\mathbf{Web}(\mathfrak{sp}_6)$ is $1$-dimensional. The latter corresponds to the statement that all closed webs can be evaluated to scalars using local relations; as such, we obtain a new approach to the quantum $\mathfrak{sp}_6$ link invariants, akin to the Kauffman bracket description of the Jones polynomial.
Webs are combinatorial diagrams used to encode homomorphisms between representations of Lie (super)algebras and related objects. This paper extends the theory of webs to the quantum group of type Q. We define a monoidal supercategory of quantum type Q webs and show it admits a full, essentially surjective functor onto the monoidal supercategory of $U_q(\mathfrak{q}_n)$-modules generated by the quantum symmetric powers of the natural representation and their duals. We also show that a certain subcategory of the web category is a ribbon category and discuss applications to the representation the…
We define and study the category of symmetric $\mathfrak{sl}_2$-webs. This category is a combinatorial description of the category of all finite dimensional quantum $\mathfrak{sl}_2$-modules. Explicitly, we show that (the additive closure of) the symmetric $\mathfrak{sl}_2$-spider is (braided monoidally) equivalent to the latter. Our main tool is a quantum version of symmetric Howe duality. As a corollary of our construction, we provide new insight into Jones-Wenzl projectors and the colored Jones polynomials.
We define a $\mathbb{C}(q)$-linear pivotal category $\mathbf{Web}(\mathfrak{sp}_{2n})$ and prove that it is equivalent to the full subcategory of finite-dimensional representations of $U_q(\mathfrak{sp}_{2n})$ tensor-generated by the fundamental representations. This answers the type $C$ case of the main open problem from Kuperberg's 1996 paper "Spiders for rank 2 Lie algebras" (arXiv:q-alg/9712003).
We define web categories describing intertwiners for the orthogonal and symplectic Lie algebras, and, in the quantized setup, for certain orthogonal and symplectic coideal subalgebras. They generalize the Brauer category, and allow us to prove quantum versions of some classical type $\mathbf{B}\mathbf{C}\mathbf{D}$ Howe dualities.
We give a diagrammatic presentation in terms of generators mod relations of the representation category of $U_q(\mathfrak{sl}_n)$. More precisely, we produce all the relations among $\rm{SL}_n$-webs, thus describing the full subcategory tensor-generated by fundamental representations $\bigwedge^k \mathbb{C}^n$ (this subcategory can be idempotent completed to recover the entire representation category). Our result answers a question posed by Kuperberg [arXiv:q-alg/9712003] and affirms conjectures of Kim [arXiv:math.QA/0310143] and Morrison [arXiv:0704.1503]. Our main tool is an application of q…
The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection via a recursive growth algorithm. Recently, Tymoczko gave a simple version of this bijection in the case that the tableaux are standard and used it to study rotation and joins of webs. We build on Tymoczko's bijection to give a simple and explicit algorithm for constructing all no…
We show that in ADE type the trace of Webster's categorification of a tensor product of irreducibles for the quantum group is isomorphic to a tensor product of Weyl modules for the current algebra $\dot{U}(\mathfrak{g}[t])$. This extends a result of Beliakova, Habiro, Lauda, and Webster who showed that the trace of the categorified quantum group $\dot{\mathcal{U}}^*(\mathfrak{g})$ is isomorphic to $\dot{U}(\mathfrak{g}[t])$, and the trace of a cyclotomic quotient of $\dot{\mathcal{U}}^*(\mathfrak{g})$, which categorifies a single irreducible for the quantum group, is isomorphic to a Weyl modul…
The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We make the first step towards developing that theory by proving that the reduced $SU_3$-skein algebra of any surface of finite type is finitely generated. We achieve that result by developing a theory of…
We give an interpretation of sl_n webs as morphisms between certain singular Soergel bimodules. We explain how this is a combinatorial, algebraic version of the geometric Satake equivalence (in type A). We then q-deform the construction, giving an equivalence between representations of U_q(sl_n) and certain singular Soergel bimodules for a q-deformed Cartan matrix. In this paper, we discuss the general case but prove only the case n=2,3. In the sequel we will prove the case n >= 4.
Given a semisimple Lie algebra $\mathfrak{g}$, we can represent invariants of tensor products of fundamental representations of the quantum enveloping algebra $U_q(\mathfrak{g})$ using particular directed graphs called webs. In particular webs are trivalent graphs (with leaves) whose edges are labeled by fundamental representations. Picking generating morphisms and relators we can construct a presentation of the representation category. We examine the properties of this presentation in the case of rank $3$ spiders and certain higher rank non-simple spiders. In particular, we prove a PBW-type t…
Instanton partition functions of $\mathcal{N}=1$ 5d Super Yang-Mills reduced on $S^1$ can be engineered in type IIB string theory from the $(p,q)$-branes web diagram. To this diagram is superimposed a web of representations of the Ding-Iohara-Miki (DIM) algebra that acts on the partition function. In this correspondence, each segment is associated to a representation, and the (topological string) vertex is identified with the intertwiner operator constructed by Awata, Feigin and Shiraishi. We define a new intertwiner acting on the representation spaces of levels $(1,n)\otimes(0,m)\to(1,n+m)$, …
We continue investigating the generalisations of geometrical statistical models introduced in [13], in the form of models of webs on the hexagonal lattice H having a U_q(sl_n) quantum group symmetry. We focus here on the n=3 case of cubic webs, based on the Kuperberg A_2 spider, and illustrate its properties by comparisons with the well-known dilute loop model (the n=2 case) throughout. A local vertex-model reformulation is exhibited, analogous to the correspondence between the loop model and a three-state vertex model. The n=3 representation uses seven states per link of H, displays explicitl…
