[论文解读] Gorenstein polytopes with trinomial $h^*$-polynomials

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

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

一句话总结

本文分类了 $h^*$-多项式为三项式（即恰好有三个非零项）的 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^*$-多项式恰好包含三个非零项的 Gorenstein 格点多面体的分类。
• 扩展此前关于二次 Gorenstein 多面体与具有二项式 $h^*$-多项式的空单体的结果。
• 通过 Ehrhart 理论与格点计数的结构约束，刻画所有 $h^*$-多项式为倒数三项式的格点多面体。
• 全面总结现有关于 $h^*$-多项式项数较少的结果，将当前工作置于背景脉络中。

提出的方法

• 以 Batyrev 与 Hofscheier 对具有二项式 $h^*$-多项式的空格点单体的刻画作为基础输入。
• 应用格点锥体理论，注意到 $h^*$-多项式在锥体构造下保持不变。
• 通过归一化体积与次数分析 $h^*$-多项式结构，重点关注倒数三项式。
• 利用群论与组合技巧对多面体中格点构成的半群进行分类，以确定可能的构型。
• 基于类群 $\Lambda_\Delta$ 中生成元的阶进行分类讨论，枚举所有可能的多面体类型。
• 验证所有情形下均恰好产生三个非零系数，从而确认三项式条件。

实验结果

研究问题

• RQ1 哪些 Gorenstein 格点多面体具有恰好三个非零项的 $h^*$-多项式？
• 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$ 的情形，具体取决于生成元的阶。
• 当类群包含阶为 6 的元素时，导致矛盾，表明此类构型无法产生三项式 $h^*$-多项式。
• 结果确认，Gorenstein 多面体可能的唯一三项式 $h^*$-多项式为满足 $h^*_0 = h^*_d = 1$，$h^*_1 = a$，$h^*_d = b$ 的形式，其约束条件由多面体及其格点结构的几何性质导出。