[論文レビュー] Periods of double octic Calabi--Yau manifolds

Sławomir Cynk, Duco van Straten|arXiv (Cornell University)|Sep 27, 2017

Advanced Algebra and Geometry参考文献 5被引用数 3

ひとこと要約

この論文は、8つの有理面の配置によって定義される11体の剛性二重八次的カラビ＝ヤウ3次元多様体について、周期積分の数値近似を計算し、それらの周期と関連する重み4の尖点形式の周期との間の共通比を示すことによって、モジュラリティを確認している。結果は、L関数の等しさと周期格子の比例関係を通じて、これらのカラビ＝ヤウ多様体とクーガ＝サトのモジュラー3次元多様体との間の予想される対応関係を支持する。

ABSTRACT

We compute numerical approximations of the period integrals for eleven rigid double octic Calabi--Yau threefolds and compare them with the periods of corresponding weight our cusp forms and find, as to be expected, commensurabilities. These give information on character of the correspondences of these varieties with the associated Kuga-Sato modular threefolds.

研究の動機と目的

• 剛性二重八次的カラビ＝ヤウ3次元多様体のモジュラリティ予想を、それらの周期積分の数値的計算によって検証すること。
• 周期格子の比較を通じて、これらのカラビ＝ヤウ多様体とクーガ＝サトのモジュラー3次元多様体との間の幾何学的・算術的対応関係を調査すること。
• 多面体的3次元サイクルが整数ホモロジー群 $ H_3(\tilde{X}, \bbZ) $ を完全に生成するかどうかを特定すること。これは、ホモロジー構造を完全に理解する上で不可欠である。
• 配置のセル分解の文脈において、多面体的サイクル間の交差数の組合せ的決定法を探索すること。

提案手法

• 8つの有理面の和集合を分岐集合とする $ \bbP^3 $ 上の2重被覆として二重八次的カラビ＝ヤウ3次元多様体を構成すること。
• 特異点を解消するための連続するブ lows-up を用い、滑らかなカラビ＝ヤウ多様体 $ \tilde{X} $ を得る。これに伴い、分岐除集合の解消版 $ \tilde{D} $ も得られる。
• 平面の配置によって誘導される $ \bbP^3(\bbR) $ のセル分解から多面体的3次元サイクルを定義すること。
• 周期積分をこれらの多面体的セル上の重積分の和として表現し、その後数値的に評価すること。
• 得られた数値的周期を、特に $ \text{Re}(\text{周期の} f) $ と $ \text{Im}(\text{周期の} f) $ と比較し、共通比を検証する。具体的には、$ \text{Re}(\text{周期}) \times \text{定数} \times \text{L}(f,2) $ および $ \text{Im}(\text{周期}) \times \text{定数} \times \text{L}(f,1) $ を用いる。
• 2つの比例関係のない周期が生成する格子を用いて、中間ヤコビアンの $ j $-不変量およびワイエルシュトラス方程式を計算すること。

実験結果

リサーチクエスチョン

• RQ1 11体の剛性二重八次的カラビ＝ヤウ3次元多様体の周期積分は、モジュラリティによって予測される対応する重み4の尖点形式の周期と、共通比を示すか？
• RQ2 平面の配置の実セル分解から得られる多面体的3次元サイクルは、整数ホモロジー群 $ H_3(\tilde{X}, \bbZ) $ を完全に生成するか？
• RQ3 配置における相対的位置に基づいて、2つの多面体的3次元サイクル間の交差数を計算する組合せ的ルールは何か？
• RQ4 数値的周期値は、モジュラリティ予想が示すように、$ \text{定数} \times \text{L}(f,1) $ および $ \text{定数} \times \text{L}(f,2) $ と一致するか？
• RQ5 なぜ、係数が $ \bbQ(\root 3 \to{-3}) $ および $ \bbQ(\root 5 \to{5}) $ に属する二重八次的多様体に対しては、これらの手法が信頼できる周期近似を生成できないのか？

主な発見

• 11体の剛性二重八次的カレビ＝ヤウ3次元多様体の数値的周期積分は、$ \text{Re}(\text{周期}) \times \text{定数} \times \text{L}(f,2) $ および $ \text{Im}(\text{周期}) \times \text{定数} \times \text{L}(f,1) $ に対して明確な比例関係を示し、関連する重み4の尖点形式の周期との共通比が確認された。
• 臨界L値 $ L(f,1) $ と $ L(f,2) $ は数値的に計算され、$ L(f,1) $ は約 0.2216 から 2.0341 の範囲、$ L(f,2) $ は 0.5097 から 1.6478 の範囲に分布した。
• 形式 6/1 について、配置 240 と 245 の周期はそれぞれ $ 20\tau^2 L(f,1) $ と $ 18\tau L(f,2) $ に比例し、$ \tau = \text{定数} $ であるため、期待されるスケーリングが確認された。
• 形式 8/1 は6つの異なる配置（1, 32, 69, 93, 238, 241）で出現し、それらの周期は一貫して $ 16\tau^2 L(f,1) $ と $ 16\tau L(f,2) $ に比例した。これは共通のモジュラー構造を示している。
• 形式 32/2（配置 3）について、周期積分は $ 4\tau^2 L(f,1) $ と $ 8\tau L(f,2) $ と一致し、L値との期待される比例関係が確認された。
• 係数が $ \bbQ(\root 3 \to{-3}) $ および $ \bbQ(\root 5 \to{5}) $ に属する二重八次的多様体に対しては、これらの手法が信頼できる近似を生成できなかった。これは、非有理的配置における数値積分の限界を示唆している。