[논문 리뷰] Super-moonshine for Conway's largest sporadic group

John F. R. Duncan|ArXiv.org|2005. 02. 13.

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

한 줄 요약

이 논문은 자가쌍대이고 유리적인 $N=1$ 초버티텍스 연산자 대수 $A^{f\natural}$를 구축하며, 이는 랭크 12이고 차수 $1/2$ 부분공간이 자명하며, 그 전체 자기동형군이 코니웨이의 최대 유한 임의군 $
\mathrm{Co}_1$임을 증명한다. 이는 $A^{f\natural}$에서의 추적을 통해 모든 공共役류에 대해 명시적인 모듈라 McKay–Thompson 급수를 유도함으로써, 몬스터 루미나이트와 유사한 $
\mathrm{Co}_1$에 대한 루미나이트 현상이 성립함을 보인다.

ABSTRACT

We study a self-dual N=1 super vertex operator algebra and prove that the full symmetry group is Conway's largest sporadic simple group. We verify a uniqueness result which is analogous to that conjectured to characterize the Moonshine vertex operator algebra. The action of the automorphism group is sufficiently transparent that one can derive explicit expressions for all the McKay-Thompson series. A corollary of the construction is that the perfect double cover of the Conway group may be characterized as a point-stabilizer in a spin module for the Spin group associated to a 24 dimensional Euclidean space.

연구 동기 및 목표

• 랭크 12이고 차수 $1/2$ 부분공간이 자명한 자가쌍대이고 유리적인 $N=1$ 초버티텍스 연산자 대수 $A^{f\natural}$를 구축하여, Moonshine VOA $V^{\natural}$와 유사하게 만들기.
• $A^{f\natural}$의 전체 자기동형군이 코니웨이의 최대 유한 임의군 $
  \mathrm{Co}_1$임을 증명하기.
• $A^{f\natural}$에서의 군 원소의 계급 추적을 통해 명시적인 McKay–Thompson 급수를 계산하여, $
  \mathrm{Co}_1$에 대한 루미나이트 현상을 확립하기.
• 자기쌍대성, 랭크 12, 차수 $1/2$ 부분공간이 자명함을 조건으로 하여, 좋은 유리적인 $N=1$ SVOAs 사이에서 $A^{f\natural}$의 유일성 특성화 제공하기.

제안 방법

• $V_L^f = A_L \otimes V_L$를 $E_8$ 격자에 관련된 SVOA로 하고, $\theta = \theta_f \otimes \theta_b$의 반사로 정의된 $
  \mathbb{Z}/2$-오르비폭을 적용하여 $A^{f\natural}$를 고정점 부분대수로 구성하기.
• $\theta$-틀린 모듈 $(V_L^f)_\theta = (A_L)_{\theta_f} \otimes (V_L)_{\theta_b}$를 정의하고, $A^{f\natural} = (V_L^f)^0 \oplus (V_L^f)^0_\theta$로 설정하기.
• $V_L^f$의 계급 특성함수를 사용하여 추적 생성함수 $\mathrm{tr}|_{V_L^f} q^{L(0)-c/24} = \frac{\theta_{E_8}(\tau)\eta(\tau)^8}{\eta(\tau/2)^8\eta(2\tau)^8}$를 도출하고, 8을 빼어 $A^{f\natural}$의 특성함수를 얻기.
• $\mathrm{Co}_0$이 복소화된 클리포드 모듈 $
  \mathbb{C} \otimes \mathfrak{l}$ 위에서 작용하는 것을 활용하여, 고유값과 프레임 형상으로 군 원소의 추적을 계산하기.
• $\phi_g(\tau) = \prod_{k|m} \phi(k\tau)^{p_k}$ 및 $\eta_g(\tau) = \prod_{k|m} \eta(k\tau)^{p_k}$ 함수를 사용하여 McKay–Thompson 급수 유도하기, 여기서 $\phi(\tau) = \eta(\tau/2)/\eta(\tau)$이다.
• $g$와 $-g$에 대한 추적을 평균내어 $
  \mathrm{Co}_1 = \mathrm{Co}_0 / \{\pm 1\}$의 원소 $
  \bar{g}$에 대한 $A^{f\natural}$ 위의 추적을 계산하고, 공식 $\mathrm{tr}|_{A^{f\natural}} \bar{g} q^{L(0)-c/24} = \frac{1}{2}(\phi_g + \phi_{-g}) + \frac{1}{2}(\chi_G(g)\eta_{-g} + \chi_G(-g)\eta_g)$를 도출하기.

실험 결과

연구 질문

• RQ1 랭크 12이고 차수 $1/2$ 부분공간이 자명한 자가쌍대이고 유리적인 $N=1$ 초버티텍스 연산자 대수를 구성할 수 있는가? 그 자기동형군이 코니웨이의 최대 유한 임의군 $
  \mathrm{Co}_1$인가?
• RQ2 이러한 구성이 몬스터 루미나이트와 유사하게, 모듈라 McKay–Thompson 급수를 통해 $
  \mathrm{Co}_1$에 대한 루미나이트 현상을 유도하는가?
• RQ3 자기쌍대성, 랭크 12, 차수 $1/2$ 부분공간이 자명함을 조건으로 하여, $A^{f\natural}$가 좋은 유리적인 $N=1$ SVOAs 사이에서 유일하게 특성화되는가?
• RQ4 $A^{f\natural}$에서 $
  \mathrm{Co}_1$ 원소의 계급 추적은 프레임 형상과 모듈라 형식을 사용하여 명시적으로 계산할 수 있는가?
• RQ5 $\mathrm{Co}_0$이 $
  \mathrm{Spin}(24)$의 스핀 모듈러스 위에서 작용하는 방식은 $A^{f\natural}$의 구조와 그 자기동형군과 어떻게 관련되는가?

주요 결과

• $N=1$ SVOA $A^{f\natural}$는 $E_8$ 격자에 관련된 $V_L^f = A_L \otimes V_L$의 $
  \mathbb{Z}/2$-오르비폭의 고정점 부분대수로 구성되며, 자가쌍대이고 유리적인 $N=1$ SVOA로서 랭크 12이고 차수 $1/2$ 부분공간이 자명하다.
• $A^{f\natural}$의 전체 자기동형군은 코니웨이의 최대 유한 임의군 $
  \mathrm{Co}_1$과 동형이며, 정리 4.11에서 증명되었다.
• $\mathrm{Co}_1$의 모든 공역류에 대해 명시적인 McKay–Thompson 급수 $\mathrm{tr}|_{A^{f\natural}} \bar{g} q^{L(0)-c/24} = \frac{1}{2}(\phi_g + \phi_{-g}) + \frac{1}{2}(\chi_G(g)\eta_{-g} + \chi_G(-g)\eta_g)$로 계산되며, 여기서 $\phi_g(\tau) = \prod_{k|m} \phi(k\tau)^{p_k}$ 및 $\eta_g(\tau) = \prod_{k|m} \eta(k\tau)^{p_k}$이다.
• $A^{f\natural}$는 자기쌍대성, 랭크 12, 차수 $1/2$ 부분공간이 자명함을 조건으로 하여, 좋은 유리적인 $N=1$ SVOAs 사이에서 정리 5.28에 따라 유일하게 특성화된다.
• $\mathrm{Co}_1$의 완전한 이중 덮개는 $
  \mathrm{Spin}(24)$의 스핀 모듈러스에서 점의 안정자로 나타나며, 이는 군의 기하학적 실현을 제공한다.
• $A^{f\natural}$의 계급 특성함수는 $q^{-1/2}(1 + 276q + 2048q^{3/2} + \cdots)$이며, 이는 $
  \mathrm{Co}_1$-모듈러스의 기저 차원 $1$, $24$, $276$, $2024$, $1771$과 일치한다.