[論文レビュー] Spanning Lattice Polytopes and the Uniform Position Principle

Johannes Hofscheier, Lukas Katthän+1 more|arXiv (Cornell University)|Nov 27, 2017

Mathematics and Applications参考文献 1被引用数 6

ひとこと要約

この論文は、整数分解性を持つ（IDP）多面体に限らず、その周囲の格子が整数点によって生成される「スパンニング格子多面体」というより広いクラスに対しても、Stanleyの$h^*$-ベクトルに関する強い不等式が成り立つことを確立している。主な貢献は、最小限の仮定の下でのStanleyの不等式の一般化であり、これは重み付き射影空間への均一配置原理の新規な拡張と、半標準的バージョンのBertini型定理を用いて証明されている。

ABSTRACT

A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of lattice points in $P$. As an application, we get a generalization of Hibi's Lower Bound Theorem. Our proof relies on generalizing Bertini's theorem to the semistandard situation and Harris' Uniform Position Principle to certain curves in weighted projective space.

研究の動機と目的

• IDP多面体にとどまらず、より広いクラスのスパンニング格子多面体へと、Stanleyの$h^*$-ベクトルに関する強い不等式を拡張すること。
• 完全なIDPではなく、スパンニング性というより弱い条件下でも$h^*$-ベクトル不等式が成り立つことを確立すること。
• 古典的代数幾何学の道具（Bertiniの定理とHarrisの均一配置原理）を、半標準的および重み付き射影空間の設定へと一般化すること。
• 重み付き射影空間における幾何学的・コhomologicalな技法を用いた$h^*$-ベクトル不等式の新たな証明枠組みを提供すること。
• 主結果の帰結として、Hibiの下界定理を回復・一般化すること。

提案手法

• 半標準的設定へのBertiniの定理の一般化により、重み付き射影空間内の曲線の一般的超平面切断が望ましい性質を保つことを保証する。
• Hilbert関数の性質を一般的超平面切断の下で分析することにより、重み付き射影空間内の曲線に対するHarrisの均一配置原理を拡張する。
• インシデント対応とHilbert関数の境界によって定義される部分集合の閉性を用いて、一般的超平面切断における点の分布の均一性を証明する。
• 同型と開かつ稠密な交差を用いてインシデント多様体の既約性を示し、所望の性質を持つ一様な開集合の超平面の存在を保証する。
• $h^*$-ベクトルとEhrhart理論の理論を用いて、格子多面体の組合せ的構造と重み付き射影空間内での代数的幾何学的性質を結びつける。
• スパンニング多面体が整数アフィン結合によって周囲の格子を生成することを活用し、重み付き射影空間内の曲線に関する幾何的議論へと問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 Stanleyの$h^*$-ベクトルに関する強い不等式は、IDPでないがスパンニングである格子多面体に対しても成り立つか？
• RQ2 重み付き射影空間内の曲線に対し、均一配置原理を拡張することは可能か？ その結果、$h^*$-ベクトルに関する組合せ的不等式が支持されるか？
• RQ3 格子多面体がStanleyの$h^*$-ベクトル不等式を満たすために必要な最小限の幾何的条件は何か？
• RQ4 格子の粗化（coarsening）の下で$h^*$-ベクトルはどのように振る舞い、関連するスパンニング多面体の$h^*$-ベクトルについて何が言えるか？
• RQ5 Hibiの下界定理は、スパンニング性を用いて任意の格子多面体へと一般化可能か？

主な発見

• Stanleyの$h^*$-ベクトルに関する強い不等式は、IDP多面体に限らず、すべてのスパンニング格子多面体に対して成り立つ。ただし、$i+j < s$ のときを前提とする。
• 任意の$i,j \in \mathbb{N}$ に対して $i+j < s$ を満たすとき、スパンニング多面体の$h^*$-ベクトルは $h^*_1 + \cdots + h^*_i \leq h^*_{j+1} + \cdots + h^*_{j+i}$ を満たす。これはStanleyの元の結果を一般化する。
• 証明は、重み付き射影空間における均一配置原理の新バージョンに依拠しており、これは一般的超平面切断のHilbert関数が一様であることを保証する。
• 著者らは、半標準的Bertini型定理を確立し、重み付き射影空間内の曲線の一般的超平面切断が、既約性と点配置の均一性を保つことを示した。
• 系1.6では、任意の格子多面体$P$に対して、$h^*_1(P) \leq h^*_j(P)$ がすべての$1 \leq j < \deg \tilde{P}$ に対して成り立つことが示され、Hibiの下界定理がすべての格子多面体へと拡張された。
• 非スパンニング多面体ではこの結果は成り立たない。$[0,3]$と$r=2$のReeve単体の結合を用いた反例により、$h^*$-ベクトルが$(1,2,1,2)$ であり、$i=j=1$ のとき不等式が破れることが示された。