[논문 리뷰] Moonshine for Rudvalis's sporadic group II

John F. R. Duncan|ArXiv.org|2006. 11. 13.

Algebraic structures and combinatorial models참고 문헌 26인용 수 9

한 줄 요약

이 논문은 루드바일스 유령군에 대한 순환 덮개를 갖는 전체 자기 dual enhanced vertex operator superalgebra를 질량 $-28$ 으로 구성하며, 이는 이전의 질량 $28$ 예시를 보완한다. 그룹에 대한 모든 맥컬레인–팀슨 급수를 계산하여, 이전 예시와 함께 종수 0 성질을 만족함을 보이며, 몽스터 군을 초월한 문명 현상의 확장을 보여준다.

ABSTRACT

In Part I we introduced the notion of enhanced vertex operator superalgebra, and constructed an example which is self-dual, has rank 28, and whose full symmetry group is a seven-fold cover of the sporadic simple group of Rudvalis. In this article we construct a second enhanced vertex operator superalgebra whose full automorphism group is a cyclic cover of the Rudvalis group. This new example is self-dual and has rank -28. As in Part I, we can compute all the McKay--Thompson series associated to the action of the Rudvalis group explicitly. We observe that these series, when considered together with those of Part I, satisfy a genus zero property.

연구 동기 및 목표

• 몽스터 군에 포함되지 않은 루드바일스 유령군에 대해 문명 현상을 확장하기 위해.
• 루드바일스 군의 순환 덮개를 갖는 전체 자동군을 가진 새로운 enhanced vertex operator superalgebra를 구성하기 위해.
• 루드바일스 군에 대한 모든 맥컬레인–팀슨 급수를 계산하고 그 모듈라 성질을 검증하기 위해.
• 이 논문과 이전 논문의 급수 조합이 종수 0 성질을 만족함을 보여주기 위해.
• 몽스터 군에 속하지 않는 유령군에 대해 일반화된 문명 현상을 실현함으로써 몽스터를 초월한 문명 현상에 대한 증거를 제공하기 위해.

제안 방법

• 자기 dual이자 질량 $-28$인 두 번째 enhanced vertex operator superalgebra를 구성하며, 자동군이 루드바일스 군의 순환 덮개임을 보장한다.
• 기저가 되는 베르트렉스 대수적 구조와 메타플렉틱 군의 구조를 사용하여 기본 베르트렉스 대수적 프레임워크를 정의한다.
• 자기 dual성과 강한 소멸 조건을 확보하기 위해, 강화된 구조를 가진 베르트렉스 대수 및 베르트렉스 연산자 수퍼대수 이론을 적용한다.
• 프레임 형상과 특성 공식을 사용하여 동차 부분공간에서의 추적을 통해 맥컬레인–팀슨 급수를 계산한다.
• $\tau \mapsto \tau/2$를 통한 모듈라 함수의 스케일 조정과 Fricke 대칭을 적용하여 종수 0 모듈라 군을 식별한다.
• 함수 공간 $\tilde{F}_g^A$ 및 $\tilde{F}_g^{\forall}$가 종수 0인 $\mathrm{PSL}_2(\mathbb{R})$의离산 부분군에 의해 보존됨을 검증한다.

실험 결과

연구 질문

• RQ1 몽스터 군에 포함되지 않은 루드바일스 유령군에 대해 문명 현상이 실현될 수 있는가?
• RQ2 루드바일스 군에 대한 맥컬레인–팀슨 급수는 종수 0 모듈라 군과 관련된 함수체를 생성하는가?
• RQ3 루드바일스 군에 대해 몽스터를 초월하는 통합된 문명 현상 프레임워크가 존재하는가?
• RQ4 새로운 질량 $-28$ 구조에서 유도된 모듈라 함수들이 이전의 질량 $28$ 예시와 함께 조합되었을 때 종수 0 성질을 만족하는가?
• RQ5 강화된 베르트렉스 연산자 수퍼대수 구조를 통해 몽스터 군에 속하지 않는 유령군에 대해 문명 현상을 실현할 수 있는가?

주요 결과

• 자기 dual enhanced vertex operator superalgebra를 질량 $-28$로 구성하였으며, 전체 자동군이 루드바일스 군의 순환 덮개임을 보였다.
• 루드바일스 군의 모든 공轭류 $g$에 대해 맥컬레인–팀슨 급수 $\tilde{F}_g^A(\tau)$ 및 $\tilde{F}_g^{\forall}(\tau)$를 명시적으로 계산하였다.
• 각 $g$에 대해 함수 $\tilde{F}_g^A$ 및 $\tilde{F}_g^{\forall}$는 $\mathrm{PSL}_2(\mathbb{R})$의 종수 0 이산 부분군, 예를 들어 $\Gamma_0(2)+2$, $\Gamma_0(10)$, $\Gamma_0(26)+26$, 또는 $\Gamma_0(29)+29$에 의해 보존되는 두 차원 표현을 생성한다.
• Fricke 대칭 $\tau \mapsto -1/N\tau$는 $2B$, $10B$, $14ABC$, $26ABC$, 및 $29AB$ 공轭류에 대해 두 함수 $\tilde{F}_g^A$ 및 $\tilde{F}_g^{\forall}$를 서로 바꾸며, 모듈라 대칭성을 확인한다.
• 이 논문의 맥컬레인–팀슨 급수와 이전의 질량 $28$ 예시의 급수 조합은 종수 0 성질을 만족하며, 루드바일스 군에 대한 문명 현상을 확장한다.
• $2B$, $10B$, $14ABC$, $26ABC$, 및 $29AB$ 공轭류에 대한 모듈라 함수는 Dedekind 에타 함수의 곱의 비율로 표현되며, 명시적인 공식 예로 $\tilde{F}_{2B}^A(\tau) = 2^{14} \frac{\eta(4\tau)^{28}}{\eta(2\tau)^{28}}$ 가 있다.