[논문 리뷰] Symplectic keys and Demazure atoms in type C

João Miguel Santos|arXiv (Cornell University)|2019. 10. 30.

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

한 줄 요약

이 논문은 유형 $C$의 Kashiwara-Nakashima 표편에 대해 왼쪽과 오른쪽 심플렉틱 키를 도입하며, 이는 유형 $A$의 Lascous-Sch"utzenberger 키 구성의 일반화이다. 이 키들이 초과반사군의 브루아 타입 순서와 그 코셋에 대한 표편 기준을 제공하며, Demazure 원자와 특성을 기술하고, Lusztig 대칭을 통해 유형 $C$의 Sch"utzenberger 에비아션 맵을 통해 관련되어 있음을 밝힌다.

ABSTRACT

We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.

연구 동기 및 목표

• 유형 $C$의 Kashiwara-Nakashima 표편에 대해, 유형 $A$의 키 사상과 유사한 왼쪽 및 오른쪽 심플렉틱 키를 정의하기 위해.
• 심플렉틱 키 표편을 사용하여 초과반사군 $B_n$과 그 코셋에 대한 브루아 타입 순서에 대한 표편 기준을 설정하기 위해.
• 이러한 심플렉틱 키의 조합론을 통해 유형 $C$의 Demazure 원자와 특성을 기술하기 위해.
• 심플렉틱 삽입과 슬라이딩 연산을 통해 명시적으로 실현된 심플렉틱 삽입과 슬라이딩 연산을 통해 왼쪽 및 오른쪽 키를 Lusztig 대칭과 연결하기 위해.
• Kashiwara-Nakashima 표편에 기반한 이전 연구에서 남긴 격차를 메우기 위해, 유형 $C$의 Demazure 특성에 대한 구축적이고 조합론적인 프레임워크를 제공하기 위해.

제안 방법

• 유형 $C$에서의 '프랭크 단어'를 도입하여 심플렉틱 키를 구성하는 데 기초적인 도구로 사용한다.
• Sheats의 심플렉틱 져 드 타운을 적용하여 Kashiwara-Nakashima 표편의 오른쪽 및 왼쪽 키를 정의하고 계산한다.
• Baker-Lecouvey 삽입과 공플라틱 동치를 사용하여 유형 $C$의 플라틱 모노이드의 구조 아래에서 표편을 연결한다.
• Lusztig 대칭을 표편에서 실현하는 유형 $C$의 Sch"utzenberger 에비아션 맵을 정의한다.
• 단어 모델과 표편 모델 사이의 크리스탈 동형사상을 수립하여, $P(w^\star)$와 $P(w)$가 같은 형상과 쌍대 무게를 가짐을 보여준다.
• 열의 무게 대칭성에 기반하여 $\star$-작용 하에서, 표편의 오른쪽 키와 그 에비아션의 왼쪽 키가 Lusztig 대칭을 통해 연결됨을 증명한다.

실험 결과

연구 질문

• RQ1 유형 $A$에서의 Lascous-Sch"utzenberger 키 구성은 어떻게 유형 $C$의 Kashiwara-Nakashima 표편으로 일반화될 수 있는가?
• RQ2 심플렉틱 키 표편을 사용하여 초과반사군 $B_n$과 그 코셋에서의 브루아 타입 순서는 어떻게 조합론적으로 기술할 수 있는가?
• RQ3 심플렉틱 키는 유형 $C$의 Demazure 원자와 특성과 어떻게 관련되어 있는가?
• RQ4 왼쪽 및 오른쪽 심플렉틱 키는 Lusztig 대칭을 통해 어떤 방식으로 연결되어 있는가?
• RQ5 유형 $C$에서 Lusztig 대칭은 표편에 대한 심플렉틱 삽입과 슬라이딩 연산을 통해 명시적으로 실현될 수 있는가?

주요 결과

• Kashiwara-Nakashima 표편에 대한 오른쪽 및 왼쪽 심플렉틱 키는 프랭크 단어와 Sheats의 심플렉틱 져 드 타운을 통해 정의되며, 이는 유형 $A$의 키 구성의 일반화이다.
• 심플렉틱 키는 $B_n$과 그 코셋에 대한 브루아 타입 순서에 대한 표편 기준을 제공하며, 정리 20과 24에서 보여지듯이, 주어진 다수의 무게 $\lambda$의 안정자 모듈로 한다.
• 유형 $C$의 Demazure 원자는 $\mathfrak{U}(v)$의 생성 함수로 기술되며, $\lambda$의 $B_n$-오빗에 속하는 벡터 $v$에 따라 인덱싱된다. 여기서 $\mathfrak{B}_v = \biguplus_{\lambda \leq u \leq v} \mathfrak{U}(u)$이다.
• 왼쪽 및 오른쪽 키는 Lusztig 대칭을 통해 연결된다: $K_+(T)^{\mathrm{Ev}} = K_-(T^{\mathrm{Ev}})$, 여기서 $\mathrm{Ev}$는 유형 $C$의 Sch"utzenberger 에비아션이다.
• $\star$-작용은 단어에 대해 크리스탈 동형사상을 유도하며, $P(w)$와 $P(w^\star)$는 같은 형상과 쌍대 무게를 가짐을 확인하여, 크리스탈의 대칭성을 입증한다.
• 에비아션 맵을 계산하는 알고리즘은 자기 역전이며, 오른쪽 및 왼쪽 키 사상은 Lusztig 대칭과 반대칭을 이룬다. 이는 $\star$-작용 하에서 열의 무게 대칭성에 기반하여 증명된다.