[논문 리뷰] Z_3 symmetry and W_3 algebra in lattice vertex operator algebras

Chongying Dong, Ching Hung Lam외 3명|ArXiv.org|2003. 02. 25.

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

한 줄 요약

이 논문은 오르비폭 이론과 코셋 구성법을 사용하여 래티스 보손 온체이터 대수 $V_{\sqrt{2}A_2}$ 안에 중심적 상수 $6/5$를 가진 $W_3$ 대수를 구성한다. 이 대수의 유리성은 증명되고, Zhu 대수 분석을 통해 20개의 기약 모듈러스를 분류하며, 그들의 특성함수를 계산한다. 이는 $M^\tau$ 가 $[Z_3^{(5)}]$ 대수임을 확인하고, 무게 12의 단순 벡터를 통해 $C_2$-비유한성과 유리성을 확인한다.

ABSTRACT

The W_3 algebra of central charge 6/5 is realized as a subalgebra of the vertex operator algebra V_{\sqrt{2}A_2} associated with a lattice of type \sqrt{2}A_2 by using both coset construction and orbifold theory. It is proved that W_3 is rational. Its irreducible modules are classified and constructed explicitly. The characters of those irreducible modules are also computed.

연구 동기 및 목표

• 중심 상수 $6/5$를 가진 $W_3$ 대수를 래티스 보손 온체이터 대수 $V_{\sqrt{2}A_2}$ 의 부분대수로 실현하기.
• 이 $W_3$ 대수에 대한 모든 기약 모듈러스를 분류하고 그 유리성을 증명하기.
• 모듈러 불변성과 오르비폭 이론을 이용하여 기약 모듈러스의 특성함수를 계산하기.
• 고정점 부분대수 $M^\tau$ 가 이전 분류에서 나온 $[Z_3^{(5)}]$ 대수와 동형임을 확립하기.
• 무게 12의 단순 벡터와 Zhu 대수 구조를 이용하여 $W_3$ 대수의 $C_2$-비유한성과 유리성을 증명하기.

제안 방법

• 오르비폭 이론과 코셋 구성법을 사용하여 $V_{\sqrt{2}A_2}$ 안에 $W_3$ 대수를 구성하고, 중심 상수 $6/5$를 가진 바리에이션 요소 $\omega = \omega^1 + \omega^2$ 를 식별한다.
• $\tau$-불변 부분대수 $M^\tau$ 에서 무게 3의 생성자 $J$ 를 식별하여, $L(n) = \omega_{n+1}$ 과 $J(n) = J_{n+2}$ 가 $W_3$ 대수의 교환관계를 만족함을 보인다.
• Zhu 대수 이론을 사용하여 $\mathbb{C}[x,y] \to A(\mathcal{W})$ 의 상사상의 핵을 계산함으로써 기약 모듈러스를 분류한다. 여기서 $x \mapsto [\omega]$, $y \mapsto [J]$ 이다.
• 불변 양의 정부호 헤르미트 내적을 활용하여, 무게 12의 단순 벡터 $\mathbf{v}$ 가 $A(\mathcal{W})$ 에서 0이 됨을 보이고, 그로 인해 그 이미지가 핵 이상수 $\mathcal{I}$ 에 속함을 증명한다.
• 컴퓨터 대수 시스템 Risa/Asir 를 사용하여 단순 벡터 $\mathbf{v}$ 와 이상수 $\mathcal{I}$ 의 명시적 형태를 계산한다.
• 오르비폭 이론에서 추적 함수의 모듈러 불변성을 적용하여, 20개의 기약 $M^\tau$-모듈러스의 특성함수를 계산한다.

실험 결과

연구 질문

• RQ1 오르비폭 이론과 코셋 구성법을 사용하여 중심 상수 $6/5$를 가진 $W_3$ 대수를 $V_{\sqrt{2}A_2}$ 의 부분대수로 실현할 수 있는가?
• RQ2 이 $W_3$ 대수는 몇 개의 서로 다른 기약 모듈러스를 가지며, 그들의 구조는 어떠한가?
• RQ3 중심 상수 $c=6/5$를 가진 $W_3$ 대수는 유리적이며 $C_2$-비유한한가? 무게 12의 단순 벡터는 이 증명에서 어떤 역할을 하는가?
• RQ4 기약 모듈러스의 특성함수는 알려진 모듈러 데이터와 어떻게 관련되어 있으며, 오르비폭 이론을 통해 계산될 수 있는가?
• RQ5 고정점 부분대수 $M^\tau$ 는 이전 연구에서 분류된 $[Z_3^{(5)}]$ 대수와 동형인가?

주요 결과

• 중심 상수 $6/5$를 가진 $W_3$ 대수는 오르비폭 이론과 코셋 구성법을 통해 $V_{\sqrt{2}A_2}$ 의 부분대수로 실현되며, 바리에이션 요소 $\omega = \omega^1 + \omega^2$ 와 무게 3의 생성자 $J$ 를 가진다.
• 이 $W_3$ 대수에 대해 정확히 20개의 서로 다른 기약 모듈러스가 존재한다. 이는 무게 8개의 언트위스트 $M$-모듈러스, 6개의 $\tau$--twisted 모듈러스, 6개의 $\tau^2$-twisted $M$-모듈러스로 구성된다.
• Zhu 대수 $A(\mathcal{W})$ 는 $\mathbb{C}[x,y] \to A(\mathcal{W})$ 의 상사상의 핵으로 결정되며, 이 핵은 무게 12의 단순 벡터 $\mathbf{v}$ 가 0이 되는 조건에서 유도된 네 개의 다항식으로 생성된다.
• 무게 12의 단순 벡터 $\mathbf{v}$ 는 불변 양의 정부호 헤르미트 내적의 존재로 인해 $A(\mathcal{W})$ 에서 0이 됨을 보였으며, 이는 $[\mathbf{v}] = 0$ 과 $[J(-1)\mathbf{v}] = [J(-2)\mathbf{v}] = [J(-1)^2\mathbf{v}] = 0$ 을 의미한다.
• $W_3$ 대수는 $C_2$-비유한성과 유리성을 증명하였으며, 이 증명은 단순 벡터와 기약 모듈러스의 분류에 기반한다.
• 20개의 기약 $M^\tau$-모듈러스의 특성함수는 오르비폭 이론에서 추적 함수의 모듈러 불변성을 적용하여 계산되었으며, 그 고유값은 [14]의 $p=5$ 에서의 $\Delta$ 와 $w$ 값과 일치하여 $M^\tau \cong [Z_3^{(5)}]$ 를 확인한다.