[논문 리뷰] Fusion rules for $\mathbb{Z}_{2}$-orbifolds of affine and parafermion vertex operator algebras

Cuipo Jiang, Qing Wang|arXiv (Cornell University)|2019. 04. 03.

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

한 줄 요약

이 논문은 파라페르미온 버추얼 연산자 대수 $K(sl_2,k)$ 와 그 아핀 대응체 $L({sl}_2,k)$ 의 $Z_2$-오르비폭을 완전히 규명한다. 오르비폭된 아핀 대수의 기약 모듈을 분류하고 $\triangle$-연산자를 통해 상호작용 연산자를 사용함으로써, 저자들은 명시적인 융합 규칙과 양자 차원을 도출하며, 모든 기약 $K_0^\sigma$-모듈이 자기쌍대임을 증명한다. 핵심 결과는 이 설정에서 $Z_2$-오르비폭에 대한 융합 규칙의 완전한 대수적 분류이다.

ABSTRACT

This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra $K(sl_2,k)$ associated to the integrable highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ is the building block of the general parafermion vertex operator $K(\mathfrak{g},k)$ for any finite dimensional simple Lie algebra $\mathfrak{g}$ and any positive integer $k$. We first classify the irreducible modules of $\mathbb{Z}_{2}$-orbifold of the simple affine vertex operator algebra of type $A_1^{(1)}$ and determine their fusion rules. Then we study the representations of the $\mathbb{Z}_{2}$-orbifold of the parafermion vertex operator algebra $K(sl_2,k)$, we give the quantum dimensions, and more technically, fusion rules for the $\mathbb{Z}_{2}$-orbifold of the parafermion vertex operator algebra $K(sl_2,k)$ are completely determined.

연구 동기 및 목표

• 단순 아핀 버추얼 연산자 대수 $L(\r{sl}_2,k,0)$ 의 $\r Z_2$-오르비폭에 대한 기약 모듈을 분류하고 융합 규칙을 규명하는 것.
• $K_0^\sigma = K(sl_2,k)^\sigma$ 의 $\r Z_2$-오르비폭 파라페르미온 버추얼 연산자 대수의 표현 이론을 연구하는 것.
• 모듈 분해와 격자 실현을 사용하여 $K_0^\sigma$ 에 대한 양자 차원을 계산하고 융합 규칙을 완전히 규명하는 것.
• 모든 기약 $K_0^\sigma$-모듈이 자기쌍대임을 증명하여 핵심 구조적 성질을 확립하는 것.

제안 방법

• $L(k,0)^\sigma$ 의 기약 모듈을 $\r Z_2$-오르비폭 이론를 통해 비틀림형과 비틀림형이 아닌 두 유형으로 분류하는 것.
• Li 의 $\r\triangle$-연산자를 사용하여 비틀림형이 아닌 $L(k,0)$-모듈과 비틀림형 $L(k,0)$-모듈 간의 상호작용 연산자를 구성하는 것.
• 융합 규칙의 대칭성 특성을 활용하여 계산을 두 가지 핵심 융합 곱으로 줄이는 것: 비틀림형–비틀림형 및 비틀림형–비틀림형.
• 격자 실현과 최저 무게 분해를 활용하여 $K_0^\sigma$-모듈을 분석하는 것.
• $L(k,i)$ 를 $L(k,0)$ 의 격자 버추얼 연산자 대수 $V_{\mathbb{Z}\gamma} \subseteq L(k,0)$ 상의 모듈로 분해하여 융합 규칙을 연구하는 것.
• 양자 차원과 자기쌍대성 논증을 적용하여 서로 동치가 아닌 모듈을 구별하고 융합 규칙를 검증하는 것.

실험 결과

연구 질문

• RQ1 아핀 버추얼 연산자 대수 $L(\r{sl}_2,k,0)$ 의 $\r Z_2$-오르비폭에 대한 기약 모듈은 무엇인가요?
• RQ2 파라페르미온 버추얼 연산자 대수 $K_0^\sigma$ 의 $\r Z_2$-오르비폭에 대한 융합 규칙는 어떻게 완전히 규명될 수 있나요?
• RQ3 기약 $K_0^\sigma$-모듈의 양자 차원은 무엇이며, 융합 규칙를 제약하는 데 어떻게 기여하나요?
• RQ4 모든 기약 $K_0^\sigma$-모듈이 자기쌍대인가요? 이를 뒷받침하는 구조적 성질은 무엇인가요?

주요 결과

• $L(k,0)^\sigma$ 의 기약 모듈은 두 유형으로 분류되며, 각각 $L(k,0)$-모듈과 $\r Z_2$-비틀림형 $L(k,0)$-모듈에서 유래한다.
• $\r\triangle$-연산자와 대칭 융합 성질을 사용하여 $L(k,0)^\sigma$ 의 융합 규칙가 완전히 규명되었으며, 두 가지 기본 융합 곱으로 줄어든다.
• $K_0^\sigma$ 의 $(M^{k/2,0})^+$ 의 양자 차원은 $\frac{\sqrt{k}}{2} \cdot \left(\frac{\sin \frac{\pi(k/2+1)}{k+2}}{\sin \frac{\pi}{k+2}}\right)^2$ 이며, 핵심 불변량을 제공한다.
• 모든 기약 $K_0^\sigma$-모듈이 최저 무게가 일치하고 쌍대 모듈 구조가 일치함을 통해 자기쌍대임이 확인되었다.
• $k=4$ 인 경우 오르비폭 $K_0^\sigma$ 는 $\langle\alpha,\alpha\rangle=24$ 인 $V_{\mathbb{Z}\alpha}^+$ 와 동형이며, $V_L^+$ 오르비폭의 알려진 결과와 융합 규칙가 일치한다.
• 융합 곱 $(M^{k/2,0})^+ \boxtimes W(k,k/2)^+ = (M^{k/2,0})^+ \boxtimes \widetilde{W(k,k/2)}^+$ 는 명시적으로 계산되었고, 모듈 분해를 통해 검증되었다.