[논문 리뷰] Modular-type functions attached to mirror quintic Calabi-Yau varieties

Hossein Movasati|arXiv (Cornell University)|2011. 11. 02.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 반사 십차형 칼라비-야우 3차원 다양체에 대한 모듈라 유형 함수의 새로운 이론을 수립하며, 해석적 3형식의 주기에서 유도된 일곱 개의 해석적 함수 $ t_i $ 를 도출한다. 이 함수들은 라마누잔 미분방정식과 유사한 미분계열을 만족한다. 주요 결과는 각 $ t_i $ 가 $ q = e^{2\pi i \tau_0} $ 에 대한 멱급수로 표현되며, 무게 $ d_i $ 를 가진 모듈라 유형 함수임을 보여준다. 계수들은 미분방정식계에서 유도된 재귀관계에 의해 유일하게 결정된다.

ABSTRACT

In this article we study a differential algebra of modular-type functions attached to the periods of a one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the Ramanujan differential equation. Our result is the first example of automorphic-type functions attached to varieties whose period domain is not Hermitian symmetric. It is a reformulation and realization of a problem of Griffiths around seventies on the existence of automorphic functions for the moduli of polarized Hodge structures.

연구 동기 및 목표

• 비헤르미트형 대칭 주기 도메인에서 자동형 함수를 실현하기 위한 P. 그리피스의 1970년대 계획을 이행하기 위해.
• 헤르미트형 대칭 도메인과 관련이 없는 반사 십차형 칼라비-야우 3차원 다양체에 대한 모듈라 유형 함수 이론을 수립하기 위해.
• 이즈라엘란 급수의 라마누잔 미분방정식과 유사한 주기에서 유도된 함수에 대한 미분계열을 수립하기 위해.
• 십차형 3차원 다양체의 요쿠다 쌍형과 그로모프-위튼 인버리언트가 이러한 모듈라 프레임워크에 포함될 수 있음을 보여주기 위해.

제안 방법

• 반사 십차형 가족의 피카르-푸흐 방정식에서 유도된, $ z=0 $ 과 $ z=1 $ 에 정상 특이점을 가진 네 번째 차수의 푸크시안 미분방정식을 해결한다.
• 변수 치환 $ \theta = z\partial_z $, $ \psi_i(z) $, 그리고 초함수의 $ \epsilon $-변형을 통해 새로운 해의 기저를 구성한다.
• 함수 $ t_i $ 는 주기 $ x_{ij} $ 의 반복 도함수의 조합으로 정의되며, $ t_0 = x_{21} $ 이고, $ \tau_0 = x_{11}/x_{21} $, $ q = e^{2\pi i \tau_0} $ 이다.
• 각 $ \dot{t}_i = \partial t_i / \partial \tau_0 $ 가 무게 $ d_i + 1 $ 의 동차 유리관계를 만족하는 상미분방정식계 $ \text{Ra} $ 를 유도한다.
• 각 $ t_i $ 는 멱급수 $ h_i(q) = \sum h_{i,n} q^n $ 로 표현되며, 초기값으로 $ h_{0,0} = 1/5 $, $ h_{0,1} = 24 $, $ h_{4,0} = 0 $, $ h_{5,0} \neq 0 $ 이다.
• 미분계열 $ \text{Ra} $ 를 사용하여 선형계 $ (A_0 + 5nI)T_n^\top = \text{function of } T_0, \dots, T_{n-1} $ 를 통해 모든 계수 $ h_{i,n} $ 를 재귀적으로 계산하며, $ A_0 $ 는 $ T_0 $ 에서 평가된다.

실험 결과

연구 질문

• RQ1 헤르미트형 대칭 도메인과 관련이 없는 칼라비-야우 다양체의 호지 구조를 가진 다양체에 대해 자동형 유형 함수를 구성할 수 있는가?
• RQ2 반사 십차형 3차원 다양체의 주기는 모듈러 형식의 라마누잔 미분방정식과 유사한 미분계열을 만족하는가?
• RQ3 이 비헤르미트형 설정에서 주기 적분을 통해 요쿠다 쌍형과 그로모프-위튼 인버리언트가 모듈라 매개변수화될 수 있는가?
• RQ4 주기 함수의 q-전개 계수들이 미분방정식에서 유도된 재귀계를 통해 유일하게 결정될 수 있는가?
• RQ5 함수 $ t_i $ 의 정확한 무게와 모듈라 유형은 무엇이며, 이들은 단조성과 가우스-마이너 연결과 어떻게 관련되어 있는가?

주요 결과

• 함수 $ t_i $ 는 $ q=0 $ 근처에서 해석적이며, $ t_i = (2\pi i / 5)^{d_i} h_i(q) $ 로 표현되며, 여기서 $ h_i(q) $ 는 $ q = e^{2\pi i \tau_0} $ 에 대한 멱급수이고, $ i=0,\dots,4 $ 에 대해 $ d_i = 3(i+1) $, $ d_5=11 $, $ d_6=8 $ 이다.
• 계열 $ \text{Ra} $ 는 라마누잔 미분방정식의 일반화로, 각 우변이 무게 $ 4,7,10,13,16,12,9 $ 인 동차 유리함수이며, $ \dot{*} = 5q \partial / \partial q $ 에 따른 차수 증가와 일치한다.
• 초기 계수는 $ T_0 = [1/5, -25, -35, -6, 0, -1, -15] $ 과 $ T_1 = [24, -2250, -5350, -355, 1, 1875, 4675] $ 로, 미분계열과 초기 조건에서 계산된다.
• 재귀관계 $ T_n $ 는 $ n \geq 2 $ 에서 가역적이며, $ A_0 + 5nI $ 가 가역적이므로 $ T_0 $ 와 $ T_1 $ 로부터 모든 $ h_{i,n} $ 가 유일하게 결정된다.
• 함수 $ t_i $ 는 주기 적분으로 표현된다: $ x_{11} = \int_{\delta_1} \eta $, $ x_{21} = \int_{\delta_2} \eta $, 등으로, 여기서 $ \delta_i \in H_3(W_{1,z}, \mathbb{Z}) $ 이고, $ \eta $ 는 해석적 3형식이다.
• $ t_i $ 의 $ q $-전개는 미분계열 $ \text{Ra} $ 에 의해 완전히 결정되며, $ \dot{t}_i $ 는 $ \dot{*} = 5q \partial / \partial q $ 를 통해 계산되고, 계수들은 $ q $ 의 차수를 일치시켜 구한다.