[論文レビュー] 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多様体に対して、正確な算術的・幾何的対応を確立する。5次3次元多様体の1パラメータ族が$ℝ_p$上に定義されるとき、その有理点の個数を、正則3形式の周期の言葉で表現する。p進解析、ガウス和、およびグロス＝コブリッツの公式を用いて、算術的数え上げと周期の特別値との間の明示的公式を導出する。この結果は、0次元の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多様体の有理点の個数と、その正則3形式の周期との間の直接的対応を確立すること。
• この対応を、例えば2次曲面などの0次元Calabi-Yau多様体や楕円曲線へと拡張し、複素幾何が自明であっても非自明な算術的性質が現れることを明らかにすること。
• パラメータ$\lambda = 1/(5\psi)^5$の高次の展開とフロベニウス法を用いて、有限体$\mathbb{F}_{p^s}$への一般化を図ること。
• 周期に含まれる算術的構造が、周期自体が整数でなくても、点数の算術的性質に埋め込まれていることを示すこと。
• グロス＝コブリッツの公式とタイヒミュラー上昇を用いて、異なる体やパラメータ領域における有理点の個数の記述を統一すること。

提案手法

• 5次3次元多様体族の周期のピカード＝フック微分方程式を用い、$\mathcal{L} = \vartheta^4 - 5\lambda \prod_{i=1}^4 (5\vartheta + i)$として、$\lambda = 0$近傍における周期の挙動を分析する。
• p進解析、特にp進$\Gamma$関数とタイヒミュラー代表元を用いて、有理点の個数$\nu(\psi)$を周期の切り捨て級数の形で表現する。
• ガウス和とドゥークの特徴を用いて、$\mathbb{F}_p^*$上での指数和を通じて点数を表現し、グロス＝コブリッツの公式から得られる係数を用いる。
• $\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$を用いて、$\epsilon^5$のオーダーで$\nu(\psi)$の一般式を導出する。
• パラメータ$p$を$q = p^s$に置き換え、$\Theta$を$\Theta_s$に置き換え、一般化ガウス和$G_{s,n}$を用いることで、フロベニウス法を適用し、$\mathbb{F}_{p^s}$上での有理点の個数を計算する。
• 特徴の展開$\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多様体の有理点の個数は、その正則3形式の周期で表現可能か？
• RQ2 特に複素構造が自明な場合に、点数の算術的性質と多様体の複素幾何の関係は何か？
• RQ3 高次拡張$\mathbb{F}_{p^s}$への点数の一般化公式は何か？また、この拡張に伴い係数はどのように変化するか？
• RQ4 $5 \mid p-1$と$5 \not\mid p-1$の場合における周期とガウス和の相互作用は何か？
• RQ5 同様の枠組みは、$\mathbb{P}^1$内の2次曲面などの0次元Calabi-Yau多様体にも適用可能か？また、どのような算術的構造が現れるか？

主な発見

• 有限体$\mathbb{F}_p$上の5次3次元多様体の有理点の個数$\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}$とグロス＝コブリッツの公式を含む。
• 0次元Calabi-Yau多様体（$\mathbb{P}^1$内の2次曲面）は、パラメータに依存する複素幾何が自明であるにもかかわらず、非自明な算術的性質を示す。これは、算術的構造が複素幾何とは独立に存在しうることを示している。
• $1/(5\psi)^5$の級数展開の係数は整数であるが、周期$\varpi_1$自体は整数でない。これは、周期の組み合わせから数論的性質が生じることを示している。
• 一般のトーリック多様体内の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}$を中心とする質量配置の和を取る。