[논문 리뷰] Demazure crystals and tensor products of perfect Kirillov-Reshetikhin crystals with various levels

Katsuyuki Naoi|arXiv (Cornell University)|2011. 08. 16.

Algebraic structures and combinatorial models참고 문헌 28인용 수 3

한 줄 요약

이 논문은 수준가 다를 수 있는 경우에도, 텐서곱의 카르탕-레시티히킨(Kirillov-Reshetikhin, KR) 크리스탈과 데모르시 크리스탈 사이의 동형사상 일반화한다. 높은 무게 원소와 텐서곱한 후, 이러한 텐서곱은 전체 부분그래프로서 높은 무게 크리스탈의 텐서곱 내의 데모르시 크리스탈들의 서로소 합집합과 동형이며, 에너지 함수와 차수 연산자를 통한 $\eta$-grading을 유지한다.

ABSTRACT

In this paper, we study a tensor product of perfect Kirillov-Reshetikhin crystals (KR crystals for short) whose levels are not necessarily equal. We show that, by tensoring with a certain highest weight element, such a crystal becomes isomorphic as a full subgraph to a certain disjoint union of Demazure crystals contained in a tensor product of highest weight crystals. Moreover, we show that this isomorphism preserves their gradings, where the grading on the tensor product of KR crystals is given by the energy function, and that on the other side is given by the minus of the action of the degree operator.

연구 동기 및 목표

• 같은 수준을 가진 훌륭한 KR 크리스탈의 텐서곱과 데모르시 크리스탈 사이에 알려진 동형사상을 수준이 다른 경우로 확장하기 위해.
• 수준이 다른 KR 크리스탈의 텐서곱이 높은 무게 원소와 텐서곱한 후, 데모르시 크리스탈들의 서로소 합집합과 동형임을 확립하기 위해.
• 이 동형사상이 $\eta$-grading을 유지함을 증명하기 위해, KR 측면에서는 에너지 함수로, 데모르시 측면에서는 차수 연산자의 음의 작용으로 주어진다.
• 스치링크와 티링리(2012)의 결과를 비균일 수준 KR 크리스탈에 대해 비예외적 아핀 카크-무디 대수에서 일반화하기 위해.
• 결과로 얻어진 데모르시 크리스탈의 구조를 묘사하기 위해 딘킨 자동형사상과 이동 연산자를 사용하는 조합론적 프레임워크 제공하기 위해.

제안 방법

• 카시와라 연산자의 작용을 통해 정의된 높은 무게 크리스탈 $B(\Lambda)$의 부분집합으로서 데모르시 크리스탈 $B_w(\Lambda)$의 이론을 활용한다.
• 다양한 수준 $\ell_j$를 가진 훌륭한 KR 크리스탈 $B^{r, c_r\ell}$을 적용하여, 유한 차원이면서 크리스탈 기저를 갖는다는 것을 보장한다.
• 디н킨 자동형사상 $\tau$와 그가 크리스탈에 유도하는 작용을 도입하여 무게와 연산자를 조정하고, 새로운 크리스탈 구조를 구성할 수 있도록 한다.
• 이동 연산자 $t_{\mu}$를 사용하여 무게를 이동시키고, 높은 무게 크리스탈의 텐서곱 내에서 데모르시 유형의 부분그래프를 정의한다.
• 카시와라 연산자의 반복적 적용을 통해 데모르시 크리스탈을 생성하는 $\mathcal{F}_{w\tau}(S)$를 이용한 내재된 필터링을 구성한다.
• 조합론적 우수 필터링 정리에 기반하여, 목표 대상이 데모르시 크리스탈들의 서로소 합집합임을 보이고, KR 크리스탈의 수에 대한 귀납법을 통해 동형사상을 증명한다.

실험 결과

연구 질문

• RQ1 KR 크리스탈의 텐서곱과 데모르시 크리스탈 사이의 동형사상은 KR 크리스탈의 수준이 다를 경우로도 확장될 수 있는가?
• RQ2 KR 크리스탈의 텐서곱에서의 $\eta$-grading(에너지 함수로 주어짐)과 데모르시 크리스탈에서의 grading(차수 연산자의 작용으로 주어짐) 사이의 관계는 무엇인가?
• RQ3 수준이 다른 KR 크리스탈의 텐서곱이 높은 무게 원소와 텐서곱했을 때 어떤 구조가 나타나는가?
• RQ4 디н킨 자동형사상과 이동 연산자는 높은 무게 크리스탈 프레임워크 내에서 동형 이미지를 구성하는 데 어떻게 기여하는가?
• RQ5 수준이 동일하지 않을 경우에도 결과로 얻어진 동형사상은 여전히 $\eta$-grading과 호환되는가?

주요 결과

• 텐서곱 $u_{\ell_p\Lambda_0} \otimes B^{r_p,c_{r_p}\ell_p} \otimes \cdots \otimes B^{r_1,c_{r_1}\ell_1}$ 은 전체 부분그래프로서 중첩된 데모르시 크리스탈 구조 $\mathcal{F}_{t_{\mu_p}}( \cdots \mathcal{F}_{t_{\mu_1}}(u_{\ell_1\Lambda_0}) \cdots )$ 와 동형이다.
• 동형사상은 $\mathbb{Z}$-grading을 유지한다: KR 측면의 에너지 함수는 데모르시 측면의 차수 연산자의 음의 작용과 대응된다.
• 목표 대상은 조합론적 우수 필터링 정리에 의해 데모르시 크리스탈들의 서로소 합집합임이 보장된다.
• grading 불변량이 유지된다: $\overline{D}(b) = D(b) + \langle \mathrm{wt}(\Psi_B(u_{\ell_p\Lambda_0} \otimes b)), d \rangle$ 는 동형사상 전반에 걸쳐 일정하며, grading 호환성을 보장한다.
• 증명은 KR 크리스탈의 수에 대한 귀납법에 기반하며, $\tau$-작용과 이동 연산자 $t_{\mu_j}$를 통한 무게 이동을 통해 구조를 정렬한다.
• 결과는 스치링크와 티링리의 작업을 비균일 수준으로 일반화하여, 수준이 다를 경우에도 데모르시 크리스탈의 구조가 여전히 나타남을 보여준다.