[논문 리뷰] A new construction of the moonshine vertex operator algebra over the real number field

Masahiko Miyamoto|ArXiv.org|1997. 01. 13.

Algebraic structures and combinatorial models참고 문헌 18인용 수 5

한 줄 요약

이 논문은 실수체 위에서 달의 정수성(모운슈인) 보조 대칭 연산 대수(VOA) V^{ atural}의 새로운 구성법을 제시하며, 그 양의 정부호 이차형식을 확립하고, 그 전반적인 자동형군이 몬스터 단순군임을 증명한다. 이 방법은 격자 VOA와 오르비폭론 구성법을 사용하여, 유한 자동형군을 갖는 무한한 수의 메로모르픽 VOA를 생성하고, V^{ atural}에서 몬스터 군 원소들의 추적을 계산한다.

ABSTRACT

We give a new construction of the moonshine VOA V^{ atural} over the real number field. We proved that V^{ atural} has a positive definite invariant bilinear form and its full automorphism group is the Monster simple group. We also construct an infinite series of meromorphic VOAs whose full automorphism groups are finite. We calculate the trace form on V^{ atural} for some element of the Monster.

연구 동기 및 목표

• 실수체 기반의 새로운 달의 정수성 보조 대칭 연산 대수(VOA) V^{ atural}의 구성.
• V^{ atural}이 양의 정부호 불변 이차형식을 갖는다는 것을 확립.
• V^{ atural}의 전반적인 자동형군이 몬스터 단순군임을 증명.
• 이 방법을 통해 유한 자동형군을 갖는 무한한 수의 메로모르픽 VOA의 시리즈를 체계적으로 구성.
• 몬스터 군의 특정 원소들이 V^{ atural}에 작용할 때의 추적 형식을 계산.

제안 방법

• 격자 VOA를 실수체 위의 리치 격자와 관련지어 구성.
• VOA의 자동형을 고려하여 오르비폭론 이론을 적용하여 새로운 VOA를 생성.
• 특정 치환을 사용하여 오르비폭론 구성법을 정의하고, 이로부터 달의 정수성 VOA V^{ atural}를 유도.
• 정점 연산자의 구성 및 성질을 통해 양의 정부호 불변 이차형식의 존재를 증명.
• VOA의 대칭 구조 분석을 통해 전반적인 자동형군이 몬스터 군임을 식별.
• VOA의 특성 이론과 모듈라 불변성에 기반하여 몬스터 군 원소들의 추적 형식을 계산.

실험 결과

연구 질문

• RQ1 달의 정수성 보조 대칭 연산 대수 V^{ atural}는 새로운 방법을 통해 실수체 위에서 구성될 수 있는가?
• RQ2 구성된 V^{ atural}은 양의 정부호 불변 이차형식을 갖는가?
• RQ3 구성된 V^{ atural}의 전반적인 자동형군은 정확히 몬스터 단순군인가?
• RQ4 이 방법을 통해 유한 자동형군을 갖는 무한한 수의 메로모르픽 VOA 시리즈를 체계적으로 구성할 수 있는가?
• RQ5 몬스터 군의 특정 원소들이 V^{ atural}에 작용할 때의 추적 형식은 무엇인가?

주요 결과

• 격자 및 오르비폭론 방법을 사용하여 실수체 위에서 달의 정수성 VOA V^{ atural}가 성공적으로 구성되었다.
• V^{ atural} 대수는 양의 정부호 불변 이차형식을 갖는다. 이는 그의 유니타리 구조를 확인한다.
• V^{ atural}의 전반적인 자동형군은 몬스터 단순군으로 식별된다.
• 동일한 방법을 통해 유한 자동형군을 갖는 무한한 수의 메로모르픽 VOA 시리즈가 구성된다.
• VOA의 모듈라 성질을 활용하여 몬스터 군의 특정 원소들이 V^{ atural}에 작용할 때의 추적 형식을 명시적으로 계산하였다.
• 이 구성법은 달의 정수성 VOA의 실수체 실현을 제공하며, 그 대수적 구조에 대한 기초적 질문들을 해결한다.