[論文レビュー] A Groebner basis for the secant ideal of the second hypersimplex

Seth Sullivant|ArXiv.org|Apr 17, 2008

Commutative Algebra and Its Applications参考文献 9被引用数 3

ひとこと要約

本稿では、任意の巡回項順序のもとで、第二ハイパーシンプレックス Δ(2,n) に関連するトーリックイデアルのセカントイデアルに対するグレブナー基底を計算し、初期イデアルが次数 n までの奇数次多項式を必要とするこ を証明する。これにより、ドリトン、シュトゥルムフェルズ、サリヴァントの予想である 2-快適性（2-delightful）性質が確認され、さらにマスター多項式と非対角成分の小行列式を用いて、イデアルの記号的平方に対するグレブナー基底が確立される。

ABSTRACT

We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This shows that the circular term order is 2-delightful, resolving a conjecture of Drton, Sturmfels, and the author. The proof uses Groebner degenerations for secant ideals, combinatorial characterizations of the secant ideals of monomial ideals, and the relations between secant ideals and prolongations.

研究の動機と目的

• 第二ハイパーシンプレックス Δ(2,n) に関連するトーリックイデアルのセカントイデアル $I_{n}^{ ext{\{2\}}}$ に対するグレブナー基底を計算すること。
• 巡回項順序が 2-快適であるという予想を、セカントイデアルの初期イデアルが次数 $n$ まで奇数次の多項式を必要とすることを示すことにより解決すること。
• セカントイデアルと延長の関係を用いて、記号的平方 $I_{n}^{(2)}$ に対するグレブナー基底を確立すること。
• モノミアルイデアルのセカントイデアルの組合せ的特徴づけとグレブナー退化を用いた「快適な戦略」を適用すること。

提案手法

• シュトゥルムフェルズとサリヴァントの「快適な戦略」を用い、セカントイデアルの初期イデアルと初期イデアルのセカントイデアルを結びつける。
• グレブナー退化を用いて、包含関係 ${\rm in}_{\prec}(I_n^{ ext{\{2\}}}) \subseteq {\rm in}_{\prec}(I_n)^{\text{\{2\}}}$ を通じて $I_{n}^{ ext{\{2\}}}$ と初期イデアル ${\rm in}_{\prec}(I_n)^{\text{\{2\}}}$ を関連付ける。
• 奇数長 $\geq 5$ の適切な列に対応するマスターポリノミアル $f_{\mathbf{i},\mathbf{j}}$ を定義し、これらは $K_n$ の非交差グラフにおけるサイクルモノミアルのリーディング項を持つ。
• 巡回グレブナー基底 $I_n$ に対するグレブナー還元を用いて、各マスターポリノミアルのリーディング項が $\prod_{l=1}^{2k+1} x_{i_l j_{l+k-1}}$ であることを示す。
• 変数行列 $x_{ij}$ の 3×3 非対角成分の小行列式の初期項が、$x_{i_1 i_6}x_{i_2 i_5}x_{i_3 i_4}$ の形のモノミアルに対応し、これらは次数 3 の生成元の初期項であることを示す。
• 包含関係 ${\rm in}_{\prec}(I_n)^{(2)} = {\rm in}_{\prec}(I_n)^2 + {\rm in}_{\prec}(I_n)^{\text{\{2\}}}$ を用いて、$I_n^{(2)}$ に対するグレブナー基底を導出する。

実験結果

リサーチクエスチョン

• RQ1 巡回項順序は、第二ハイパーシンプレックスのセカントイデアル $I_n^{\text{\{2\}}}$ に対して 2-快適なグレブナー基底をもたらすか？
• RQ2 巡回項順序のもとで、$I_n^{\text{\{2\}}}$ のグレブナー基底に必要な多項式の最小次数は何か？
• RQ3 同じ項順序を用いて、記号的平方 $I_n^{(2)}$ はグレブナー基底によって記述可能か？
• RQ4 マスターポリノミアルと非対角成分の小行列式は、$I_n^{\text{\{2\}}}$ の初期イデアルの生成にどのように寄与するか？
• RQ5 巡回埋め込みにおける $K_n$ の非交差・交差辺を用いたとき、初期イデアル ${\rm in}_{\prec}(I_n)^{\text{\{2\}}}$ の組合せ的構造は何か？

主な発見

• セカントイデアル $I_n^{\text{\{2\}}}$ は任意の巡回項順序のもとでグレブナー基底をもつ。生成子には 3×3 非対角成分の小行列式、次数 3 のマスターポリノミアル、2×2 小行列式の積が含まれる。
• 初期イデアル ${\rm in}_{\prec}(I_n^{\text{\{2\}}})$ は、次数 $n$ までの奇数次の多項式を必要とし、これにより巡回項順序が 2-快適であることが確認される。
• 形 $x_{i_1 i_6}x_{i_2 i_5}x_{i_3 i_4}$ の各次数 3 モノミアルは、変数行列 $x_{ij}$ の 3×3 非対角成分の小行列式の初期項として現れる。
• 長さ $2k+1 \geq 5$ の適切な奇数列に対応するマスターポリノミアル $f_{\mathbf{i},\mathbf{j}}$ のリーディング項は、サイクルモノミアル $\prod_{l=1}^{2k+1} x_{i_l j_{l+k-1}}$ に等しい。
• 記号的平方 $I_n^{(2)}$ は $I_n^{(2)} = I_n^2 + I_n^{\text{\{2\}}}$ を満たし、そのグレブナー基底は $I_n^{\text{\{2\}}}$ の生成子に加え、2×2 小行列式の積からなる。
• 初期イデアル ${\rm in}_{\prec}(I_n)^{(2)}$ は、非交差グラフ内の次数 3 のサイクルと非交差辺のペアの積によって生成され、$I_n^{(2)}$ の生成子の初期項と一致する。