[论文解读] 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$，证明当且仅当 $G$ 是有限个完全图的不相交并时，$S/I(G)^{(´)}$ 对某个 $ε ≥ 3$ 是 Cohen–Macaulay。此外，本文进一步证明：若 $S/I(G)^{\ell}$ 对某个 $ε ≥ 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 性替换为有限 $ε \geq 3$，强化关于完全交边理想的现有定理。

提出的方法

• 在边理想的背景下使用符号幂及其性质。
• 应用 Stanley–Reisner 理论与单纯复形分析 $I(G)^{(´)}$。
• 利用极化与单纯复形分解刻画 $G$ 的结构。
• 利用局部上同调中关于无瑕性、(FLC) 与 Buchsbaum 性的结果。
• 利用 $S/I(G)^{\ell}$ 对 $\ell \geq 3$ 是 Cohen–Macaulay 与 $I(G)$ 是完全交理想之间的等价性。
• 分析与 $I(G)$ 相关的单纯复形 $\Delta(G)$ 的结构，尤其在维度 $\geq 3$ 时。

实验结果

研究问题

• RQ1 对某个 $\ell \geq 3$，$S/I(G)^{(´)}$ 何时是 Cohen–Macaulay？
• RQ2 对某个 $\ell \geq 3$，$S/I(G)^{(´)}$ 何时满足 Serre 的条件 $(S_2)$？
• RQ3 对某个 $\ell \geq 3$，$S/I(G)^{(´)}$ 何时具有 (FLC)？
• RQ4 若 $S/I(G)^{\ell}$ 对某个 $\ell \geq 3$ 是 Cohen–Macaulay，则 $I(G)$ 是否为完全交理想？
• RQ5 当 $S/I(G)^{\ell}$ 对某个 $\ell \geq 3$ 具有 (FLC) 时，$G$ 的结构是怎样的？

主要发现

• 对某个 $\ell \geq 3$，符号幂 $I(G)^{(´)}$ 是 Cohen–Macaulay 当且仅当 $G$ 是有限个完全图的不相交并。
• 若 $S/I(G)^{\ell}$ 对某个 $\ell \geq 3$ 是 Cohen–Macaulay，则 $I(G)$ 是完全交理想。
• 对 $\ell \geq 3$，$S/I(G)^{(´)}$ 具有 (FLC) 当且仅当单纯复形 $\Delta(G)$ 可分解为维度 $d \geq 3$ 的复形 $\Delta_{n_{i1},\ldots,n_{id}}$ 的不相交并，这些复形对应于完全图。
• 条件 $d = \dim S/I(G) \geq 3$ 是必要的；当 $d < 3$ 时，该刻画不成立，如五边形所示的反例。
• 若 $G$ 是完全图的不相交并，则对所有 $\ell \geq 1$，符号幂 $I(G)^{(´)}$ 是 Cohen–Macaulay。
• 当 $\ell = 2$ 时，情况更复杂：$I(G)^{\ell}$ 可能是 Cohen–Macaulay 而 $I(G)^{(´)}$ 不是，如五边形的情形所示。