[论文解读] Gorenstein Fano polytopes arising from order polytopes and chain polytopes

Takayuki Hibi, Kazunori Matsuda+1 more|arXiv (Cornell University)|Jul 12, 2015

Advanced Combinatorial Mathematics参考文献 6被引用 10

一句话总结

本文研究了从有限偏序集 P 和 Q 的序多面体与链多面体导出的三种新型积分凸多面体。证明了 Γ(O(P),−C(Q)) 与 Γ(C(P),−C(Q)) 的 Ehrhart 多项式相同，且当 P 与 Q 拥有共同的线性扩展时，这三个多面体的 Ehrhart 多项式完全一致。主要贡献在于对这些多面体为光滑 Fano 多面体的完整刻画，以及证明即使它们具有相同的 Ehrhart 多项式与体积，也并非在 unimodular 变换下等价。

ABSTRACT

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$, and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$. In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$, $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$, where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$, will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$. Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

研究动机与目标

• 研究由偏序集的序多面体与链多面体构造出的三种新多面体的 Ehrhart 多项式等价性。
• 刻画这些多面体为光滑 Fano 多面体的条件。
• 解决当这些多面体为光滑 Fano 时，三者之间 unimodular 等价性的问题。
• 根据标准构建块（L, V₂, Ṽ₂）的分解，分析这些多面体的归一化体积。

提出的方法

• 通过偏序集理想与反链的顶点，定义三种多面体：Γ(O(P),−O(Q))、Γ(O(P),−C(Q)) 与 Γ(C(P),−C(Q))。
• 利用 unimodular 等价性下 Ehrhart 多项式不变的性质，比较由不同组合的序多面体与链多面体构造出的多面体。
• 应用 Gorenstein 与光滑 Fano 多面体的理论，特别关注顶点构型与面的 Z-基。
• 构造显式的 unimodular 变换，并分析其在顶点集上的作用，以否定 unimodular 等价性。
• 利用 Gorenstein Fano 多面体的归一化体积公式 Vol(P₁⊕P₂) = Vol(P₁)Vol(P₂)，通过分解为 L、V₂ 与 Ṽ₂ 计算体积。
• 借助 Stanley 的结果：O(P) 与 C(P) 具有相同的 Ehrhart 多项式，将此不变性推广至新构造的多面体。

实验结果

研究问题

• RQ1 在何种条件下，Γ(O(P),−C(Q)) 与 Γ(C(P),−C(Q)) 的 Ehrhart 多项式相同？
• RQ2 在何种条件下，三个多面体 Γ(O(P),−O(Q))、Γ(O(P),−C(Q)) 与 Γ(C(P),−C(Q)) 的 Ehrhart 多项式完全一致？
• RQ3 对于哪些偏序集 P 与 Q，这三个多面体是光滑 Fano 多面体？
• RQ4 当这三个多面体为光滑 Fano 时，它们是否 unimodular 等价？
• RQ5 这些多面体的归一化体积如何依赖于 P 与 Q 的结构？

主要发现

• 对于任意满足 |P|=|Q| 的有限偏序集 P 与 Q，Γ(O(P),−C(Q)) 的 Ehrhart 多项式与 Γ(C(P),−C(Q)) 完全相同。
• 当 P 与 Q 拥有共同的线性扩展时，三个多面体 Γ(O(P),−O(Q))、Γ(O(P),−C(Q)) 与 Γ(C(P),−C(Q)) 的 Ehrhart 多项式完全一致。
• 本文对这三个多面体为光滑 Fano 多面体的条件提供了完整刻画：当其关联的偏序集满足与线性扩展及顶点构型相关的特定结构条件时，恰好成立。
• 即使 Γ(O(P),−C(Q)) 与 Γ(O(Q),−C(P)) 具有相同的 Ehrhart 多项式与体积，它们也并非 unimodular 等价，该结论通过在 unimodular 映射下对顶点像的矛盾分析得以证明。
• 当 P=Q=P₁ 时，这三个多面体的归一化体积均为 2^d，因为它们 unimodular 等价于 ⊕_d L。
• 当 P=Q=P₂ 时，归一化体积为 2^{d−2}·6；当 P=P₁、Q=P₂ 时，体积为 2^{d−2}·5，且在后一种情况下，Γ(O(Q),−O(P)) 的体积也相同。