[論文レビュー] Convex lattice polytopes and cones with few lattice points inside, from a birational geometry viewpoint

Alexandr Borisov|ArXiv.org|Jan 19, 2000

Algebraic Geometry and Number Theory参考文献 20被引用数 15

ひとこと要約

この論文は、内部に格子点をもたないような格子多面体と、少ない格子点しか持たない単体的有理錐に関する既知の結果を統合し、それらが双有理幾何やトーリックファノ多様体において果たす役割に焦点を当てる。Hensleyの有限性定理について、次元と正の $\varepsilon$ に対して、$\varepsilon$ スケーリングにおいて内部格子点をもたない格子多面体が有限個しか存在しないことを、コンパクト性と格子群の力学的性質に基づく幾何的証明によって示している。

ABSTRACT

It is pretty well-known that toric Fano varieties of dimension k with terminal singularities correspond to convex lattice polytopes P in R^k of positive finite volume, such that intersection of P and Z^k consists of the point 0 and vertices of P. Likewise, Q-factorial terminal toric singularities essentially correspond to lattice simplexes with no lattice points inside or on the boundary (except the vertices). There have been a lot work, especially in the last 20 years or so on classification of these objects. The main goal of this paper is to bring together these and related results, that are currently scattered in the literature. We also want to emphasize the deep similarity between the problems of classification of toric Fano varieties and classification of Q-factorial toric singularities.

研究の動機と目的

• 双有理幾何の観点から、散在する凸格子多面体および少ない格子点しか持たない錐に関する既存の結果を統一・明確化すること。
• トーリックファノ多様体の分類と $\mathbb{Q}$-因子的トーリック特異点の間の深い構造的類似性を強調すること。
• 内部格子点をもたない $\varepsilon$ スケーリングにおける格子多面体のHensleyの有限性定理の定性的なバージョンに対する、新しい幾何的証明を提供すること。
• 格子多面体分類および特異点論における今後の研究の方向性を示唆する未解決問題を特定すること。

提案手法

• Minkowskiの補題を用いて単体の状況に還元し、特に頂点が整数格子を生成するものに注目する。
• 標準的開単体 $\Delta \subset T^k$ におけるコンパクト性を用いて、格子点の集積点を分析する。
• 群論的力学の応用：列 $O_i$ が $O^*$ に収束するならば、$nO_i$ は十分に大きな $n$ に対して単体内に入り、$O_i$ とは異なる点になる。もし他に格子点が存在しないならば、これは矛盾を引き起こす。
• 列 $nO_i$ が $nO^*$ に近接する密度に基づく背理法：このような列は、追加の格子点が存在しない限り存在し得ないことを示す。
• 元の格子と単体の頂点が生成する格子の商格子構造を用いて、問題を有限探索空間に還元する。
• $\varepsilon$-logterminal および $\varepsilon$-logcanonical 特異点への一般化：多面体を $\varepsilon$ でスケーリングすることで、同様の議論を適用する。

実験結果

リサーチクエスチョン

• RQ1 トーリックファノ多様体の分類と $\mathbb{Q}$-因子的トーリック特異点の間の正確な関係は、格子点条件の観点からどのように規定されるか？
• RQ2 Hensleyの定理の定性的有限性結果は、解析的評価ではなく、幾何的・位相的議論によって再証明可能か？
• RQ3 $\mathbb{Q}$-因子的トーリック特異点のロジスティック不一致値は、退化の下でどのように振る舞い、これは最小モデルプログラムにどのような含意を持つのか？
• RQ4 与えられた次元におけるすべての格子自由多面体の集合の構造は何か？ そして、それらはパラメトライズ可能または分類可能か？
• RQ5 Hensleyの定理における有効な評価は、非単体的多面体や非終等特異点へと改善または一般化可能か？

主な発見

• 任意の次元 $k$ と $\varepsilon > 0$ に対して、$\varepsilon P \cap \mathbb{Z}^k = \{0\}$ を満たす次元 $k$ の凸格子多面体は、$GL_k(\mathbb{Z})$-同値を除いて有限個である。
• $\varepsilon$-logterminal 特異点を持つトーリックファノ多様体の有限性は、同様の原理から従い、多面体における $\varepsilon$ スケーリング条件に対応する。
• 本論文で提示するHensleyの定理の証明は幾何的で非効果的であり、コンパクト性とトーラス上での格子群作用の力学的性質に依存する。
• 同様の方法は $\varepsilon$-logcanonical およびゴレンシュタイン指数 $n$ の場合にも適用可能であり、それらの分類が有限であることを示している。
• 主定理の系として、任意の固定された $m$ と $k$ に対して、内部格子点がちょうど $m$ 個ある格子多面体の集合は有限である。
• 本論文は、$\mathbb{Q}$-因子的トーリック特異点のロジスティック不一致値が、上からの極限にしか蓄積せず、かつ低次元のケースからの値に限ることを確認しており、Shokurovの予想を支持する。