[논문 리뷰] On C_2-cofiniteness of parafermion vertex operator algebras

Chongying Dong, Qing Wang|arXiv (Cornell University)|2010. 05. 11.

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

한 줄 요약

이 논문은 임의의 아핀 카크-무디 대수 $\mathfrak{g}$에 대해 페라페르미온 보조 대수 $K(\mathfrak{g},k)$의 $C_2$-코패서티를 $K(sl_2,k)$의 정규성에 의해 유도함으로써, 작은 수준에서의 $C_2$-코패서티를 입증하고, 비단순 루트 시스템을 가진 유형에 대해 $K(\mathfrak{g},1)$을 명시적으로 분류한다. 이는 $L(\frac{1}{2},0) \otimes L(\frac{7}{10},0)$ 및 $L(\frac{4}{5},0) \oplus L(\frac{4}{5},3)$와 같은 알려진 유리 VOA들과의 동형사상으로 이어진다. 결과적으로 이러한 VOA에 대해 $C_2$-코패서티와 유한한 표현 이론이 널리 적용 가능함을 확인한다.

ABSTRACT

It is proved that the regularity of parafermion vertex operator algebras associated to integrable highest weight modules for affine Kac-Moody algebra A_1^{(1)} implies the C_2-cofiniteness of parafermion vertex operator algebras associated to integrable highest weight modules for any affine Kac-Moody algebra. In particular, the parafermion vertex operator algebra associated to an integrable highest weight module of small level for any affine Kac-Moody algebra is C_2-cofinite and has only finitely many irreducible modules. Also, the parafermion vertex operator algebras with level 1 are determined explicitly.

연구 동기 및 목표

• 아핀 카크-무디 대수의 통합 최고 가중치 모듈러에 대해 페라페르미온 보조 대수 $K(\mathfrak{g},k)$의 $C_2$-코패서티를 확립한다.
• 작은 수준 $k$에 대해 $K(\mathfrak{g},k)$가 $C_2$-코패서티를 가지며, 유한한 수의 기약 모듈러를 갖는지 확인한다.
• 비단순적으로 루트 시스템을 가진 리 대수 $\mathfrak{g}$에 대해 $K(\mathfrak{g},1)$의 구조를 명시적으로 분류한다.
• 이러한 유형에 대해 $K(\mathfrak{g},1)$이 수준 2 또는 3인 $A$형 페라페르미온 VOA와 동형임을 보인다.
• $\mathfrak{g}$가 $ADE$ 유형이고 $k \leq 6$이거나, $G_2$ 유형이고 $k \leq 2$이거나, $B_l, C_l, F_4$ 유형이고 $k \leq 3$이면, $K(\mathfrak{g},k)$가 $C_2$-코패서티를 가지며, 표현 이론이 유한함을 확인한다.

제안 방법

• 양의 루트 $\alpha$에 대해 $k_\alpha \in \{k,2k,3k\}$로 주어지며, $K(\mathfrak{g},k)$가 $K(sl_2,k_\alpha)$에 의해 생성됨을 보여주는 [11]의 기본 결과를 활용한다.
• 바이레소 대수의 유니터리 표현에서 헤르미트 연산자의 성질을 사용하여 $K(\mathfrak{g},1)$의 구조를 분석한다.
• 기존 모듈러의 완비화에서 최대 약한 모듈러를 구성하기 위해 [26]의 접근법을 적용함으로써 $K(\mathfrak{g},1)$의 분류를 지원한다.
• 레마 4.3의 동형사상 결과를 활용하여, $C_l$에 대해 $K(\mathfrak{g},1)$이 $K(A_{l-1},2)$와, $F_4$에 대해 $K(A_2,2)$와, $G_2$에 대해 $K(A_1,3)$와 동형임을 확인함으로써 문제를 알려진 VOA로 환원한다.
• 중앙 전하와 정수 가중치 제약 조건을 분석하여 $K(B_l,1)$이 $L(\frac{1}{2},0)$과 동형임을 보이며, 이는 정수 가중치 제약 조건으로 인해 유일한 확장임을 증명한다.
• $L(\frac{1}{2},0)$과 $L(\frac{7}{10},0)$의 기약 모듈러 분류를 활용하여, $K(A_2,2)$의 전체 분해가 텐서곱의 직합임을 확인한다.

실험 결과

연구 질문

• RQ1 $K(sl_2,k)$의 정규성이 임의의 아핀 카크-무디 대수 $\mathfrak{g}$에 대해 $K(\mathfrak{g},k)$의 $C_2$-코패서티를 유도하는가?
• RQ2 작은 수준 $k$에 대해 $K(\mathfrak{g},k)$가 $C_2$-코패서티를 가지며, 표현 이론이 유한한가?
• RQ3 $\mathfrak{g}$가 $B_l, C_l, F_4, G_2$ 유형일 때 $K(\mathfrak{g},1)$의 명시적 구조는 무엇인가?
• RQ4 비단순 루트 시스템을 가진 유형에 대해 페라페르미온 VOA $K(\mathfrak{g},1)$이 $K(A_n,m)$과 같은 알려진 유리 VOA와 동형인가?
• RQ5 $K(\mathfrak{g},1)$의 표현 이론이 알려진 유리 VOA들의 텐서곱으로 분해함으로써 완전히 결정될 수 있는가?

주요 결과

• $K(\mathfrak{g},k)$의 $C_2$-코패서티는 $K(sl_2,k)$의 정규성에 의해 유도되며, 이는 핵심적인 환원 원리로 확립된다.
• $\mathfrak{g}$가 $ADE$ 유형이고 $k \leq 6$이거나, $G_2$ 유형이고 $k \leq 2$이거나, $B_l, C_l, F_4$ 유형이고 $k \leq 3$이면, 페라페르미온 VOA $K(\mathfrak{g},k)$는 $C_2$-코패서티를 가지며, 기약 모듈러가 유한하다.
• $K(B_l,1)$은 $L(\frac{1}{2},0)$과 동형이며, 이는 정수 가중치 제약 조건으로 인해 유일한 확장이다.
• $K(C_l,1)$은 $K(A_{l-1},2)$와 동형이며, $K(F_4,1)$은 $K(A_2,2)$와 동형이며, 모두 레마 4.3의 동형사상에 의해 유도된다.
• $K(A_2,2)$는 명시적으로 $L(\frac{1}{2},0) \otimes L(\frac{7}{10},0) \oplus L(\frac{1}{2},\frac{1}{2}) \otimes L(\frac{7}{10},\frac{3}{2})$로 분해되며, 이는 그 유리성과 표현 이론의 유한성을 확인한다.
• $K(G_2,1)$은 $K(A_1,3)$과 동형이며, 이는 유리적임과 동시에 $L(\frac{4}{5},0) \oplus L(\frac{4}{5},3)$와 동형임이 알려져 있으며, 기약 모듈러가 분류되어 있다.