[论文解读] Mirror Symmetry For Zeta Functions

Daqing Wan|ArXiv.org|Nov 22, 2004

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

一句话总结

该论文在有限域上建立了卡拉比-丘超曲面及其镜像的L函数的算术镜像对称性，证明了在普通条件下，其斜率L函数满足一个函数方程。论文提出了两个算术镜像猜想，表明镜像对的斜率L函数满足由维度奇偶性决定的对偶性，当两个流形均为普通时，显式对称关系为 $ 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.

研究动机与目标

• 研究卡拉比-丘超曲面及其在有限域上的镜像之间的L函数之间的算术关系。
• 为卡拉比-丘流形镜像对的L函数提出一般性的算术镜像猜想。
• 在普通条件下建立斜率L函数的函数方程，反映霍奇对称性。
• 探讨这种对偶性在 $ \ell $-adic伽罗瓦表示背景下对Hasse-Weil L函数的影响。
• 在toric超曲面设定下验证该猜想，特别是针对维度 $ d \leq 3 $ 的情况。

提出的方法

• 使用高斯和技巧，推导出有限域上卡拉比-丘超曲面有理点数的计数公式。
• 通过有限群 $ G \cong (\mathbb{Z}/(n+1)\mathbb{Z})^{n-1} $ 的作用，将镜像构造为商空间 $ X_\lambda / G $。
• 将镜像卡拉比-丘流形 $ W_\lambda $ 定义为奇异toric超曲面 $ Y_\lambda $ 的一个共形解析化。
• 依赖 $ \ell $-adic上同调和伽罗瓦表示，将 $ X_\lambda $ 的Hasse-Weil L函数表示为 $ \zeta(Y_\lambda,s) $ 和一个动机 $ M_n(\lambda) $ 的L函数的乘积。
• 利用庞加莱对偶性和霍奇对称性，将斜率L函数 $ S_p(X,u,T) $ 表示为弗罗贝尼乌斯特征值斜率的乘积。
• 证明函数方程 $ S_p(X,u,1/(u^dT)) = S_p(X,u,T)(-u^{d/2}T)^{e(X)} $，该方程在普通条件下导致镜像对称性。

实验结果

研究问题

• RQ1 卡拉比-丘超曲面及其镜像在有限域上的L函数之间有何关系？
• RQ2 在普通条件下，能否为镜像对的斜率L函数建立函数方程？
• RQ3 霍奇对称性 $ h^{i,j}(X) = h^{d-i,j}(Y) $ 是否意味着镜像卡拉比-丘流形的L函数之间存在相应的对称性？
• RQ4 在何种条件下，镜像对的斜率L函数满足 $ S_p(X,u,T) = S_p(Y,u,T)^{(-1)^d} $？
• RQ5 对于维度 $ d \leq 3 $ 的最大通用镜像对，其一般普通猜想是否成立？能否将其推广至更高维度？

主要发现

• 斜率L函数满足函数方程 $ S_p(X,u,1/(u^dT)) = S_p(X,u,T)(-u^{d/2}T)^{e(X)} $，该方程由庞加莱对偶性和 $ \ell $-adic上同调推导得出。
• 对于 $ W(\mathbb{F}_q) $ 上的 $ d $-维卡拉比-丘概形镜像对 $ (X,Y) $，若其约化均为普通，则有 $ S_p(X,u,T) = S_p(Y,u,T)^{(-1)^d} $，从而确立了算术镜像对称性。
• Hasse-Weil L函数满足 $ \zeta(X_\lambda,s) = \zeta(Y_\lambda,s)L(M_n(\lambda),s-1) $，其中 $ M_n(\lambda) $ 是来自 $ \ell $-adic上同调的纯动机。
• 在普通情形下，斜率L函数的显式公式为 $ 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 $ 一般为普通，且当 $ p \equiv 1 \pmod{D} $ 时，预期对 $ d \geq 4 $ 也成立。
• 在toric超曲面设定下，利用文献[9]和[13]的结果，可证明L函数的镜像对称性，尤其适用于 $ d \leq 3 $ 的情况。