[논문 리뷰] On orbifold constructions associated with the Leech lattice vertex operator algebra

Ching Hung Lam, Hiroki Shimakura|arXiv (Cornell University)|2017. 05. 03.

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

한 줄 요약

이 논문은 리어 레이트 VOA에서의 반대 오르비폴드 구축을 통해 중심 차수 24인 강력한 정규화된 힐버트 공간에서의 홀로모르픽 VOA의 유일성을 확립한다. 특히, $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$, $D_{6,5}A_{1,1}^2$와 같은 특정 무게 1 리 대수를 가진 경우에 대해, 이러한 VOA는 그 무게 1 리 대수의 구조에 의해 유일하게 결정됨을 증명한다. 나머지 6개의 경우에 대해선 새로운 구축 방법이 제시되며, $A_{6,7}$를 제외한 모든 경우에 대해 유일성이 보장된다.

ABSTRACT

In this article, we study orbifold constructions associated with the Leech lattice vertex operator algebra. As an application, we prove that the structure of a strongly regular holomorphic vertex operator algebra of central charge $24$ is uniquely determined by its weight one Lie algebra if the Lie algebra has the type $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$ or $D_{6,5}A_{1,1}^2$ by using the reverse orbifold construction. Our result also provides alternative constructions of these vertex operator algebras (except for the case $A_{6,7}$) from the Leech lattice vertex operator algebra.

연구 동기 및 목표

• 지정된 무게 1 리 대수를 가진 중심 차수 24인 강력한 정규화된 홀로모르픽 VOA의 유일성을 확립하는 것.
• 슐레켈렌스가 시작한 분류 프로그램을 확장하여 남아있는 유일성 사례를 해결하는 것.
• 리어 레이트 VOA에서 출발하는 반대 오르비폴드 방법을 사용하여 이러한 VOA의 대체 구축을 제공하는 것.
• 오르비폴드 제약 조건 하에서 리어 레이트 VOA의 자기동형사상 군 내의 자기동형사상 유형이 유일하게 결정됨을 검증하는 것.

제안 방법

• 반대 오르비폴드 구축을 적용: 주어진 $V_1$를 가진 홀로모르픽 VOA $V$에서 출발하여, $\mathbb{Z}_n$-오르비폴드 구축이 리어 레이트 VOA를 생성하도록 순서 $n$의 내부 자기동형사상 $\sigma$를 정의한다.
• Mo94, Mö, EMS2에서 유도된 차원 공식을 사용하여 결과 VOA가 $V_1$의 차원이 24임을 확인함으로써 리어 레이트 VOA임을 검증한다.
• LS에서 사용된 조합론적 추론과 유사하게, $1 \leq i \leq n-1$에 대해 $\sigma^i$- twisted $V$-모듈의 정상적 무게가 최소 1임을 증명한다.
• 자기동형사상 군 $\mathrm{Aut}\,V_\Lambda$를 $O(\Lambda)$에 대한 $(\mathbb{C}^\times)^{24}$의 확장으로 분석하고, 자기동형사상 $\varphi$를 $\sigma \phi_g$로 분해한다.
• 고정점 부분대수와 twisted 모듈의 무게에 대한 제약 조건을 이용하여, $O(\Lambda)$ 내의 등급 $g$의 공轭류를 유일하게 결정하고, $\sigma$가 공轭류에 대해 유일함을 보인다.
• 이미 알려진 $\mathrm{Aut}\,V_\Lambda$의 구조를 활용하여 문제를 콘웨이 군 내의 격자 수준 계산으로 환원함으로써, 공轭류의 유일성을 확보한다.

실험 결과

연구 질문

• RQ1 반대 오르비폴드 방법을 사용하여 중심 차수 24인 홀로모르픽 VOA의 유일성이 $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$, $D_{6,5}A_{1,1}^2$와 같은 리 타입에 대해 증명될 수 있는가?
• RQ2 오르비폴드 구축이 $V_\Lambda$와 $\varphi$에 대해 적용되었을 때 주어진 무게 1 리 대수를 가진 VOA를 생성한다면, $\mathrm{Aut}\,V_\Lambda$ 내의 자기동형사상 $\varphi$는 공轭류에 대해 유일하게 결정되는가?
• RQ3 이러한 VOA들은 리어 레이트 VOA에서 출발하는 $\mathbb{Z}_n$-오르비폴드 구축을 통해 $A_{6,7}$를 제외한 모든 경우에 대해 대체로 구축될 수 있는가?
• RQ4 리어 레이트 VOA에서의 반대 오르비폴드 접근법은 중심 차수 24인 홀로모르픽 VOA 분류에서 남아있는 유일성 사례를 체계적으로 해결하는 데 기여하는가?

주요 결과

• 강력한 정규화된 중심 차수 24인 홀로모르픽 VOA의 구조는 $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$, $D_{6,5}A_{1,1}^2$와 같은 타입에 대해 그 무게 1 리 대수의 구조에 의해 유일하게 결정된다.
• $A_{6,7}$를 제외한 모든 경우에 대해, 이 VOA들은 리어 레이트 VOA에서 $\mathbb{Z}_n$-오르비폴드 구축을 적용하여 대체로 얻을 수 있다.
• 반대 오르비폴드 구축은 목표 VOA에서 리어 레이트 VOA를 성공적으로 복원하여, 제약 조건 하에서 $\mathrm{Aut}\,V_\Lambda$ 내의 자기동형사상 유형이 유일함을 확인한다.
• 고정점 부분대수의 조건과 twisted 모듈의 무게 조건을 통해, $O(\Lambda)$ 내의 등급 $g$의 공轭류가 유일하게 결정된다.
• 내부 자기동형사상 $\sigma \in (\mathbb{C}^\times)^{24}$는 $C_{O(\Lambda)}(g)$에 의한 공轭류에 대해 유일하며, 이는 전체 자기동형사상 $\varphi = \sigma \phi_g$가 유일한 공轭류에 속함을 보장한다.
• 이 방법은 문제를 리어 레이트 격자와 그 등급군에서의 유한군 이론적 및 리 대수학적 계산으로 환원함으로써 VOA의 구조가 유일함을 확인한다.