[論文レビュー] Smoothing Calabi-Yau toric hypersurfaces using the Gross-Siebert algorithm

Thomas Prince|arXiv (Cornell University)|Sep 4, 2019

Algebraic Geometry and Number Theory参考文献 53被引用数 4

ひとこと要約

本稿は、4次元の自己双対的多面体のミンコフスキー分解を用いて、Gross-Siebertアルゴリズムの新しい応用を提示し、ピカール数が1（b₂ = 1）である単連結なカラビ＝ヤウ3次元多様体の14の新しい位相型を構成した。対数幾何的技法を用いてトーリック超曲面の退化の境界を滑らかにし、トロピカルモデル上で位相的不変量を計算することで、従来未知であったカラビ＝ヤウ族を同定した。その中には、整数モノドロミーを持つカラビ＝ヤウ微分作用素によって予測されたものも含まれる。

ABSTRACT

We explain how to form a novel dataset of simply connected Calabi-Yau threefolds via the Gross-Siebert algorithm. We expect these to degenerate to Calabi-Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated) singularities. In particular, we explain how to `smooth the boundary' of a class of $4$-dimensional reflexive polytopes to obtain a polarised tropical manifolds. We compute topological invariants of a compactified torus fibration over each such tropical manifold, expected to be homotopy equivalent to the general fibre of the Gross-Siebert smoothing. We consider a family of examples related to the joins of elliptic curves. Among these we find $14$ topological types with $b_2=1$ which do not appear in existing lists of known rank one Calabi-Yau threefolds.

研究の動機と目的

• Gross-Siebertプログラムを用いて、特にピカール数1の小さなピカール数を持つ単連結なカラビ＝ヤウ3次元多様体の新しい例を構成すること。
• これまでに151件の構成が知られていたが、そのうち20件は予想にとどまっていたピカール数1のカラビ＝ヤウ3次元多様体のギャップを埋めること。
• 自己双対的多面体の2次元面のミンコフスキー分解を用いて、ゴレンシュタイン特異点を持つカラビ＝ヤウトーリック超曲面を滑らかにするための幾何学的かつアルゴリズム的枠組みを提供すること。
• トロピカルモデル空間 X(P,D) を用いて、滑らか化族の一般ファイバーの位相的不変量（例えばオイラー標数やベッチ数）を計算すること。
• 14の新しい位相型が既存のデータベースに存在しないこと、および1つが微分作用素理論による予想例と一致することを確認することで、構成を検証すること。

提案手法

• 4次元の自己双対的多面体 P と、P の各2次元面のミンコフスキー分解 D（標準単体：1次元および2次元単体に分解）を用い、ペア (P,D) を構成する。
• ペア (P,D) は、局所的に剛性があり、正のトーリック対数カラビ＝ヤウ空間 X₀(P,D) を定義し、これは対数カラビ＝ヤウ多様体の形式的退化の中心ファイバーである。
• ペア (P,D) に正則性（regularity）という極性条件を課すことで、整数アフィン多様体 B 上に厳密に凸な分岐線形関数の存在が保証され、Gross-Siebertアルゴリズムの適用が可能になる。
• アルゴリズムにより、複素数平面内の円板上への退化が構成され、一般ファイバーは滑らかなカラビ＝ヤウ3次元多様体になると期待される。
• Grossによって導入された位相的モデル空間 X(P,D) を用いて、位相的不変量を計算する。これは、対数カラビ＝ヤウ空間のKato-Nakayama空間とホモトピー同値であると予想されている。
• この構成は、楕円曲線の結合に関連する多面体族に適用され、特に P₆,₆、P₅,₆、P₄,₆ などに適用され、正則な構成の体系的列挙が行われた。

実験結果

リサーチクエスチョン

• RQ1 Gross-Siebertアルゴリズムは、非孤立なゴレンシュタイン特異点を持つカラビ＝ヤウトーリック超曲面を体系的に滑らかにできるか？
• RQ2 中心ファイバーがミンコフスキー分解から構成されたトーリック対数カラビ＝ヤウ空間であるとき、滑らか化の一般ファイバーから生じる位相的不変量は何か？
• RQ3 既存の分類に存在しない、b₂ = 1 である単連結なカラビ＝ヤウ3次元多様体の新しい位相型は存在するか？
• RQ4 整数モノドロミーを持つカラビ＝ヤウ微分作用素の存在は、新しいカラビ＝ヤウ3次元多様体の存在を予測するものか？ そして、このような例は本手法によって構成可能か？
• RQ5 本研究の結果は、トーリック退化や正則交差滑らか化による既存の構成とどの程度重複し、あるいはそれらを拡張するか？

主な発見

• 著者らは、既存の知られているピカール数1の例のリストに存在しない、b₂ = 1 である単連結なカラビ＝ヤウ3次元多様体の14の新しい位相型を構成した。
• その中で1つの位相型は、整数モノドロミーを持つカラビ＝ヤウ微分作用素の存在によって予想された例と一致した。
• 本構成により、P₆,₆、P₅,₆、P₄,₆ の多面体族から14の新しい例が得られ、2次元面のミンコフスキー分解の特定の配置が関与した。
• P₆,₆ に対しては、12個の異なる配置が正則な (P,D) ペアを生成し、オイラー標数 χ は -72 から -48 の間、b₂ は 1 から 5 の間を変動した。
• P₄,₆ に対しては、11個の異なる配置が同定され、χ は -72 から -56 の間、b₂ は 1 から 4 の間を変動した。そのうち1つは b₂ = 4 を示した。
• 結果は、トロピカルモデル X(P,D) が Kato-Nakayama 空間とホモトピー同値であるという予想と整合しており、信頼性の高い位相的不変量の計算が可能であることが裏付けられた。