[논문 리뷰] On the structure of $End_{u_k(2)}(\Omega_k^{\otimes r})$

Qiang Fu, Qunguang Yang|arXiv (Cornell University)|2011. 08. 12.

Algebraic structures and combinatorial models참고 문헌 9인용 수 2

한 줄 요약

이 논문은 체 $k$가 $l$차 단위근을 포함하고 ($l \geq 3$이고 홀수임) 무한소 양자군 $\mathfrak{u}_k(2)$에 대해 기본 대수 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r})$를 결정한다. 작은 $q$-Schur 대수와 화살표 대수의 표현 이론을 사용하여 블록을 분류하고, 화살표와 관계를 통해 끝내는 대수의 구조를 계산하며, 이 대수가 블록 유형과 $l$-강한 무게에 따라 의존하는 기본 대수들의 곱과 동형임을 보여준다.

ABSTRACT

Let $u_k(2)$ be the infinitesimal quantum $\frak{gl}_2$ over $k$, where $k$ is a field containing an $l$th primitive root $\epsilon$ of 1 with $l\geq 3$ {\it odd}. We will determine the basic algebra for ${u_k(2)}(\Omega_k^{\otimes r})$, where $\Omega_k$ is the natural module for $u_k(2)$.

연구 동기 및 목표

• 무한소 양자군 $\mathfrak{u}_k(2)$의 자연 모듈러스 $\Omega_k$에 대해 끝내는 대수 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r})$의 구조를 결정하는 것.
• 작은 $q$-Schur 대수 $\mathfrak{u}_k(2,r)$와 무한소 $q$-Schur 대수 $s_k(2,r)$의 단순 및 비단순 블록을 분류하는 것.
• 화살표 표현과 관계를 사용하여 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r})$의 기본 대수를 계산하는 것.
• 끝내는 대수의 구조를 통해 무한소 양자군에 대한 Schur–Weyl 대칭성과의 연결을 설정하는 것.

제안 방법

• 문제를 작은 $q$-Schur 대수 $\mathfrak{u}_k(2,r)$의 연구로 줄이기 위해 등식 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r}) \cong \mathrm{End}_{\mathfrak{u}_k(2,r)}(\Omega_k^{\otimes r})$의 동형을 활용한다.
• 무한소 양자 $\mathfrak{sl}_2$인 $\mathfrak{u}'_k(2)$의 표현 이론에 관한 [1]의 결과를 적용하여 기약 및 프로젝티브 모듈러스를 분류한다.
• 프로젝티브 커버와 호모로지 공간의 구조를 사용하여 각 블록의 기본 대수에 대한 화살표와 관계를 구성한다.
• $l$-강한 무게 $\lambda$에 따라 $\mathfrak{u}_k(2,r)$의 블록을 분류하며, 단순 블록과 비단순 프로젝티브를 가진 블록을 구분한다.
• 비단순 블록의 인덱스 집합 $J$와 비영이 아닌 단순 블록의 수 $a$를 $r$과 $l$에 따라 계산한다.
• 화살표 $Q$와 관계 $\alpha_1\beta_2 = \alpha_2\beta_1 = 0$, $\alpha_1\beta_1 = \alpha_2\beta_2$, $\beta_1\alpha_1 = \beta_2\alpha_2 = \gamma\delta$를 사용하여 비단순 블록의 기본 대수를 기술한다.

실험 결과

연구 질문

• RQ1 무한소 양자군 $\mathfrak{u}_k(2)$의 자연 모듈러스 $\Omega_k$에 대해 끝내는 대수 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r})$의 구조는 무엇인가요?
• RQ2 작은 $q$-Schur 대수 $\mathfrak{u}_k(2,r)$의 블록은 어떻게 분해되며, 어떤 것이 단순한가요?
• RQ3 끝내는 대수 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r})$의 기본 대수에 대한 화살표와 관계의 집합은 무엇인가요?
• RQ4 블록 $\overline{B}_1^r(\lambda)$이 세 개의 정점과 특정 관계를 가질 조건은 무엇인가요?
• RQ5 블록 $\overline{B}_1^r(\lambda)$의 크기가 끝내는 대수의 구조에 미치는 영향은 무엇인가요?

주요 결과

• 끝내는 대수 $\mathrm{End}_{\mathfrak{u}_k(2)}(\Omega_k^{\otimes r})$는 기본 대수들의 곱과 동형이다: $\Lambda_r \cong k^a \times \prod_{\lambda \in J} \Lambda_r(\overline{B}_1^r(\lambda))$, 여기서 $a$는 비영이 아닌 단순 블록의 수이다.
• 만약 $r \geq 2l - 2$이면 $a = 1$이며, 이는 정확히 하나의 비자명한 단순 블록이 존재함을 의미한다.
• $l \leq r < 2l - 2$일 경우, 비영이 아닌 단순 블록의 수는 $r$이 짝수이면 $a = \frac{l - r}{2}$, 홀수이면 $a = \frac{l - r + 1}{2}$이다.
• $\lambda \in J \cap P_1(D)$이면 기본 대수 $\Lambda_r(\overline{B}_1^r(\lambda))$는 두 개의 정점 $X, Y$와 화살표 $\alpha: X \to Y$, $\beta: Y \to X$를 가지며, 관계 $\beta\alpha = 0$을 가진다.
• $\lambda \in J \setminus P_1(D)$이면 기본 대수 $\Lambda_r(\overline{B}_1^r(\lambda))$는 세 개의 정점 $X, Y, Z$와 관계 $\alpha_i\beta_j = 0$, $\alpha_1\beta_1 = \alpha_2\beta_2$, $\beta_i\alpha_j = 0$, $\gamma\delta = 0$, $\gamma\beta_i = 0$, $\alpha_i\delta = 0$, $\beta_1\alpha_1 = \beta_2\alpha_2 = \delta\gamma$를 가진다.
• 블록 $\overline{B}_1^r(\lambda)$의 크기가 $|\overline{B}_1^r(\lambda)| = 3$이 되는 것은 $\lambda \in P_1(D)$일 때이고, 그 외의 경우 $|\overline{B}_1^r(\lambda)| \geq 5$이다.