[论文解读] Equalities, congruences, and quotients of zeta functions in Arithmetic Mirror Symmetry

C. Douglas Haessig|ArXiv.org|Jan 8, 2005

Graph theory and applications参考文献 4被引用 4

一句话总结

本文通过在有限域上证明卡拉比-丘超曲面 $X_\lambda$ 及其镜像 $Y_\lambda$ 的 zeta 函数的同余与等式关系，扩展了算术镜像定理。当 $\gcd(n+1, q^k - 1) = 1$ 时，$X_\lambda$ 与 $Y_\lambda$ 在 $\mathbb{F}_{q^k}$ 上的有理点数量相等；当该最大公因数大于 1 时，两点计数分别满足模 $d$ 和 $\ell d$ 的特定同余式，其中 $Y_\lambda$ 的计数取决于 $\psi^{n+1} = 1$ 是否成立。这些结果表明，它们 zeta 函数的商是一个具有整数系数和特定纯度性质的有理函数。

ABSTRACT

In this paper, we partially extend recent results of Wan concerning the relationship between the zeta functions of a Calabi-Yau hypersurface and its (singular) mirror variety.

研究动机与目标

• 将 [2] 中的算术镜像定理推广至 $\gcd(n+1, q^k - 1) > 1$ 的情形。
• 分析有限域上镜像对 $X_\lambda$ 与 $Y_\lambda$ 的 zeta 函数的商。
• 在基域中存在单位根时，建立 $X_\lambda$ 与 $Y_\lambda$ 在 $\mathbb{F}_{q^k}$ 上的有理点数的同余关系。
• 证明 zeta 函数的商是一个具有整数系数和纯度性质的有理函数，即使在 $(n+1) \mid q-1$ 条件不成立时也成立。
• 在特定条件下，证明 zeta 函数的商是具有指定权重与次数的不可约多项式的乘积。

提出的方法

• 使用高斯和将 $X_\lambda$ 与 $Y_\lambda$ 在 $\mathbb{F}_{q^k}$ 上的有理点数表示为特征和的形式。
• 通过群 $G$ 及其子群的作用计数具有对称性的点，利用自由作用推导出其可被 $d = \gcd(n+1, q^k - 1)$ 整除。
• 当 $n+1$ 为素数幂时，利用中国剩余定理将模 $d$ 与模 $\ell$ 的结果合并。
• 将 $Y_\lambda$ 上点的计数问题约化为在 $\mathbb{A}^{n+1}$ 中求解对称方程组：$x_1 + \cdots + x_{n+1} = (n+1)\psi$ 且 $x_1 \cdots x_{n+1} = 1$ 的解。
• 通过模 $\ell$ 的轨道计数方法，证明仅所有坐标相等的解对 $N_\lambda^*$ 模 $\ell$ 有贡献，从而导出 $\psi^{n+1} = 1$ 的条件。
• 应用 zeta 函数的函数方程及 $Z(X_\lambda / \mathbb{F}_q, T)$ 的结构，证明商是权重为 $n-3$ 的不可约多项式的乘积。

实验结果

研究问题

• RQ1 在何种条件下，$X_\lambda$ 与 $Y_\lambda$ 在 $\mathbb{F}_{q^k}$ 上的有理点数相等？
• RQ2 当 $d = \gcd(n+1, q^k - 1) > 1$ 时，$X_\lambda$ 与 $Y_\lambda$ 的点计数模 $d$ 如何表现？
• RQ3 zeta 函数的商 $Z(X_\lambda / \mathbb{F}_q, T) / Z(Y_\lambda / \mathbb{F}_q, T)$ 的结构是什么？它是否为具有整数系数的多项式？
• RQ4 能否在不依赖 $(n+1) \mid q-1$ 条件下，仍保证 zeta 函数的商为多项式？
• RQ5 当 $n+1$ 为素数 $\ell$ 的幂时，$\#Y_\lambda(\mathbb{F}_{q^k})$ 模 $\ell$ 的精确同余行为如何？

主要发现

• 当 $\gcd(n+1, q^k - 1) = 1$ 时，$\#X_\lambda(\mathbb{F}_{q^k}) = \#Y_\lambda(\mathbb{F}_{q^k})$ 精确成立。
• 当 $d = \gcd(n+1, q^k - 1) > 1$ 时，$\#X_\lambda(\mathbb{F}_{q^k}) \equiv 0 \pmod{d}$。
• 若 $n+1 = \ell^m$（$\ell$ 为素数），则 $\#X_\lambda(\mathbb{F}_{q^k}) \equiv 0 \pmod{\ell d}$。
• 当 $\lambda = -(n+1)\psi$ 时，若 $\psi^{n+1} = 1$，则 $\#Y_\lambda(\mathbb{F}_{q^k}) \equiv 1 \pmod{\ell}$；否则为 $0$。
• 商 $\left( \frac{Z(X_\lambda / \mathbb{F}_q, T)}{Z(Y_\lambda / \mathbb{F}_q, T)} \right)^{(-1)^n}$ 是不可约多项式 $Q_i(q^k T^k)^{\rho_i / k}$ 的乘积，其中 $Q_i \in 1 + T\mathbb{Z}[T]$ 且具有纯权重 $n-3$。
• 指数之和 $\rho_1 + \cdots + \rho_s$ 等于 $\frac{n(n^n - (-1)^n)}{n+1} - n$。