[論文レビュー] 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$ の形状の標準ヤング盤面と、すべての境界頂点がソースである $\/mathfrak{sl}_3$ の非可約ウェブの間の単純で明示的な全単射を、中間的な対象として $\/mathsf{m}$-図を用いて提示する。この構成は、コホヴァノフ＝クーパーバークの再帰的写像と一致し、ウェブの回転と 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$ の標準ヤング盤面と非可約 $\mathfrak{sl}_3$ ウェブの間の直接的で非再帰的な全単射を提供すること。
• ウェブの回転と $3\times n$ テーブルックスにおける jeu-de-taquin のプロモーションとの間の幾何的関係を確立すること。
• 「シャッフル」と呼ばれる新しいテーブルックスの演算を定義し、それがウェブにおける結合操作に対応することを示すこと。
• $\mathsf{m}$-図を中間的構造として用いることで、$3\times n$ テーブルックスを超えた一般化を図ること。

提案手法

• 下から上へ行ごとに読み進める標準ヤング盤面から $\mathsf{m}$-図を構成し、各エントリを次の行の未接続で最も大きなエントリに接続する。
• 弧の解消と三価頂点の配置を用いて、$\mathsf{m}$-図から非可約 $\mathfrak{sl}_3$ ウェブへの幾何的写像を定義する。
• 得られたテーブルックスからウェブへの写像が、コホヴァノフ＝クーパーバークの再帰的構成と等価であることを証明する。
• $\mathsf{m}$-図の枠組みを用いて、ウェブの回転が幾何的議論によりテーブルックスにおけるプロモーションに対応することを示す。
• 同じ高さを持つ2つの長方形テーブルックスの合成として定義される「シャッフル」操作を導入し、それが関連するウェブの結合に対応することを示す。
• $\mathsf{m}$-図の枠組みから、シャッフルされたテーブルックスの $\mathsf{m}$-図が個々のテーブルックスの $\mathsf{m}$-図の結合に一致することを確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての境界頂点がソースである $3\times n$ の標準ヤング盤面と非可約 $\mathfrak{sl}_3$ ウェブの間には、単純で明示的な全単射が存在するか？
• RQ2 ウェブの回転は、$3\times n$ テーブルックスにおける古典的な jeu-de-taquin のプロモーションとどのように関係するか？
• RQ3 「シャッフル」のような自然なテーブルックスの演算を定義し、それがウェブにおける自然なグラフ操作に対応するかを示せるか？
• RQ4 $\mathsf{m}$-図の構成は、$3\times n$ テーブルックスを超えてどの程度一般化可能か？

主な発見

• 提案された $3\times n$ の標準ヤング盤面とすべての境界頂点がソースである非可約 $\mathfrak{sl}_3$ ウェブの間の全単射は、コホヴァノフ＝クーパーバークの再帰的構成と等価である。
• $\mathsf{m}$-図の枠組みを用いて、ウェブの回転が jeu-de-taquin のプロモーションに対応することを幾何的証明で示した。
• 高さが等しい2つの長方形テーブルックスの合成として定義される「シャッフル」操作は、それらの関連するウェブの結合に正確に対応する。
• $\mathsf{m}$-図の構成は、$3\times n$ に限らず、任意の形状のテーブルックスへ一般化可能であり、合成において構造的性質を保存する。
• シャッフルされたテーブルックスの $\mathsf{m}$-図は、個々のテーブルックスの $\mathsf{m}$-図の結合に一致し、テーブルックスの演算とウェブの演算との間の一貫性ある対応関係を確立した。