[논문 리뷰] Applications of vertex algebra covering procedures to Chevalley groups and modular moonshine

Robert L. Griess, Ching Hung Lam|arXiv (Cornell University)|2013. 08. 10.

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

한 줄 요약

이 논문은 정수 형식과 커버링 절차를 사용하여 체비알레 그룹의 구성 방식을 가환환 위의 버텍스 대수로 확장한다. 특별히, 특성 2와 3에서 ADE 및 BCFG 유형의 축소된 버텍스 대수는 예외적인 크기의 자동사상군을 가지며, 이는 예외적 체비알레 그룹과 동형이다. 주요 기여는 버텍스 대수 커버링 기법을 통해 스포라딕 군 $F_3$ 가 $E_8(3)$ 안에 임베딩됨을 증명함으로써 모듈러 문마이드 프로그램을 완성하는 것이다.

ABSTRACT

A vertex operator algebra of lattice type ADE has a standard integral form which extends a Chevalley basis for its degree 1 Lie algebra. This integral form may be used to define a vertex algebra over a commutative ring $R$ and to get a Chevalley group over $R$ of the same type, acting as automorphisms of this vertex algebra. We define vertex algebras of types BCFG over a commutative ring and certain reduced VAs, then get analogous results about automorphism groups. In characteristics 2 and 3, there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to the vertex algebra situation. We use integral form and covering procedures for vertex algebras to complete the modular moonshine program of Borcherds and Ryba for proving an embedding of the sporadic group $F_3$ in $E_8(3)$.

연구 동기 및 목표

• 임의의 가환환 위에서 리 대수에서 버텍스 대수로 체비알레 군 구성 방식을 정수 형식을 사용하여 일반화하는 것.
• 프로하르트와 글리스의 리 대수에 대한 커버링 대수 절차를 버텍스 대수로 확장하여, 특히 양의 특성에서의 응용을 다루는 것.
• 특성 2와 3에서 버텍스 대수의 예외적인 자동사상군 행동을 노름 아이디얼로 몫을 취하여 해결하는 것.
• 버텍스 대수 방법을 사용하여 보르처스와 리바의 모듈러 문마이드 프로그램을 완성하고, 스포라딕 군 $F_3$ 가 $E_8(3)$ 안에 임베딩됨을 증명하는 것.
• 문마이드와 격자 VOAs의 맥락에서 축소된 버텍스 대수와 그 자동사상군을 정의하고 분석하는 것.

제안 방법

• ADE 유형의 격자 VOAs의 표준 정수 형식을 사용하여 가환환 $R$ 위의 고전적 버텍스 대수를 구성한다.
• 버텍스 대수의 ADE 및 BCFG 유형에 대해 체비알레 기저와 체비알레 군을 정의하고, 군 작용이 버텍스 대수의 구조를 유지하도록 보장한다.
• 프로하르트와 글리스의 커버링 대수 절차를 버텍스 대수에 적용하고, 그래프 자기동형을 사용하여 정수 형식의 포함 관계를 유도한다.
• 고정점 부분대수를 노름 아이디얼로 몫을 취하여 축소된 버텍스 대수를 정의함으로써, 특성 2와 3에서 예외적인 자동사상군을 가능하게 한다.
• ${\mathbb{Z}}[1/2]$-형식의 문마이드 VOA $V^\natural$ 과 그 노름 원소 $\nu$ 에 대한 몫을 사용하여 $^gV$ 를 구성한다. 이는 모듈러 문마이드의 핵심 대상이다.
• 자기동형 $g$ 에 대한 $C(g)/\langle g \rangle \cong F_3$ 와 248차원 격자 실현을 활용하여 버텍스 대수 자동사상군을 통해 $F_3$ 를 $E_8(3)$ 에 임베딩한다.

실험 결과

연구 질문

• RQ1 정수 형식을 사용하여 임의의 가환환 위에서 리 대수에서 버텍스 대수로 체비알레 군 구성 방식을 어떻게 일반화할 수 있는가?
• RQ2 커버링 대수 절차가 특성 2와 3에서 버텍스 대수의 예외적인 자동사상군을 생성하는 데 어떤 역할을 하는가?
• RQ3 노름 아이디얼로 몫을 취하는 축소된 버텍스 대수 구성이 모듈러 문마이드 맥락에서 예상보다 큰 자동사상군을 어떻게 유도하는가?
• RQ4 버텍스 대수 커버링 방법을 사용하여 $F_3$ 가 $E_8(3)$ 에 임베딩됨을 증명함으로써 모듈러 문마이드 프로그램을 완성할 수 있는가?
• RQ5 몬스터 군의 홀수 차수 원소 $g$ 에 대해 정확히 어떤 구조를 가진다 할지 $^gV = (V^\natural[1/2])^g / \nu(V^\natural[1/2])$ 의 버텍스 대수의 구조는 무엇인가?

주요 결과

• ADE 유형의 격자 버텍스 연산자 대수의 표준 정수 형식은 임의의 가환환 $R$ 에 대해 체비알레 군으로 확장되며, 이는 버텍스 대수의 자동사상으로 작용한다.
• 특성 2와 3에서 축소된 버텍스 대수(노름 아이디얼로 몫을 취한 것)의 자동사상군은 $G_2(F)$ (특성 3에서) 및 $B_3(F)$ (특성 2에서)와 같은 예외적 체비알레 군과 동형이다.
• 그래프 자기동형을 통해 버텍스 대수에 커버링 대수 절차를 적용하면 $IV_{A_2} < IV(G_2) < IV_{D_4}$ 와 같은 포함 관계를 얻을 수 있으며, 이는 예외적 자동사상군의 구성에 기여한다.
• 특성 3에서 $A_2$ 유형의 축소된 버텍스 대수의 자동사상군은 $G_2(F)$ 와 동형이며, 이는 리 대수와 유사한 예외적 행동을 확인한다.
• $^gV = (V^\natural[1/2])^g / \nu(V^\natural[1/2])$ 의 구성은 $C(g)/\langle g \rangle \cong F_3$ 에 대한 모듈을 제공하며, 이 구조는 $F_3$ 가 $E_8(3)$ 에 임베딩됨을 뒷받침한다.
• 논문은 버텍스 대수 커버링 기법과 몬스터 군 내의 $3C$ 원소의 중심화군의 몫으로서 $F_3$ 가 실현됨을 이용하여, $F_3$ 가 $E_8(3)$ 에 임베딩됨을 증명함으로써 모듈러 문마이드 프로그램을 완성한다.