[論文レビュー] Cohen--Macaulaynees for symbolic power ideals of edge ideals

Giancarlo Rinaldo, Naoki Terai+1 more|arXiv (Cornell University)|Mar 9, 2012

Commutative Algebra and Its Applications参考文献 6被引用数 4

ひとこと要約

本稿では、辺イデアルの記号的冪 $I(G)^{(´)}$ が Cohen–Macaulay であるようなグラフ $G$ を特徴づけ、$S/I(G)^{(´)}$ が $\ell \geq 3$ に対して Cohen–Macaulay であることは、$G$ が有限個の完全グラフの disjoint 和であることと同値であることを証明している。さらに、$S/I(G)^{\ell}$ が $\ell \geq 3$ に対して Cohen–Macaulay であるならば、$I(G)$ は完全交差イデアルであることが示され、既存の結果が強化されている。

ABSTRACT

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers $I(G)^{(\ell)}$ are Cohen-Macaulay ideals. Similarly, we characterize graphs $G$ for which $S/I(G)^{(\ell)}$ has (FLC). As an application, we show that an edge ideal $I(G)$ is complete intersection provided that $S/I(G)^{\ell}$ is Cohen-Macaulay for some integer $\ell \ge 3$. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

研究の動機と目的

• 記号的冪 $I(G)^{(´)}$ が Cohen–Macaulay となるようなグラフ $G$ を特徴づけること。
• $S/I(G)^{(´)}$ が Serre の条件 $(S_2)$ を満たす、または (FLC) を持つのはいつかを特定すること。
• 無限大の Cohen–Macaulay 性を有限の $\ell \geq 3$ に置き換えることで、既存の完全交差イデアルに関する定理を強化すること。

提案手法

• 辺イデアルの文脈における記号的冪およびその性質の使用。
• Stanley–Reisner 理論と単体的複体を用いた $I(G)^{(´)}$ の分析。
• 極限化と単体的複体の分解を用いた $G$ の構造の特徴づけ。
• 局所コホホロジーにおける unmixedness, (FLC), Buchsbaum 性に関する結果の活用。
• $S/I(G)^{\ell}$ が $\ell \geq 3$ に対して Cohen–Macaulay であることと、$I(G)$ が完全交差イデアルであることの同値性の活用。
• $\Delta(G)$、$I(G)$ に関連する単体的複体の構造、特に次元 $\geq 3$ の場合の分析。

実験結果

リサーチクエスチョン

• RQ1 $S/I(G)^{(´)}$ が $\ell \geq 3$ のある $\ell$ に対して Cohen–Macaulay となるのはいつか？
• RQ2 $S/I(G)^{(´)}$ が $\ell \geq 3$ のある $\ell$ に対して Serre の条件 $(S_2)$ を満たすのはいつか？
• RQ3 $S/I(G)^{(´)}$ が $\ell \geq 3$ のある $\ell$ に対して (FLC) を持つのはいつか？
• RQ4 $S/I(G)^{\ell}$ が $\ell \geq 3$ のある $\ell$ に対して Cohen–Macaulay であるならば、$I(G)$ は完全交差イデアルか？
• RQ5 $S/I(G)^{\ell}$ が $\ell \geq 3$ のある $\ell$ に対して (FLC) を持つとき、$G$ の構造はいかなるものか？

主な発見

• 記号的冪 $I(G)^{(´)}$ が $\ell \geq 3$ のある $\ell$ に対して Cohen–Macaulay であることは、$G$ が有限個の完全グラフの disjoint 和であることと同値である。
• $S/I(G)^{\ell}$ が $\ell \geq 3$ のある $\ell$ に対して Cohen–Macaulay であるならば、$I(G)$ は完全交差イデアルである。
• $\ell \geq 3$ に対して、$S/I(G)^{(´)}$ が (FLC) を持つことは、単体的複体 $\Delta(G)$ が次元 $d \geq 3$ の完全グラフに対応する $\Delta_{n_{i1},\ldots,n_{id}}$ の disjoint 和に分解されることと同値である。
• 次元 $d = \dim S/I(G) \geq 3$ であることが必要である。$d < 3$ の場合には、五角形のような反例により、特徴づけは成り立たない。
• 記号的冪 $I(G)^{(´)}$ がすべての $\ell \geq 1$ に対して Cohen–Macaulay であることは、$G$ が完全グラフの disjoint 和であるときである。
• $\ell = 2$ の場合には、より複雑な振る舞いを示す。五角形の例では、$I(G)^{\ell}$ が Cohen–Macaulay である一方で、$I(G)^{(´)}$ はそうではない。