[논문 리뷰] Coset Vertex Operator Algebras and $\W$-Algebras

Tomoyuki Arakawa, Cuipo Jiang|arXiv (Cornell University)|2017. 01. 24.

Algebraic structures and combinatorial models참고 문헌 46인용 수 3

한 줄 요약

이 논문은 $ C_{L_{\widehat{\mathfrak{sl}_n}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_n}}(1,0)}(L_{\widehat{\mathfrak{sl}_n}}(l+1,0)) $ 의 무게 3 생성자를 명시적으로 구성하고, $ n=3 $ 인 경우 이 코셋이 $ \mathcal{W} $-대수 $ \mathcal{W}_{-3 + \frac{l+3}{l+4}}(\mathfrak{sl}_3) $ 와 동형임을 증명하여, $ \mathfrak{sl}_3 $-형태의 $ \mathcal{W} $-대수에 대한 수준-랭크 dualit의 추측을 확인한다.

ABSTRACT

We give an explicit description for the weight three generator of the coset vertex operator algebra $C_{L_{\widehat{\sl_{n}}}(l,0)\otimes L_{\widehat{\sl_{n}}}(1,0)}(L_{\widehat{\sl_{n}}}(l+1,0))$, for $n\geq 2, l\geq 1$. Furthermore, we prove that the commutant $C_{L_{\widehat{\sl_{3}}}(l,0)\otimes L_{\widehat{\sl_{3}}}(1,0)}(L_{\widehat{\sl_{3}}}(l+1,0))$ is isomorphic to the $\W$-algebra $\W_{-3+\frac{l+3}{l+4}}(\sl_3)$, which confirms the conjecture for the $\sl_3$ case that $C_{L_{\widehat{\frak g}}(l,0)\otimes L_{\widehat{\frak g}}(1,0)}(L_{\widehat{\frak g}}(l+1,0))$ is isomorphic to $\W_{-h+\frac{l+h}{l+h+1}}(\frak g)$ for simply-laced Lie algebras ${\frak g}$ with its Coxeter number $h$ for a positive integer $l$.

연구 동기 및 목표

• 모든 $ n \geq 2 $, $ l \geq 1 $ 에 대해 코셋 보조 대수 $ C_{L_{\widehat{\mathfrak{sl}_n}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_n}}(1,0)}(L_{\widehat{\mathfrak{sl}_n}}(l+1,0)) $ 의 무게 3 생성자를 명시적으로 기술하는 것.
• 코셋의 공액자 $ C_{L_{\widehat{\mathfrak{sl}_3}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_3}}(1,0)}(L_{\widehat{\mathfrak{sl}_3}}(l+1,0)) $ 가 $ \mathcal{W} $-대수 $ \mathcal{W}_{-3 + \frac{l+3}{l+4}}(\mathfrak{sl}_3) $ 와 동형임을 증명하여, $ \mathfrak{sl}_3 $ 경우에 대한 추측을 검증하는 것.
• 단순 루트 계를 가진 리 대수에 대해 코셋 구성과 $ \mathcal{W} $-대수 사이의 일반적 동형을 수립하여, 보조 대수 이론에서의 수준-랭크 dualit를 확장하는 것.

제안 방법

• 저자들은 코셋 구성 방법을 사용하여, $ V $ 의 부분대수 $ U $ 와 가환하는 $ V $ 의 부분대수인 공액자 $ C_V(U) $ 를 정의하며, 이 경우 $ V = L_{\widehat{\mathfrak{sl}_n}}(l,0) \otimes L_{\widehat{\mathfrak{sl}_n}}(1,0) $ 이고 $ U = L_{\widehat{\mathfrak{sl}_n}}(l+1,0) $ 이다.
• 그들은 바이아스로 대수의 구조와 융합 규칙을 활용하여 코셋 대수의 무게 3 생성자를 명시적으로 특정한다.
• 핵심 기술 도구로는 코셋 대수의 원소를 $ \mathcal{W} $-대수 내의 $ \widetilde{W} $-이미지로 보내는 사상 $ \varphi $ 를 사용하며, 이는 보조 대수의 구조를 유지한다.
• 증명은 무게에 대한 귀납법과 $ W $-장의 단항식들 및 그 $ \widetilde{W} $-대응항들 사이의 내적을 사용하여 $ \varphi $ 가 동형임을 보이는 데 기반한다.
• 저자들은 파라페르미온 대수의 $ C_2 $-비유한성과 유리성에 관한 기존 결과를 활용하여 코셋 대수의 구조를 뒷받침한다.
• 자기 dualit를 이용하여 특성 함수를 비교함으로써, 코셋 구성과 $ \mathcal{W} $-대수 사이의 이중성을 수립한다.

실험 결과

연구 질문

• RQ1 코셋 보조 대수 $ C_{L_{\widehat{\mathfrak{sl}_n}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_n}}(1,0)}(L_{\widehat{\mathfrak{sl}_n}}(l+1,0)) $ 의 명시적 형태는 무엇인가요?
• RQ2 코셋의 공액자 $ C_{L_{\widehat{\mathfrak{sl}_3}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_3}}(1,0)}(L_{\widehat{\mathfrak{sl}_3}}(l+1,0)) $ 는 형태 $ \mathcal{W}_{-3 + \frac{l+3}{l+4}}(\mathfrak{sl}_3) $ 의 $ \mathcal{W} $-대수와 동형인가요?
• RQ3 $ \mathfrak{g} $ 가 코스터 수 $ h $ 를 가진 단순 루트 계를 가진 모든 리 대수에 대해 등식 $ C_{L_{\widehat{\mathfrak{g}}}(l,0)\otimes L_{\widehat{\mathfrak{g}}}(1,0)}(L_{\widehat{\mathfrak{g}}}(l+1,0)) \cong \mathcal{W}_{-h + \frac{l+h}{l+h+1}}(\mathfrak{g}) $ 가 성립하는가요?

주요 결과

• 모든 $ n \geq 2 $ 및 $ l \geq 1 $ 에 대해 코셋 보조 대수 $ C_{L_{\widehat{\mathfrak{sl}_n}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_n}}(1,0)}(L_{\widehat{\mathfrak{sl}_n}}(l+1,0)) $ 의 무게 3 생성자가 명시적으로 구성되었으며, 이는 대수의 구조에 대한 구체적 실현을 제공한다.
• $ n = 3 $ 인 경우, 코셋의 공액자 $ C_{L_{\widehat{\mathfrak{sl}_3}}(l,0)\otimes L_{\widehat{\mathfrak{sl}_3}}(1,0)}(L_{\widehat{\mathfrak{sl}_3}}(l+1,0)) $ 는 $ \mathcal{W} $-대수 $ \mathcal{W}_{-3 + \frac{l+3}{l+4}}(\mathfrak{sl}_3) $ 와 동형이며, 이는 $ \mathfrak{sl}_3 $ 경우에 대한 추측을 확인한다.
• 코셋 대수에서 $ \mathcal{W} $-대수로의 전사 보조 대수 준동형사상 $ \varphi $ 를 통해 동형이 확립되었으며, 특성 함수를 일치시키고 이중성을 사용하여 이 사상이 동형임을 보였다.
• 핵심 보조정리에 따르면, $ W $-장의 단항식들의 선형 조합이 0이면, 그에 대응하는 $ \widetilde{W} $-장의 조합 역시 0이 되며, 이는 내적 구조를 유지한다.
• 저자들은 $ \mathcal{W} $-대수 $ \mathcal{W}_{k}(\mathfrak{sl}_n) $ 가 자기 이중적이며 $ \widetilde{W} $ 로 생성됨을 보여, 동형 증명에 필수적인 요소를 확보하였다.
• 결과적으로 수준-랭크 dualit가 $ \mathcal{W} $-대수로 확장되었으며, $ \mathfrak{sl}_3 $ 에서 중심 전하 $ c = -3 + \frac{l+3}{l+4} $ 를 가진 코셋 구성이 $ \mathcal{W} $-대수를 생성함을 보여주었고, 단순 루트 계를 가진 리 대수에 대한 일반적 추측을 뒷받침한다.