[论文解读] Quadratic Gröbner bases arising from partially ordered sets

Takayuki Hibi, Kazunori Matsuda+1 more|arXiv (Cornell University)|Jun 2, 2015

Commutative Algebra and Its Applications参考文献 5被引用 5

一句话总结

本文引入了多面体 $̺(Ω(P), -Χ(Q))$，即偏序集 $P$ 和 $Q$ 的序多面体 $Ω(P)$ 与负链多面体 $-Χ(Q)$ 的凸包，其中 $P$ 和 $Q$ 的大小相等。通过环论理想中逆字典序的平方自由首项理想，证明了该多面体恒为正规 Gorenstein Fano 多面体，从而基于偏序集构造建立了一个新的此类多面体类别。

ABSTRACT

The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$, where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$. It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.

研究动机与目标

• 研究序多面体与链多面体的负值的凸包是否构成一个正规 Gorenstein Fano 多面体。
• 扩展由偏序集构造出的已知正规 Gorenstein Fano 多面体类别。
• 通过格罗布纳基建立组合偏序集结构与环论理想代数性质之间的联系。
• 确定此类多面体为 Gorenstein 且正规的条件，特别是通过分析其 Ehrhart 多项式与 $δ$-向量。

提出的方法

• 将多面体 $̺(Ω(P), -Χ(Q))$ 定义为 $Ω(P) \cup (-Χ(Q))$ 的凸包，其中 $P$ 和 $Q$ 是大小为 $d$ 的有限偏序集。
• 利用 $̺(Ω(P), -Χ(Q))$ 的顶点集所关联的环论理想来分析其代数结构。
• 应用环论理想中逆字典序平方自由首项理想的理论，证明首项理想由二次单项式生成。
• 通过验证所有稀疏化中的整数点均可表示为多面体中格点的和，来证明多面体的正规性。
• 通过利用格罗布纳基结构导出的 $δ$-向量对称性，证明其对偶多面体为整数多面体，从而确立 Gorenstein 性质。
• 借助关于 Ehrhart 多项式与 $δ$-向量的已知结果，将新多面体与现有多面体如 $̺(Χ(P), -Χ(Q))$ 进行比较。

实验结果

研究问题

• RQ1 在何种条件下，序多面体与链多面体负值的凸包构成一个正规 Gorenstein Fano 多面体？
• RQ2 在逆字典序下，$̺(Ω(P), -Χ(Q))$ 的环论理想是否允许存在一个二次格罗布纳基？
• RQ3 多面体 $̺(Ω(P), -Χ(Q))$ 的 Ehrhart 多项式与 $δ$-向量与 $̺(Χ(P), -Χ(Q))$ 的相比如何？
• RQ4 对所有偏序集 $P$ 和 $Q$，$̺(Ω(P), -Χ(Q))$ 的 $δ$-向量是否对称，从而表明其 Gorenstein 性质？

主要发现

• 对任意大小相等的有限偏序集 $P$ 和 $Q$，多面体 $̺(Ω(P), -Χ(Q))$ 均为正规 Gorenstein Fano 多面体。
• 在逆字典序下，$̺(Ω(P), -Χ(Q))$ 的环论理想具有平方自由首项理想，其中对应列向量 $[0,\ldots,0,1]^t$ 的变量最小。
• 当 $P$ 和 $Q$ 均为链时，$̺(Ω(P), -Χ(Q))$ 的 Ehrhart 多项式与 $̺(Χ(P), -Χ(Q))$ 相同，均为 $(1+\lambda)^d$。
• 当 $P = \{p_1 < p_3, p_2 < p_4\}$ 且 $Q$ 具有相同哈斯图时，$̺(Ω(P), -Χ(Q))$ 的 $δ$-向量为 $(1,12,28,12,1)$；若 $Q$ 为两个链的不相交并，则 $δ$-向量为 $(1,12,26,12,1)$。
• 对所有 $P$ 和 $Q$，$̺(Ω(P), -Χ(Q))$ 的 $δ$-向量均对称，从而确认其 Gorenstein 性质。