[논문 리뷰] Rank 2 affine MV polytopes

Pierre Baumann, Thomas Dunlap외 2명|arXiv (Cornell University)|2012. 02. 28.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 장식된 다각형을 사용하여 애파인 카크-무디 대수 $\check{\mathrm{sl}}_2$ 의 크리스탈 $B(-\infty)$ 에 대한 조합적 실현을 구축한다. 이는 유한형 Mirković-Vilonen 다각형을 애파인 설정으로 일반화한 것으로, 이러한 MV 다각형은 왼쪽 또는 오른쪽 면으로 유일하게 결정되며, 크리스탈 연산자는 모서리 길이의 변화를 통해 작용하고, 카시와라의 인보리션에 대해 닫혀 있다. 이 구성은 라티스 스케일링 사상 $\gamma$ 를 통해 $A_2^{(2)}$ 로 확장되어 $B^{A_2^{(2)}}(-\infty)$ 와의 크리스탈 동형사상이 된다.

ABSTRACT

We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.

연구 동기 및 목표

• 장식된 격자 다각형을 사용하여 $\check{\mathrm{sl}}_2$ 의 루트 격자에서 $B(-\infty)$ 의 조합적 실현을 제공한다.
• 유한형 Mirković-Vilonen 다각형 구성 방식을 애파인 설정으로 일반화하여 핵심적인 구조적 성질을 유지한다.
• $A_2^{(2)}$ 에 대한 구성은 스케일링 사상과 크리스탈 동형사상을 통해 $\check{\mathrm{sl}}_2$ MV 다각형의 변환을 통해 확장한다.
• 결과로 얻어진 다각형이 크리스탈의 정의적 공리, 특히 카시와라의 인보리션과 크리스탈 연산자 작용을 만족함을 확인한다.

제안 방법

• 유한형 MV 다각형 구성 방식을 일반화하여, 교차하지 않는 대각선의 집합을 사용하여 $\check{\mathrm{sl}}_2$ 루트 격자에서 장식된 다각형을 정의한다.
• 카시와라의 크리스탈 유사성에 기반하여, $\alpha_0 \mapsto \tilde{\alpha}_0$, $\alpha_1 \mapsto \tilde{\alpha}_1/2$ 를 보내는 라티스 스케일링 사상 $\gamma$ 를 통해 $\check{\mathrm{sl}}_2$ 구성 방식을 $A_2^{(2)}$ 로 이행한다.
• 정수 $A_2^{(2)}$ MV 다각형은 정수 $\check{\mathrm{sl}}_2$ MV 다각형에 대한 $\gamma$ 의 상으로서 특징지어지며, 루스티츠 데이터와 모서리 레이블의 정수 조건을 포함한다.
• 크리스탈 연산자 $e_0$, $e_1$, $f_0$, $f_1$ 가 왼쪽 또는 오른쪽 면의 모서리 길이를 증가/감소시켜 다각형의 구조를 유지함을 증명한다.
• 크리스탈 $B(-\infty)$ 와 일치하는 다각형의 크리스탈 구조를 엄밀한 준동형사상으로 확인하며, $B^{A_2^{(2)}}(-\infty)$ 가 최저 무게 원소에 의해 $e_0$ 와 $e_1$ 에 의해 생성됨을 이용한다.
• 카시와라의 인보리션이 다각형의 루트 격자에서의 부정과 대응함을 확인하고, $\varphi_i$ 와 $\varphi_i^*$ 가 상단 및 하단 모서리 길이로 주어진다.

실험 결과

연구 질문

• RQ1 장식된 격자 다각형을 사용하여 Mirković-Vilonen 다각형을 애파인 카크-무디 대수 $\check{\mathrm{sl}}_2$ 로 일반화할 수 있는가?
• RQ2 결과로 얻어진 다각형이 유한형 MV 다각형과 동일한 조합적 공리, 예를 들어 면에 의한 결정성과 교차하지 않는 대각선 집합을 만족하는가?
• RQ3 $A_2^{(2)}$ 의 $B(-\infty)$ 크리스탈 구조는 $\check{\mathrm{sl}}_2$ MV 다각형의 변환을 통해 어떻게 조합적으로 실현될 수 있는가?
• RQ4 $\gamma$ 를 통해 $\check{\mathrm{sl}}_2$ MV 다각형의 상과 $B^{A_2^{(2)}}(-\infty)$ 사이에 크리스탈 동형사상이 존재하는가?
• RQ5 크리스탈 $B(-\infty)$ 의 $*$-인보리션은 다각형에서의 부정과 대응하는가? 그리고 $\varphi_i$ 와 $\varphi_i^*$ 는 모서리 길이로 주어지는가?

주요 결과

• $\check{\mathrm{sl}}_2$ MV 다각형의 집합은 $B^{\check{\mathrm{sl}}_2}(-\infty)$ 와 크리스탈 동형이며, 크리스탈 연산자 $e_1$ 과 $e_0$ 는 각각 왼쪽 및 오른쪽 면의 상단 모서리 길이를 증가시킨다.
• 각 MV 다각형은 왼쪽 또는 오른쪽 면으로 유일하게 결정되며, 유효한 면 데이터는 유일한 MV 다각형에 대응한다.
• 카시와라의 $*$-인보리션은 $B(-\infty)$ 에서 다각형의 루트 격자에서의 부정과 대응한다.
• 크리스탈 연산자 $e_1$ 과 $e_0$ 는 각각 왼쪽 및 오른쪽 면의 상단 모서리 길이를 1 증가시키며, $\varphi_1$ 과 $\varphi_1^*$ 는 상단 및 하단 모서리 길이로 주어진다.
• $A_2^{(2)}$ 에서는 $\check{\mathrm{sl}}_2$ MV 다각형에 $\gamma$ 를 작용시킨 결과로 얻어진 정수 $A_2^{(2)}$ MV 다각형의 집합이 $B^{A_2^{(2)}}(-\infty)$ 와 크리스탈 동형이다.
• 이 구성은 다각형이 크리스탈의 정의적 공리, 특히 $e_i$, $f_i$ 와 무게 함수의 호환성 등도 만족함을 확인하며, 다각형 집합에서 $B(-\infty)$ 로의 엄밀한 준동형사상에 의해 이를 입증한다.