[论文解读] Calabi-Yau Manifolds Over Finite Fields, I

Philip Candelas, Xenia de la Ossa+1 more|ArXiv.org|Dec 24, 2000

Geometry and complex manifolds被引用 14

一句话总结

本文通过将有限域上五次三复数流形族的有理点数表示为全纯三形式周期的函数，建立了 Calabi-Yau 流形在有限域上的精确算术-几何对应关系。利用 p-进方法、高斯和以及 Gross-Koblitz 公式，推导出将算术计数与周期特殊值相联系的显式公式，该结果推广至零维 Calabi-Yau 流形和椭圆曲线。

ABSTRACT

We study Calabi-Yau manifolds defined over finite fields. These manifolds have parameters, which now also take values in the field and we compute the number of rational points of the manifold as a function of the parameters. The intriguing result is that it is possible to give explicit expressions for the number of rational points in terms of the periods of the holomorphic three-form. We show also, for a one parameter family of quintic threefolds, that the number of rational points of the manifold is closely related to as the number of rational points of the mirror manifold. Our interest is primarily with Calabi-Yau threefolds however we consider also the interesting case of elliptic curves and even the case of a quadric in CP_1 which is a zero dimensional Calabi-Yau manifold. This zero dimensional manifold has trivial dependence on the parameter over C but a not trivial arithmetic structure.

研究动机与目标

• 建立有限域上 Calabi-Yau 流形的有理点数与其全 holomorphic 三形式周期之间的直接对应关系。
• 将此对应关系推广至零维 Calabi-Yau 流形（例如二次曲面）和椭圆曲线，揭示尽管复几何平凡，仍存在非平凡算术结构。
• 通过 Frobenius 方法和参数 $\lambda = 1/(5\psi)^5$ 的高阶展开，将点计数公式推广至有限域 $\mathbb{F}_{p^s}$。
• 证明点计数的算术结构编码于周期之中，即使周期本身并非整数。
• 通过 Gross-Koblitz 公式和 Teichmüller 提升，统一描述不同域和参数区域下的有理点计数。

提出的方法

• 利用五次三复数流形族的 Picard-Fuchs 微分方程，其中 $\mathcal{L} = \vartheta^4 - 5\lambda \prod_{i=1}^4 (5\vartheta + i)$，分析 $\lambda = 0$ 附近周期的行为。
• 应用 p-进分析，包括 p-进 $\Gamma$-函数和 Teichmüller 代表元，将有理点数 $\nu(\psi)$ 表示为周期截断级数的形式。
• 利用高斯和与 Dwork 的特征标，通过 $\mathbb{F}_p^*$ 上的指数和表达点计数，其中系数由 Gross-Koblitz 公式导出。
• 通过将周期按 $\log \lambda$ 的幂展开，利用假设 $f_{\mathbf{v},i}(\lambda) = \sum_m \left. \frac{d^i A_{\mathbf{v},m}(\epsilon)}{d\epsilon^i} \right|_{\epsilon=0} \lambda^m$，推导出 $\nu(\psi)$ 模 $\epsilon^5$ 的通解公式。
• 应用 Frobenius 方法计算 $\mathbb{F}_{p^s}$ 上的有理点数，将 $p$ 替换为 $q = p^s$，$\Theta$ 替换为 $\Theta_s$，并使用广义高斯和 $G_{s,n}$。
• 通过特征展开 $\Theta(y) = \sum_{n=0}^{p-2} \frac{1}{n!} \left( \frac{p}{1-p} \right)^n g_n(y)$，将点计数表示为含 $g_n(y)$ 和 $f_{\mathbf{v},j}^{(k)}$ 的系数的单项式之和。

实验结果

研究问题

• RQ1 能否将有限域 $\mathbb{F}_p$ 上 Calabi-Yau 流形的有理点数表示为其全 holomorphic 三形式周期的函数？
• RQ2 点计数的算术结构与流形的复几何之间有何关系，特别是在复结构平凡的情况下？
• RQ3 点计数公式的推广形式如何适用于更高次扩域 $\mathbb{F}_{p^s}$？系数在该扩张下如何变换？
• RQ4 当 $5 \mid p-1$ 与 $5 \not\mid p-1$ 时，周期与高斯和之间如何相互作用？
• RQ5 该框架能否应用于零维 Calabi-Yau 流形（如 $\mathbb{P}^1$ 中的二次曲面）？此时会涌现出何种算术结构？

主要发现

• 有限域 $\mathbb{F}_p$ 上五次三复数流形的有理点数 $\nu(\psi)$ 由下式给出：$\nu(\psi) = p^4 + \mathcal{I} + \sum_{\mathbf{v}} \gamma_{\mathbf{v}} (-p)^{w(\mathbf{v})} \sum_{k=0}^4 \frac{1}{k!} \left( \frac{p}{1-p} \right)^k g_{\mathbf{v},k} \sum_{j=0}^4 \frac{1}{j!} \left( \frac{p}{1-p} \right)^j {}^{(p-2)}f_{\mathbf{v},j}^{(k)}(\text{Teich}(\lambda))$，明确建立了算术与周期之间的联系。
• 当 $5 \not\mid p-1$ 时，$\mathbb{F}_{p^s}$ 上的点计数 $\nu_s(\psi)$ 与 (6.20) 和 (6.21) 中提出的公式一致，验证了在域扩张下的自洽性。
• 当 $5 \mid p-1$ 时，公式变为 $\nu_s(\psi) = q^4 + \sum_{\mathbf{v}} \gamma_{\mathbf{v}} \sum_{m=0}^{q-2} \beta_{s,\mathbf{v},m} \text{Teich}^m(\lambda)$，其中系数 $\beta_{s,\mathbf{v},m}$ 涉及广义高斯和 $G_{s,n}$ 和 Gross-Koblitz 公式。
• 零维 Calabi-Yau 流形（$\mathbb{P}^1$ 中的二次曲面）尽管其复几何对参数依赖平凡，却表现出非平凡算术结构，表明算术结构可独立于复几何存在。
• 在 $1/(5\psi)^5$ 的级数展开中，系数为整数，即使周期 $\varpi_1$ 本身非整数，说明数论性质源于周期的组合。
• 对于一般 toric 簇中的 Calabi-Yau 超曲面，点计数表达为 $p\nu^*(\alpha) - (p-1)^{N+4} = \frac{1}{(p-1)^{\text{pts}(\Delta)-N-5}} \sum_{\sum s_{\mathbf{m}} \mathbf{m} = \sigma \mathbf{1}} (-\phi)^{-\sigma} G_\sigma \prod_{\mathbf{m}} \alpha_{\mathbf{m}}^{s_{\mathbf{m}}} G_{-s_{\mathbf{m}}}$，求和范围为以内部点 $\mathbf{1}$ 为中心的质量构型。