[論文レビュー] 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))$ を導入する。トーリックイデアルの逆辞書式平方自由初期イデアルの理論を用いて、この多面体が常に正規のゴレンシュタイン・ファノ多面体であることを証明し、部分順序集合からの構成によって新たなゴレンシュタイン・ファノ多面体のクラスを確立する。

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.

研究の動機と目的

• 順序単体と鎖単体の負の凸包が正規のゴレンシュタイン・ファノ多面体をなすかどうかを調査すること。
• 部分順序集合からの構成によって得られる既知の正規のゴレンシュタイン・ファノ多面体のクラスを拡張すること。
• グレブナー基底を介して、組合せ論的である部分順序集合の構造とトーリックイデアルの代数的性質との関係を確立すること。
• このような多面体がゴレンシュタイン的かつ正規的である条件を特定すること、特にそのイェールヒュート多項式と $δ$-ベクトルの分析を通じて行う。

提案手法

• 有限な部分順序集合 $P$ と $Q$ がサイズ $d$ を持つとき、$̺(Ω(P), -Χ(Q))$ を $Ω(P) \cup (-Χ(Q))$ の凸包として定義する。
• 多面体 $̺(Ω(P), -Χ(Q))$ の頂点集合に付随するトーリックイデアルを用いて、その代数的構造を分析する。
• トーリックイデアルの逆辞書式平方自由初期イデアルの理論を適用し、初期イデアルが二次単項式によって生成されることを示す。
• すべての倍加における整数点が多面体内の格子点の和として表せることを確認することで、多面体が正規であることを証明する。
• グレブナー基底構造から得られる $δ$-ベクトルの対称性を用いて、双対多面体が整数的であることを示し、ゴレンシュタイン性を確立する。
• 既知のイェールヒュート多項式と $δ$-ベクトルに関する結果を活用し、$̺(Χ(P), -Χ(Q))$ などの既存の多面体と新しい多面体を比較する。

実験結果

リサーチクエスチョン

• RQ1 順序単体と鎖単体の負の凸包が正規のゴレンシュタイン・ファノ多面体である条件は何か？
• RQ2 逆辞書式順序に関して、$̺(Ω(P), -Χ(Q))$ のトーリックイデアルが二次グレブナー基底を許容するか？
• RQ3 多面体 $̺(Ω(P), -Χ(Q))$ のイェールヒュート多項式と $δ$-ベクトルは、$̺(Χ(P), -Χ(Q))$ とどのように比較できるか？
• RQ4 すべての部分順序集合 $P$ と $Q$ に対して、$̺(Ω(P), -Χ(Q))$ の $δ$-ベクトルは対称的であり、ゴレンシュタイン性が確認できるか？

主な発見

• 任意の同じサイズの有限部分順序集合 $P$ と $Q$ に対して、多面体 $̺(Ω(P), -Χ(Q))$ は正規のゴレンシュタイン・ファノ多面体である。
• $̺(Ω(P), -Χ(Q))$ のトーリックイデアルは、列ベクトル $[0,\ldots,0,1]^t$ に対応する変数が最小となる逆辞書式順序に関して、平方自由初期イデアルを許容する。
• 多面体 $̺(Ω(P), -Χ(Q))$ のイェールヒュート多項式は、$P$ と $Q$ が鎖であるとき $(1+\lambda)^d$ に等しく、$̺(Χ(P), -Χ(Q))$ と同一である。
• $P = \{p_1 < p_3, p_2 < p_4\}$ かつ $Q$ が同じハッセ図を持つとき、$̺(Ω(P), -Χ(Q))$ の $δ$-ベクトルは $(1,12,28,12,1)$ である。$Q$ が2つの鎖の直和である場合、$δ$-ベクトルは $(1,12,26,12,1)$ である。
• すべての $P$ と $Q$ に対して、$̺(Ω(P), -Χ(Q))$ の $δ$-ベクトルは対称的であり、ゴレンシュタイン性が確認される。