[논문 리뷰] $\Z_3$-orbifold construction of the Moonshine vertex operator algebra and some maximal $3$-local subgroups of the Monster

Hsian-Yang Chen, Ching Hung Lam외 1명|arXiv (Cornell University)|2016. 06. 20.

Algebraic structures and combinatorial models참고 문헌 22인용 수 7

한 줄 요약

이 논문은 레이프 라티스 VOA와 순서 3의 고정점이 없는 등급을 가진 등급을 갖는 등급을 사용하여, $\zeta_3$-orbifold 구성 방법을 통해 문명의 정점 연산자 대수(VOA)를 구성한다. 특수한 부분VOA—$V_{\Lambda}^{\tau}$ 및 $(V_{K_{12}}^{\tau})^{\otimes 2}$—의 안정자 부분군을 분석함으로써, 저자들은 몬스터 군의 두 개의 최대 $3$-지역 부분군인 $3^{1+12}.2.\mathrm{Suz}:2$ 와 $3^8.\Omega^{-}(8,3).2$ 를 식별하고, 결과적으로 얻어진 VOA의 자기동형군이 몬스터 군과 동형임을 증명함으로써, 이 VOA가 문명 VOA와 동형임을 확인한다.

ABSTRACT

In this article, we describe some maximal $3$-local subgroups of the Monster simple group using vertex operator algebras (VOA). We first study the holomorphic vertex operator algebra obtained by applying the orbifold construction to the Leech lattice vertex operator algebra and a lift of a fixed-point free isometry of order $3$ of the Leech lattice. We also consider some of its special subVOAs and study their stabilizer subgroups using the symmetries of the subVOAs. It turns out that these stabilizer subgroups are $3$-local subgroups of its full automorphism group. As one of our main results, we show that its full automorphism group is isomorphic to the Monster simple group by using a $3$-local characterization and that the holomorphic VOA is isomorphic to the Moonshine VOA. This approach allows us to obtain relatively explicit descriptions of two maximal $3$-local subgroups of the shape $3^{1+12}.2.\Suz{:}2$ and $3^8.Ω^-(8,3).2$ in the Monster simple group.

연구 동기 및 목표

• Leech lattice VOA에서 $\mathbb{Z}_3$-orbifold 방법을 사용하여 문명 정점 연산자 대수(VOA)를 새로운 방식으로 구성하는 것.
• 문명 VOA 내부의 부분VOA 대칭성을 이용하여 몬스터 군의 명시적 최대 $3$-지역 부분군을 기술하는 것.
• 결과적으로 구성된 VOA의 전체 자기동형군이 몬스터 군과 동형임을 증명함으로써, 이 VOA가 문명 VOA와 동형임을 확립하는 것.
• 자기동형군의 $3$-지역 특성화를 통해 $V^\sharp$의 자동군이 몬스터 군임을 확인하는 것.

제안 방법

• 순서 3의 고정점이 없는 등급을 갖는 등급을 사용하여, Leech lattice VOA에 $\mathbb{Z}_3$-orbifold 구성법을 적용함으로써, 스플릿팅이 가능한 holomorphic VOA $V^\sharp$ 를 얻는다.
• $V^\sharp$ 를 $V_{\Lambda}^{\tau}$ 와 $(V_{K_{12}}^{\tau})^{\otimes 2}$ 에 대한 $\mathbb{Z}_3$-등급 단순 전류 확장으로 식별한다. 여기서 $K_{12}$ 는 Coxeter-Todd lattice 이다.
• 단순 전류 확장에서의 융합 규칙과 올림 이론을 사용하여 부분VOA의 자기동형군을 결정함으로써, $3^{12}.2\mathrm{Suz}:2$ 와 $(\Omega^{-}_{8}(3):2)\wr\mathbb{Z}_2$ 를 도출한다.
• VOA $V^\sharp$ 내의 순서가 $3$ 과 $3^8$ 인 초순환 $3$-부분군의 정규화군을 계산함으로써, 부분VOA $V_{\Lambda}^{\tau}$ 와 $(V_{K_{12}}^{\tau})^{\otimes 2}$ 를 안정화시키는 부분군을 식별한다.
• 3-지역 특성화 정리를 적용하여, $\operatorname{Aut}V^\sharp \cong \mathbb{M}$ 이다 는 결론을 이끌어낸다.
• 불변 이항형식의 유일성과 $\mathbb{M}$-모듈러 이sovorphism를 사용하여, $V^\sharp \cong V^\natural$ 이라는 VOA 동형을 증명한다.

실험 결과

연구 질문

• RQ1 문명 VOA는 Leech lattice VOA에서 $\mathbb{Z}_3$-orbifold 구성법을 통해 새롭게 구성될 수 있는가?
• RQ2 문명 VOA 내의 부분VOA의 안정자로 표현될 수 있는 몬스터 군의 최대 $3$-지역 부분군은 무엇인가?
• RQ3 $V^\sharp$ 의 $\mathbb{Z}_3$-orbifold VOA의 자기동형군은 몬스터 군과 일치하는가?
• RQ4 표현론적 및 군론적 방법을 사용하여 $V^\sharp$ 와 문명 VOA 간의 동형관계를 확립할 수 있는가?

주요 결과

• Leech lattice VOA의 $\mathbb{Z}_3$-orbifold를 통해 구성된 holomorphic VOA $V^\sharp$ 는 문명 VOA $V^\natural$ 과 동형이다.
• $V^\sharp$ 의 전체 자기동형군은 $3$-지역 특성화를 통해 몬스터 군 $\mathbb{M}$ 과 동형임이 확인되었다.
• 몬스터 군의 두 개의 최대 $3$-지역 부분군이 명시적으로 실현되었다: $3^{1+12}.2.\mathrm{Suz}:2$ 와 $3^8.\Omega^{-}(8,3).2$.
• 이 부분군들은 각각 $V_{\Lambda}^{\tau}$ 와 $(V_{K_{12}}^{\tau})^{\otimes 2}$ 를 안정화시키는 초순환 $3$-부분군의 정규화군으로서 유도된다.
• $V_{\Lambda}^{\tau}$ 의 안정자인 $\operatorname{Aut}V^\sharp$ 는 형상 $3^{1+12}.2.\mathrm{Suz}:2$ 를 가지며, $(V_{K_{12}}^{\tau})^{\otimes 2}$ 의 안정자인 $\operatorname{Aut}V^\sharp$ 는 형상 $3^8.\Omega^{-}(8,3).2$ 를 가진다.
• $V_{\Lambda}^{\tau}$ 내에 $\mathbb{Z}_3$-불변 이싱 벡터가 존재함을 확인함으로써, $3$-지역 특성화에 필요한 조건 (e) 가 충족됨을 입증하고, 이는 $V^\natural$ 과의 동형관계를 뒷받침한다.