[논문 리뷰] Schensted-type correspondences and plactic monoids for types $B_{n}$ and $D_{n}$

Cédric Lecouvey|ArXiv.org|2002. 11. 28.

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

한 줄 요약

이 논문은 카시와라의 크리스탈 기저 이론을 사용하여 $B_n$ 및 $D_n$ 유형에 대한 셴스테드 유사 대응과 플라틱 모노이드를 수립한다. 직교 및 스핀 표를 위한 삽입 알고리즘을 도입하고, 모노이드 $\mathrm{Pl}(B_n)$ 및 $\mathrm{Pl}(D_n)$의 정의 관계를 유도하며, 셰츠의 알고리즘을 기반으로 한 $B$ 유형에 대한 져 드 탱 기반의 져 드 탱을 구성하여, 두 단어가 모노이드에서 동치일 때이고 오직 그 때에만 크리스탈 그래프의 동일한 연결 성분에 속한다는 것을 증명한다.

ABSTRACT

We use Kashiwara's theory of crystal bases to study plactic monoids for $U_{q}(so_{2n+1})$ and $U_{q}(so_{2n})$. Simultaneously we describe a Schensted type correspondence in the crystal graphs of tensor powers of vector and spin representations and we derive a Jeu de Taquin for type $B$ from the Sheats sliding algorithm.

연구 동기 및 목표

• 크리스탈 기저 이론을 사용하여 $A_n$ 유형에서 $B_n$ 및 $D_n$ 유형으로 셴스테드 대응과 플라틱 모노이드 구축을 확장하기.
• 알파벳 $\mathcal{B}_n^*$ 및 $\mathcal{D}_n^*$에 대한 단어의 동치 관계를 통해 플라틱 모노이드 $\mathrm{Pl}(B_n)$ 및 $\mathrm{Pl}(D_n)$를 정의하고 특성화하기.
• 텐서 곱의 크리스탈 그래프에서 직교 및 스핀 표를 위한 삽입 알고리즘을 개발하여, $B$ 및 $D$ 유형에 대한 셴스테드 유사 대응을 실현하기.
• 형식 $C$의 셰츠 슬라이딩 알고리즘을 사용하여 형식 $B$의 져 드 탱을 일반화하고, 스핀 표현을 포함하는 프레임워크를 확장하기.

제안 방법

• 카시와라의 크리스탈 기저 이론을 사용하여 $U_q(so_{2n+1})$ 및 $U_q(so_{2n})$의 기본 표현의 텐서 곱의 크리스탈 그래프를 분석하기.
• 스핀 표현 $V(\Lambda_n^B)$, $V(\Lambda_n^D)$ 및 $V(\Lambda_{n-1}^D)$를 모델링하기 위해 스핀 열을 도입하고, 확장된 알파벳 $\mathfrak{B}_n = \mathcal{B}_n \cup SP_n$ 및 $\mathfrak{D}_n = \mathcal{D}_n \cup SP_n$을 정의하기.
• 확장된 크리스탈 그래프 $\mathfrak{G}_n^B$ 및 $\mathfrak{G}_n^D$의 동형 연결 성분에서의 일致성에 기반한 단어에 대한 동치 관계 $\overset{B}{\sim}$ 및 $\overset{D}{\sim}$를 정의하고, $\mathrm{Pl}(B_n) = \mathcal{B}_n^* / \overset{B}{\sim}$ 및 $\mathrm{Pl}(D_n) = \mathcal{D}_n^* / \overset{D}{\sim}$ 가 모노이드임을 증명하기.
• 카시와라-나카시마 프레임워크를 사용하여 직교 표를 위한 열 삽입 알고리즘을 구성하기.
• 형태가 각 단계에서 한 칸씩 변하는 표를 실현하기 위해, 표준 표와 유사한 진동 표를 정의하기.
• 스핀 표현을 포함하기 위해 일반화된 표 $\mathfrak{P}(w)$ 및 $\mathfrak{Q}(w)$를 $\mathfrak{B}_n^*$ 및 $\mathfrak{D}_n^*$의 단어에 대해 정의하고, $w_1 \sim w_2$ iff $w_1 \equiv w_2$ 이며 모노이드에서 동치임을 증명하기.

실험 결과

연구 질문

• RQ1 크리스탈 기저 이론과 삽입 알고리즘을 사용하여 형식 $B_n$ 및 $D_n$로 셴스테드 대응을 일반화할 수 있는가?
• RQ2 플라틱 모노이드 $\mathrm{Pl}(B_n)$ 및 $\mathrm{Pl}(D_n)$의 정의 관계는 무엇이며, 크리스탈 그래프의 단어 동치성과 어떻게 관련되는가?
• RQ3 형식 $C$의 셰츠 슬라이딩 알고리즘을 사용하여 형식 $B$의 져 드 탱을 구성할 수 있는가? 그리고 삽입 과정과의 관계는 어떻게 되는가?
• RQ4 스핀 표현은 크리스탈 그래프의 구조와 플라틱 모노이드의 동치 관계에 어떤 영향을 미치는가?
• RQ5 형식 $B$ 및 $D$의 확장된 셴스테드 대응에서 $P$-심볼과 $Q$-심볼의 관계는 무엇인가?

주요 결과

• 플라틱 모노이드 $\mathrm{Pl}(B_n)$ 는 $\mathcal{B}_n^* / \overset{B}{\sim}$ 와 동형이며, $w_1 \overset{B}{\sim} w_2$ 이다 하는 것은 $w_1$ 과 $w_2$ 가 크리스탈 그래프 $\mathfrak{G}_n^B$ 의 동일한 동형 연결 성분에 속할 때이고, $\mathrm{Pl}(D_n)$ 에 대해서도 마찬가지이다.
• 직교 표를 위한 삽입 알고리즘은 $G_n^B$ 와 $G_n^D$ 에서 셴스테드 유사 대응을 유도하며, 각 단어 $w$ 는 $\mathfrak{P}(w)$ 는 일반화된 직교 표이고 $\mathfrak{Q}(w)$ 는 진동 표인 쌍 $(\mathfrak{P}(w), \mathfrak{Q}(w))$ 를 맵핑한다.
• $\mathfrak{B}_n^*$ 또는 $\mathfrak{D}_n^*$ 의 임의의 단어 $w$ 에 대해, 일반화된 표 $\mathfrak{P}(w)$ 는 삽입 과정에 의해 유일하게 결정되며, $w \sim w'$ 이다 하는 것은 $\mathfrak{Q}(w) = \mathfrak{Q}(w')$ 이다 하는 것과 동치이며, 이는 동일한 연결 성분에 속한다는 것을 의미한다.
• 확장된 모노이드 $\mathfrak{Pl}(B_n)$ 와 $\mathfrak{Pl}(D_n)$ 는 각각 $\mathfrak{B}_n^* / \overset{B}{\sim}$ 와 $\mathfrak{D}_n^* / \overset{D}{\sim}$ 로 정의되며, $w_1 \sim w_2$ 는 모노이드에서 $w_1 \equiv w_2$ 이다 하는 것과 동치이다.
• 형식 $B$에 대한 져 드 탱은 형식 $C$의 셰츠 알고리즘을 기반으로 구성되었으며, 삽입 과정과 $Q$-심볼 대응의 구조를 유지한다.
• 형식 $\mathfrak{G}_n$ 의 최고 무게 정점 $w_1$ 과 $w_2$ 에 대해, $w_1 \sim w_2$ 이다 하는 것은 $w_1 \equiv w_2$ 이다 하는 것과 동치이며, $\mathrm{w}(\mathfrak{P}(w)) \sim w$ 를 만족하는 유일한 일반화된 직교 표 $\mathfrak{P}(w)$ 가 존재한다.