An explicit bijection between semistandard tableaux and non-elliptic $s l_{3}$ webs

Heather M. Russell Department of Mathematics
University of Southern California heathemr@usc.edu

Abstract.

The $s l_{3}$ spider is a diagrammatic category used to study the representation theory of the quantum group $U_{q} (s l_{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 non-elliptic $s l_{3}$ webs.

1. Introduction

The $s l_{3}$ spider, introduced by Kuperberg [10] and subsequently studied by many others [8, 9, 11, 12], is a diagrammatic, braided monoidal category encoding the representation theory of $U_{q} (s l_{3})$ . The objects in this category, called sign strings, are finite words in the alphabet ${+, -}$ including the empty word. The morphisms are $Z [q, q^{- 1}]$ - linear combinations of certain graphs called webs. See Figure 1 for an example of a web.

The objects in the spider can be thought of as tensor products of the two dual 3-dimensional irreducible representations $V^{+}$ and $V^{-}$ of $U_{q} (s l_{3})$ , and the morphisms can be thought of as intertwining maps between tensor products of these representations [10]. Spider categories for other Lie types have been defined. See for instance [2, 11, 12].

Figure 1. A web in

\textupHom(++++,+)

Webs in the $s l_{3}$ spider are oriented trivalent graphs drawn in a rectangular region with boundary points lying on the top and bottom edges of that region. Edges incident on the boundary points have orientations compatible with the source and target sign strings. We read webs from bottom to top. All vertices are either sources or sinks. Webs are also subject to Relations 1, 2, and 3 below which are often referred to as the circle, bigon, and square relations respectively. A web with no bigons, squares, or circles is called non-elliptic or irreducible. Every web is a linear combination of non-elliptic webs. We follow the normalization conventions found in Khovanov’s work on $s l_{3}$ link homology [7].

(1)

\raisebox1.0pt\leavevmodeto33.25pt\vboxto33.25pt\pgfpicture\makeatletterto0.0pt\pgfsys@beginscope\definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@color@rgb@fill000\pgfsys@setlinewidth0.4pt\nullfontto0.0pt\pgfsys@beginscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt0.0pt\pgfsys@curveto0.0pt7.857011pt−6.369367pt14.226378pt−14.226378pt14.226378pt\pgfsys@curveto−22.083389pt14.226378pt−28.452756pt7.857011pt−28.452756pt0.71pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.0−1.01.00.0−28.452756pt0.71pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto−28.452756pt0.0pt\pgfsys@curveto−28.452756pt−7.857011pt−22.083389pt−14.226378pt−14.226378pt−14.226378pt\pgfsys@curveto−6.369367pt−14.226378pt0.0pt−7.857011pt0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@endscope\hss\endpgfpicture=[3]q=q2+1+q−2

(2)

\raisebox−5.0pt\leavevmodeto19.03pt\vboxto47.48pt\pgfpicture\makeatletterto0.0pt\pgfsys@beginscope\definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@color@rgb@fill000\pgfsys@setlinewidth0.4pt\nullfontto0.0pt\pgfsys@beginscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@beginscope\pgfsys@setlinewidth0.64pt\pgfsys@setdash0.0pt\pgfsys@roundcap\pgfsys@roundjoin\pgfsys@moveto1.56pt2.08pt\pgfsys@curveto1.43pt1.3pt0.0pt0.13pt−0.39pt0.0pt\pgfsys@curveto0.0pt−0.13pt1.43pt−1.3pt1.56pt−2.08pt\pgfsys@stroke\pgfsys@endscope\pgfsys@moveto0.0pt14.226378pt\pgfsys@lineto0.0pt19.459567pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.00.0pt19.459567pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt21.339567pt\pgfsys@lineto0.0pt28.452756pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt−14.226378pt\pgfsys@lineto0.0pt−7.113189pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt0.0pt\pgfsys@lineto0.0pt−6.403189pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.0−1.01.00.00.0pt−6.403189pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt0.0pt\pgfsys@curveto−7.113189pt1.422638pt−7.113189pt4.979233pt−7.113189pt6.403189pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.0−7.113189pt6.403189pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto−7.113189pt7.113189pt\pgfsys@curveto−7.113189pt9.247146pt−7.113189pt12.80374pt0.0pt14.226378pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt0.0pt\pgfsys@curveto7.113189pt1.422638pt7.113189pt4.979233pt7.113189pt6.403189pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.07.113189pt6.403189pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto7.113189pt7.113189pt\pgfsys@curveto7.113189pt9.247146pt7.113189pt12.80374pt0.0pt14.226378pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\definecolorpgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@moveto0.0pt0.0pt\pgfsys@moveto1.13811pt0.0pt\pgfsys@curveto1.13811pt0.628561pt0.628561pt1.13811pt0.0pt1.13811pt\pgfsys@curveto−0.628561pt1.13811pt−1.13811pt0.628561pt−1.13811pt0.0pt\pgfsys@curveto−1.13811pt−0.628561pt−0.628561pt−1.13811pt0.0pt−1.13811pt\pgfsys@curveto0.628561pt−1.13811pt1.13811pt−0.628561pt1.13811pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fillstroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\definecolorpgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@moveto0.0pt14.226378pt\pgfsys@moveto1.13811pt14.226378pt\pgfsys@curveto1.13811pt14.854939pt0.628561pt15.364488pt0.0pt15.364488pt\pgfsys@curveto−0.628561pt15.364488pt−1.13811pt14.854939pt−1.13811pt14.226378pt\pgfsys@curveto−1.13811pt13.597817pt−0.628561pt13.088268pt0.0pt13.088268pt\pgfsys@curveto0.628561pt13.088268pt1.13811pt13.597817pt1.13811pt14.226378pt\pgfsys@closepath\pgfsys@moveto0.0pt14.226378pt\pgfsys@fillstroke\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@endscope\hss\endpgfpicture=[2]q\raisebox−33.0pt\leavevmodeto4.8pt\vboxto47.48pt\pgfpicture\makeatletterto0.0pt\pgfsys@beginscope\definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@color@rgb@fill000\pgfsys@setlinewidth0.4pt\nullfontto0.0pt\pgfsys@beginscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt14.226378pt\pgfsys@lineto0.0pt33.685945pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.00.0pt33.685945pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt35.565945pt\pgfsys@lineto0.0pt56.905512pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@endscope\hss\endpgfpicture=(q+q−1)\raisebox−33.0pt\leavevmodeto4.8pt\vboxto47.48pt\pgfpicture\makeatletterto0.0pt\pgfsys@beginscope\definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@color@rgb@fill000\pgfsys@setlinewidth0.4pt\nullfontto0.0pt\pgfsys@beginscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt14.226378pt\pgfsys@lineto0.0pt33.685945pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.00.0pt33.685945pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt35.565945pt\pgfsys@lineto0.0pt56.905512pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@endscope\hss\endpgfpicture

(3)

\raisebox−18.0pt\leavevmodeto33.25pt\vboxto33.25pt\pgfpicture\makeatletterto0.0pt\pgfsys@beginscope\definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@color@rgb@fill000\pgfsys@setlinewidth0.4pt\nullfontto0.0pt\pgfsys@beginscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt14.226378pt\pgfsys@lineto0.0pt19.459567pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.00.0pt19.459567pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt21.339567pt\pgfsys@lineto0.0pt28.452756pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt28.452756pt\pgfsys@lineto6.403189pt28.452756pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm1.00.00.01.06.403189pt28.452756pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto7.113189pt28.452756pt\pgfsys@lineto14.226378pt28.452756pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto14.226378pt14.226378pt\pgfsys@lineto14.226378pt20.629567pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.01.0−1.00.014.226378pt20.629567pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto14.226378pt21.339567pt\pgfsys@lineto14.226378pt28.452756pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto14.226378pt14.226378pt\pgfsys@lineto7.823189pt14.226378pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm−1.00.00.0−1.07.823189pt14.226378pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto7.113189pt14.226378pt\pgfsys@lineto0.0pt14.226378pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto14.226378pt28.452756pt\pgfsys@lineto16.446988pt30.673329pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.710630.71065−0.710650.7106316.446988pt30.673329pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto17.782972pt32.009351pt\pgfsys@lineto21.339567pt35.565945pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt14.226378pt\pgfsys@lineto−2.220571pt12.00577pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm−0.71065−0.710630.71063−0.71065−2.220571pt12.00577pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto−3.556595pt10.669784pt\pgfsys@lineto−7.113189pt7.113189pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto14.226378pt14.226378pt\pgfsys@lineto17.280936pt11.171825pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm0.70709−0.70710.70710.7070917.280936pt11.171825pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto17.782972pt10.669784pt\pgfsys@lineto21.339567pt7.113189pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto0.0pt28.452756pt\pgfsys@lineto−3.052041pt31.50479pt\pgfsys@stroke\pgfsys@invoke\pgfsys@beginscope\pgfsys@transformcm−0.710640.71065−0.71065−0.71064−3.052041pt31.50479pt\pgfsys@invoke\pgfsys@endscope\pgfsys@endscope\pgfsys@beginscope\pgfsys@setlinewidth0.8pt\pgfsys@moveto−3.556595pt32.009351pt\pgfsys@lineto−7.113189pt35.565945pt\pgfsys@stroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\definecolorpgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@moveto0.0pt14.226378pt\pgfsys@moveto1.13811pt14.226378pt\pgfsys@curveto1.13811pt14.854939pt0.628561pt15.364488pt0.0pt15.364488pt\pgfsys@curveto−0.628561pt15.364488pt−1.13811pt14.854939pt−1.13811pt14.226378pt\pgfsys@curveto−1.13811pt13.597817pt−0.628561pt13.088268pt0.0pt13.088268pt\pgfsys@curveto0.628561pt13.088268pt1.13811pt13.597817pt1.13811pt14.226378pt\pgfsys@closepath\pgfsys@moveto0.0pt14.226378pt\pgfsys@fillstroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\definecolorpgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@moveto0.0pt28.452756pt\pgfsys@moveto1.13811pt28.452756pt\pgfsys@curveto1.13811pt29.081317pt0.628561pt29.590866pt0.0pt29.590866pt\pgfsys@curveto−0.628561pt29.590866pt−1.13811pt29.081317pt−1.13811pt28.452756pt\pgfsys@curveto−1.13811pt27.824195pt−0.628561pt27.314646pt0.0pt27.314646pt\pgfsys@curveto0.628561pt27.314646pt1.13811pt27.824195pt1.13811pt28.452756pt\pgfsys@closepath\pgfsys@moveto0.0pt28.452756pt\pgfsys@fillstroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\definecolorpgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@moveto14.226378pt28.452756pt\pgfsys@moveto15.364488pt28.452756pt\pgfsys@curveto15.364488pt29.081317pt14.854939pt29.590866pt14.226378pt29.590866pt\pgfsys@curveto13.597817pt29.590866pt13.088268pt29.081317pt13.088268pt28.452756pt\pgfsys@curveto13.088268pt27.824195pt13.597817pt27.314646pt14.226378pt27.314646pt\pgfsys@curveto14.854939pt27.314646pt15.364488pt27.824195pt15.364488pt28.452756pt\pgfsys@closepath\pgfsys@moveto14.226378pt28.452756pt\pgfsys@fillstroke\pgfsys@invoke\pgfsys@endscope\pgfsys@beginscope\definecolorpgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@moveto14.226378pt14.226378pt\pgfsys@moveto15.364488pt14.226378pt\pgfsys@curveto15.364488pt14.854939pt14.854939pt15.364488pt14.226378pt15.364488pt\pgfsys@curveto13.597817pt15.364488pt13.088268pt14.854939pt13.088268pt14.226378pt\pgfsys@curveto13.088268pt13.597817pt13.597817pt13.088268pt14.226378pt13.088268pt\pgfsys@curveto14.854939pt13.088268pt15.364488pt13.597817pt15.364488pt14.226378pt\pgfsys@closepath\pgfsys@moveto14.226378pt14.226378pt\pgfsys@fillstroke\pgfsys@invoke\pgfsys@endscope\par\par\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@endscope\hss\endpgfpicture=\raisebox−10.0pt\leavevmodeto30.41pt\vboxto30.41pt\pgfpicture\makeatletterto0.0pt\pgfsys@beginscope\definecolor

An explicit bijection between semistandard tableaux and non-elliptic sl3 webs

Abstract.

1. Introduction

An explicit bijection between semistandard tableaux and non-elliptic $s l_{3}$ webs