[논문 리뷰] Reflective modular forms in algebraic geometry

Valery Gritsenko|arXiv (Cornell University)|2010. 05. 20.

Advanced Algebra and Geometry참고 문헌 26인용 수 28

한 줄 요약

이 논문은 큰 무게를 가진 강한 반사적 모듈러 형식의 존재가 해당 모듈러 다양체의 코다이라 차원 ≤ 0임을 증명한다. 자코비 이행을 통해 저자께서는 루트 계열 $D_8$, $3A_2$, $4A_1$와 관련된 세 개의 형식 타워를 구축하였으며, 차원 4, 6, 7인 새로운 모듈러 다양체를 얻었고, 이들의 코다이라 차원은 0이다. 또한 보르처르스-에니리케스 형식 $Φ_4$와 요시카와의 자동형 판별식에 대한 명시적 푸리에 전개를 제공한다.

ABSTRACT

We prove that the existence of a strongly reflective modular form of a large weight implies that the Kodaira dimension of the corresponding modular variety is negative or, in some special case, it is equal to zero. Using the Jacobi lifting we construct three towers of strongly reflective modular forms with the simplest possible divisor. In particular we obtain a Jacobi lifting construction of the Borcherds-Enriques modular form Phi_4 and Jacobi liftings of automorphic discriminants of the Kähler moduli of Del Pezzo surfaces constructed recently by Yoshikawa. We obtain also three modular varieties of dimension 4, 6 and 7 of Kodaira dimension 0.

연구 동기 및 목표

• 반사적 모듈러 형식에 대한 기하학적 기준을 도입함: 특히, Koecher 원리와 극소 근사성에 기반한 새로운 기하학적 기준을 통한 반사적 형식 정의.
• 강한 반사적 모듈러 형식이 큰 무게를 가질 경우, 해당 모듈러 다양체의 코다이라 차원 ≤ 0임을 증명함.
• 자코비 이행을 이용하여 세 개의 새로운 강한 반사적 모듈러 형식 타워를 구축함.
• 핵심 자동형 형식, 특히 $\Phi_4$와 요시카와의 판별식에 대한 명시적 푸리에 전개 제공.
• 덧셈 자코비 이행을 통한 이러한 형식의 구축에 관한 추측 제기.

제안 방법

• Koecher 원리와 극소 근사성에 기반한 새로운 기하학적 기준을 활용하여, 반사적 모듈러 형식을 극소 근사성에 의해 정의함.
• 특수한 무게를 가진 자코비 형식으로부터 강한 반사적 모듈러 형식을 자코비 이행을 통해 생성함.
• 고차원 형식을 알려진 예인 $\Phi_{12}$와 $\Delta_5$와 연결하기 위해 준-풀백 기법을 적용함.
• 반사적 벡터와 그 히르체브루흐–무디 포탄의 체적을 이용하여 모듈러 다양체의 근사성의 구조 분석함.
• 웨일 군과 루트 계열의 구조를 활용하여 산술성과 웨일 벡터의 존재를 검증함.
• 첫 번째 푸리에–자코비 계수를 이행하여 자동형 형식의 명시적 푸리에 전개 유도함.

실험 결과

연구 질문

• RQ1 어떤 기하학적 조건이 모듈러 형식의 관련 모듈러 다양체의 코다이라 차원 ≤ 0임을 암시하는가?
• RQ2 보르처르스-에니리케스 형식 $\Phi_4$와 요시카와의 자동형 판별식은 자코비 이행을 통해 구성될 수 있는가?
• RQ3 히르체브루흐–무디 포탄 체적이 반사적 근사성의 단순성 측정에 어떤 역할을 하는가?
• RQ4 가장 단순한 근사성을 가진 강한 반사적 모듈러 형식은 덧셈 자코비 이행으로부터 유도되는가?
• RQ5 어떤 격자 조건이 반사적 근사성의 루트 계열에 대해 웨일 벡터와 산술적 웨일 군의 존재를 보장하는가?

주요 결과

• 큰 무게를 가진 강한 반사적 모듈러 형식의 존재는 해당 모듈러 다양체의 코다이라 차원이 ≤ 0임을 암시한다.
• 차원 4, 6, 7인 코다이라 차원 0인 새로운 모듈러 다양체 세 개를 구성하였으며, 이는 칼라비-유아 유형이다.
• 보르처르스-에니리케스 형식 $Φ_4$는 무게 1, 인덱스 1인 자코비 형식의 자코비 이행으로 명시적으로 구성된다.
• 델 페초 표면에 대한 요시카와의 자동형 판별식 $Φ_V$는 특정 자코비 형식의 자코비 이행으로 실현된다.
• $4A_1$-타워에는 $Δ_5$가 포함되어 있으며, 이는 무게 10인 이구사 모듈러 형식의 제곱근이다.
• 모든 구축된 형식의 근사성은 최소 히르체브루흐–무디 포탄 체적을 가진 반사적 벡터에 의해 생성되며, 기하학적 단순성을 나타낸다.