[論文レビュー] Blowup algebras of square-free monomial ideals and some links to combinatorial optimization problems

Isidoro Gitler, Enrique Reyes+1 more|arXiv (Cornell University)|Sep 21, 2006

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

ひとこと要約

本稿は、正方自由単項式イデアルの爆発代数と組合せ最適化の間の代数的幾何的関係を、インシデント行列と多面体を通じて確立する。Rees代数の正規性と付随層の簡約性が、集合被覆多面体を定義する系の全双対整数性と同値であることを証明し、ConfortiおよびCornuéjolsの予想（集合被覆多面体の整数性とクラッターのKönig性の同値性）を支持する。

ABSTRACT

Let I=(x^{v_1},...,x^{v_q} be a square-free monomial ideal of a polynomial ring K[x_1,...,x_n] over an arbitrary field K and let A be the incidence matrix with column vectors {v_1},...,{v_q}. We will establish some connections between algebraic properties of certain graded algebras associated to I and combinatorial optimization properties of certain polyhedrons and clutters associated to A and I respectively. Some applications to Rees algebras and combinatorial optimization are presented. We study a conjecture of Conforti and Cornuéjols using an algebraic approach.

研究の動機と目的

• 正方自由単項式イデアルの爆発代数と組合せ最適化問題との間の代数的幾何的関係を確立すること。
• 多面体的およびクラッター理論的性質を用いて、Rees代数の正規性と付随層の簡約性を考察すること。
• Conforti–Cornuéjols予想における、集合被覆多面体の整数性とクラッターのKönig性の同値性に対する代数的証拠を提供すること。
• 集合被覆多面体の整数的頂点とエッジイデアルの最小素イデアルを用いて、クラッターの最小頂点被覆を特徴付けること。
• Rees代数の構造およびその正則モジュールに及ぼすこれらの代数的条件の意味を検討すること。

提案手法

• 正方自由単項式イデアル $I$ のインシデント行列 $A$ を用いて、集合被覆多面体 $Q(A) = \{x \in \mathbb{R}^n \mid x \geq 0, xA \geq \mathbf{1}\}$ を定義する。
• 全双対整数性（TDI）理論を適用し、$Q(A)$ の整数性と $R[It]$、$\mathrm{gr}_I(R)$ の代数的性質を結びつける。
• サポートと線形独立性の議論を用いて、$I=I(\mathcal{C})$ に関連するクラッター $\mathcal{C}$ の最小頂点被覆を、$Q(A)$ の整数的頂点および最小素イデアルとして特徴付ける。
• 正則モジュール理論と行列式表現を用いて、Rees代数のGorenstein性および正規性を分析する。
• 帰納法および単項式代入を用いて、$\overline{R[It]} = R_s(I)$ のとき、互いに素な最小頂点被覆が存在することを示す。
• Alexander双対性および関連素イデアルの構造を活用し、クラッター $\mathcal{C}$ 及びその双対クラッター $\mathcal{D}$ のKönig性を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Rees代数 $R[It]$ が正規であるための条件は何か？ これは集合被覆多面体 $Q(A)$ の整数性とどのように関係するか？
• RQ2 付随層 $\mathrm{gr}_I(R)$ が簡約であるための条件は何か？ これは系 $xA \geq \mathbf{1}, x \geq 0$ のTDI性とどのように関連するか？
• RQ3 クラッター $\mathcal{C}$ に互いに素な最小頂点被覆が存在する場合、Rees代数 $R[It]$ の代数的構造にどのような反映が見られるか？
• RQ4 Rees代数 $R[It]$ のGorenstein性とイデアル $I$ の高さの間にはどのような関係があるか？
• RQ5 条件 $\overline{R[It]} = R_s(I)$ が、クラッター $\mathcal{C}$ 及びその双対にKönig性が成り立つことをどれほど強く示唆するか？

主な発見

• Rees代数 $R[It]$ が正規であるための必要十分条件は、系 $xA \geq \mathbf{1}, x \geq 0$ が全双対整数的であることであり、これは $Q(A)$ が整数的頂点のみを持つことを意味する。
• 付随層 $\mathrm{gr}_I(R)$ が簡約であるための必要十分条件は、$I$ が非混合的かつ $Q(A)$ が整数的である場合に、すべての $i=1,\ldots,n$ に対して $I_i = I \cap K[X \setminus \{x_i\}]$ が正規であることである。
• $\overline{R[It]} = R_s(I)$ が成り立つならば、互いに素な最小頂点被覆 $C_1, \ldots, C_d$ が $d$ 個存在し、$\mathcal{C}$ の各辺が各 $C_k$ とちょうど1つの頂点で交わる。
• クラッター $\mathcal{C}$ がKönig性を持つための必要十分条件は、そのAlexander双対 $I_c(\mathcal{C})$ が非混合的かつ $\overline{R[I_c(\mathcal{C})t]} = R_s(I_c(\mathcal{C}))$ であることであり、これは $\overline{R[It]} = R_s(I)$ のとき成立する。
• Rees代数 $R[It]$ がGorensteinであるのは、$I$ の高さ $g$ が 2 の場合に限る。高さが2より大きいと、非Gorensteinな行列式的構造が生じる。
• $I$ が局所的に完全交差のとき、$R[It]$ の正則モジュールは $\omega_R(1,t)^{g-2}$ に同型であり、$R[It]$ がGorensteinであるのは $g=2$ のときのみである。