[논문 리뷰] Some applications and constructions of intertwining operators in LCFT

Dražen Adamović, Antun Milas|arXiv (Cornell University)|2016. 05. 18.

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

한 줄 요약

이 논문은 새로운 변형 실현을 통해 싱게트(vertex algebra) $\omega(2)$의 융합 규칙 추측을 증명하여 순환 오르비폭드 보어드라지드(vertex algebra) $\omega(2)^{A_m}$의 기약 모듈의 분류를 확립한다. 이 실현을 통해 상호작용 연산자를 구성함으로써, $p=2$일 때 융합 규칙 $M_{t_1} \times M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$가 확인되며, 이는 $\mathcal{W}(2)^{A_m}$의 모듈 분류가 완전함을 의미하며 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex algebra W(p)^{A_m} follows from a conjectural fusion rules formula for the singlet vertex algebra modules. In the p=2 case, we computed fusion rules for the irreducible singlet vertex algebra modules by using intertwining operators. This result implies the classification of irreducible modules for W(2)^{A_m}, conjectured previously in [4]. The main technical tool is a new deformed realization of the triplet and singlet vertex algebras, which is used to construct certain intertwining operators that can not be detected by using standard free field realizations.

연구 동기 및 목표

• 순환 오르비폭드 $\mathcal{W}(p)^{A_m}$의 기약 모듈 분류 추측을 싱게트 vertex algebra의 융합 규칙을 통해 해결한다.
• 기존에 탐지되지 않았던 상호작용 연산자를 구성할 수 있도록 $p=2$ 및 $p=3$에 대해 더블릿, 싱게트, 트리플렛 vertex algebra의 새로운 변형 실현을 수립한다.
• 명시적인 상호작용 연산자를 구성함으로써, 일부 싱게트 모듈이 일반화된 의미에서 단순 전류임을 증명한다.
• 이전 연구에서 예측한 $\overline{M(1)}$의 융합 규칙 추측을 $p=2$에서 엄밀히 증명한다.

제안 방법

• 더블릿 vertex algebra $\mathcal{A}(p)$의 새로운 변형 실현을 개발하여, $p=2,3$에 대해 싱게트 $\overline{M(1)}$ 및 트리플렛 $\mathcal{W}(p)$ 대수로 확장하고, $p\geq4$에 대해서는 추측적으로 일반화한다.
• Heisenberg Fock 모듈 $M(1, \frac{t}{2p}\alpha)$의 기약 부분몫으로서 싱게트 모듈 $M_t$를 실현함으로써, 상호작용 연산자의 명시적 계산을 가능하게 한다.
• 더 큰 vertex algebra $U = M_{\alpha_1}(1) \otimes V_{\mathbb{Z}2\alpha_2}$ 내의 자유장 실현을 통해 유형 ${M_{t_1+t_2} \choose M_{t_1}\ M_{t_2}}$ 및 ${M_{t_1+t_2-2} \choose M_{t_1}\ M_{t_2}}$의 상호작용 연산자를 구성한다.
• 더 큰 $U$-모듈의 범주에서 제한함으로써, 구성된 상호작용 연산자의 $L(-1)$-성질과 결합법칙을 검증한다.
• 구성된 연산자를 사용하여 융합 곱 $M_{t_1} \cdot M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$를 증명함으로써, $p=2$에 대한 융합 규칙 추측을 확인한다.
• 이 융합 규칙 결과를 응용하여, [4]에서 제기된 바와 같이 $\mathcal{W}(2)^{A_m}$-모듈의 기약 모듈 분류가 완전함을 도출한다.

실험 결과

연구 질문

• RQ1 싱게트 vertex algebra 모듈의 융합 규칙 추측이 $\mathcal{W}(p)^{A_m}$-모듈의 기약 모듈 분류를 암시하는가?
• RQ2 이전에 탐지되지 않았던 상호작용 연산자를 접근할 수 있도록 트리플렛 및 싱게트 vertex algebra의 새로운 변형 실현을 구성할 수 있는가?
• RQ3 Existence of non-trivial intertwining operators가 $p=2$의 모듈 $M_t$가 일반화된 의미에서 단순 전류임을 시사하는가?
• RQ4 Construct한 상호작용 연산자가 $p=2$의 경우 $\mathcal{W}(2)^{A_m}$-모듈의 기약 모듈의 완전한 분류를 확인하는가?

주요 결과

• 새로운 실현과 상호작용 연산자 구성에 의해, 모든 $t_1, t_2 \in \mathbb{C}$에 대해 $t_1, t_2 \notin \mathbb{Z}$, $t_1 + t_2 \in \mathbb{Z}$ 조건을 만족할 때 융합 규칙 $M_{t_1} \times M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$가 성립함을 증명하였다.
• 유형 ${M_{t_1+t_2} \choose M_{t_1}\ M_{t_2}}$ 및 ${M_{t_1+t_2-2} \choose M_{t_1}\ M_{t_2}}$의 비자명한 상호작용 연산자의 존재는 일부 $M_t$ 모듈이 $\overline{M(1)}$-모듈의 범주에서 단순 전류임을 확인한다.
• $\mathcal{W}(2)^{A_m}$-기약 모듈의 분류가 완전히 확립되었으며, 이는 [4]에서 제기된 추측을 $p=2$의 융합 규칙 결과를 통해 확인한 것이다.
• $p=2$ 및 $p=3$에 대해 $\mathcal{A}(p)$, $\overline{M(1)}$, $\mathcal{W}(p)$의 새로운 변형 실현을 구성하였고, $p \geq 4$에 대해서는 추측하였다. 이는 이전에 표준 자유장 실현으로는 탐지되지 않았던 상호작용 연산자의 구성 가능성을 보장한다.
• 구성된 상호작용 연산자가 $L(-1)$-성질과 결합법칙을 만족함을 입증하여, 이들이 vertex algebra 프레임워크 내에서 유효함을 보였다.
• 결과는 $N=1$ 초등방대성의 경우로도 확장되며, 저자들은 대부분의 결과가 $N=1$ 싱게트/트리플렛 vertex algebra로 일반화될 수 있음을 언급하고 있으며, 이는 현재 진행 중인 연구에서 나타나 있다.