[논문 리뷰] Crystal graphs of irreducible $U_v(\hat{sl}_e)$-modules of level two and Uglov bipartitions

Nicolas Jacon|ArXiv.org|2006. 07. 11.

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

한 줄 요약

이 논문은 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-모듈의 캐논ical 기저 이론을 이용하여, 수준-2 불가약 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-모듈의 결정 그래프를 표기하는 욤로프 이중분할에 대해 비재귀적이고 조합론적인 특성화를 제공한다. 이는 서로 다른 욤로프 매개변수화 간에 자연스러운 전단사 사상 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 를 수립함으로써 이루어지며, 이 사상은 캐논ical 기저 전개에서 최고차항과 정확히 일치한다. 주요 결과는 이 사상이 표현 이론과 결정 그래프 조합론 간의 연결고리로 작용한다는 것이다.

ABSTRACT

We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.

연구 동기 및 목표

• 수준-2 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-모듈의 결정 그래프를 표기하는 욤로프 이중분할에 대해 비재귀적이고 명시적인 특성화를 제공하는 것.
• 비점근적 또는 FLOTW 경우를 초월하여 욤로프 이중분할을 특성화하는 열린 문제를 매개변수화의 대칭성을 활용하여 해결하는 것.
• bijection $\Psi_{(s_0,s_1)}^{(s_0',s_1')}$ 와 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-모듈의 캐논ical 기저 사이의 구체적 연결 고리를 수립하는 것.
• Kleshchev 및 FLOTW 이중분할에 관한 기존 결과를 일반화하여, $\mathcal{U}_v(\mathfrak{sl}_\infty)$-캐논ical 기저를 통해 이들의 통합적 기술을 보여주는 것.

제안 방법

• 논문은 특히 $\mathcal{U}_v(\mathfrak{sl}_\infty)$ 를 중심으로 한 양자군의 결정 그래프 및 캐논ical 기저 이론을 사용하여 수준-2 불가약 모듈의 구조를 분석한다.
• 양자군이 Fock 공간에 작용하는 방식을 이용하여, 이동된 매개변수에 대응하는 욤로프 이중분할 집합 사이의 전단사 사상 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 를 수립한다.
• 이 방법은 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-모듈에서 캐논ical 기저를 정의하는 조건인, 모든 $i \geq 1$ 에 대해 $\lambda_i^{(0)} \geq \lambda_{i+s_1-s_0}^{(1)}$ 를 만족하는 이중분할 집합 $\Phi_{\infty,n}^{\mathbf{s}}$ 의 특성화에 기반한다.
• Leclerc와 Miyachi의 정리에 따르면, 캐논ical 기저 원소 $b(\boldsymbol{\lambda})$ 는 $\sum_{{\boldsymbol{\mu}} \in C(\boldsymbol{\lambda})} v^{l(\boldsymbol{\mu})} \boldsymbol{\mu}$ 로 주어지며, 여기서 $l(\boldsymbol{\mu})$ 는 기호 내의 순열된 쌍의 수를 세는 것이다.
• 핵심 기법은 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 의 상을, 캐논ical 기저 전개에서 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ 의 차수를 최대로 가지는 유일한 $\boldsymbol{\mu}$ 로 식별하는 것이다.
• 구성은 이중분할의 기호와 그들의 쌍 순열을 사용하여 전단사 사상의 조합론적 구조를 정의한다.

실험 결과

연구 질문

• RQ1 FLOTW 및 Kleshchev 경우를 초월하여 욤로프 이중분할을 비재귀적으로 어떻게 특성화할 수 있는가?
• RQ2 다른 욤로프 매개변수화 간의 전단사 사상 $\Psi_{(s_0,s_1)}^{(s_0',s_1')}$ 의 정확한 조합론적 성격은 무엇인가?
• RQ3 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-모듈의 캐논ical 기저는 수준-2 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-모듈의 결정 그래프 구조와 어떻게 관련이 있는가?
• RQ4 전단사 사상 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 는 캐논ical 기저 내의 기호와 쌍 순열의 조합론을 통해 완전히 기술될 수 있는가?
• RQ5 구조 계수 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ 의 차수는 전단사 사상의 상을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 전단사 사상 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 는 캐논ical 기저 전개에서 계수 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ 의 차수가 최대가 되는 유일한 $\boldsymbol{\mu}$ 로 욤로프 이중분할 $\boldsymbol{\lambda}$ 를 매핑한다.
• 이 최고차항은 정확히 $s_1 \mapsto s_1 + e$ 로의 매개변수 이동에 해당하며, 이로써 전단사 사상의 완전한 비재귀적 기술이 이루어진다.
• 최고 무게 $\Lambda_{s_0} + \Lambda_{s_1}$ 를 가진 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-모듈 $L_{\mathbf{s}}$ 의 캐논ical 기저는 명시적으로 $\sum_{{\boldsymbol{\mu}} \in C(\boldsymbol{\lambda})} v^{l(\boldsymbol{\mu})} \boldsymbol{\mu}$ 로 주어지며, 여기서 $l(\boldsymbol{\mu})$ 는 기호 내의 순열된 쌍의 수를 세는 것이다.
• $\lambda_i^{(0)} \geq \lambda_{i+s_1-s_0}^{(1)}$ 를 모든 $i \geq 1$ 에 대해 만족하는 이중분할의 집합 $\Phi_{\infty,n}^{\mathbf{s}}$ 는 정확히 $L_{\mathbf{s}}$ 의 캐논ical 기저를 표기하는 집합이며, 이 집합은 수준-2 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-모듈의 모든 욤로프 이중분할을 포함한다.
• FLOTW 이중분할은 $0 \leq s_0 \leq s_1 < e$ 인 특별한 경우로 복구되며, Kleshchev 이중분할은 $s_0 - s_1 > n - 1 - e$ 인 경우로 얻어지며, 이 둘 모두 동일한 캐논ical 기저 프레임워크 내에 포함된다.
• 논문은 전체 욤로프 이중분할 가족이 $\mathcal{U}_v(\mathfrak{sl}_\infty)$ 의 캐논ical 기저에 의해 제어됨을 수립하였으며, 이는 이전에 별개로 간주되었던 특성화들을 하나의 대수적 메커니즘으로 통합한다.