[논문 리뷰] A Holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$

Ching Hung Lam, Xingjun Lin|arXiv (Cornell University)|2016. 12. 24.

Algebraic structures and combinatorial models참고 문헌 41인용 수 12

한 줄 요약

이 논문은 중심적 차수 24인 해석적 바이어러티 오브제크터 오브제크터 대칭대수(VOA)를 $F_{4,6}A_{2,2}$의 무게 1 리 대수를 가진 유일한 해석적 VOA $A_{8,3}A_{2,1}^2$에 ${\mathbb{Z}}_2$-오르비폭포드 구성법을 적용하여 구성한다. 저자들은 이 VOA의 유일성을 입증하고, 이 방법을 확장하여 중심적 차수 24인 강한 규칙적인 해석적 VOA의 무게 1 부분대수로써 슈엘레켄스의 목록에 있는 모든 71개의 리 대수를 실현하는 데 성공한다.

ABSTRACT

In this paper, a holomorphic vertex operator algebra $U$ of central charge 24 with the weight one Lie algebra $A_{8,3}A_{2,1}^2$ is proved to be unique. Moreover, a holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$ is obtained by applying a $\mathbb{Z}_2$-orbifold construction to $U$. The uniqueness of such a vertex operator algebra is also established. By a similar method, we also established the uniqueness of a holomorphic vertex operator algebra of central charge 24 with the weight one Lie algebra $E_{7,3}A_{5,1}$. As a consequence, we verify that all $71$ Lie algebras in Schellekens' list can be realized as the weight one Lie algebras of some holomorphic vertex operator algebras of central charge $24$. In addition, we establish the uniqueness of three holomorphic vertex operator algebras of central charge $24$ whose weight one Lie algebras have the type $A_{8,3}A_{2,1}^2$, $F_{4,6}A_{2,2}$, and $E_{7,3}A_{5,1}$.

연구 동기 및 목표

• 중심적 차수 24인 해석적 바이어러티 오브제크터 오브제크터 대칭대수(VOA)를 $F_{4,6}A_{2,2}$의 무게 1 리 대수를 가지며, 이는 슈엘레켄스의 목록에서 마지막으로 남아 있던 71개의 가능한 무게 1 리 대수의 경우에 해당한다.
• 해당 VOA가 동형사상에 대해 유일함을 입증하며, ${\mathbb{Z}}_2$-오르비폭포드 구성법과 업로드 기법을 사용한다.
• 이 방법을 확장하여 중심적 차수 24인 해석적 VOA에 대해 $E_{7,3}A_{5,1}$의 무게 1 리 대수를 가지는 경우의 유일성을 입증함으로써, 슈엘레켄스의 목록에 있는 모든 71개의 경우를 완성한다.

제안 방법

• 무게 1 리 대수가 $A_{8,3}A_{2,1}^2$인 해석적 VOA $U$에 대해, 고정점 리 대수가 $B_{4,6}A_{2,2}$인 침묵자 $g$를 사용하여 ${\mathbb{Z}}_2$-오르비폭포드 구성법을 적용한다.
• VOA의 미러 확장을 사용하여, 중심적 차수 24인 해석적 VOA로서 $U_1 = A_{8,3}A_{2,1}^2$를 가지는 $U$의 유일성을 입증한다.
• 시마쿠라의 업로드 기준의 일반화된 버전을 사용하여 리 대수 $U_1$의 외부 자기동형사를 전체 VOA $U$의 자기동형사로 올리는 방법을 사용한다.
• 무게 1 부분대수 $U_1$에 자명하게 작용하는 자기동형사를 분석함으로써, '역 오르비폭포드' 방법을 사용하여 $F_{4,6}A_{2,2}$ 및 $E_{7,3}A_{5,1}$의 무게 1 리 대수를 가지는 결과 VOA의 유일성을 입증한다.
• 편미분 모듈의 구조와 중심적 차수의 계산 및 모듈라 불변성을 사용하여, 오르비폭포드 구성법이 해석적 VOA를 유도함을 확인한다.
• 무게 1 부분대수 $U_1$에 대해 동일한 작용을 하는 $U$ 위의 침묵자들이 동치임을 입증함으로써, 오르비폭포드 몫의 유일성을 확보한다.

실험 결과

연구 질문

• RQ1 중심적 차수 24인 해석적 바이어러티 오브제크터 오브제크터 대칭대수(VOA)를 $F_{4,6}A_{2,2}$의 무게 1 리 대수를 가지며, 슈엘레켄스의 목록에 있는 71개의 가능한 경우를 완성하는 데 있어 명시적으로 구성할 수 있는가?
• RQ2 무게 1 리 대수가 $F_{4,6}A_{2,2}$인 해석적 VOA는 동형사상에 대해 유일한가?
• RQ3 $F_{4,6}A_{2,2}$에 사용된 동일한 방법을 다른 경우, 특히 $E_{7,3}A_{5,1}$에 적용하여 유일성을 입증할 수 있는가?
• RQ4 VOA의 부분리 대수의 외부 자기동형사가 전체 VOA의 자기동형사로 올라갈 수 있는 조건은 무엇인가?
• RQ5 '역 오르비폭포드' 구성법을 사용하여 결과 VOA의 유일성을 어떻게 입증할 수 있는가?

주요 결과

• 중심적 차수 24인 해석적 바이어러티 오브제크터 오브제크터 대칭대수(VOA)를 $F_{4,6}A_{2,2}$의 무게 1 리 대수를 가지며, 유일한 해석적 VOA $U$에 ${\mathbb{Z}}_2$-오르비폭포드 구성법을 적용하여 구성하였다.
• 무게 1 리 대수가 $A_{8,3}A_{2,1}^2$인 VOA $U$는 미러 확장 및 모듈라 불변성 기법을 사용하여 동형사상에 대해 유일함을 입증하였다.
• 이 구성은 $U_1$의 외부 자기동형사를 $U$의 자기동형사로 올리는 데 의존하며, 이는 일반화된 업로드 기준을 통해 달성되었다.
• 무게 1 리 대수가 $F_{4,6}A_{2,2}$인 해석적 VOA의 유일성은 역 오르비폭포드 방법을 통해 입증되었으며, 이는 임의의 두 such VOA가 서로 동형임을 보여준다.
• 이와 동일한 방법을 사용하여 무게 1 리 대수가 $E_{7,3}A_{5,1}$인 해석적 VOA의 유일성을 입증하였으며, 슈엘레켄스의 목록에 있는 모든 71개의 리 대수의 실현을 완성하였다.
• 슈엘레켄스의 목록에 있는 모든 71개의 리 대수는 이제 중심적 차수 24인 강한 규칙적인 해석적 바이어러티 오브제크터 오브제크터 대칭대수의 무게 1 리 대수로 실현되었다.