[논문 리뷰] Classical and Umbral Moonshine: Connections and $p$-adic Properties

Ken Ono, Larry Rolen외 1명|arXiv (Cornell University)|2014. 03. 14.

Advanced Algebra and Geometry참고 문헌 6인용 수 7

한 줄 요약

이 논문은 우물-defined된 Borcherds 곱을 통해 umbral moonshine의 모방 모듈러 형식에서 유도된 일반화된 Borcherds 곱을 구성하여, 몽스터 moonshine의 Hauptmoduln에 대한 유리함수를 생성함으로써 몽스터 moonshine과 umbral moonshine 사이의 깊은 연결 고리를 확립한다. 핵심 결과는 순수 A형 Niemeier 격자와 몽스터 군의 공轭류 사이의 대응관계로, 이는 umbral moonshine 표현 차원과 몽스터 moonshine Hauptmoduln의 값 사이의 항등식을 이끌어내며, 동시에 이러한 Borcherds 곱의 로그 도함수가 특정 산술적 성질을 갖는 p-진 모듈러 형식임을 증명한다.

ABSTRACT

The classical theory of monstrous moonshine describes the unexpected connection between the representation theory of the monster group $M$, the largest of the simple sporadic groups, and certain modular functions, called Hauptmodln. In particular, the $n$-th Fourier coefficient of Klein's $j$-function is the dimension of the grade $n$ part of a special infinite dimensional representation $V$ of the monster group. More generally the coefficients of Hauptmoduln are graded traces $T_g$ of $g \in M$ acting on $V$. Similar phenomena have been shown to hold for the Matthieu group $M_{24}$, but instead of modular functions, mock modular forms must be used. This has been conjecturally generalized even further, to umbral moonshine, which associates to each of the 23 Niemeier lattices a finite group, infinite dimensional representation, and mock modular form. We use generalized Borcherds products to relate monstrous moonshine and umbral moonshine. Namely, we use mock modular forms from umbral moonshine to construct via generalized Borcherds products rational functions of the Hauptmoduln $T_g$ from monstrous moonshine. This allows us to associate to each pure $A$-type Niemeier lattice a conjugacy class $g$ of the monster group, and gives rise to identities relating dimensions of representations from umbral moonshine to values of $T_g$. We also show that the logarithmic derivatives of the Borcherds products are $p$-adic modular forms for certain primes $p$ and describe some of the resulting properties of their coefficients modulo $p$.

연구 동기 및 목표

• 일반화된 Borcherds 곱의 구성에 의한 몽스터 moonshine과 umbral moonshine의 통합
• 순수 A형 Niemeier 격자와 몽스터 군의 공轭류 사이의 대응관계 수립
• umbral moonshine 표현의 차원과 몽스터 moonshine Hauptmoduln의 값 사이의 항등식 유도
• umbral moonshine에서 유도된 Borcherds 곱의 로그 도함수의 p-진 성질 탐구
• 이러한 로그 도함수가 특정 계수를 갖는 p-진 모듈러 형식임을 입증

제안 방법

• Niemeier 격자와 관련된 umbral moonshine의 모방 모듈러 형식을 사용하여 일반화된 Borcherds 곱을 구성
• 이 곱을 통해 몽스터 moonshine의 Hauptmoduln T_g에 대한 유리함수 생성
• 조화 마이스터 형식과 Appell-Lerch 합의 이론을 활용하여 모방 모듈러 형식 정의 및 조작
• 소수 거듭제곱 모듈로에서 푸리에 계수의 영이 아닌 밀도를 분석하기 위해 Serre의 정리 적용
• 중심 모듈러 형식의 기초가 되는 임의의 m−1 차수와 무게 0인 야코비 제타 함수 및 약한 야코비 형식 사용
• Appell-Lerch 합을 완성하여 실해석적 야코비 형식을 구성, Borcherds 곱의 구성에 필수적

실험 결과

연구 질문

• RQ1 umbral moonshine의 모방 모듈러 형식은 어떻게 몽스터 moonshine의 Hauptmoduln에 대한 유리함수를 구성하는가?
• RQ2 순수 A형 Niemeier 격자와 몽스터 군의 공轭류 사이의 정확한 대응관계는 무엇인가?
• RQ3 구성된 Borcherds 곱의 로그 도함수는 특정 소수 p에 대해 p-진 모듈러 형식인가?
• RQ4 이러한 p-진 모듈러 형식의 푸리에 계수는 모듈로 p에서 어떤 산술적 성질을 갖는가?
• RQ5 umbral moonshine 표현의 차원과 몽스터 moonshine Hauptmoduln의 값 사이의 항등식을 도출할 수 있는가?

주요 결과

• 이 구성은 순수 A형 Niemeier 격자와 몽스터 군의 공轭류 사이의 일대일 대응관계를 제공하며, umbral과 몽스터 moonshine의 구조를 연결한다.
• 유도된 Hauptmoduln T_g에 대한 유리함수는 umbral moonshine 표현의 차원과 특정 점에서 T_g의 값 사이의 항등식을 암시한다.
• 일반화된 Borcherds 곱의 로그 도함수는 특정 소수 p에 대해 p-진 모듈러 형식으로 나타남이 입증되었다.
• 각 소수 p에 대해, 이 p-진 모듈러 형식의 푸리에 계수는 다음과 같은 밀도 상한을 만족한다: a_n ̸≡ 0 mod p^m 인 n ≤ X 의 개수는 O(X / (log X)^α_m) 이다. 여기서 α_m > 0 이다.
• 이 p-진 모듈러 형식의 계수는 Serre의 영이 아닌 계수에 관한 정리와 일치하는 제어된 산술적 행동을 보인다.
• 이 방법은 모방 모듈러 형식과 Borcherds 곱을 활용하여 두 개의 서로 다른 moonshine 이론을 통합하는 데 성공적으로 일반화되었다.