[論文レビュー] Toric Fano 3-folds with terminal singularities

Alexander Kasprzyk|arXiv (Cornell University)|Nov 17, 2003

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

ひとこと要約

本稿では、GL(3,ℤ)同値類の下で、原点を唯一の非頂点格子点として含むℤ³内の凸格子多面体を特定する組合せ的問題を解くことにより、終極的特異点をもつすべてのトーリックFano 3-foldを分類している。頂点追加による再帰的アルゴリズムを用い、最小多面体から出発して、全634個のこのような多面体を計算した。そのうち233個はQ-因子的特異点をもつもので、401個は終極的だが非Q-因子的特異点をもつ。

ABSTRACT

This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.

研究の動機と目的

• 純粋な組合せ的アプローチを用いて、終極的特異点をもつすべてのトーリックFano 3-foldを分類すること。
• 原点を唯一の内部格子点として含むℤ³内の凸格子多面体をすべて特定するという同等の問題を解くこと。
• GL(3,ℤ)同値類の下で、このような多面体の完全リスト（最小および最大代表元を含む）を特定すること。
• 最小ケースから再帰的頂点追加により、すべてのこのようなFano多面体を生成するためのアルゴリズム的枠組みを提供すること。
• 完全な分類および関連データをオンラインリポジトリを通じて公開し、今後の研究利用を可能にすること。

提案手法

• 分類は、トーリックFano多様体と原点を唯一の内部格子点として含む凸格子多面体との対応関係に基づく。
• 既存の多面体に頂点を追加する再帰的アルゴリズムを用い、最小多面体から出発してFano多面体を成長させる。
• 頂点追加は幾何的条件で制限される：新たな頂点は、現在の多面体の境界上にある点（頂点、辺、面に対応する点）を通る原点からの放射上に位置しなければならない。
• アルゴリズムは、結果の多面体がFanoの性質を保つかどうかを確認する。これは、原点が唯一の内部格子点であり、すべての頂点が格子点であることを意味する。
• 計算機的実装として、オンラインで利用可能なC言語プログラムを用い、GL(3,ℤ)同値類の下で全多面体を生成した。
• 分類は、すべての可能な頂点追加が有限であり、結果の多面体がFanoおよび終極的条件を満たすことを確認することで検証された。

実験結果

リサーチクエスチョン

• RQ1 同型の下で、終極的特異点をもつトーリックFano 3-foldはいくつ存在するか？
• RQ2 原点を唯一の非頂点格子点として含むℤ³内の凸格子多面体の完全リストは何か？
• RQ3 これらの多面体のうち、Q-因子的または非Q-因子的終極的特異点に対応するのはどれか？
• RQ4 分類の最小および最大代表元は何か？また、それらは頂点追加によってどのように関連づけられるか？
• RQ5 最小ケースからの組合せ的成長を用いて、このようなFano多面体の有限かつアルゴリズム的な分類が可能か？

主な発見

• 終極的特異点をもつトーリックFano 3-foldのうち、Q-因子的特異点をもつものは正確に233個であり、そのうち18個は滑らかである。
• 追加で401個のトーリックFano 3-foldが終極的だが非Q-因子的特異点をもち、合計で634個のこのような多様体が存在する。
• 分類にはピカール数1のFano多面体が8個、またQ-因子的特異点をもつ最小ケースが合計12個含まれる。
• 最大Fano多面体は表6にリストアップされており、最大で14個の頂点を持ち、単体的である。
• 頂点数別の多面体の分布は、8個の頂点でピーク（151個）を示し、14個の頂点を持つ多面体は1つだけである。
• 完全リスト（親子関係を含む）は、http://www.maths.bath.ac.uk/~mapamk/pdf/FanoList.pdf にてオンラインで入手可能である。