[논문 리뷰] Brewing moonshine for Mathieu

Suresh Govindarajan|arXiv (Cornell University)|2010. 12. 28.

Advanced Algebra and Geometry참고 문헌 29인용 수 15

한 줄 요약

이 논문은 희귀한 매쓰ieu 군 $M_{12}$에 대한 일반화된 문마이드 현상(모노드롬 현상)을 제안하며, 그 군의 공轭류들이 승법적 에타곱수, 인덱스 1의 무게 0 잭비 형식, 그리고 dd 모듈라 형식들 사이의 관계를 보르체르즈 유형의 덧셈형 변환을 통해 연결한다. 주요 결과는 모든 dd 모듈라 형식과 그에 관련된 BKM 리 초군수가 이 $M_{12}$ 문마이드로부터 유도됨을 보여주며, $M_{12}$와 $M_{24}$를 연결하는 외부 자기동형사상(outer automorphism)을 통해 $M_{24}$ 문마이드 프레임워크를 확장한다.

ABSTRACT

We propose a moonshine for the sporadic Mathieu group M_12 that relates its conjugacy classes to various modular forms and Borcherds Kac-Moody Lie superalgebras.

연구 동기 및 목표

• 문마이드 개념을 $M_{24}$에서 희귀군 $M_{12}$로 확장하기 위해 일반화된 문마이드 대응관계를 규명하는 것.
• $M_{12}$의 공轭류들이 승법적 에타곱수, 인덱스 1의 잭비 형식, 그리고 dd 모듈라 형식과 어떻게 연결되는지 규명하는 것.
• 이전에 $M_{24}$ 문마이드와 연결되어 있던 dd 모듈라 형식들이 $M_{12}$의 구조에서 자연스럽게 유도됨을 보여주는 것.
• 랭크 3의 BKM 리 초군수의 와일-카프-보르체르즈 분모 공식이 $M_{12}$와 관련된 dd 모듈라 형식으로서 실현됨을 보여주는 것.

제안 방법

• $M_{12}$의 외부 자기동형사상 $\varphi$를 사용하여 $M_{12}\!:\!2$ 군을 구성하고, 이 군이 $M_{24}$에 포함되도록 하여 $M_{12}$와 $M_{24}$ 사이의 공轭류 추적을 가능하게 한다.
• $M_{12}$의 공轭류(순환형태)에서 승법적 에타곱수로의 사상 $g_{\hat{\rho}}(\tau)$를 정의하며, 순환형태 $\hat{\rho} = 1^{a_1}2^{a_2}\cdots N^{a_N}$ 이며 $\sum i a_i = 12$ 를 만족한다.
• 보르체르즈 덧셈형 변환을 적용하여 무게 0 잭비 형식 $\phi^{\hat{\rho}}_{0,1}(\tau,z)$를 종수 2의 dd 모듈라 형식 $\Delta^{(N,M)}_k(\mathbf{Z})$로 변환한다.
• 와일-카프-보르체르즈 분모 공식이 정확히 dd 모듈라 형식 $\Delta^{(N,M)}_k(\mathbf{Z})$와 일치하는 BKM 리 초군수 $\mathcal{G}_N(M)$을 구성한다.
• $M_{12}\!:\!2$의 24차원 표현을 사용하여 $M_{12}$-불변 구조를 $M_{24}$-불변 모듈라 형식과 연결하며, 특히 $1A$ 공轭류와 이구사 캐시 형식 $\Phi_{10}(\mathbf{Z})$를 통해 연결한다.

실험 결과

연구 질문

• RQ1 외부 자기동형사상을 통해 $M_{24}$의 문마이드 현상이 어떻게 $M_{12}$로 일반화될 수 있는가?
• RQ2 $M_{12}$의 어떤 공轭류들이 승법적 에타곱수와 인덱스 1의 잭비 형식과 대응되는가?
• RQ3 이전에 $M_{24}$ 문마이드와 연결되어 있던 dd 모듈라 형식들이 $M_{12}$의 구조에서 어떻게 유도되는가?
• RQ4 $M_{12}\!:\!2$ 군의 확장은 $M_{24}$ 문마이드를 $M_{12}$에서 어떻게 실현하는가?

주요 결과

• $M_{12}$의 15개 공轭류 중 12개가 승법적 에타곱수와 대응되며, 순환형태로는 $1^{12}$, $2^6$, $1^4 2^4$, $3^4$, $2^2 4^2$, $1^2 5^2$ 등이 포함된다.
• $M_{12}$의 공轭류 $4B$와 $8B$는 승법적 에타곱수를 유도하지 않으며, $4^3$, $3\,9$, $12$는 승법적 에타곱수를 유도하지만 이들은 $M_{12}$의 공轭류가 아니다.
• 덧셈형 보르체르즈 변환은 무게 0 잭비 형식 $\phi^{\hat{\rho}}_{0,1}(\tau,z)$를 dd 모듈라 형식 $\Delta^{(N,M)}_k(\mathbf{Z})$로 변환하며, 이 형식들이 BKM 리 초군수의 와일-카프-보르체르즈 분모 공식임을 보여준다.
• $M_{12}$ 문마이드 프레임워크는 모든 dd 모듈라 형식을 $\mathcal{N}=4$ 초대칭 끈 이론에서 다이온의 도중도수를 세는 슈발리에 모듈라 형식의 제곱근으로 실현한다.
• $\Delta^{(N,M)}_k(\mathbf{Z})$와 관련된 BKM 리 초군수 $\mathcal{G}_N(M)$의 루트 시스템은 모듈라 형식의 푸리에 계수로 정의되며, 분모 공식은 정확히 dd 모듈라 형식과 일치한다.