[論文レビュー] Cayley decompositions of lattice polytopes and upper bounds for h^*-polynomials

Christian Haase, Benjamin Nill+1 more|arXiv (Cornell University)|Apr 23, 2008

Advanced Combinatorial Mathematics参考文献 6被引用数 8

ひとこと要約

この論文は、h*-多項式の次数と先頭係数を用いて、格子多面体の正規化体積に対する有効な上界を確立し、Batyrevの予想を裏付ける。高次元の格子多面体が大きな倍率で内部格子点を持たない場合、それらは低次元多面体のCayley和に分解可能であるという強いCayley分解定理を用いて、このような多面体が次元と次数によって制約されることを示し、体積推定とMinkowski分解技術を用いて明示的な上界を導出する。

ABSTRACT

We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.

研究の動機と目的

• 格子多面体の正規化体積が、そのh*-多項式の次数と先頭係数によって上界で抑えられることを解明すること。
• Cayley分解を用いて、大きな倍率で内部格子点を持たない高次元格子多面体の構造的分類を確立すること。
• 格子多面体の組合せ的構造と特異代数幾何における接続理論を結びつけること。
• 固定されたh*-次数と先頭係数に対して、次元に依存しない有効な体積上界を格子多面体に与えること。

提案手法

• 強いCayley分解定理を導入：次数dで十分に高い次元を持つ任意の格子多面体は、低次元格子多面体のCayley和に分解可能である。
• 内部格子点が(n−d)P に存在しないという事実から、最大で(d² + 19d − 4)/2 個の因子を持つ非自明なCayley分解を有することが示される。
• Lagarias–Zieglerらの格子多面体体積に関する結果を活用し、Minkowski和と座標幅の推定を用いて体積の上界を導出する。
• Hölderの不等式と積分幾何学を用いて、座標幅の単項式の和として多面体の体積を上界で抑え込む。
• 代数幾何学におけるCayley和と射影化された線分束の和の対応関係に依拠する。
• 組合せ的結果を代数幾何学的adjunction理論の文脈に翻訳し、Fujitaの分類結果と結びつける。

実験結果

リサーチクエスチョン

• RQ1 格子多面体の正規化体積は、そのh*-多項式の次数と先頭係数のみによって上界で抑えられるか。
• RQ2 高次元でh*-次数が有界な格子多面体は、必ず非自明なCayley分解をもつのか。
• RQ3 格子多面体のCayley分解は、接続線束のnef性といった幾何的性質をどの程度反映するのか。
• RQ4 Cayley分解構造から、格子多面体の体積に対する有効な上界を導出できるか。
• RQ5 Cayley分解定理は、特異代数幾何におけるtoric多様体のadjunction理論とどのように関係するか。

主な発見

• h*-多項式の次数がdで先頭係数がkである格子多面体Pの正規化体積は、次元とは無関係にdとkにのみ依存する定数で上界が与えられる。
• 次数dで、次元が(d² + 19d − 4)/2 より大きい任意の格子多面体は、少なくとも2つの低次元格子多面体の非自明なCayley和に分解可能である。
• 体積上界は有効的であり、Minkowski和の幅推定と積分体積分解を用いて導出され、Cがdとkに依存するとき、C^q に比例する上界q!·C^qが得られる。
• Cayley分解定理により、このような多面体は次元が最大で(d² + 19d − 4)/2 のtoric多様体上の線分束の和の射影化として得られることが示される。
• この結果によりBatyrevの予想が裏付けられ、有限分類型の結果が得られる：固定されたdとkに対して、unimodular同値と格子ピラミッドを除き、このような多面体は有限個に限られる。
• adjunction理論的解釈が確立される：K_X + (n−d)Lに非自明な正則切断が存在しない場合、Xは次元が低いtoric多様体上の線分束の和の射影化に双有理同型である。