[논문 리뷰] W-algebra W(2,2) and the vertex operator algebra L(1/2,0)\otimes L(1/2,0)

W. Zhang, Chongying Dong|ArXiv.org|2007. 11. 28.

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

한 줄 요약

이 논문은 중심적 차수 $c=1$와 2차원의 무게 2 부분공간을 갖는 모운스타입의 유리적, $C_2$-유한, 단순한 정점 연산자 대수로서 $L(1/2,0)igotimes L(1/2,0)$가 유일하다고 규명한다. 이러한 대수는 이 텐서곱 또는 $W(2,2)$-대수 모듈로와 동형이 될 수 있으며, 특성의 모듈라 불변성에 의해 오직 텐서곱의 구조만이 조건을 만족함을 증명함으로써, $c=1$ 유리적 VOA의 분류에서 핵심 사례를 해결한다.

ABSTRACT

In this paper the W-algebra W(2,2) and its representation theory are studied. It is proved that a simple vertex operator algebra generated by two weight 2 vectors is either a vertex operator algebra associated to a highest irreducible W(2,2)-module or a tensor product of two irreducible Virasoro vertex operator algebras. Furthermore, any rational, C_2-cofinite simple vertex operator algebra whose weight 1 subspace is zero and weight 2 subspace is 2-dimensional, and with central charge c=1 is isomorphic to L(1/2,0)\otimes L(1/2,0).

연구 동기 및 목표

• 중앙적 차수 $c=1$와 $\dim V_2=2$를 갖는 유리적, $C_2$-유한, 단순한 정점 연산자 대수의 분류를 수행한다.
• 중심적 차수와 낮은 무게 부분공간 차원에 관해 $L(1/2,0)\otimes L(1/2,0)$의 구조적 특성화를 수립한다.
• $W(2,2)$-대수가 새로운 유형의 정점 연산자 대수와 그 표현 이론을 생성하는 데 미치는 역할을 탐색한다.
• $L(1/2,0)^{\otimes 48}$를 포함한 하위대수를 통해 모운스타 정점 연산자 대수 $V^{\natural}$를 이해하는 기초를 마련한다.

제안 방법

• 최고 무게 모듈을 통한 텐서곱을 구성하기 위해 바이레어 모듈러스를 사용하여 $W(2,2)$-대수를 바이레어 대수의 확장으로 활용한다.
• 버마 모듈 위의 이중선형 형식을 적용하여 $W(2,2)$의 기약 몫 $L(c,h_1,h_2)$를 결정한다.
• 유리적 VOA에서 차원의 성장률을 제어하기 위해 등급 특성의 모듈라 불변성을 활용한다.
• 기본 모듈의 $q$-특성 분석과 다이오파틴 방정식의 해를 유도하기 위해 데디크 에타 함수와 비교함으로써 다항식 성장 제약 조건을 도출한다.
• 중앙적 차수와 최고 무게 조건에서 발생하는 디오판틴 방정식을 해결하기 위해 타원곡선 기법을 활용한다.
• 모듈라 및 대수적 조건을 만족시키기 위해 $c_i = 1/2$ 뿐만이 가능한 것으로 반증함으로써 $c=1$과 $\dim V_2=2$ 조건을 만족하는 경우에만 유일하게 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 무게 2의 벡터 두 개로 생성된 단순 정점 연산자 대수의 구조는 무엇인가? 이 대수는 $V_1=0$이고 $c=1$을 만족한다.
• RQ2 $L(1/2,0)\otimes L(1/2,0)$는 중심적 차수와 $V_1$, $V_2$의 차원으로 유일하게 특성화될 수 있는가?
• RQ3 $W(2,2)$와 바이레어 대수의 표현 이론은 유리적 VOA 생성 과정에서 어떻게 상호작용하는가?
• RQ4 특성의 모듈라 불변성은 $c=1$을 갖는 유리적 VOA의 가능한 구조를 제약하는 데 어떤 역할을 하는가?
• RQ5 $L(1/2,0)\otimes L(1/2,0)$는 $c=\tilde{c}=1$, $V_1=0$, $\dim V_2=2$ 조건을 만족하는 오직 유일한 VOA인가?

주요 결과

• 모든 유리적, $C_2$-유한, 단순한 정점 연산자 대수 중에서 $c=1$, $V_1=0$, $\dim V_2=2$ 조건을 만족하는 것은 $L(1/2,0)\otimes L(1/2,0)$와 동형이다.
• 이러한 VOA에서 $V_2$에 의해 생성되는 정점 연산자 부분대수는 $L(1/2,0)\otimes L(1/2,0)$와 동형이며, 정확히 9개의 서로 동치가 아닌 기약 모듈을 갖는다.
• 두 성분의 중심적 차수 $c_1$과 $c_2$는 타원곡선 분석을 통한 디오판틴 방정식의 해결에 의해 모두 $1/2$이어야 한다.
• $L(c_2,0)$의 $q$-특성 계수는 다항식 성장 조건을 만족할 수 없으며, 이는 모듈라 불변성 가정을 위배한다. 따라서 $c_2=1/2$여야 하며, 이는 두 성분 모두 중심적 차수 $1/2$여야 한다는 것을 강제한다.
• $h_1 + h_2 \in \mathbb{Z}$ 조건에 따라 $V$ 내에서 $L(1/2,0)\otimes L(1/2,0)$-모듈로 나타날 수 있는 유일한 모듈은 $L(1/2,0)\otimes L(1/2,0)$와 $L(1/2,1/2)\otimes L(1/2,1/2)$ 뿐이다.
• 모든 알려진 $c=\tilde{c}=1$이고 $\dim V_2=2$인 유리적 VOA가 $L(1/2,0)\otimes L(1/2,0)$와 동형이라는 사실은 완전한 분류를 지지한다.