[論文レビュー] 3-Dimensional Lattice Polytopes Without Interior Lattice Points

Jaron Treutlein|ArXiv.org|Sep 10, 2008

Geometric and Algebraic Topology参考文献 13被引用数 9

ひとこと要約

この論文は、3次元格子多面体が内部格子点を持たないとき、Cayley多面体であるか、二重ユニモジュラー2単体に射影可能であるか、有限個の例外的ケースに属することを示したバチレフの予想を証明する。証明はヘンスリーの定理による体積の上限と、内部格子点を持つ面の分類を用い、そのような例外的多面体がユニモジュラー同値を除いて有限個であることを示している。

ABSTRACT

A theorem of Howe states that every 3-dimensional lattice polytope $P$ whose only lattice points are its vertices, is a Cayley polytope, i.e. $P$ is the convex hull of two lattice polygons with distance one. We want to generalize this result by classifying 3-dimensional lattice polytopes without interior lattice points. The main result will be, that they are up to finite many exceptions either Cayley polytopes or there is a projection, which maps the polytope to the double unimodular 2-simplex. To every such polytope we associate a smooth projective surface of genus 0.

研究の動機と目的

• 内部格子点を持たない3次元格子多面体をすべて分類すること。
• 頂点が唯一の格子点である多面体にしか適用されないフーの定理を一般化すること。
• このような多面体が内部格子点を持たない低次元多面体に射影可能であるか、体積が有界な例外的ケースであるというバチレフの予想を検証すること。
• Cayley多面体でも射影可能でもない例外的多面体の数がユニモジュラー変換を除いて有限であることの確立。
• 各多面体を滑らかで射影的で genus 0 の代数的曲面に関連付けることにより、幾何学と代数的幾何学を結びつけること。

提案手法

• Hensleyの定理を用いて、内部格子点の数が固定された多面体の体積を上限づける。
• 定理1.1（Lagarias–Ziegler）を用いて、体積が有界な多面体はユニモジュラー同値を除いて有限集合をなすことを示す。
• 内部格子点を持つ面を2次元に射影し、ピックの公式を用いて分類する。
• 体積制約と原始的法線ベクトルを用いて、面の上にある格子点の高さを上限づける。
• 上側の面の射影の長さに基づいて場合分けを行い、それぞれのケースで体積の上限を導く。
• 1つの内部格子点を持つ格子多角形の構造を用いて、可能な面の型を分類し、多面体の高さの上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 内部格子点を持たないすべての3次元格子多面体は、Cayley多面体か、二重ユニモジュラー2単体に射影可能であるか、それとも例外的ケースに属するか？
• RQ2 そうでない場合、例外的多面体はいくつ存在し、ユニモジュラー同値を除いて数え上げられるか？
• RQ3 このような例外的多面体の最大体積または高さは何か？ そして、これを一様に上限づけられるか？
• RQ4 内部格子点を持たないすべての3次元格子多面体は、内部格子点を持たない低次元格子多面体に射影可能か？
• RQ5 これらの多面体は代数的曲面とどのように関係するか？ 関連する曲面の genus は何か？

主な発見

• 内部格子点を持たないすべての3次元格子多面体は、Cayley多面体、二重ユニモジュラー2単体に射影可能、または有限個の例外的ケースに属する。
• 最大の例外的格子単体は明示的に列挙されており、P₁からP₆までである。P₃ = conv(0, 3e₁, 3e₂, 3e₃) であり、P₆ = conv(0, 6e₁, 3e₂, 2e₃) である。
• 追加で15個の例外的単体があり、これらはすべて最大のものの中に含まれるため、最大の単体は6つだけ存在する。
• 最大の例外的非単体的多面体P₇、P₈、P₉も特定されており、P₇ = conv(±2e₁, ±2e₂, e₁+e₂+2e₃) である。
• 任意の格子点が面の上にある高さは、最悪の場合19で上限づけられ、1つの内部格子点が面にある場合は6で上限づけられる。
• 任意の例外的多面体の体積は、その面の内部格子点の数にのみ依存する定数で上限づけられ、ユニモジュラー同値を除いて有限個の多面体に限られる。