[論文レビュー] Mirror Symmetry For Zeta Functions

Daqing Wan|ArXiv.org|Nov 22, 2004

Algebraic Geometry and Number Theory参考文献 14被引用数 34

ひとこと要約

本稿は、有限体上でのカーミー＝ヤウ超曲面とその鏡対称対のゼータ関数に対して算術的鏡対称性を確立し、通常条件の下でその傾きゼータ関数を関連付ける関数方程式を証明する。2つの算術的鏡対称予想を提示し、両者が通常である場合、鏡対の傾きゼータ関数が次元の偶奇によって支配される双対性を満たすことを示す。具体的には、$ 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.

研究の動機と目的

• 有限体上でのカーミー＝ヤウ超曲面とその鏡対のゼータ関数の算術的関係を調査すること。
• カーミー＝ヤウ多様体の鏡対のゼータ関数に対して一般化された算術的鏡対称予想を定式化すること。
• 通常条件の下で傾きゼータ関数の関数方程式を確立し、ホッジ対称性を反映すること。
• ℓ-進ガロア表現の文脈において、この双対性がハッセ＝ヴァイルゼータ関数に与える影響を調査すること。
• 特に次元 $ d \leq 3 $ のトーリック超曲面設定において、予想を検証すること。

提案手法

• 有限体上でのカーミー＝ヤウ超曲面の有理点の個数を数えるためのガウス和の技法を用いる。
• 有限群 $ G \cong (\mathbb{Z}/(n+1)\mathbb{Z})^{n-1} $ の作用を用いて、鏡を商 $ X_\lambda / G $ として構成する。
• 特異なトーリック超曲面 $ Y_\lambda $ の正則解消として鏡カーミー＝ヤウ多様体 $ W_\lambda $ を定義する。
• $ \ell $-進コホロロジーとガロア表現に依拠し、$ X_\lambda $ のハッセ＝ヴァイルゼータ関数を $ \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 $ の最大一般な鏡対に対して、一般に通常であるという予想は真か？また、高次元へは拡張可能か？

主な発見

• 傾きゼータ関数は、Poincaré双対性と $ \ell $-進コホロロジーから導かれる関数方程式 $ S_p(X,u,1/(u^dT)) = S_p(X,u,T)(-u^{d/2}T)^{e(X)} $ を満たす。
• 有限体 $ W(\mathbb{F}_q) $ 上の $ 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 $-進コホロロジーからの純モチーフである。
• 通常の場合の傾きゼータ関数の明示的公式は、$ 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 $ の場合、ゼータ関数の鏡対称性は証明可能である。