[논문 리뷰] Mirror Symmetry For Zeta Functions

Daqing Wan|ArXiv.org|2004. 11. 22.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 34

한 줄 요약

이 논문은 유한체 위의 칼라비-야우 초면체와 그 거울에 대해 산술 거울 대칭을 확립하고, 일반 조건 하에서 기울기 제타 함수 간의 함수방정식을 증명한다. 두 개의 산술 거울 추측을 제안하며, 일반인 두 다양체의 기울기 제타 함수가 차원의 기현수에 의해 결정되는 이중성 관계를 만족함을 보이며, 기울기 제타 함수에 대해 명시적인 대칭식 $ S_p(X,u,T) = S_p(Y,u,T)^{(-1)^d} $ 가 성립함을 보인다.

ABSTRACT

In this paper, we study the relation between the zeta function of a Calabi-Yau hypersurface and the zeta function of its mirror. Two types of arithmetic relations are discovered. This motivates us to formulate two general arithmetic mirror conjectures for the zeta functions of a mirror pair of Calabi-Yau manifolds.

연구 동기 및 목표

• 유한체 위의 칼라비-야우 초면체와 그 거울의 제타 함수 간의 산술적 관계를 조사하는 것.
• 칼라비-야우 다양체의 거울 쌍에 대한 제타 함수에 대한 일반적인 산술 거울 추측을 수립하는 것.
• 일반 조건 하에서 기울기 제타 함수에 대한 함수방정식을 확립하여 호지 대칭을 반영하는 것.
• 이중성의 함의를 $ \ell $-adic 갈루아 표현의 맥락에서 하세-바일 제타 함수에 대해 탐구하는 것.
• 특히 차원 $ d \leq 3 $ 에서 토릭 초면체 설정에서 추측을 검증하는 것.

제안 방법

• 카우프만 합을 이용해 유한체 위의 칼라비-야우 초면체에서 유리점의 수를 계산하는 공식을 유도한다.
• 유한군 $ G \cong (\mathbb{Z}/(n+1)\mathbb{Z})^{n-1} $ 의 작용을 적용하여 거울을 몫 $ X_\lambda / G $ 로 구성한다.
• 특이 토릭 초면체 $ Y_\lambda $ 의 캐프랑트 해소로 거울 칼라비-야우 다양체 $ W_\lambda $ 를 정의한다.
• $ \ell $-adic 코hom올로지와 갈루아 표현을 이용해 하세-바일 제타 함수 $ \zeta(X_\lambda,s) $ 를 $ \zeta(Y_\lambda,s) $ 와 모티브 $ M_n(\lambda) $ 의 $ L $-함수로 표현한다.
• 포incare 대칭과 호지 대칭을 이용해 기울기 제타 함수 $ S_p(X,u,T) $ 를 프로베니우스 고유값의 기울기들에 대한 곱으로 유도한다.
• 기울기 제타 함수에 대한 함수방정식 $ S_p(X,u,1/(u^dT)) = S_p(X,u,T)(-u^{d/2}T)^{e(X)} $ 를 증명하며, 이는 일반 조건 하에서 거울 대칭을 이끌어낸다.

실험 결과

연구 질문

• RQ1 칼라비-야우 초면체와 그 거울의 제타 함수는 유한체 위에서 어떻게 관련되어 있는가?
• RQ2 일반 조건 하에서 거울 쌍의 기울기 제타 함수에 대해 함수방정식을 확립할 수 있는가?
• RQ3 호지 대칭 $ h^{i,j}(X) = h^{d-i,j}(Y) $ 는 거울 칼라비-야우 다양체의 제타 함수 간에 해당하는 대칭을 유도하는가?
• RQ4 기울기 제타 함수가 거울 쌍에서 $ S_p(X,u,T) = S_p(Y,u,T)^{(-1)^d} $ 를 만족하는 조건은 무엇인가?
• RQ5 최대 일반적인 거울 쌍에 대해 차원 $ d \leq 3 $ 에서 일반적인 일반성 추측이 참인지 확인할 수 있으며, 이는 고차원으로 확장될 수 있는가?

주요 결과

• 기울기 제타 함수는 포incare 대칭과 $ \ell $-adic 코호몰로지로부터 유도된 함수방정식 $ S_p(X,u,1/(u^dT)) = S_p(X,u,T)(-u^{d/2}T)^{e(X)} $ 를 만족한다.
• 차원 $ d $ 의 칼라비-야우 스킴 거울 쌍 $ (X,Y) $ 에 대해, 둘 다 일반적이라면 $ S_p(X,u,T) = S_p(Y,u,T)^{(-1)^d} $ 를 만족하며, 이는 산술 거울 대칭을 확립한다.
• 하세-바일 제타 함수 $ \zeta(X_\lambda,s) $ 는 $ \zeta(Y_\lambda,s)L(M_n(\lambda),s-1) $ 과 관련되며, 여기서 $ M_n(\lambda) $ 는 $ \ell $-adic 코호몰로지로부터 유도된 순수 모티브이다.
• 일반적인 경우의 기울기 제타 함수에 대한 명시적 공식은 $ S_p(X\otimes\mathbb{F}_q,u,T) = \prod_{j=0}^d (1 - u^j T)^{e_j(X)} $ 이며, 여기서 $ e_j(X) = (-1)^j \sum_{i=0}^d (-1)^{i-1} h^{j,i}(X) $ 이다.
• 추측에 따르면 $ d \leq 3 $ 에서 $ X\otimes\mathbb{F}_q $ 와 $ Y\otimes\mathbb{F}_q $ 가 일반적으로 일반적임이 성립하며, $ d \geq 4 $ 에서는 $ p \equiv 1 \pmod{D} $ 인 어떤 $ D $ 에 대해 기대된다.
• 토릭 초면체 설정에서는 [9] 및 [13] 의 결과를 이용해 제타 함수의 거울 대칭을 증명할 수 있으며, 특히 $ d \leq 3 $ 에서는 성립한다.