[논문 리뷰] Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties

Mark Shimozono|ArXiv.org|1998. 04. 07.

Algebraic structures and combinatorial models참고 문헌 14인용 수 24

한 줄 요약

이 논문은 아핀 타입 A의 Demazure 문자와 노르말형 공액류의 폐포의 좌표환의 등급별 성분의 Poincaré 다항식 사이의 정확한 대응을 수립한다. 결정 기저 이론을 사용하여, 직사각형 결정($B^{k,l}$로 표기)의 텐서곱에서의 에너지 함수가 이러한 Poincaré 다항식을 계산함을 보이며, Kostka-Foulkes 다항식을 일반화하고 Kirillov가 제안한 단조성 성질을 증명한다.

ABSTRACT

Answering a question of Kuniba, Misra, Okado, Takagi, and Uchiyama, it is shown that certain Demazure characters of affine type A, coincide with the graded characters of coordinate rings of closures of conjugacy classes of nilpotent matrices. This entails a translation of the affine type A crystal theory into the language of tableaux following Nakayashiki and Yamada, for the case of tensor products of the classical crystals indexed by rectangular partitions. In particular the explicit action of the zero-th crystal raising operator on the above crystals is given, and its direct connection with the generalized cocyclage on Littlewood-Richardson tableaux is explained.

연구 동기 및 목표

• Kuniba 등이 제기한 아핀 타입 A의 Demazure 문자와 노르말형 궤도 폐포 사이의 관계에 대한 질문을 해결하기 위해.
• 기존의 Kostka-Foulkes 다항식과 Demazure 문자 사이의 연결 고리를 임의의 수준의 Demazure 모듈로 확장하기 위해.
• 노르말형 궤도 폐포의 좌표환의 등급별 성분의 Poincaré 다항식이 에너지와 무게에 대한 텐서곱 직사각형 결정의 생성 함수와 일치함을 증명하기 위해.
• Kostka-Foulkes 다항식에 대한 Han의 결과를 일반화하여 Poincaré 다항식 $K_{\lambda;R}(q)$에 대한 일반화된 단조성 성질을 증명하기 위해.
• 일반화된 사이클레이지와 프ом모션을 사용하여 직사각형 결정에서 제로번째 결정 연산자 $\widetilde{e}_0$의 조합론적 실현을 제공하기 위해.

제안 방법

• 직사각형 결정 $B^{k,l}$의 형상 $k \times l$에 의해 표시되는, $B^{\mu_m,l} \otimes \cdots \otimes B^{\mu_1,l} \otimes u_{l\Lambda_0}$와 동형인 고전적 $\widehat{sl}_n$-결정으로서 Demazure 결정 $\mathcal{B}_{w_\mu}(l\Lambda_0)$를 구성한다.
• 에너지 함수 $E_R(b)$를 계산하기 위해 LR 표에 대한 일반화된 차지 맵을 도입하여, 텐서곱 결정에서의 에너지 함수를 일반화된 표에 대한 차지 통계량으로 일반화한다.
• 제로번째 결정 연산자 $\widetilde{e}_0$를 일반화된 사이클레이지와 열-엄격 표에 대한 프로모션의 병합으로 식별하며, 그 작용에 대한 명시적 공식을 제시한다.
• 결정 구조를 묘사하기 위해, 공액 자동형과 에너지 함수를 통해 정의된 $B^{k_1,l_1} \otimes B^{k_2,l_2}$에서의 조합론적 $R$-행렬을 사용한다.
• 생성 함수 $\sum_{b \in B^R} e^{\mathrm{wt}(b)} q^{E_R(b)}$가 $\sum_{\lambda} \mathrm{ch} V^{\mathrm{wt}_{\mathrm{sl}}(\lambda)} K_{\lambda;R}(q)$와 일치함을 보이며, 결정 문자와 Poincaré 다항식을 연결한다.
• 표에 대한 $K_{\lambda;R}(q)$의 공식이 Weyman의 재귀관계를 만족함을 증명하여, 이것이 등급별 성분의 Poincaré 다항식임을 확인한다.

실험 결과

연구 질문

• RQ1 아핀 타입 A에서 임의의 수준의 Demazure 문자는 노르말형 궤도 폐포의 좌표환의 등급별 성분의 Poincaré 다항식과 일치하는가?
• RQ2 직사각형 결정의 텐서곱에서의 에너지 함수는 표와 일반화된 차지로 명시적으로 기술될 수 있는가?
• RQ3 제로번째 결정 연산자 $\widetilde{e}_0$는 LR 표에 대한 일반화된 사이클레이지와 프로모션을 통해 실현될 수 있는가?
• RQ4 Poincaré 다항식 $K_{\lambda;R}(q)$는 Kostka-Foulkes 다항식과 유사한 단조성 성질을 만족하는가?
• RQ5 에너지와 무게에 대한 직사각형 결정 위의 생성 함수는 Demazure 모듈의 문자와 일치하는가?

주요 결과

• 최저 무게 $l\Lambda_0 - \mu$에 대한 수준 $l$의 Demazure 문자는 $R$이 분할 $\mu$에 대응하는 직사각형의 열로 구성된 경우, 생성 함수 $\sum_{b \in B^R} e^{\mathrm{wt}(b)} q^{E_R(b)}$와 같다.
• 텐서곱 $B^{k_1,l_1} \otimes \cdots \otimes B^{k_m,l_m}$에서의 에너지 함수 $E_R(b)$는 [24]의 일반화된 차지와 같으며, Kostka-Foulkes 다항식에 대한 Morris의 재귀관계와 관련된 재귀로 계산된다.
• 제로번째 결정 연산자 $\widetilde{e}_0$는 LR 표에 대해 일반화된 사이클레이지를 적용하고, 열-엄격 표에 대해 프로모션을 적용하며, 모든 일반화된 코사이클레이지 관계는 $\widetilde{e}_0$로부터 유도된다.
• 노르말형 궤도 폐포 $X_\mu$의 좌표환에서 $V^{\mathrm{wt}_{\mathrm{sl}}(\lambda)}$의 등급별 성분에 대한 Poincaré 다항식 $K_{\lambda;R}(q)$는 결정 $B^R$ 위의 생성 함수로 주어진다.
• 임의의 최대 순서의 직사각형 열 $R$과 직사각형 $(k^m)$에 대해 단조성 성질 $K_{\lambda;R}(q) \leq K_{\lambda \cup (k^m); R \cup (k^m)}(q)$가 성립하며, Han의 결과를 일반화한다.
• 단조성의 증명은 에너지 함수를 보존하는 단사 사상 $i_R: \mathrm{LRT}(\lambda;R) \to \mathrm{LRT}(\lambda \cup (k^m); R \cup (k^m))$에 기반하며, 이에 따라 $E_{R^+}(i_R(Q)) = E_R(Q)$임을 보장한다.