[논문 리뷰] Generalized Moonshine IV: Monstrous Lie algebras

Scott Carnahan|arXiv (Cornell University)|2012. 08. 30.

Algebraic structures and combinatorial models참고 문헌 27인용 수 31

한 줄 요약

이 논문은 달린 모듈을 사용하여 몽스터 군의 중심화군의 작용에 대한 무한차원 리 대수를 구축하며, 이는 스트링 이론적 양자화 절차를 통해 이루어진다. 이를 통해 Fricke 원소에 대해 이러한 작용의 특성함수들이 Hauptmoduln 임을 증명함으로써, Moonshine 모듈러스 $V^\natural$의 기약 달린 모듈러에 대해 Norton의 일반화된 Moonshine 추측을 완전히 해결한다.

ABSTRACT

For each element of the Fischer-Griess Monster sporadic simple group, we construct an infinite dimensional Lie algebra equipped with a projective action of the centralizer of that element. Our construction is given by a string-theoretic "add a spacetime torus and quantize" functor applied to an abelian intertwining algebra that is formed from a family of twisted modules of the Monster vertex operator algebra. We prove that for all Fricke elements in the Monster, the characters of centralizers acting on the corresponding irreducible twisted modules are Hauptmoduln. From these results, we resolve Norton's Generalized Moonshine Conjecture.

연구 동기 및 목표

• 몽스터 군의 가환 원소 쌍으로 확장된 몽스터 Moonshine을 넘어서는 Norton의 일반화된 Moonshine 추측을 해결한다.
• 버텍스 연산자 대수 기법을 사용하여 몽스터 군의 각 원소에 대해 중심화군의 작용을 갖는 무한차원 리 대수를 구축한다.
• Fricke 원소에 대해 이러한 작용의 계량 추적(특성함수)이 Hauptmoduln 임을 증명함으로써 모듈라 불변성을 확인한다.
• 버텍스 연산자 대수, BRST 코hom로지, Borcherds-Kac-Moody 리 대수를 연결하는 일관된 프레임워크를 구축한다.
• 기약 달린 $V^\natural$-모듈러에 대해 일반화된 Moonshine 추측을 완전히 해결한다.
• 추측에서 요구하는 $SL_2(\mathbb{Z})$-변환 성질과 코너주션에 대한 불변성이 성립함을 검증한다.

제안 방법

• 몽스터 버텍스 연산자 대수 $V^\natural$의 달린 모듈에서 만든 아벨 상호작용 대수에 '시공간 토러스를 추가하고 양자화'하는 함자를 적용한다.
• 오래된 공변 양자화와 BRST 코호몰로지 기법을 사용하여 버텍스 대수 입력에서 리 대수의 구조를 구성한다.
• Virasoro 대수의 준비 지식을 활용하여 $L_0$-중량과 스펙트럴 플로우를 정의한다.
• Borcherds-Kac-Moody 성질을 적용하여 리 대수가 실수 단순 근을 가지며 분모 항등식을 가짐을 보장한다.
• 리 대수와 그 코호몰로지 사이의 비교 정리를 적용하여 구성된 대수의 구조를 검증한다.
• Fricke 호환성과 $g$-유리성 조건을 활용하여 특성함수와 Hauptmoduln 사이의 모듈라 불변성을 연결한다.

실험 결과

연구 질문

• RQ1 몽스터 군의 각 원소 $g$에 대해, $V^\natural$에서 유도된 무한차원 리 대수 위에서 중심화군 $C_{\mathbb{M}}(g)$의 표준적 프로젝티브 작용이 존재하는가?
• RQ2 달린 $V^\natural$-모듈러 위에서 중심화군 작용의 특성함수는 Fricke 원소에 대해 Hauptmoduln인가?
• RQ3 특성함수에 대한 $SL_2(\mathbb{Z})$-행동이 Norton의 추측에서 요구하는 변환 성질을 만족하는가?
• RQ4 이 리 대수 구성법을 통해 기약 달린 $V^\natural$-모듈러에 대해 일반화된 Moonshine 추측을 완전히 해결할 수 있는가?
• RQ5 달린 모듈러의 $L_0$ 스펙트럼은 특성함수의 모듈라 성질과 일치하는가?

주요 결과

• 모든 $g \in \mathbb{M}$에 대해, 이 논문은 시공간 토러스 확장을 통한 양자화를 통해 $C_{\mathbb{M}}(g)$의 표준적 프로젝티브 작용을 갖는 무한차원 리 대수를 구축한다.
• Fricke 원소일 경우, 각 리 대수가 Borcherds-Kac-Moody이자 실수 단순 근을 가짐을 증명한다.
• 기약 $g$-달린 $V^\natural$-모듈러 위에서 중심화군 작용의 특성함수는 Fricke 원소에 대해 Hauptmoduln 임을 증명한다.
• $SL_2(\mathbb{Z})$-공변성은 특성함수에 대해 확립되어 Norton의 추측에서 요구하는 모듈라 변환 성질을 확인한다.
• 함수 $Z(g,h;\tau) = \operatorname{Tr}(\tilde{h} q^{L_0 - 1} | V^\natural(g))$는 상수이거나 Hauptmodul이며, 추측의 조건 (3)을 만족한다.
• 일반화된 Moonshine 추측은 완전히 해결되었다: 모든 다섯 가지 조건, 즉 $SL_2(\mathbb{Z})$-불변성과 $J$-함수 특성화가 기각된 달린 $V^\natural$-모듈러에서 검증되었다.