[논문 리뷰] Zhu's algebra, the C_2 algebra, and twisted modules

Matthias R. Gaberdiel, Terry Gannon|ArXiv.org|2008. 11. 24.

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

한 줄 요약

이 논문은 유리성의 정점 연산자 대수(VOA)에서 Zhu의 대수와 $C_2$-대수 간의 구조적 관계를 조사한다. 특히 아핀 리 대수와 격자 VOA에 대해 다룬다. $C_2$-대수는 비틀림 모듈—특히 격자 구멍과 관련된 것들—를 감지하는 반면, Zhu의 대수는 일반 모듈을 포괄한다. 주요 결과로는, 수준 $k=1$인 $E_8$의 경우 $C_2$-대수가 Zhu의 대수를 엄격히 포함함을 보이며, 이는 $χ_{[2]}$가 $χ$보다 클 때 유리성 VOA가 '이상적'일 수 있음을 시사한다. 이에 따라 수준 2인 $E_8$는 이러한 이상성의 후보로 제시된다.

ABSTRACT

In his landmark paper, Zhu associated two associative algebras to a vertex operator algebra: what are now called Zhu's algebra and the C_2-algebra. The former has a nice interpretation in terms of the representation theory of the VOA, while the latter only serves as a finiteness condition. In this paper we undertake first steps to unravel the interpretation of the C_2 vector space. In particular we suggest that it seems and controls the twisted representations of the VOA.

연구 동기 및 목표

• 유리성 VOA의 모듈을 분류하는 데 있어 Zhu의 대수와 $C_2$-대수의 구조적 역할을 명확히 하기.
• 특히 트리플렛 대수와 같은 반례를 고려할 때, $C_2$-대수의 유한 차원성이 유리성의 특성을 결정하는지 조사하기.
• 특히 격자 구멍에서 유래하는 비틀림 모듈이 $C_2$-대수에 어떻게 표현되는지 파악하기.
• $\mathcal{A}_{[2]}^*$와 $\mathcal{A}^*$ 간의 격차가 언제 사라지는지 탐색하기.
• 모듈로서의 $χ_{[2]}(\mathcal{V}_{\mathfrak{g},k})$와 $χ(\mathcal{V}_{\mathfrak{g},k})$가 $χ$-모듈로서 동형임을 추측하는 바, 유일한 예외는 $χ=E_8$일 경우이다.

제안 방법

• 상관 함수와 등각 블록을 모듈의 구조와 연결하기 위해 등각 장 이론과 정점 연산자 대수 체계를 사용한다.
• Zhu의 $χ(\mathcal{V})$ 구성법을 활용하여 $χ(\mathcal{V})$를 $χ$의 부분공간으로서 $\text{Res}_z (Y(a,z)b) z^{-2} dz$에 의해 생성되는 부분공간으로 나누어, 모듈의 특성함수와 연결한다.
• $C_2$-대수 $χ_{[2]}(\mathcal{V}) = \mathcal{V}/C_2(\mathcal{V})$를 사용하여 $M_0 \otimes M_0^* \to \u03c7_{[2]}^*$의 통합을 통해 비틀림 모듈을 감지한다.
• N-성질과 고유값 분해를 활용하여 아핀 VOA $χ_{\mathfrak{g},k}$의 $C_2$-대수를 분석하고, 그 차수별로 표현의 차이로서의 텐서곱의 차이로 그 구조를 추측한다.
• Peter-Weyl 대칭성을 활용하여 $χ_{[2]}$ 내의 $L(\mu) \otimes L(\mu)^*$ 성분을 해석한다.
• 수준 $k=1$과 $k=2$에서 $E_8$에 대해 $χ_{[2]}$와 $χ$를 비교하여, 비틀림 모듈의 $D_8$-분해를 통해 $χ_{[2]}$가 $χ$를 엄격히 포함함을 보였다.

실험 결과

연구 질문

• RQ1 유한 차원성의 $χ_{[2]}(\mathcal{V})$가 $χ$의 유리성을 암시하는가? 트리플렛 대수 이외의 반례가 존재하는가?
• RQ2 특히 격자 구멍에서 유래하는 VOA의 비틀림 모듈은 $C_2$-대수를 통해 감지될 수 있는가? 이 경우 일반 모듈과의 차이는 무엇인가?
• RQ3 $\mathcal{A}_{[2]}(\mathcal{V}_{E_8,1})$가 $\mathcal{A}(\mathcal{V}_{E_8,1})$를 엄격히 포함하는 이유는 무엇이며, 이는 수준 1에서 $E_8$-모듈의 구조에 어떤 함의를 갖는가?
• RQ4 $\mathcal{V}_{\mathfrak{g},k}$의 $C_2$-대수와 Zhu 대수가 $χ$-모듈로서 동형인지, 만약 다르다면 그 차이점은 어디에 있는가?
• RQ5 $E_8$ 수준 2는 아핀 대수에서 유일한 예외적 단순 전류를 가지며, 이는 이상적인 $C_2$-대수를 유도하는가?

주요 결과

• $\mathcal{V}_{sl(N),k}$의 경우, $C_2$-대수의 차수 $m$에서의 표현은 $\oplus_{\mu \in P_m^k} L(\mu) \otimes L(\mu)^* - \oplus_{\nu \in P_m^{k'}} L(\nu) \otimes L(\nu)^*$로 추측되며, $P_m^k$와 $P_m^{k'}$는 $N$-성질과 다인 라벨 제약 조건에 의해 정의된다.
• 이 추측은 $m \leq k$일 때 성립하며, $sl(2)$의 경우 $χ_{[2]}$와 $χ$가 $sl(N)$-모듈로서 동형임을 시사하여 $A$-계열에서 이상성이 없음을 암시한다.
• 수준 $k=1$일 때 $χ_{E_8,1}$은 자기 dual 격자 VOA $χ_{E_8}$와 동형이며, 자기 dual 성질로 인해 이상적이다. 이 경우 $χ_{[2]}$는 $χ$를 엄격히 포함한다.
• $E_8$-모듈 $L(k\Lambda_1)^{e8}$는 $χ_{[2]}$에 포함되지만 $χ$에는 포함되지 않으며, 이는 $D_8$-비틀림 모듈에서 기인하기 때문이다. Zhu의 대수에서는 이러한 모듈이 포괄되지 않는다.
• 짝수 $k>2$일 경우, $E_8$-모듈 $L((k-3)\Lambda_1 + 2\Lambda_2)$는 $χ$에는 포함되지 않지만 $χ_{[2]}$에는 포함된다. 다만 이 모듈의 비틀림 모듈 기원은 아직 밝혀지지 않았다.
• $E_8$ 수준 2의 $C_2$-대수는 이상적일 것이라 추측되며, $χ$에 포함되지 않는 $E_8$-모듈을 포함하고 있다. 또한 $E_8$ 수준 2는 아핀 대수에서 유일한 예외적 단순 전류이다.