[논문 리뷰] Keys and Demazure crystals for Kac-Moody algebras

Nicolas Jacon, Cédric Lecouvey|arXiv (Cornell University)|2019. 09. 20.

Algebraic structures and combinatorial models참고 문헌 20인용 수 9

한 줄 요약

이 논문은 유한형 A 크리스탈에 대한 Lascoux-Sch"utzenberger 키 매핑을 임의의 카크-무디 대수로 일반화하며, 기본 무게, 조합적 R-행렬, 강한 브라우하트 순서를 사용하여 키 매핑을 구하는 재귀적 알고리즘을 제공한다. 이는 애파인형 A로 확장되며, 핵심 분할을 통해 Ariki-Koike 대수와 연결하고, 다중세그먼트와 기호를 사용하여 디모르리 크리스탈에 속하는지 여부를 직접 결정하는 알고리즘을 제시한다.

ABSTRACT

The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux and Sch{ü}tzenberger. We show that this procedure is a part of a more general construction holding in the Kac-Moody case that we illustrate in finite types and affine type A. In affine type A, we introduce higher level generalizations of core partitions which notably give interesting analogues of the Young lattice and are expected to parametrize distinguished elements of certain remarkable blocks for Ariki-Koike algebras.

연구 동기 및 목표

• 유일한 재귀적 프레임워크를 사용하여, 유한형 A에서의 Lascoux-Sch"utzenberger 키 매핑을 임의의 카크-무디 대수로 확장한다.
• 카크-무디 대수에서 키 매핑, 조합적 R-행렬, 코셋에 대한 강한 브라우하트 순서를 통해 디모르리 크리스탈을 특성화한다.
• 애파인형 A에서 핵심 분할을 고수준으로 일반화하여 Ariki-Koike 대수의 표현 이론과 연결한다.
• 다중세그먼트와 기호를 사용하여 애파인 경우에 디모르리 크리스탈에 속하는지 여부를 알고리즘적으로 결정하는 기준을 제공한다.

제안 방법

• 키 매핑은 외재 무게로의 재귀적 감소를 통해 계산되며, 웨일 군의 작용과 무게 격자 구조를 활용한다.
• 조합적 R-행렬은 유한형에서 테이블로와 조합적 R-행렬의 조합적 R-행렬을 통해 구현되며, 크리스탈의 텐서곱 간의 동형을 가능하게 한다.
• 코셋에 대한 웨일 군의 강한 브라우하트 순서는 크리스탈 그래프에서 키 매핑의 상을 특성화하는 데 사용된다.
• 애파인형 A에서는 세그먼트의 순서를 구성하고 기호 행렬과의 일관성을 점검함으로써 키 매핑의 상에 속하는지 여부를 검증하는 알고리즘이 구성된다.
• 다중세그먼트를 $e$-핵심과 기호로 연결하기 위해 $B(\infty)$의 울로프 실현과 임bedding $\Pi_{\Lambda_{\mathbf{s}}}$를 사용한다.
• 다중세그먼트는 오른쪽 끝점이 같은 세그먼트를 묶고, 세그먼트의 덧셈 및 순서 제약 조건을 만족하는 순서를 재귀적으로 구성함으로써 처리된다.

실험 결과

연구 질문

• RQ1 Lascoux-Sch"utzenberger 키 매핑의 구성은 유한형 A를 초월하여 임의의 카크-무디 대수로 일반화될 수 있는가?
• RQ2 카크-무디 설정에서 기본 무게와 웨일 군 작용을 사용하여 키 매핑을 재귀적으로 계산할 수 있는가?
• RQ3 애파인형 A에서 고수준 핵심 분할은 Ariki-Koike 대수의 표현 이론에서 어떤 역할을 하는가?
• RQ4 어떤 조건에서 다중세그먼트가 애파인 경우의 디모르리 크리스탈에 속하는가, 그리고 이는 어떻게 알고리즘적으로 결정할 수 있는가?
• RQ5 다중세그먼트와 관련된 기호 행렬은 $B(\infty)$의 키 매핑 상에 속하는지 여부를 어떻게 인코딩하는가?

주요 결과

• 논문은 임의의 카크-무디 대수에 대해 키 매핑을 계산하는 일반적인 재귀적 절차를 수립하며, 문제를 기본 무게와 조합적 R-행렬로 감소시킨다.
• 유한형에서는 표기법과 테이블로의 조합적 R-행렬 절차를 통해 원래의 Lascoux-Sch"utzenberger 구성이 복원된다.
• 애파인형 A에서는 Ariki-Koike 대수의 표현 이론에서 중심적인 역할을 할 것으로 기대되는 $e$-핵심 분할의 고수준 일반화를 도입한다.
• 다중세그먼트가 애파인 경우에 키 매핑의 상에 속하는지 여부를 기호 행렬을 구성하고 검증함으로써 결정하는 알고리즘이 제시된다.
• 12개의 세그먼트와 3분할 $(7.2, 5.4.2.2, 3.2.2.1.1.1)$을 포함하는 복잡한 예제에 대해 알고리즘이 성공적으로 멤버십를 검증하였으며, 이는 $\Pi_{\Lambda_{\mathbf{s}}}(O(\mathbf{s},\infty))$에 속함을 확인한다.
• 다중세그먼트와 관련된 기호 행렬은 모든 $i,j$에 대해 $s_i - s_j = p_i - p_j$ 조건을 만족하며, 알고리즘 출력의 정확성을 확인한다.