[논문 리뷰] "McKay's E7 observation on the Baby Monster" and "McKay's E6 observation on the largest Fischer group"

Gerald Hoehn, Ching Hung Lam외 1명|arXiv (Cornell University)|2010. 02. 09.

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

한 줄 요약

이 논문은 중심적 차수 23 1/5를 갖는 VFnatural VOA에서 Fi24의 최대 파피리스 군에 대한 McKay의 E6 관찰을 정점 연산자 대수(VA)적 해석을 제공한다. 이를 위해 Fi24의 이면군과 약 6/7 중심 차수를 갖는 Virasoro 벡터로부터 유도된 c=6/7 Virasoro 벡터를 통해 아핀 E6 다이그램에서 유도된 정점 연산자 부분대수와의 대응관계를 구축한다. 이 대응관계를 통해 비가환하는 σ-유형의 Miyamoto 반전의 곱이 순서 3인 원소임을 증명하며, 이는 VFnatural 내에서 Fi24의 3-전이수와 일치함을 보여주어, E6 관찰에 대한 VOA 이론적 설명을 제공한다.

ABSTRACT

E7 part: In this paper, we study McKay's E7 observation on the Baby Monster. By investigating so called derived c=7/10 Virasoro vectors, we show that there is a natural correspondence between dihedral subgroups of the Baby Monster and certain subalgebras of the Baby Monster vertex operator algebra which are constructed by the nodes of the affine E7 diagram. This allows us to reinterpret McKay's E7 observation via the theory of vertex operator algebras. For a class of vertex operator algebras including the Moonshine module, we will show that the product of two Miyamoto involutions associated to derived c=7/10 Virasoro vectors in certain commutant vertex operator algebras is an element of order at most 4. For the case of the Moonshine module, we obtain the Baby monster vertex operator algebra as the commutant and we can identify the group generated by these Miyamoto involutions with the Baby Monster and recover the {3,4}-transposition property of the Baby Monster in terms of vertex operator algebras. E6 part: In this paper, we study McKay's E6-observation on the largest Fischer 3-transposition group Fi24. We investigate a vertex operator algebra VF of central charge 23+1/5 on which the Fischer group Fi24 naturally acts. We show that there is a natural correspondence between dihedral subgroups of Fi24 and certain vertex operator subalgebras constructed by the nodes of the affine E6 diagram by investigating so called derived Virasoro vectors of central charge 6/7. This allows us to reinterpret McKay's E6-observation via the theory of vertex operator algebras. It is also shown that the product of two non-commuting Miyamoto involutions of sigma-type associated to derived c=6/7 Virasoro vectors is an element of order 3, under certain general hypotheses on the vertex operator algebra. For the case of VF, we identify these involutions with the 3-transpositions of the Fischer group Fi24.

연구 동기 및 목표

• Fi24와 아핀 E6 다이그램을 연결하는 McKay의 E6 관찰에 대한 정점 연산자 대수(VOA) 이론적 해석을 제공하는 것.
• Fi24의 이면군과 아핀 E6 다이그램의 노드로부터 구성된 VOA 사이에 자연스러운 대응관계를 수립하는 것.
• 일반적인 VOA 가정 하에, 유도된 c=6/7 Virasoro 벡터에 관련된 두 비가환 σ-유형의 Miyamoto 반전의 곱이 순서 3인 원소임을 보이는 것.
• 이 반전들을 VFnatural VOA 내에서 Fi24의 3-전이수로 식별함으로써, Fi24가 특정 VOA의 자동사상군으로서 실현됨을 보이는 것.
• 이전의 몬스터 및 베이비 몬스터에 대한 연구에서 사용된 프레임워크를 파피리스 군의 경우로 확장하여, 3A-대수와 유도된 Virasoro 벡터를 사용하는 것.

제안 방법

• Fi24가 자연스럽게 작용하는 중심 차수 23 1/5를 갖는 정점 연산자 대수 VFnatural를 구성하는 것.
• 중심 차수 6/7를 갖는 유도된 Virasoro 벡터를 사용하여 VFnatural 내에서 σ-유형의 Miyamoto 반전을 정의하는 것.
• 이러한 유도된 c=6/7 Virasoro 벡터를 통해 Fi24의 이면군과 아핀 E6 다이그램의 노드로부터 생성된 VOA 사이의 대응관계를 수립하는 것.
• 근 격자에 관련된 보조대수 이론을 적용하여 VFnatural에 임베딩된 VOA의 구조를 분석하는 것.
• 몬스터의 3A-대수를 사용하여 VFnatural의 맥락에서 반전과 그 곱을 정의하고 분석하는 것.
• 일반적인 VOA 가정 하에, c=6/7 Virasoro 벡터에 관련된 두 비가환 σ-유형 반전의 곱이 순서 3인 원소임을 증명하고, VFnatural에서 이를 확인하는 것.

실험 결과

연구 질문

• RQ1 Fi24에서의 McKay의 E6 관찰은 어떻게 정점 연산자 대수 이론을 통해 해석될 수 있는가?
• RQ2 Fi24의 이면군과 아핀 E6 다이그램에서 유도된 VFnatural의 부분대수 사이의 정확한 대응관계는 무엇인가?
• RQ3 두 비가환 σ-유형의 Miyamoto 반전이 c=6/7 Virasoro 벡터에 관련되어 있을 때, 그 곱이 순서 3이 되는 일반적인 조건은 무엇인가?
• RQ4 Fi24의 3-전이수는 VFnatural VOA 내에서 어떻게 Miyamoto 반전으로 실현되는가?
• RQ5 3A-대수와 유도된 Virasoro 벡터는 이러한 반전을 구성하고 분류하는 데 어떤 역할을 하는가?

주요 결과

• Fi24의 이면군과 아핀 E6 다이그램의 노드로부터 유도된 c=6/7 Virasoro 벡터를 통해 생성된 정점 연산자 부분대수 사이에 자연스러운 대응관계가 수립되었다.
• 일반적인 VOA 가정 하에, 유도된 c=6/7 Virasoro 벡터에 관련된 두 비가환 σ-유형의 Miyamoto 반전의 곱이 순서 3인 원소임이 입증되었다.
• VFnatural VOA 내에서, c=6/7 Virasoro 벡터에 관련된 σ-유형의 Miyamoto 반전은 Fi24의 3-전이수로 식별되었다.
• 이 구성은 최대 파피리스 군 Fi24가 특정 VOA의 자동사상 부분군으로서 실현됨을 보여주었다.
• 이 방법은 이전의 몬스터 및 베이비 몬스터 연구에서 사용된 것과 유사한 VOA 이론적 재해석을 제공하지만, c=1/2 대신 c=6/7 Virasoro 벡터를 사용한다.
• 세 개의 이러한 유도된 c=6/7 Virasoro 벡터로 생성된 부분대수의 레이크 레이어에의 임베딩은 삼진 골레이 코드 구성에 의해 확인되었으며, 이는 √2E8와 등급이 같은 부분격자를 얻는다.