[论文解读] A simple bijection between standard (n,n,n) tableaux and irreducible webs for sl_3

Julianna Tymoczko|arXiv (Cornell University)|May 26, 2010

Advanced Combinatorial Mathematics参考文献 7被引用 4

一句话总结

本文提出了一种标准杨表 $3\times n$ 与所有边界顶点为源点的不可约 $χ}_3$ 网络之间的简单显式双射，通过一个称为 $ψ}$-图的中介对象实现。该构造与 Khovanov-Kuperberg 的递归映射一致，并提供了网络旋转与 jeu-de-taquin 提升之间对应关系的几何证明，同时引入了一种表上的“洗牌”操作，该操作对应于网络的合并。

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 sl_2. Building on a result of Kuperberg's, Khovanov-Kuperberg found a recursive algorithm giving a bijection between standard Young tableaux of shape (n,n,n) and irreducible webs for sl_3 whose boundary vertices are all sources. In this paper, we give a simple and explicit map from standard Young tableaux of shape (n,n,n) to irreducible webs for 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 (n,n,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 (n,n,n).

研究动机与目标

• 提供标准 $3\times n$ 杨表与所有边界顶点为源点的不可约 $χ}_3$ 网络之间直接的、非递归的双射。
• 建立网络旋转与 $3\times n$ 杨表上 jeu-de-taquin 提升之间的几何联系。
• 定义一种新的表操作称为“洗牌”，并证明其与网络合并这一自然图操作的对应关系。
• 通过 $ψ}$-图作为中介结构，将该对应关系推广至 $3\times n$ 以外的杨表。

提出的方法

• 通过从下至上按行读取标准杨表的元素，并将每个元素连接到下一行中尚未连接的最大元素，构造出 $ψ}$-图。
• 通过弧的消去与三价顶点的放置，定义从 $ψ}$-图到不可约 $χ}_3$ 网络的几何映射。
• 证明从杨表到网络的映射结果与 Khovanov-Kuperberg 的递归构造等价。
• 利用 $ψ}$-图框架，通过几何论证证明网络旋转对应于表上的提升操作。
• 在表上引入“洗牌”操作，即高度对齐的两个表的复合，并证明其对应于其关联网络的合并。
• 证明洗牌表的 $ψ}$-图是其各组成部分表的 $ψ}$-图的合并，从而建立表操作与网络操作之间的一致对应关系。

实验结果

研究问题

• RQ1 是否存在一种简单且显式的双射，将标准 $3\times n$ 杨表与所有边界顶点为源点的不可约 $χ}_3$ 网络一一对应？
• RQ2 网络旋转与 $3\times n$ 杨表上经典的 jeu-de-taquin 提升操作之间有何关系？
• RQ3 是否可以定义一种表上的自然操作（如“洗牌”），并证明其对应于网络上的一种自然图操作？
• RQ4 $ψ}$-图构造在多大程度上可以推广至 $3\times n$ 以外的杨表？

主要发现

• 所提出的标准 $3\times n$ 杨表与所有边界顶点为源点的不可约 $χ}_3$ 网络之间的双射，与 Khovanov-Kuperberg 的递归构造等价。
• 通过 $ψ}$-图框架，提供了一种几何证明，表明网络旋转对应于 $3\times n$ 杨表上的 jeu-de-taquin 提升操作。
• 表上的“洗牌”操作——定义为两个高度相同的矩形表的复合——恰好对应于其关联网络的合并。
• $ψ}$-图构造可推广至任意形状的杨表，而不仅限于 $3\times n$，且在复合下保持结构特性。
• 洗牌表的 $ψ}$-图是其各组成部分表的 $ψ}$-图的合并，从而在表操作与网络操作之间建立了稳定的对应关系。