[논문 리뷰] $\mathcal{W}$-algebras with non-admissible levels and the Deligne exceptional series

Kazuya Kawasetsu|arXiv (Cornell University)|2015. 05. 26.

Algebraic structures and combinatorial models참고 문헌 31인용 수 11

한 줄 요약

이 논문은 Deligne 예외적 리 대수군에 관련된 특정 단순 $\mathcal{W}$-대수들이 비적합 수준에서 $C_2$-코패서니와 $\mathbb{Z}_2$-유리성임을 입증한다. 이를 위해 정점 연산자 대수의 단순 커런트 확장을 통해 그들을 구성한다. 양자화된 Drinfel'd-Sokolov 축소와 모듈라 불변성 기법을 사용하여, 적합 수준을 초월한 유리 $\mathcal{W}$-대수의 분류를 확장하며, Deligne 예외적 시리즈 내에서 새로운 예시를 제공한다. 이는 $C_2$-코패서니 유리 VOAs의 범위를 넓힌다.

ABSTRACT

Structure of certain simple $\mathcal{W}$-algebras assocated with the Deligne exceptional Lie algebras and non-admissible levels are described as the {\it simple current extensions} of certain vertex operator algebras. As an application, the $C_2$-cofiniteness and $\mathbb{Z}_2$-rationality of the algebras are proved.

연구 동기 및 목표

• 유리 $\mathcal{W}$-대수의 분류를 적합 수준을 초월하여 확장함으로써, 오랫동안 널리 받아들여진 믿음인 '유리성과 $C_2$-코패서니는 오직 적합 수준에서만 발생한다'는 믿음을 도전한다.
• 비적합 수준에서 Deligne 예외적 리 대수군 $A_1 \subset A_2 \subset G_2 \subset D_4 \subset F_4 \subset E_6 \subset E_7 \subset E_8$와 관련된 단순 $\mathcal{W}$-대수의 구조를 조사한다.
• 레벨 $k$가 적합하지 않은 경우에도 정점 연산자 대수의 단순 커런트 확장을 통해 $C_2$-코패서니와 유리성이 달성될 수 있음을 보여준다.
• Deligne 예외적 시리즈 내에서 $C_2$-코패서니 유리 $\mathcal{W}$-대수의 새로운 예시를 제공함으로써, 알려진 유리 초등장 이론의 범위를 넓힌다.

제안 방법

• 브라우트-시모프 복합체의 미분 $d$와 콪터널 벡터 $\omega = \omega^{\mathrm{aff}} + \omega^{\mathrm{ne}} + \omega^{\mathrm{ch}} + \partial x$를 사용하여, $x$가 $[x,f] = -1$를 만족하는 셀프스피프레임 원소임을 고려해, 양자화된 Drinfel'd-Sokolov 축소를 통해 보편 $\mathcal{W}^k(\mathfrak{g},f)$-대수를 구성한다.
• 브라우트-시모프 복합체의 0차 코homology를 분석하여 보편 $\mathcal{W}$-대수를 정의한 후, 단순 몫을 취해 단순 $\mathcal{W}$-대수 $\mathcal{W}_k(\mathfrak{g},f)$를 얻는다.
• 단순 커런트 확장 이론을 적용하여, $\mathbb{Z}_2$-중요도와 전하 구조를 활용해 알려진 정점 연산자 대수의 확장으로 단순 $\mathcal{W}$-대수를 구축한다.
• 정점 대수에서 그의 필드 표현으로의 사상 $\Psi$의 단사성을 이용해, 아벨 상호작용 대수의 구조가 유일하고 일관됨을 증명한다.
• 정점 연산자의 국소성 및 반대칭성 공리, 특히 OPE 관계 $Y(a,z)Y(b,w)c \iota_{z,w}(z-w)^n = B(\alpha,\beta,\gamma)Y(b,w)Y(a,z)c \iota_{w,z}(z-w)^n + \text{잔여항}$을 사용하여 자코비 항등식을 유도한다.
• 재구성 정리와 $Q$-전하를 가진 아벨 상호작용 대수 프레임워크를 활용하여, 정점 대수의 구조가 그의 필드 내용과 융합 규칙에 의해 유일하게 결정됨을 보장한다.

실험 결과

연구 질문

• RQ1 비적합 수준에서 $C_2$-코패서니와 유리성이 $\mathcal{W}$-대수에서 성립할 수 있는가? 이는 오랫동안 널리 퍼진 믿음인 '이러한 성질은 오직 적합 수준에서만 발생한다'는 것과 정면으로 대비된다.
• RQ2 레벨 $k$가 적합하지 않은 경우, Deligne 예외적 리 대수군과 관련된 $\mathcal{W}$-대수의 구조는 어떻게 묘사될 수 있는가?
• RQ3 단순 커런트 확장을 통해, 적합 수준 이론을 초월한 유리 $\mathcal{W}$-대수를 얼마나 넓게 구성할 수 있는가?
• RQ4 비적합 수준에서 $\mathcal{W}$-대수의 특성 함수의 모듈라 불변성 성질이 유지되는가? 만약 그렇다면, 어떻게 실현되는가?

주요 결과

• 비적합 수준에서 Deligne 예외적 시리즈와 관련된 단순 $\mathcal{W}$-대수들이 $C_2$-코패서니임을 입증하여, 적합 수준을 초월한 알려진 $C_2$-코패서니 VOAs의 범위를 확장한다.
• $\mathcal{W}$-대수들이 $\mathbb{Z}_2$-유리임을 입증하여, 그 모듈 범주가 단순하고 융합에 대해 닫혀 있음을 보여주며, 이는 그들이 유리 초등장 이론의 구조를 갖춘다는 것을 확인한다.
• 이 대수들은 정점 연산자 대수의 단순 커런트 확장으로 구성되며, 이는 적합 수준이 필요 없이도 유리 $\mathcal{W}$-대수를 실현하는 데 새로운 방법을 제공한다.
• 정점 대수에서 그의 필드 표현으로의 사상 $\Psi$의 단사성은 아벨 상호작용 대수의 구조가 유일함을 보장하며, 이는 이 맥락에서 재구성 정리의 타당성을 검증한다.
• 국소성 한계와 $Q$-전하 구조를 활용하여 OPE와 자코비 항등식을 엄밀히 유도함으로써, 정점 대수의 연산이 일관됨을 확인한다.
• 이 프레임워크는 레벨 $k$가 적합하지 않은 경우에도 유리성과 $C_2$-코패서니가 $\mathcal{W}$-대수에서 나타날 수 있음을 확인하며, 이 분야의 이전 추측에 도전한다.