[논문 리뷰] Cellularity of certain quantum endomorphism algebras

H. H. Andersen, G Lehrer외 1명|arXiv (Cornell University)|2013. 03. 05.

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

한 줄 요약

이 논문은 양자군 $U_q(\mathfrak{sl}_2)$의 텐서곱에 대한 Weyl 모듈의 내적 대수 $\mathrm{End}_{{\rm{U}}_{\widetilde{A}}}(\Delta_{\widetilde{A}}(d)^{\otimes r})$에 대해 세포 구조를 수립하며, 이 대수가 특정 왼쪽 및 오른쪽 집합에 제한된 다이어그램을 가진 Temperley-Lieb 대수 $\mathrm{TL}_{rd}(\widetilde{A})$의 세포 부분대수와 동형임을 보여준다. 주요 결과는 루트 단위에서 특수화된 대수의 단순 모듈의 차원이 $U_\zeta(\mathfrak{sl}_2)$에 대한 기울임 모듈의 무게 중복도와 동일하며, 이는 모두 분해 수와 세포 이론을 통해 결정됨을 시사한다.

ABSTRACT

We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is specialised to a root of unity of order bigger than d, we consider the corresponding specialisation of the tensor power. We prove one general result which gives sufficient conditions for the commutativity of specialisation with the taking of endomorphism algebras, and another which relates the multiplicities of indecomposable summands to the dimensions of simple modules for an endomorphism algebra. Our cellularity result then allows us to prove that knowledge of the dimensions of the simple modules of the specialised cellular algebra above is equivalent to knowledge of the weight multiplicities of the tilting modules for the specialised quantum group. In the final section we independently determine the weight multiplicities of indecomposable tilting modules for quantum sl2, and the decomposition numbers of the endomorphism algebras. We indicate how either one of these sets of numbers determines the other.

연구 동기 및 목표

• 양자군 $U_q(\mathfrak{sl}_2)$의 정수형에 대한 $\mathrm{End}_{{\rm{U}}_{\widetilde{A}}}(\Delta_{\widetilde{A}}(d)^{\otimes r})$의 세포 구조 수립.
• 일부 조건 하에서 루트 단위에서의 특수화가 내적 대수를 취할 때와 교환 가능함을 증명하여, 루트 단위에서의 대수 연구를 가능하게 한다.
• 특수화된 내적 대수의 단순 모듈의 차원이 $U_\zeta(\mathfrak{sl}_2)$에 대한 기울임 모듈의 무게 중복도와 어떻게 관련되어 있는지 규명.
• 분해 수와 세포 이론을 통해, 분해 가능한 기울임 모듈의 무게 중복도와 내적 대수의 분해 수를 독립적으로 계산하고, 상호 결정 관계를 보여줌.

제안 방법

• Temperley-Lieb 대수 $\mathrm{TL}_{rd}(\widetilde{A})$에서 유래한 평면 다이어그램을 사용하여 $E_r(d,\widetilde{A}) = \mathrm{End}_{{\rm{U}}_{\widetilde{A}}}(\Delta_{\widetilde{A}}(d)^{\otimes r})$에 대한 명시적 세포 기저를 구성.
• 왼쪽 및 오른쪽 집합이 $\{d, 2d, \dots, (r-1)d\}$에 포함되는 다이어그램으로 기저를 제한하여 양자군 작용과의 호환성 확보.
• 브레인드 군의 $R$-행렬을 통한 작용을 이용해 호모모르피즘 $\eta: \widetilde{A}B_r \to E_r(d,\widetilde{A})$를 정의하지만, $d > 2$일 경우 전성은 증명되지 않음.
• 순서가 $d$보다 큰 루트 단위 $\zeta$에서 정수형을 특수화하여 $E_\zeta(d,r)$를 얻고, 적절한 조건 하에서 특수화가 내적 대수를 취할 때와 교환됨을 증명.
• 세포 대수 이론을 적용하여 $E_\zeta(d,r)$의 분해 수를 셀 모듈의 구성 인자와 연결하고, 모든 분해 수가 0 또는 1임을 보임.
• Temperley-Lieb 대수 $\mathrm{TL}_{dr,\zeta}(\mathbb{C})$-모듈에서 $E_\zeta(d,r)$-모듈로의 정확한 함자 $\mathcal{F}_d$를 사용하여, Temperley-Lieb 대수의 성질을 내적 대수로 이행함.

실험 결과

연구 질문

• RQ1 Weyl 모듈의 텐서곱에 대한 내적 대수 $\mathrm{End}_{{\rm{U}}_{\widetilde{A}}}(\Delta_{\widetilde{A}}(d)^{\otimes r})$에 대해 명시적인 세포 구조를 구성할 수 있는가?
• RQ2 루트 단위에서의 특수화가 내적 대수를 취할 때 어떤 조건에서 교환되는가?
• RQ3 특수화된 내적 대수의 단순 모듈의 차원은 $U_\zeta(\mathfrak{sl}_2)$에 대한 기울임 모듈의 무게 중복도와 어떻게 관련되어 있는가?
• RQ4 $E_\zeta(d,r)$의 분해 수는 무엇이며, 그 구조는 셀 모듈과 어떻게 관련되어 있는가?
• RQ5 $U_\zeta(\mathfrak{sl}_2)$에 대한 분해 불가능 기울임 모듈의 무게 중복도를 독립적으로 계산할 수 있으며, 이는 $E_\zeta(d,r)$의 분해 수를 결정하는가?

주요 결과

• 내적 대수 $E_r(d,\widetilde{A})$는 왼쪽 및 오른쪽 집합이 $\{d, 2d, \dots, (r-1)d\}$의 부분집합인 평면 다이어그램에 대응하는 기저를 가진 Temperley-Lieb 대수 $\mathrm{TL}_{rd}(\widetilde{A})$의 세포 부분대수와 동형이다.
• $\zeta$가 $d$보다 큰 순서의 루트 단위일 경우, $E_r(d,\widetilde{A})$의 특수화 $E_\zeta(d,r)$는 세포 대수이며, 그 분해 수는 모두 0 또는 1이다.
• $E_\zeta(d,r)$의 단순 모듈의 차원은 $U_\zeta(\mathfrak{sl}_2)$에 대한 기울임 모듈의 무게 중복도와 동일하며, 깊은 구조적 연결을 확립한다.
• $E_\zeta(d,r)$의 셀 모듈 $W_\zeta(t)$는 $t \in \mathcal{N}_2$ 이고 $g(t) \leq dr$일 경우 구성 인자 $L_\zeta(t)$와 $L_\zeta(g(t))$ 각각을 중복도 1로 가지며, 그 외의 경우 단순하다.
• $E_\zeta(d,r)$의 분해 수는 셀 모듈의 구조와 정확한 함자 $\mathcal{F}_d$의 작용에 의해 완전히 결정되며, 이 함자는 비영 단순 모듈을 유지한다.
• 분해 불가능 기울임 모듈의 무게 중복도는 독립적으로 계산되었으며, $E_\zeta(d,r)$의 분해 수와 동일함이 입증되어 상호 결정 관계가 확인되었다.