[논문 리뷰] Modular representations and branching rules for wreath Hecke algebras

Jinkui Wan, Weiqiang Wang|ArXiv.org|2008. 06. 02.

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

한 줄 요약

이 논문은 임의의 유한군 $G$에 대해 $χ_n(G)$로 표기되는 워프 헤케 대수를 도입하며, 이는 비퇴화적인 애페이너 헤케 대수를 일반화한 것으로, 대수적으로 닫힌 체에서 특성 $p \geq 0$에 대한 모odular 표현 이론을 수립한다. 핵심 결과는 워프 헤케 대수의 모듈 범주와 비퇴화적인 애페이너 헤케 대수들의 곱의 모듈 범주 사이의 동치 관계를 설정한 것으로, 이는 단순 모듈의 분류와 모odular 분기 규칙의 파악을 가능하게 하며, $p$가 $|G|$를 나누지 않을 경우 이들가 양자 애페이너 대수의 적통 모듈에 대한 크리스탈 그래프와 일치함을 보여준다. 이 구성은 대칭군과 순환 헤케 대수에 대한 기존 결과를 워프 곱의 구조로 확장한다.

ABSTRACT

We introduce a generalization of degenerate affine Hecke algebra, called wreath Hecke algebra, associated to an arbitrary finite group G. The simple modules of the wreath Hecke algebra and of its associated cyclotomic algebras are classified over an algebraically closed field of any characteristic p. The modular branching rules for these algebras are obtained, and when p does not divide the order of G, they are further identified with crystal graphs of integrable modules for quantum affine algebras. The key is to establish an equivalence between a module category of the (cyclotomic) wreath Hecke algebra and its suitable counterpart for the degenerate affine Hecke algebra.

연구 동기 및 목표

• 임의의 유한군 $G$에 대해 비퇴화적인 애페이너 헤케 대수를 일반화하여 워프 헤케 대수를 도입하는 것.
• 이들 대수에 대해 임의의 특성 $p \geq 0$를 갖는 체 위에서 단순 모듈을 분류하고 모odular 분기 규칙을 도출하는 것.
• 워프 헤케 대수의 모듈 범주와 비퇴화적인 애페이너 헤케 대수들의 곱의 모듈 범주 사이의 범주적 동치를 수립하는 것.
• 특성 $p$가 $|G|$를 나누지 않을 경우, 모odular 분기 규칙이 양자 애페이너 대수의 적통 모듈에 대한 크리스탈 그래프와 일치함을 규명하는 것.
• 순환 몫과 그로텐디에크 군 실현을 통해 워프 곱의 표현 이론을 모odular 설정으로 확장하는 것.

제안 방법

• 비퇴화적인 애페이너 헤케 대수의 일반화로 워프 헤케 대수 $\mathcal{H}_n(G)$를 정의하며, PBW 기저와 명시적인 중심 식별을 제공한다.
• 완전한 부분범주 구성에 의해 $\mathcal{H}_n(G)$-모듈과 $\mathcal{H}_{n_k}$-모듈들의 곱의 모듈 사이의 범주 동치를 수립한다.
• 이 범주 동치를 활용하여 단순 $\mathcal{H}_n(G)$-모듈의 분류 문제를 $\mathcal{H}_n$에 대한 알려진 분류로 환원한다.
• 유한차원 몫으로서 순환 워프 헤케 대수 $\mathcal{H}_n^\lambda(G)$를 도입하며, $\mathbb{F}G_n$은 최소 경우이다.
• $\mathcal{H}_n^\lambda(G)$-모듈의 그로텐디에크 군에 $\widehat{\mathfrak{sl}}_p^{\oplus r}$의 작용을 구성하여, 이 군이 $L(\lambda[1]) \otimes \cdots \otimes L(\lambda[r])$과 동형임을 보인다.
• 그로텐디에크 군 위에서 Kashiwara 연산자 $\tilde{e}_i^\lambda$와 $\tilde{f}_i^\lambda$를 사용하여 모odular 분기 규칙을 크리스탈 그래프의 구조로 규명한다.

실험 결과

연구 질문

• RQ1 비퇴화적인 애페이너 헤케 대수는 어떻게 임의의 유한군 $G$의 워프 곱 구조를 포함하도록 일반화될 수 있는가?
• RQ2 특성 $p \geq 0$를 갖는 체 위에서 워프 헤케 대수 $\mathcal{H}_n(G)$의 단순 모듈의 구조는 어떠한가?
• RQ3 워프 헤케 대수 $\mathcal{H}_n(G)$의 모odular 분기 규칙은 양자 애페이너 대수의 크리스탈 그래프와 어떻게 관련이 있는가?
• RQ4 그로텐디에크 군은 이러한 대수들에 대해 양자 애페이너 대수의 적통 표현을 어떻게 실현하는가?
• RQ5 이 틀을 통해 $G_n = G^n \rtimes S_n$의 워프 곱 표현 이론은 양성 특성에서 체계적으로 발전시킬 수 있는가?

주요 결과

• 워프 헤케 대수 $\mathcal{H}_n(G)$는 비퇴화적인 애페이너 헤케 대수 $\mathcal{H}_n$를 일반화하며, $G$가 자명할 경우 $\mathcal{H}_n(G) \cong \mathcal{H}_n$임을 보여준다.
• 모듈 범주 사이의 범주 동치가 $\mathcal{H}_n(G)$와 더 작은 비퇴화적인 애페이너 헤케 대수들의 곱의 모듈 범주 사이에 수립되어, 분류 문제의 환원이 가능해진다.
• 이 동치를 통해 유한차원 단순 $\mathcal{H}_n(G)$-모듈의 분류 문제가 $\mathcal{H}_n$에 대한 알려진 분류로 환원된다.
• 특성 $p$가 $|G|$를 나누지 않을 경우, $\mathcal{H}_n(G)$의 모odular 분기 규칙은 $U_q(\widehat{\mathfrak{sl}}_p^{\oplus r})$-모듈 $L(\lambda[1]) \otimes \cdots \otimes L(\lambda[r])$의 크리스탈 그래프와 동형이다.
• 그로텐디에크 군 $K_G(\lambda)_{\mathbb{C}}$는 $L(\lambda[1]) \otimes \cdots \otimes L(\lambda[r])$과 동형인 단순 $\widehat{\mathfrak{sl}}_p^{\oplus r}$-모듈을 제공하며, 체발리 생성자들은 Kashiwara 연산자로 작용한다.
• 특성 $p = 0$일 경우, 비정수 순환 몫을 통해 이 틀은 $\widehat{\mathfrak{sl}}_\infty^{\oplus r}$로 확장되며, 크리스탈 그래프 해석은 유지된다.