[논문 리뷰] Knuth relations, tableaux and MV-cycles

Stéphane Gaussent, Peter Littelmann외 1명|arXiv (Cornell University)|2012. 10. 04.

Algebraic structures and combinatorial models참고 문헌 12인용 수 4

한 줄 요약

이 논문은 $SL_n(\mathbb{C})$의 아핀 그라스만يان 맥락에서 쿠노-에퀴벌런스 관계의 기하적 실현을 확립한다. 단어에 갤러리(코웨이트의 순서열)를 부여하고, 비alynicki-Birula 세포를 갖는 표준적인 Bott-Samelson 유형의 다양체를 구성함으로써, 두 단어가 쿠노-에퀴벌런트일 조건은 그에 대응하는 세포가 아핀 그라스만얀으로의 자연스러운 준동형사상 아래 동일한 미르코비치-비론렌(MV) 사이클로 사라지는 것임을 보여준다.

ABSTRACT

We give a geometric interpretation of the Knuth equivalence relations in terms of the affine Graß mann variety. The Young tableaux are seen as sequences of coweights, called galleries. We show that to any gallery corresponds a Mirković-Vilonen cycle and that two galleries are equivalent if, and only if, their associated MV cycles are equal. Words are naturally identified to some galleries. So, as a corollary, we obtain that two words are Knuth equivalent if, and only if, their associated MV cycles are equal.

연구 동기 및 목표

• 플라크틱 모노이드에서의 쿠노-에퀴벌런스 관계를 $SL_n(\mathbb{C})$의 아핀 그라스만얀에 대한 기하적 해석을 제공하는 것.
• 若수 테이블라우와 플라크틱 모노이드의 조합론적 프레임워크를 MV-사이클을 사용한 기하적 설정으로 확장하는 것.
• 단어의 쿠노-에퀴벌런스와 아핀 그라스만얀에서의 관련 MV-사이클 간의 일치를 확립하는 것.
• 이전의 Lakshmibai-Seshadri 갤러리 결과를 표준적인 Bott-Samelson 유형 다양체의 구성으로 일반화하여 임의의 갤러리로 확장하는 것.
• 갤러리에 관련된 세포의 이미지의 폐쇄가 MV-사이클임을 보이고, 쿠노-에퀴벌런스가 이러한 폐쇄의 일치와 정확히 일치함을 증명하는 것.

제안 방법

• 알파벳 $\mathbb{A} = \{1,\ldots,n\}$의 단어들을 $SL_n(\mathbb{C})$의 최대 토러스의 아파트 안에서의 조각적 선형 경로인 갤러리로 표현한다.
• 각 갤러리에 대해 아핀 카크-무디 군의 포물선 부분군의 순서열을 부여함으로써, $\Sigma = P_0 \times_{Q_0} \cdots \times_{Q_{r-1}} P_r / P_r$ 형태의 Bott-Samelson 유형 다양체 $\Sigma$를 구성한다.
• 일반적인 반-도미너턴트 한 파라미터 하향군 $\eta$를 사용하여 $\Sigma$ 위에 비알린치-비르울라 세포 분해를 정의하며, $\gamma$에 의해 고정된 세포 $C_\gamma$를 정의한다.
• 아핀 그라스만얀 $\mathcal{G}$로의 준동형사상 $\pi: \Sigma \to \mathcal{G}$를 구성하고, 루트 군 작용을 통해 세포 $C_\gamma$의 이미지 $\pi(C_\gamma)$를 연구한다.
• 루트 부분군의 교환 법칙을 사용하여, $\pi(C_\gamma)$를 도미너턴트 코웨이트 $\nu^\vee$에 작용하는 루트 부분군의 곱으로 표현한다.
• 쿠노-에퀴벌런트 갤러리들은 공통의 밀도 부분집합을 갖는 이미지를 생성함을 보여, 폐쇄의 일치를 유도한다.

실험 결과

연구 질문

• RQ1 플라크틱 모노이드에서의 쿠노-에퀴벌런스 관계는 아핀 그라스만얀의 MV-사이클을 통해 기하적 해석을 받을 수 있는가?
• RQ2 갤러리에 대해 자연스러운 기하적 대상(예: 다양체와 세포)이 존재하는가? 이 대상의 아핀 그라스만얀으로의 사상 이미지는 MV-사이클인가?
• RQ3 두 단어의 쿠노-에퀴벌런스는 정확히 그에 대응하는 MV-사이클의 일치와 일치하는가?
• RQ4 Bott-Samelson 유형 다양체를 사용하여, 반-표준 청산표에서 임의의 갤러리로 이 구성의 일반화가 가능한가?
• RQ5 비어터니드 군 $U^-(\mathcal{K})$의 루트 부분군 간의 교환 관계는 기하적 설정에서 쿠노-관계를 어떻게 반영하는가?

주요 결과

• 두 갤러리가 쿠노-에퀴벌런트일 조건은 그에 대응하는 MV-사이클—즉, 그에 대응하는 세포의 이미지의 폐쇄—이 서로 일치하는 것과 정확히 동치이다.
• 갤러리 $\gamma$에 관련된 세포 $C_\gamma$의 이미지 $\overline{\pi(C_\gamma)}$의 폐쇄는 어떤 도미너턴트 코웨이트 $\nu^\vee$에 대해 슈부르트 다양체 $X_{\nu^\vee}$ 안의 MV-사이클이다.
• 임의의 갤러리 $\gamma$에 대해, 이미지 $\pi(C_\gamma)$는 도미너턴트 코웨이트에 작용하는 루트 부분군의 곱의 밀도 부분집합이며, 이 묘사는 쿠노-이동에 대해 불변이다.
• 반-표준 청산표에 대응하는 세포의 이미지는 MV-사이클이며, 고정된 형상과 코웨이트에 대해 청산표에서 MV-사이클로의 사상은 전단사이다.
• 이 구성은 쿠노-에퀴벌런트인 단어들에 대응하는 세포의 이미지에 대해 공통의 밀도 부분집합을 제공하며, 이는 폐쇄의 일치를 증명한다.
• 증명은 루트 부분군의 교환 법칙과 비어터니드 군 $U^-(\mathcal{K})$의 구조에 기반하며, 쿠노-이동이 이미지 폐쇄를 유지함을 보여준다.