[논문 리뷰] Parafermion vertex operator algebras and W-algebras

Tomoyuki Arakawa, Ching Hung Lam외 1명|arXiv (Cornell University)|2017. 01. 22.

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

한 줄 요약

이 논문은 모든 $k \in \mathbb{N}$ 에 대해 수준 $k$ 의 $\widehat{\mathfrak{sl}}_2$-파라페르미온 보조대수와 $(k+1,k+2)$-최소급 $W_k$-대수 사이의 오랫동안 제기된 추측을 증명한다. 이는 아핀 보조대수 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ 를 격자 보조대수와 파라페르미온 모듈의 텐서곱으로 분해하는 방법을 사용한다. 핵심 결과로는 파라페르미온 VOA의 유리성과 함께, $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$의 코스터 구조와의 추측적 동형사상이 확인된다.

ABSTRACT

We prove the conjectual isomorphism between the level $k$ $\widehat{sl}_2$-parafermion vertex operator algebra and the $(k+1,k+2)$ minimal series $W_k$-algebra for all integers $k \ge 2$. As a consequence, we obtain the conjectural isomorphism between the $(k+1,k+2)$ minimal series $W_k$-algebra and the coset vertex operator algebra $SU(k)_1 \otimes SU(k)_1/SU(k)_2$.

연구 동기 및 목표

• 모든 $k \in \mathbb{N}$ 에 대해 $\widehat{\mathfrak{sl}}_2$-파라페르미온 보조대수와 $(k+1,k+2)$-최소급 $W_k$-대수 사이의 추측적 동형사상을 증명한다.
• 이전까지 증명되지 않았던 파라페르미온 보조대수 $K(\mathfrak{sl}_2,k)$ 의 유리성을 확립한다.
• $(k+1,k+2)$-최소급 $W_k$-대수와 코스터 보조대수 $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ 사이의 추측적 동형사상을 확인한다.
• 아핀 보조대수 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ 의 분해를 통해 파라페르미온 보조대수의 특성화를 제공한다.
• 상호작용 연산자와 단순 전류 확장을 새로운 방식으로 사용하여, $W$-대수와 그 아핀 VOAs 간의 관계를 심화시킨다.

제안 방법

• 분해식 $L_{\widehat{\mathfrak{sl}}_2}(k,0) = \bigoplus_{j=0}^{k-1} V_{\mathbb{Z}\gamma - j\gamma/k} \otimes M^j$ 를 사용하며, 여기서 $V_{\mathbb{Z}\gamma}$ 는 격자 보조대수이고 $M^j$ 는 파라페르미온 보조대수 $K(\mathfrak{sl}_2,k)$ 의 모듈이다.
• 일부 가정 하에 이러한 분해를 갖는 유일한 보조대수로 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ 를 특성화한다.
• 단순한 $V_{\mathbb{Z}\gamma}$-모듈 간의 융합 규칙을 적용하여 분해의 구조를 분석하고 동형사상을 확립한다.
• Mira 지도를 사용하여 $W$-대수 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ 와 히젠베르크 보조대수 $M_{\widehat{\mathfrak{h}}}(\ell + h^\vee, 0)$ 를 연결함으로써, 관련된 순차적 파oisson 보조대수의 연구를 가능하게 한다.
• $\mathscr{W}^\ell(\mathfrak{sl}_k)$ 의 순차적 구조가 중심적 전하 $c = 1-k$ 에서의 $\mathscr{W}_{1+\infty}^c$ 대수의 구조를 사용하여, 그 무게-2 및 무게-3 부분공간에 의해 생성됨을 증명한다.
• 비임계 수준 $\ell$ 에서 $\operatorname{gr}\mathscr{W}^\ell(\mathfrak{sl}_k)$ 의 파oisson 보조대수의 구조가 수준 $\ell$ 에 독립적이며, 이를 통해 기존의 경우로의 축소가 가능하다.

실험 결과

연구 질문

• RQ1 모든 $k \in \mathbb{N}$ 에 대해 수준 $k$ 의 $\widehat{\mathfrak{sl}}_2$-파라페르미온 보조대수는 $(k+1,k+2)$-최소급 $W_k$-대수와 동형인가?
• RQ2 아핀 보조대수 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ 의 분해를 통해 파라페르미온 보조대수 $K(\mathfrak{sl}_2,k)$ 는 어떻게 특성화할 수 있는가?
• RQ3 $(k+1,k+2)$-최소급 $W_k$-대수와 코스터 보조대수 $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ 사이의 관계는 무엇인가?
• RQ4 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ 의 순차적 구조를 갖는 파oisson 보조대수의 구조는 수준 $\ell$ 에 독립적인가?
• RQ5 Mira 지도와 $\mathscr{W}_{1+\infty}^c$ 대수의 구조를 통해 $W$-대수 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ 가 그 무게-2 및 무게-3 장에 의해 생성됨을 보일 수 있는가?

주요 결과

• 논문은 모든 $k \in \mathbb{N}$ 에 대해 $\widehat{\mathfrak{sl}}_2$-파라페르미온 보조대수 $K(\mathfrak{sl}_2,k)$ 와 $(k+1,k+2)$-최소급 $W_k$-대수 $\mathscr{W}_{k+1,k+2}(\mathfrak{sl}_k)$ 사이의 추측적 동형사상을 증명한다.
• 이 동형사상의 결과로 파라페르미온 보조대수 $K(\mathfrak{sl}_2,k)$ 의 유리성이 확립된다.
• $(k+1,k+2)$-최소급 $W_k$-대수가 코스터 보조대수 $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ 와 동형임을 보이며, 오랫동안 제기된 추측을 확인한다.
• 비임계 수준 $\ell$ 에서 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ 의 순차적 구조가 수준 $\ell$ 에 독립적이며, 이는 증명에 핵심적이다.
• Mira 지도와 중심 전하 $c = 1-k$ 에서의 $\mathscr{W}_{1+\infty}^c$ 대수의 구조를 통해 $W$-대수 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ 가 그 무게-2 및 무게-3 장에 의해 생성됨을 입증한다.
• 일정한 가정 하에 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ 의 분해를 통해 $K(\mathfrak{sl}_2,k)$ 의 특성화를 확보한다.