[논문 리뷰] A simple bijection between standard (n,n,n) tableaux and irreducible webs for sl_3

Julianna Tymoczko|arXiv (Cornell University)|2010. 05. 26.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 4

한 줄 요약

이 논문은 표준 Young 표준형이 $3\times n$ 인 표준 Young 표준형과 모든 경계 정점이 소스인 $τ\mathfrak{sl}_3$의 기약 웹 사이의 간단하고 명시적인 전단사 사상(전단사)을 제시한다. 이 사상은 중간 객체로 불리는 $τ\mathsf{m}$-다이어그램을 사용하며, 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$ Young 표준형과 기약 $τ\mathfrak{sl}_3$ 웹 사이의 직접적이고 비재귀적인 전단사 사상 제공.
• 웹의 회전과 $3\times n$ 표준형에서의 jeu-de-taquin 프로모션 사이의 기하학적 연결 고리 확립.
• 새로운 표준형 연산인 '셔플'을 정의하고, 이가 웹의 조인과 대응됨을 보여줌.
• 표준형의 형상이 $3\times n$을 초월하는 범위로 $τ\mathsf{m}$-다이어그램을 중간 구조로 사용해 일반화함.

제안 방법

• 표준형의 원소를 아래에서 위로 각 행을 순서대로 읽으며 $τ\mathsf{m}$-다이어그램을 구성하고, 각 원소를 다음 행에서 연결되지 않은 가장 큰 원소와 연결함.
• 아크 해소와 삼중 정점 배치를 통해 $τ\mathsf{m}$-다이어그램에서 기약 $τ\mathfrak{sl}_3$ 웹으로의 기하학적 사상 정의.
• 표준형에서 웹으로의 결과 사상이 Khovanov-Kuperberg의 재귀적 구성과 동치임을 증명함.
• $τ\mathsf{m}$-다이어그램 프레임워크를 사용하여 웹의 회전이 표준형에서의 프로모션과 기하학적으로 대응됨을 보임.
• 높이가 같은 두 직사각형 표준형의 병합으로 정의된 표준형의 '셔플' 연산을 도입하고, 이가 해당 웹의 조인과 정확히 대응됨을 보임.
• $τ\mathsf{m}$-다이어그램이 셔플된 표준형의 경우, 구성 요소 표준형의 $τ\mathsf{m}$-다이어그램의 조인임을 증명함.

실험 결과

연구 질문

• RQ1 모든 경계 정점이 소스인 표준 $3\times n$ Young 표준형과 기약 $τ\mathfrak{sl}_3$ 웹 사이에 단순하고 명시적인 전단사 사상이 존재하는가?
• RQ2 웹의 회전은 $3\times n$ 표준형에서 고전적인 jeu-de-taquin 프로모션과 어떻게 관련이 있는가?
• RQ3 표준형에서 자연스러운 연산인 '셔플'을 정의하고, 이가 웹의 자연스러운 그래프 연산과 대응됨을 보일 수 있는가?
• RQ4 $τ\mathsf{m}$-다이어그램 구성은 $3\times n$ 표준형을 초월해 어느 정도 일반화될 수 있는가?

주요 결과

• 모든 경계 정점이 소스인 표준 $3\times n$ Young 표준형과 기약 $τ\mathfrak{sl}_3$ 웹 사이의 제안된 전단사 사상은 Khovanov-Kuperberg의 재귀적 구성과 동치이다.
• 웹의 회전이 $3\times n$ 표준형에서의 jeu-de-taquin 프로모션과 대응됨을 보여주는 기하학적 증명이 $τ\mathsf{m}$-다이어그램 프레임워크를 통해 제공된다.
• 높이가 같은 두 직사각형 표준형의 병합으로 정의된 표준형의 '셔플' 연산은 정확히 그 관련 웹의 조인과 대응된다.
• $τ\mathsf{m}$-다이어그램 구성은 $3\times n$을 초월해 임의의 형상의 표준형으로 일반화되며, 병합에 대해 구조적 성질를 유지한다.
• 셔플된 표준형의 $τ\mathsf{m}$-다이어그램은 개별 표준형의 $τ\mathsf{m}$-다이어그램의 조인임을 증명하여, 표준형 연산과 웹 연산 사이의 일관된 대응관계를 확립한다.