[논문 리뷰] The Triplet Vertex Operator Algebra W(p) and the Restricted Quantum Group at Root of Unity

Kiyokazu Nagatomo, Akihiro Tsuchiya|ArXiv.org|2009. 02. 26.

Algebraic structures and combinatorial models참고 문헌 20인용 수 66

한 줄 요약

이 논문은 $W(p)$-모듈의 아벨 범주와 $q = e^{ au i/p}$에서의 제한 양자군 $\bar{U}_q(sl_2)$의 유한차원 모듈의 범주 사이의 범주적 동치를 수립하며, Feigin 등이 제기한 오랫동안 미해결이었던 추측을 증명한다. 저자들은 단순 $W(p)$-모듈 $\mathcal{X}_s^\pm$에 대한 프로젝티브 코팅 $\mathcal{P}_s^\pm$를 구성하고, 스크리닝 연산자를 통해 그 구조를 분석하며, 이로 인해 $W(p)$-mod가 아벨 범주로서 $\bar{U}_q(sl_2)$-mod와 동치임을 보인다. 블록은 $s = 0, \dots, p$로 인덱싱되며, $1 \leq s \leq p-1$일 경우 비단순 구조를 가진다. 이는 로그형 양자역학적 초등이론에서 카즈단-루스지타 유형의 대응을 제공한다.

ABSTRACT

We prove the abelian category of the modules over triplet VOA W(p) is category equivalent to the abelian category of the modules over quantum algebra of type sl_2 at root of unity.

연구 동기 및 목표

• Feigin 등이 제기한 추측을 해결하는 것: $W(p)$-mod의 아벨 범주가 $q = e^{\pi i/p}$에서 제한 양자군 $\bar{U}_q(sl_2)$의 유한차원 모듈의 범주와 동치임을 입증하는 것.
• 단순 $W(p)$-모듈 $\mathcal{X}_s^\pm$에 대한 프로젝티브 코팅 $\mathcal{P}_s^\pm$를 구성하고 분석하는 것 (여기서 $1 \leq s \leq p$).
• 블록 분해를 통해 $W(p)$-mod의 구조를 규명하여, $1 \leq s \leq p-1$일 경우 비단순성, $s = 0, p$일 경우 단순성을 보이는 것.
• 각 블록 내에서 단순 대상 간의 Ext$^1$ 군을 계산하고, 각 블록의 프로젝티브 코팅의 내림사고 대칭 대수 $B_s$를 확립하는 것.

제안 방법

• 스크리닝 연산자 $Q_-^{[d_s^\varepsilon]}(z)$의 반복 적분을 이용해 $W(p)$-모듈 $\mathcal{P}_s^\pm$를 구성하며, Fjelsted 등이 제시한 방법을 일반화하는 것.
• 연결 연산자 $Q_+(z)$와 $Q_-^{[d_s^\varepsilon]}(z)$를 이용해 포크 공간 표현과 모듈 구조를 분석하는 것.
• $\mathcal{P}_s^\pm$가 $\mathcal{X}_s^\pm$의 프로젝티브 코팅임을 보이기 위해 Ext$^1$ 군의 소멸성과 $T(0)$의 비대각화 가능성 증명하는 것.
• $\mathcal{P}_s^\pm$의 구조를 통해 Zhu의 대수 $A_0(W(p))$를 규명하고, 이로 인해 $W(p)$-mod의 블록 분해를 도출하는 것.
• 각 블록에서 프로젝티브 코팅의 내림사고 대칭 대수 $B_s = \mathrm{End}_{C_s}(\mathcal{P}_s^+ \oplus \mathcal{P}_s^-)$가 $B(\bar{U})$와 동형임을 보이는 것. 여기서 $B(\bar{U})$는 $\bar{U}_q(sl_2)$-mod 내 프로젝티브 코팅의 내림사고 대칭 대수이다.
• 등가 정리(보조정리 6-3)를 적용하여 $W(p)$-mod와 $\bar{U}_q(sl_2)$-mod가 아벨 범주로서 동치임을 결론내리는 것.

실험 결과

연구 질문

• RQ1 아벨 범주 $W(p)$-mod와 제한 양자군 $\bar{U}_q(sl_2)$의 유한차원 모듈의 범주 사이에 범주적 동치가 존재하는가? ($q = e^{\pi i/p}$에서).
• RQ2 단순 $W(p)$-모듈 $\mathcal{X}_s^\pm$의 프로젝티브 코팅 $\mathcal{P}_s^\pm$의 구조는 어떠한가?
• RQ3 블록 분해 측면에서 $W(p)$-mod와 $\bar{U}_q(sl_2)$-mod의 비교는 어떻게 되며, 특히 단순성과 Ext$^1$ 군의 성격은 어떠한가?
• RQ4 각 블록 내에서 프로젝티브 코팅의 내림사고 대칭 대수 $B_s$는 양자군 표현 이론에서 알려진 대수 $B(\bar{U})$와 일치하는가?
• RQ5 $T(0)$의 작용에 대해 비분해 $W(p)$-모듈의 재귀 블록의 최대 길이는 얼마인가?

주요 결과

• $W(p)$-mod는 블록 분해 $\bigoplus_{s=0}^p C_s$를 가지며, $C_0$와 $C_p$는 각각 하나의 단순 대상으로 이루어진 단순 범주이며, $1 \leq s \leq p-1$일 경우 $C_s$는 두 개의 단순 대상 $\mathcal{X}_s^+$와 $\mathcal{X}_s^-$를 가진다.
• $\mathcal{X}_s^\pm$의 프로젝티브 코팅 $\mathcal{P}_s^\pm$는 자기 dual이며, 동시에 사영적이고, $1 \leq s \leq p-1$일 경우 $\mathcal{X}_s^\pm$의 프로젝티브 코팅으로서의 성질을 갖는다.
• $C_s$ 내에서 단순 대상 간의 Ext$^1$ 군은 $1 \leq s \leq p-1$일 경우 비자명하여, $C_s$가 비단순임을 확인한다.
• 각 블록에서의 내림사고 대칭 대수 $B_s = \mathrm{End}_{C_s}(\mathcal{P}_s^+ \oplus \mathcal{P}_s^-)$는 $B(\bar{U})$와 동형이며, 이는 $\bar{U}_q(sl_2)$-mod 내 프로젝티브 코팅의 내림사고 대칭 대수이다.
• 주요 결과는 아벨 범주로서의 등가: $W(p)$-mod $\simeq \bar{U}_q(sl_2)$-mod이며, 이는 블록 범주의 등가와 동형인 내림사고 대칭 대수의 존재를 통해 확립된다.
• $W(p)$-모듈 $M$의 길이 $l(M)$은 $l(M) \leq 1$을 만족하며, $l(M) = 1$인 모든 비분해 모듈은 어떤 $1 \leq s \leq p-1$에 대해 $\mathcal{P}_s^\pm$와 동형이다.