[論文レビュー] Gorenstein polytopes with trinomial $h^*$-polynomials

Akihiro Higashitani, Benjamin Nill+1 more|arXiv (Cornell University)|Mar 19, 2015

Advanced Combinatorial Mathematics参考文献 25被引用数 3

ひとこと要約

この論文は、$h^*$-多項式が三項式（つまり、正確に3つの非ゼロ項を持つ）であるGorenstein格子多面体を分類し、BatyrevとJunyが二次のGorenstein多面体に対して開始した分類を完了する。BatyrevとHofscheierによる空単体で二項式$ h^* $-多項式を持つものの特徴付けを活用することで、著者たちは、このような三項式$ h^* $-多項式とそれに対応する多面体を完全に特定し、あらゆる次元において完全な分類を提供する。

ABSTRACT

The characterization of lattice polytopes based upon information about their Ehrhart $h^*$-polynomials is a difficult open problem. In this paper, we finish the classification of lattice polytopes whose $h^*$-polynomials satisfy two properties: they are palindromic (so the polytope is Gorenstein) and they consist of precisely three terms. This extends the classification of Gorenstein polytopes of degree two due to Batyrev and Juny. The proof relies on the recent characterization of Batyrev and Hofscheier of empty lattice simplices whose $h^*$-polynomials have precisely two terms. Putting our theorem in perspective, we give a summary of these and other existing results in this area.

研究の動機と目的

• $h^*$-多項式に正確に3つの非ゼロ項を持つGorenstein格子多面体の分類を完了すること。
• 二次のGorenstein多面体および二項式$ h^* $-多項式をもつ空単体に関する先行研究を拡張すること。
• Ehrhart理論と格子点数え上げの構造的制約を活用して、$h^*$-多項式が回文的三項式であるすべての格子多面体を特徴付けること。
• $h^*$-多項式に少ない項をもつ既存の結果の包括的まとめを提供し、本研究を文脈に置き直すこと。

提案手法

• BatyrevとHofscheierによる空格子単体で二項式$ h^* $-多項式を持つものの特徴付けを基礎的入力として用いる。
• 格子ピラミッドの理論を適用し、$h^*$-多項式がピラミッド構成に対して不変であることに注目する。
• 正規化体積と次数に注目して、$h^*$-多項式の構造を分析し、回文的三項式に焦点を当てる。
• 多面体内の格子点の半群における群論的および組合せ論的技法を用いて、可能な構成の分類を行う。
• クラス群$\Lambda_\Delta$の生成元の位数に基づくケース解析を用いて、すべての可能な多面体型を列挙する。
• すべてのケースが$ h^* $-多項式に正確に3つの非ゼロ係数をもつことを確認し、三項式条件を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 どのGorenstein格子多面体が、$h^*$-多項式に正確に3つの非ゼロ項を持つのか？
• RQ2 二項式$ h^* $-多項式を持つ空単体の分類を、三項式$ h^* $-多項式を持つGorenstein多面体にどのように拡張できるか？
• RQ3 格子多面体から生じる可能性のあるすべての三項式$ h^* $-多項式のリストは何か？ それに対応する多面体の型は何か？
• RQ4 すべてのこのような三項式$ h^* $-多項式が、Gorenstein多面体の$ h^* $-多項式として実現可能であるか？ もし可能であれば、それらの幾何学的および代数的性質は何か？

主な発見

• 三項式$ h^* $-多項式を持つすべてのGorenstein格子多面体が完全に分類され、BatyrevとJunyが開始したプログラムが完了した。
• $h^*$-多項式は$1 + at + bt^d$の形をとり、$a,b \in \mathbb{Z}_{\geq 0}$であり、分類はクラス群$\Lambda_\Delta$の構造に依存する。
• 特定の多角形上の格子ピラミッドおよびCayley多面体を含む分類が得られ、明示的な構成が提供されている。
• クラス群$\Lambda_\Delta$が$({\mathbb{Z}}/3{\mathbb{Z}})^2$、$({\mathbb{Z}}/2{\mathbb{Z}})^2$、または$({\mathbb{Z}}/4{\mathbb{Z}})^2$に同型である3つの異なる多面体族が、生成元の位数に応じて同定された。
• クラス群に位数6の元が存在する場合は矛盾が生じ、このような構成は三項式$ h^* $-多項式をもたらせないことが示された。
• Gorenstein多面体の三項式$ h^* $-多項式として可能なのは、$h^*_0 = h^*_d = 1$、$h^*_1 = a$、$h^*_d = b$を満たすものに限られ、多面体の幾何学的性質と格子点構造からの制約が導かれる。