[論文レビュー] Calabi-Yau manifolds over finite fields. 1.

Philip Candelas, Xenia de la Ossa+1 more|arXiv (Cornell University)|Dec 24, 2000

Algebraic Geometry and Number Theory参考文献 12被引用数 60

ひとこと要約

この論文は有限体上のCalabi-Yau多様体を研究し、特徴的な正則3形式の周期を用いて、パラメータの関数として有理点の数を計算する。1パラメータ族の5次3次元超曲面に対して、多様体とその鏡像の間の深い算術的双対性を確立し、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多様体の算術的性質を調査すること、特に有理点の数を焦点に置く。
• 定義方程式のパラメータが有限体上での有理点の数に与える影響を理解すること。
• 算術的設定におけるCalabi-Yau多様体とその鏡像多様体の間の有理点数の関係を調査すること。
• 正則3形式の周期が、有理点数を明示的に表現する役割を果たす仕組みを検討すること。
• 複素幾何学が自明な場合でも非自明な算術的性質を示す可能性を明らかにするために、退化したケース（例えば0次元のCalabi-Yau多様体）を検討すること。

提案手法

• 有限体上の代数幾何学的手法を用いて、Calabi-Yau多様体の有理点数を計算する。
• 正則3形式の周期を、有理点数を閉形式で表現するための主要な道具として用いる。
• 1パラメータ族の5次3次元超曲面に対しては、素数体上での解の明示的数え上げを実行する。
• 算術的文脈における鏡像対称性の原則を適用し、多様体とその鏡像の両方の有理点数を比較する。
• 楕円曲線や0次元のCalabi-Yau（CP^1内の2次曲面）といった特別なケースを検討し、フレームワークの頑健性を検証する。
• 有限体の算術と、多様体に関連するL関数の性質に依存した分析を行う。

実験結果

リサーチクエスチョン

• RQ1 有限体上のCalabi-Yau多様体の有理点数は、その正則3形式の周期を用いてどのように表現できるか？
• RQ2 有限体の文脈において、Calabi-Yau多様体とその鏡像多様体の間の算術的関係は何か？
• RQ3 複素幾何学的に自明な0次元のCalabi-Yau多様体（CP^1内の2次曲面）が、なぜ有限体上では非自明な算術的構造を示すのか？
• RQ4 1パラメータ族の5次3次元超曲面について、有限体上での有理点数の明示的公式を導出できるか？
• RQ5 定義方程式のパラメータが、算術的文脈における有理点数にどのように影響を与えるか？

主な発見

• 有限体上のCalabi-Yau多様体の有理点数は、その正則3形式の周期を用いて明示的に表現できる。
• 1パラメータ族の5次3次元超曲面に対して、多様体とその鏡像の有理点数は密接に関連しており、算術的鏡像対称性の現象が示唆される。
• 0次元のCalabi-Yau多様体（CP^1内の2次曲面）ですら、複素幾何学が自明であっても、算術的構造は非自明である。
• 多様体の方程式におけるパラメータの依存性は、複素幾何学が自明であっても豊かな算術的挙動を引き起こす。
• この研究により、正則3形式の周期が、有限体設定における算術的数え上げと幾何的不変量の間の橋渡しの役割を果たすことが明らかになった。
• 結果は、楕円曲線を含む低次元ケースにも拡張可能であり、このフレームワークの一般性が示された。