[논문 리뷰] Elliptic genus of Calabi-Yau manifolds and Jacobi and Siegel modular forms

Valery Gritsenko|ArXiv.org|1999. 06. 28.

Advanced Algebra and Geometry참고 문헌 11인용 수 18

한 줄 요약

이 논문은 정수 계수를 가진 약한 자바 형식의 계수를 가진 그레이드 링이 네 개의 기본 형식 $\phi_{0,1}, \dots, \phi_{0,4}$ 에 의해 자유롭게 생성됨을 증명한다. 이들은 분석 차원 2, 3, 4 및 8인 칼라비-야우 다양체와 연결되어 있다. 논문은 칼라비-야우 다양체의 타원형이 무게 0, 인덱스 $d/2$ 인 약한 자바 형식임을 증명하고, 이를 통해 2와 3의 거듭제곱에 대한 오일러 수와 $\chi_y$-오염도의 산술적 성질을 도출한다. 이는 $d \equiv 2 \mod 8$ 일 때 $e(M_d) \equiv 0 \mod 8$ 이고, $d \equiv 2 \mod 6$ 일 때 $\chi_{y=\zeta_3}(M_d) \equiv 0 \mod 9$ 라는 결과를 포함한다. 이러한 결과는 제2량자화된 타원형과 시겔 모듈라 형식에 적용되며, 로렌츠형 카크-무디 대수와의 연결을 포함한다.

ABSTRACT

In the paper we study two types of relations: a one is between the elliptic genus of Calabi-Yau manifolds and Jacobi modular forms, another one is between the second quantized elliptic genus, Siegel modular forms and Lorentzian Kac-Moody Lie algebras. We also determine the structure of the graded ring of the weak Jacobi forms with integral Fourier coefficients. It gives us a number of applications to the theory of elliptic genus and of the second quantized elliptic genus.

연구 동기 및 목표

• 정수 푸리에 계수를 가진 약한 자바 형식의 그레이드 링 $J_{0,*}^\mathbb{Z}$ 의 대수적 구조를 규명하는 것.
• 이 링이 칼라비-야우 다양체의 차원 2, 3, 4 및 8과 연결된 네 개의 기본 자바 형식 $\phi_{0,1}, \dots, \phi_{0,4}$ 에 의해 자유롭게 생성됨을 증명하는 것.
• 모듈라 형식을 사용하여 칼라비-야우 다양체의 $\chi_y$-오염도와 $y = -1, i, \zeta_3$ 에서의 특별한 값의 산술적 성질을 분석하는 것.
• 차원 4 및 6인 칼라비-야우 다양체의 제2량자화된 타원형이 로렌츠형 카크-무디 대수의 분모 함수와 연결됨을 밝히는 것.
• 수정된 제2량자화된 타원형이 최소의 분모와 최대의 차수 12를 가진 시겔 모듈라 형식 $\Phi_3(Z)$ 의 거듭제곱임을 보여주는 것.

제안 방법

• 논문은 자바 군 $\Gamma^J = SL_2(\mathbb{Z}) \ltimes H(\mathbb{Z})$ 에 대한 자바 형식의 변환 성질 이론을 사용하여, 칼라비-야우 다양체의 타원형을 모듈라 대상으로 특성화한다.
• 헤르체브루흐의 $\chi_y$-오염도와 $q^0$-항 간의 관계를 유도하기 위해 리만-로흐-히르체브루흐 정리를 적용함으로써 특성 클래스의 산술적 분석을 가능하게 한다.
• 저자들은 자바 형식을 고차원의 시겔 모듈라 형식으로 옮기는 Exp-Lift 구성법을 사용하여, $\Phi_3(Z)$ 와 $\Phi_5(Z)$ 와 같은 자동형 함수를 생성하며, 이는 특정한 분모를 가진다.
• 이러한 시겔 모듈라 형식의 분모 구조를 분석하여, 판별식 1과 5를 가진 유리수 이차 분모(함버트 표면)로 식별하고, $\Phi_3(Z)$ 가 차수 12의 특성과 최소 분모를 가짐을 보여준다.
• 제2량자화된 타원형은 로렌츠형 카크-무디 대수의 분모 함수의 거듭제곱의 곱으로 표현되며, 물리학 기반의 구성법과 산술기하학을 연결한다.
• 논문은 $\eta$-함수와 테타 함수의 모듈라 성질을 사용하여 명시적인 컷스형식을 구성하고, 이들이 모듈리 공간 $\mathcal{A}_6(v_2)$ 와 $\mathcal{A}_6(v_3)$ 에서 기하학적 및 산술적 성질을 갖는지 검증한다.

실험 결과

연구 질문

• RQ1 정수 푸리에 계수를 가진 약한 자바 형식의 그레이드 링 $J_{0,*}^\mathbb{Z}$ 의 대수적 구조는 무엇인가?
• RQ2 칼라비-야우 다양체의 $\chi_y$-오염도의 산술적 성질, 예를 들어 오일러 수와 표준형은 2와 3의 거듭제곱에 대해 어떻게 행동하는가?
• RQ3 차원 4 및 6인 칼라비-야우 다양체의 제2량자화된 타원형은 로렌츠형 카크-무디 대수의 분모 함수로 표현될 수 있는가?
• RQ4 시겔 모듈라 형식 $\Phi_3(Z)$ 는 고차원에서 $j$-불변량의 모듈라 동반자로서 어떤 역할을 하는가?
• RQ5 칼라비-야우 3-다양체의 호지 수는 수정된 제2량자화된 타원형이 $\Phi_3(Z)^{h^{2,1}-h^{1,1}}$ 을 통해 어떻게 관련되어 있는가?

주요 결과

• 정수 계수를 가진 약한 자바 형식의 그레이드 링 $J_{0,*}^\mathbb{Z}$ 는 네 개의 기본 형식에 의해 자유롭게 생성된다: $J_{0,*}^\mathbb{Z} = \mathbb{Z}[\phi_{0,1}, \phi_{0,2}, \phi_{0,3}, \phi_{0,4}]$, 여기서 각 $\phi_{0,m}$ 은 복소 차원 $2m$ 인 칼라비-야우 다양체와 대응된다.
• 복소 차원 $d$ 를 가진 칼라비-야우 다양체 $M_d$ 의 오일러 수는 $d \equiv 2 \mod 8$ 일 때 $e(M_d) \equiv 0 \mod 8$ 를 만족한다. 이는 2.4조에서 증명되었다.
• 특수값 $y = \zeta_3 = e^{2\pi i/3}$ 에서의 $\chi_y$-오염도는 $d \equiv 2 \mod 6$ 일 때 $\chi_{y=\zeta_3}(M_d) \equiv 0 \mod 9$ 를 만족한다. 이는 2.5조에 기재되어 있다.
• 차원 4 또는 6인 칼라비-야우 4-다양체나 6-다양체의 제2량자화된 타원형은 [GN4] 에서 구성된 로렌츠형 카크-무디 대수의 분모 함수의 거듭제곱의 곱으로 표현될 수 있다.
• 칼라비-야우 3-다양체의 수정된 제2량자화된 타원형은 $E^{(2)}(M_3; Z) = \Phi_3(Z)^{h^{2,1}-h^{1,1}}$ 로 주어지며, 여기서 $\Phi_3(Z)$ 는 최소 분모와 차수 12의 특성을 가진 무게 0의 시겔 모듈라 형식이다.
• 형식 $\Phi_3(Z)$ 의 제곱은 두 개의 $\Gamma_6^+$-컷스형식의 몫으로 주어진다: $\Phi_3(Z)^2 = \frac{\text{Lift}(\eta^3 \vartheta^2 \vartheta(\cdot,2z))}{\text{Lift}(\eta^5 \vartheta(\cdot,2z))}$, 분자 및 분모는 각각 모듈리 공간 $\mathcal{A}_6(v_2)$ 와 $\mathcal{A}_6(v_3)$ 에서의 표준적 미분형식을 정의한다.