[논문 리뷰] 24 faces of the Borcherds modular form Phi_{12}

Valery Gritsenko|arXiv (Cornell University)|2012. 03. 29.

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

한 줄 요약

이 논문은 Borcherds 모듈라 형식 $Φ_{12}$의 각 23개의 Niemeier 귀환에서 첫 번째로 영이 아닌 푸리에-야코비 계수는 해당하는 아핀 리 대수의 웨일-카스 분모 함수와 일치함을 증명한다. Borcherds의 리프트와 야코비 형식의 모듈라 성질을 이용하여, 허수 Kac-Moody 대수, 시겔 모듈라 형식, 아핀 리 대수 간의 Frenkel과 Feingold의 추측적 연결이 가짜 몬스터 리 대수의 경우에 자동형적 실현됨을 확립한다.

ABSTRACT

The fake monster Lie algebra is determined by the Borcherds function Phi_{12} which is the reflective modular form of the minimal possible weight with respect to O(II_{2,26}). We prove that the first non-zero Fourier-Jacobi coefficient of Phi_{12} in any of 23 Niemeier cusps is equal to the Weyl-Kac denominator function of the affine Lie algebra of the root system of the corresponding Niemeier lattice. This is an automorphic answer (in the case of the fake monster Lie algebra) on the old question of I. Frenkel and A. Feingold (1983) about possible relations between hyperbolic Kac-Moody algebras, Siegel modular forms and affine Lie algebras.

연구 동기 및 목표

• Frenkel과 Feingold(1983)가 제기한 허수 Kac-Moody 대수, 시겔 모듈라 형식, 아핀 리 대수 간의 관계에 관한 오랫동안 미해결된 질문을 해결하기 위해.
• $Ó^{+}(II_{2,26})$에 대해 위상 12의 Borcherds 모듈라 형식 $Φ_{12}$과 그 24개의 귀환(23개의 Niemeier 귀환과 리치 귀환 포함)에서의 행동을 분석하기 위해.
• 각 Niemeier 귀환에서 $Φ_{12}$의 첫 번째로 영이 아닌 푸리에-야코비 계수가 해당 Niemeier 격자의 루트 체계에 대응하는 아핀 리 대수의 웨일-카스 분모 함수와 일치함을 보여주기 위해.
• 가짜 몬스터 리 대수와 아핀 리 대수 간의 연결을 모듈라 형식을 통해 자동형적 실현하기 위해.

제안 방법

• 저자는 야코비 형식에서 모듈라 형식을 구성하기 위해 Borcherds의 표준 리프트를 사용하며, 특히 격자 $4A_1$에 대해 위상 2, 인덱스 1/2인 야코비 형식 $θ_{4A_1}$에 초점을 맞춘다.
• 이 방법은 $II_{2,26}$ 내의 $-2$-벡터로 정의된 유리 이차형수의 근처에서 모듈라 형식의 행동을 분석함으로써 각 Niemeier 귀환에서 $Φ_{12}$의 푸리에-야코비 전개를 계산하는 데 있다.
• 핵심 단계는 Borcherds 곱의 구성과 Koecher 원리에 의해, 몫 형식의 해석적 성질을 보장함으로써 첫 번째로 영이 아닌 푸리에-야코비 계수를 식별하는 것이다.
• 저자는 리프트의 특이점과 약수의 구조를 결정하기 위해 $φ_{0,4A_1} = -3^{-1} θ_{4A_1}|_{2}T_{-}(3) / θ_{4A_1}$라는 약한 야코비 형식을 계산한다.
• 이 방법은 24개의 경계 성분을 가진 모듈라 다양체 $Ó^{+}(II_{2,26})\setminus\mathcal{D}(II_{2,26})$의 Baily-Borel 컴acts이션에 기반하며, 이는 하나의 0차원 귀환과 23개의 1차원 모듈라 곡선(각각 Niemeier 격자에 대응)을 포함한다.
• 증명은 각 Niemeier 귀환에서 첫 번째로 영이 아닌 푸리에-야코비 계수가 해당 루트 체계에 대응하는 아핀 리 대수의 웨일-카스 분모 함수와 일치함을 확인함으로써 성립하며, 이는 야코비 형식의 푸리에 계수를 직접 계산하여 검증된다.

실험 결과

연구 질문

• RQ1 가장 간단한 모듈라 형식이 반사적 모듈라 형식의 첫 번째로 영이 아닌 푸리에-야코비 계수로서 아핀 리 대수의 웨일-카스 분모 함수를 실현할 수 있는가?
• RQ2 Borcherds 모듈라 형식 $Φ_{12}$이 푸리에-야코비 전개를 통해 가짜 몬스터 리 대수와 아핀 리 대수 간의 다리를 놓을 수 있는가?
• RQ3 각 Niemeier 귀환에서 $Φ_{12}$의 첫 번째로 영이 아닌 푸리에-야코비 계수가 해당 Niemeier 격자의 루트 체계에 대응하는 아핀 리 대수의 웨일-카스 분모 함수와 일치하는가?
• RQ4 모듈라 다양체 $Ó^{+}(II_{2,26})\setminus\mathcal{D}(II_{2,26})$의 24개 귀환은 가짜 몬스터 리 대수의 구조와 그 루트 중복도에 어떻게 관련되어 있는가?

주요 결과

• 각 23개의 Niemeier 귀환에서 $Φ_{12}$의 첫 번째로 영이 아닌 푸리에-야코비 계수는 해당 귀환의 Niemeier 격자의 루트 체계에 대응하는 아핀 리 대수의 웨일-카스 분모 함수와 일치한다.
• Borcherds 모듈라 형식 $Φ_{12}$는 모든 23개의 Niemeier 귀환에서 영이 되며, 이는 첫 번째로 영이 아닌 계수가 야코비 형식 전개 수준에서 나타남을 확인한다.
• 이 결과는 가짜 몬스터 리 대수의 경우에 Frenkel-Feingold 추측의 자동형적 실현을 제공하며, 허수 Kac-Moody 대수, 시겔 모듈라 형식, 아핀 리 대수 간의 연결을 맺는다.
• $Φ_{12}$는 반사적 모듈라 형식이며, $II_{2,26}$ 내의 $-2$-벡터로 정의된 유리 이차형수의 합집합으로서의 약수를 가지며, 그 첫 번째로 영이 아닌 푸리에-야코비 계수는 격자 $4A_1$에 대해 위상 2, 인덱스 1/2인 야코비 형식이다.
• 약한 야코비 형식 $φ_{0,4A_1}$는 $r_1 + r_2 + r_3 + r_4 + 4 + r_1^{-1} + r_2^{-1} + r_3^{-1} + r_4^{-1} + q(\dots)$로 명시적으로 계산되며, 이는 Borcherds 곱의 특이점 구조를 결정한다.
• 리프트 $Φ_2 = ÓÓ_{φ_{0,4A_1}}$는 $θ_{4A_1}$의 야코비 리프트와 일치함을 보여주며, 이는 $Φ_2$가 단순한 약수를 가진 최소한의 무게 2의 반사적 모듈라 형식임을 확인한다.