Abstract
Combinatorial spiders are a model for the invariant space of the tensor product of representations. The basic objects, webs, are certain directed planar graphs with boundary; algebraic operations on representations correspond to graph-theoretic operations on webs. Kuperberg developed spiders for rank 2 Lie algebras and $\mathfrak {sl}_{2}$ . Building on a result of Kuperberg, Khovanov–Kuperberg found a recursive algorithm giving a bijection between standard Young tableaux of shape 3×n and irreducible webs for $\mathfrak{sl}_{3}$ whose boundary vertices are all sources. In this paper, we give a simple and explicit map from standard Young tableaux of shape 3×n to irreducible webs for $\mathfrak {sl}_{3}$ whose boundary vertices are all sources and show that it is the same as Khovanov–Kuperberg’s map. Our construction generalizes to some webs with both sources and sinks on the boundary. Moreover, it allows us to extend the correspondence between webs and tableaux in two ways. First, we provide a short, geometric proof of Petersen–Pylyavskyy–Rhoades’s recent result that rotation of webs corresponds to jeu-de-taquin promotion on 3×n tableaux. Second, we define another natural operation on tableaux called a shuffle and show that it corresponds to the join of two webs. Our main tool is an intermediary object between tableaux and webs that we call an m-diagram. The construction of m-diagrams, like many of our results, applies to shapes of tableaux other than 3×n.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.