[논문 리뷰] Zhu's algebra, C_2-algebra and C_2-cofiniteness of parafermion vertex operator algebras

Tomoyuki Arakawa, Ching Hung Lam외 1명|arXiv (Cornell University)|2012. 07. 17.

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

한 줄 요약

이 논문은 임의의 유한차원 단순 리 대수 $\mathfrak{g}$ 와 양의 정수 수준 $k$ 에 대해 파라페르미온 보조 대수 $K(\mathfrak{g},k)$ 의 $C_2$-코패션을 확립한다. 이를 위해 먼저 $\mathfrak{g} = \mathfrak{sl}_2$ 인 경우에 대해 주즈의 대수와 $C_2$-대수를 분석하여, 이들이 단순성과 차원 $k(k+1)/2$ 를 가짐을 증명한 후, 이러한 결과를 일반적인 $\mathfrak{g}$ 에 대해 부분대수 분해와 $K(\mathfrak{sl}_2,k)$ 의 알려진 코패션 성질을 이용해 확장한다.

ABSTRACT

We determine Zhu's algebra and C_2-algebra of parafermion vertex operator algebras for sl_2. Moreover, we prove the C_2-cofiniteness of parafermion vertex operator algebras for any finite dimensional simple Lie algebras.

연구 동기 및 목표

• 레벨 $k$ 에서 $\widehat{\mathfrak{sl}}_2$ 와 관련된 파라페르미온 VOA의 주즈 대수와 $C_2$-대수를 분석한다.
• $\mathcal{W} = K(\mathfrak{sl}_2,k)$ 인 경우 주즈 대수 $A(\mathcal{W})$ 의 단순성과 차원 $k(k+1)/2$ 를 확립한다.
• $\mathcal{W}$ 의 기약 모듈을 분류하고, 자기 자신에 대한 프로젝티브 성질을 증명한다.
• 기존의 $\mathfrak{sl}_2$ 에 대한 $C_2$-코패션 결과를 모든 유한차원 단순 리 대수 $\mathfrak{g}$ 로 확장한다.

제안 방법

• 강력한 생성자 $W^2, W^3, W^4, W^5$ 와 그들의 교환관계를 사용하여, 진공 모듈 $V(k,0)$ 내의 파라페르미온 VOA $\mathcal{N}$ 의 구조를 분석한다.
• 무게 8인 영장 필드 $\mathbf{v}^0$ 과 $\mathcal{N}$ 내에서의 무게 $k+1$ 인 싱귤러 벡터 $\mathbf{u}^0$ 을 식별하고 분석하여 $C_2$-대수 내의 관계를 규명한다.
• $C_2$-대수 $R_{\mathcal{N}}$ 상에서 유도를 유도하기 위해 연산자 $W^3_1$ 을 활용하여 $\mathbf{v}^0$ 과 $\mathbf{u}^0$ 이 $R_{V(k,0)}$ 내에서의 상을 명시적으로 계산한다.
• 관계의 무게별 분석을 통해 $R_{\mathcal{N}} \hookrightarrow R_{V(k,0)}$ 와 $A(\mathcal{W}) \hookrightarrow A(L(k,0))$ 의 임베딩을 확립한다.
• $K(\mathfrak{sl}_2,k)$ 의 $C_2$-코패션 성질과 부분대수 분해 $P_\alpha \cong K(\mathfrak{sl}_2,k_\alpha)$ 를 이용하여 일반적인 $\mathfrak{g}$ 에 대해 $C_2$-코패션을 증명한다.

실험 결과

연구 질문

• RQ1 파라페르미온 VOA $K(\mathfrak{sl}_2,k)$ 의 주즈 대수와 $C_2$-대수의 구조는 무엇인가?
• RQ2 $\mathcal{W} = K(\mathfrak{sl}_2,k)$ 인 경우 주즈 대수 $A(\mathcal{W})$ 는 단순성과 차원 $k(k+1)/2$ 를 갖는가?
• RQ3 $0 \leq i \leq k$, $0 \leq j \leq i-1$ 인 $M^{i,j}$ 모듈은 $\mathcal{W}$-모듈의 완전한 기약 모듈 집합인가?
• RQ4 모든 유한차원 단순 리 대수 $\mathfrak{g}$ 와 양의 정수 $k$ 에 대해 파라페르미온 VOA $K(\mathfrak{g},k)$ 는 $C_2$-코패션인가?

주요 결과

• $\mathcal{W} = K(\mathfrak{sl}_2,k)$ 인 경우 $C_2$-대수 $R_{\mathcal{W}}$ 는 차원 $k(k+1)/2$ 를 가진다.
• 주즈 대수 $A(\mathcal{W})$ 는 단순성과 함께 차원 $k(k+1)/2$ 를 가진다.
• $0 \leq i \leq k$, $0 \leq j \leq i-1$ 인 $M^{i,j}$ 모듈은 $\mathcal{W}$-기약 모듈의 동형류 집합을 완전히 구성한다.
• 모든 유한차원 단순 리 대수 $\mathfrak{g}$ 와 양의 정수 $k$ 에 대해 파라페르미온 VOA $K(\mathfrak{g},k)$ 는 $C_2$-코패션이다.
• $W^3_1$-이미지 분석을 통해 $R_{\mathcal{N}} \hookrightarrow R_{V(k,0)}$ 임베딩이 확립된다.
• $K(\mathfrak{g},k)$ 의 $C_2$-코패션은 $K(\mathfrak{sl}_2,k)$ 의 $C_2$-코패션 성질과 부분대수 $P_\alpha \cong K(\mathfrak{sl}_2,k_\alpha)$ 로의 분해로부터 유도된다.