[논문 리뷰] A combinatorial decomposition of higher level Fock spaces

Nicolas Jacon, Cédric Lecouvey|Osaka City University (Osaka City University)|2012. 02. 13.

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

한 줄 요약

이 논문은 전체적으로 주기적인 기호를 사용하여 레벨-$l$ Fock 공간의 결정 그래프에서 최고 무게 정점의 조합적 특성화를 제공한다. 이 기호들은 텐서 곱 분해에서 역 라티스 단어의 아핀 동반자로 기능한다. 논문은 $\mathcal{U}_q(\mathfrak{sl}_\infty)$ 및 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ 모듈에 대해 Fock 공간의 기약 성분으로의 분해를 확립하며, 이는 왜곡된 표준 테이블로를 사용한 정점의 수를 세는 방식으로 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-모듈의 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-제한에 대한 분기 법칙을 도출한다.

ABSTRACT

We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.

연구 동기 및 목표

• 레벨-$l$ Fock 공간의 결정 그래프에서 최고 무게 정점의 조합적 특성화를 제공하는 것.
• $\mathcal{U}_q(\mathfrak{sl}_\infty)$ 및 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-모듈에 대해 Fock 공간의 기약 성분으로의 분해를 확립하는 것.
• $\mathcal{U}_q(\mathfrak{sl}_\infty)$-기약 모듈의 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-제한에 대한 분기 법칙을 유도하는 것.
• 고정된 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-무게 $\nu$를 가진 최고 무게 정점의 수와 완전히 주기적인 기호로 표기된 비틀린 표준 테이블의 관계를 밝혀내는 것.

제안 방법

• 저자들은 텐서 곱 분해에서 역 라티스 단어의 아핀 동반자로 사용되는 전체적으로 주기적인 기호의 개념을 도입한다.
• 기호에 대한 벗기기 절차를 사용하여 주기적 성분을 추출하고 결정 그래프에서 최고 무게 정점을 식별한다.
• Fock 공간 $\mathcal{F}_{\mathbf{s}}$의 결정 그래프는 $\mathcal{U}_q(\mathfrak{sl}_\infty)$와 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ 각각에 대응하는 두 구조를 통해 분석되며, 후자는 전자의 부분 그래프로 통합된다.
• 기호의 주기적 구조를 이용하여 고정된 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-무게를 가진 기호와 특정 형상과 무게를 가진 표준 테이블 사이의 전단사 사상이 구성된다.
• 고정된 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-무게 $\nu$를 가진 최고 무게 정점의 수는 집합 $\mathrm{Tab}_{\mathbf{s}\setminus\mathbf{t}(\nu),\gamma(\nu)}$의 기수로 주어진다.
• 분해는 무게 집합 $P_{e,\infty}$와 다중도 함수 $m_{\mathbf{s},\nu}^e$ 및 $M_{\mathbf{s},\nu}^e$를 사용하여 형식화된다.

실험 결과

연구 질문

• RQ1 레벨-$l$ Fock 공간의 결정 그래프에서 최고 무게 정점은 어떻게 조합적으로 특성화할 수 있는가?
• RQ2 전체적으로 주기적인 기호와 $\mathcal{U}_q(\mathfrak{sl}_\infty)$ 및 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$에 대한 Fock 공간의 기약 성분으로의 분해 사이의 관계는 무엇인가?
• RQ3 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-모듈의 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-제한에 대한 분기 법칙은 결정 구조에서 어떻게 유도되는가?
• RQ4 고정된 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-무게를 가진 최고 무게 정점의 수를 세는 데 사용되는 조합적 대상은 무엇인가?
• RQ5 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-기약 성분의 다중도는 비틀린 표준 테이블을 통해 표현될 수 있는가?

주요 결과

• Fock 공간 $\mathcal{F}_{\mathbf{s}}$의 결정 그래프에서 최고 무게 정점은 정확히 전체적으로 주기적인 기호로 표기된 것들이다.
• $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-기약 성분으로의 Fock 공간의 분해는 집합 $P_{e,\infty}$ 내의 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-무게에 의해 지배된다.
• $\mathcal{U}_q(\mathfrak{sl}_\infty)$-최고 무게 $\nu$를 가진 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-최고 무게 정점의 수는 유한하며, $m_{\mathbf{s},\nu}^e = \left|\mathrm{Tab}_{\mathbf{s}\setminus\mathbf{t}(\nu),\gamma(\nu)}\right|$ 와 같다.
• $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$로의 $V_\infty(\mathbf{s})$ 제한에 대한 분기 법칙은 결정 그래프를 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-연결 성분으로 분해하는 방식으로 실현된다.
• $\mathcal{F}_{\mathbf{s},e}$ 내의 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-기약 성분의 다중도 $M_{\mathbf{s},\nu}^e$ 는 $\mathbf{v} \in \mathcal{T}_{l,\infty}$ 에 대해 $K_{\lambda(\mathbf{v}),\mu(\mathbf{v})} m_{\mathbf{v},\nu}^e$ 의 합으로 주어지며, 여기서 $K_{\lambda,\mu}$ 는 코스타 수이다.
• 벗기기 절차는 기호의 표준성질을 유지하므로, 최고 무게 정점의 수를 세는 데 사용된 조합적 전단사 사상의 타당성을 보장한다.