[論文レビュー] Classification of toric Fano 5-folds

Maximilian Kreuzer, Benjamin Nill|arXiv (Cornell University)|Feb 28, 2007

Algebraic Geometry and Number Theory参考文献 13被引用数 8

ひとこと要約

本稿では、すべての頂点からある facet までの整数距離が小さいという性質に基づく、5次元非特異的トーリックファノ多面体の同型類 866 個の計算的分類を、新規のアルゴリズムを用いて提示する。このような facet 沿いのファノ多面体の射影と、格子距離による最後の座標の上限を用いることで、4次元の反射的多面体のデータベースを活用し、5次元ファノ多面体を体系的に列挙し、この次元における分類を完了する。

ABSTRACT

We obtain 866 isomorphism classes of five-dimensional nonsingular toric Fano varieties using a computer program and the database of four-dimensional reflexive polytopes. The algorithm is based on the existence of facets of Fano polytopes having small integral distance from any vertex.

研究の動機と目的

• d = 5 の次元における非特異的トーリックファノ多面体の d 次元分類を完了し、d ≤ 4 の既知の結果を拡張すること。
• 4次元の反射的多面体の分類から、5次元のすべてのファノ多面体を回復できる効果的なアルゴリズムを開発すること。
• すべての頂点がある facet から整数距離 ≤ 5 以内にあるという組合せ的基準を確立し、列挙のための有界な探索空間を可能にすること。
• 格子幾何学と射影技術を用いて、高次元のファノ多面体を分類する計算フレームワークを提供すること。
• 双対多面体のネフ分割を用いて得られる完全交差カルビ・ヤウ3-fold のホッジ数を計算し、リスト化すること。

提案手法

• 任意の5次元ファノ多面体が、すべての頂点が整数距離 ≤ 5 以内にある facet F を持つという鍵となる洞察を活用し、座標の有界な射影を可能にする。
• そのような facet F の頂点からなる格子基底を固定し、1つの座標方向に多面体を射影することで、問題を4次元における解析に還元する。
• 4次元の反射的多面体の既知の分類（PALP によるもの）を、5次元ファノ多面体の再構成の出発点として用いる。
• 各射影された4次元反射的多面体に対して、各頂点の最後の座標の取り得る値を、整数距離条件により上限付ける。
• PALP ソフトウェアパッケージにアルゴリズムを実装し、候補となるすべての5次元ファノ多面体を体系的に生成・検証する。
• 格子同型性テストにより同型類を検証し、結果を双対多面体の頂点として保存する。

実験結果

リサーチクエスチョン

• RQ1 4次元の反射的多面体の分類を拡張することで、5次元非特異的トーリックファノ多面体の分類を達成できるか？
• RQ2 すべての5次元ファノ多面体は、すべての頂点が整数距離 ≤ 5 以内にある facet を持つのか？
• RQ3 5次元非特異的トーリックファノ多面体の同型類の総数はいくつなのか？
• RQ4 双対ファノ多面体のネフ分割から、何個の完全交差カルビ・ヤウ3-fold を構成できるか？
• RQ5 得られるカルビ・ヤウ3-fold のホッジ数の分布はどのようなものか？

主な発見

• 5次元非特異的トーリックファノ多面体の同型類は、ちょうど 866 個存在する。
• 分類は、すべての頂点から整数距離が小さい facet 沿いの5次元ファノ多面体の射影により達成され、探索空間が有界な座標範囲に制限された。
• アルゴリズムは、格子に基づく射影法を用いて、4次元の反射的多面体データベースからすべての5次元ファノ多面体を効果的に回復した。
• 5次元ファノ多面体のリスト（ facet 不等式および双対多面体の頂点を含む）は、参照されたウェブページ [13] を介して公開されている。
• 5次元ファノ多面体から、長さ2のネフ分割を用いて、合計 36,233 個の完全交差カルビ・ヤウ3-fold が構成された。
• これらのカルビ・ヤウ3-fold は 421 種類の異なるホッジ数のペア (h^{11}, h^{21}) を示し、そのうち 59 種類は4次元ゴレンシュタイン・トーリックファノ多面体における反カノニカル超曲面として実現可能でない。