[论文解读] Symbolic powers of vertex cover ideals

S. Selvaraja|arXiv (Cornell University)|Aug 28, 2019

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

一句话总结

该论文证明了某些顶点可分解图——特别是通过在顶点子集上添加胡须（whiskers）构造的图——的顶点覆盖理想符号幂具有线性商。关键贡献在于对这些符号幂何时为分量线性（componentwise linear）的刻画，从而导出了基于最小顶点覆盖最大大小的 Castelnuovo-Mumford 正则性显式公式。

ABSTRACT

Let $G$ be a finite simple graph and $J(G)$ denote its cover ideal in a polynomial ring over a field $\mathbb{K}$. In this paper, we show that all symbolic powers of cover ideals of certain vertex decomposable graphs have linear quotients. Using these results, we give various conditions on a subset $S$ of the vertices of $G$ so that all symbolic powers of vertex cover ideals of $G \cup W(S)$, obtained from $G$ by adding a whisker to each vertex in $S$, have linear quotients. For instance, if $S$ is a vertex cover of $G$, then all symbolic powers of $J(G \cup W(S))$ have linear quotients. Moreover, we compute the Castelnuovo-Mumford regularity of symbolic powers of certain cover ideals.

研究动机与目标

• 确定顶点覆盖理想符号幂具有线性商的条件。
• 研究图的修改——特别是向顶点子集添加胡须——对覆盖理想代数性质的影响。
• 计算特定图类中覆盖理想符号幂的 Castelnuovo-Mumford 正则性。
• 将已知的分量线性结果扩展至符号幂，特别是在顶点可分解图与胡须图的背景下。

提出的方法

• 利用图的顶点可分解性，推导出覆盖理想符号幂的线性商。
• 应用符号幂作为理想最小素理想的对应主分量交集的概念。
• 利用边理想与覆盖理想之间的 Alexander 对偶性，将图的组合性质与理想的代数性质关联起来。
• 使用分量线性与线性商的概念，分析符号幂的极小自由解析。
• 应用组合交换代数中的结果，包括通过分量线性理想中最高次生成元刻画正则性的方法。
• 使用计算工具（Macaulay2 搭配 EdgeIdeals、SimplicialDecomposability、SymbolicPowers 包）验证并探索具体例子。

实验结果

研究问题

• RQ1 在何种条件下，胡须图的覆盖理想符号幂具有线性商？
• RQ2 当向顶点子集添加胡须后，覆盖理想符号幂何时仍保持分量线性？
• RQ3 对于顶点可分解图或胡须图，覆盖理想符号幂的 Castelnuovo-Mumford 正则性是多少？
• RQ4 对于哪些顶点可分解图，其第 k 次迭代胡须构造（k ≥ 1）也保持顶点可分解？
• RQ5 在特定图条件下，覆盖理想符号幂的正则性是否等于 k 倍原覆盖理想的次数？

主要发现

• 对于 $ G \bigcup W(S) $，其中 $ S $ 是 $ G $ 的顶点覆盖，其覆盖理想的全部符号幂均具有线性商。
• 若 $ G $ 是顶点可分解图且 $ S \neq \nul $，则 $ G \bigcup W(S) $ 的覆盖理想符号幂具有线性商。
• 对于星形完全图 $ G $，对所有 $ k \neq 1 $，有 $ \text{reg}(J(G)^{(k)}) = k \times \text{deg}(J(G)) $，其中 $ \text{deg}(J(G)) = |V(G)| - 1 $。
• 对于图 $ G = H^\tau $，其中 $ \tau $ 是团顶点划分，则对所有 $ k \neq 1 $，有 $ \text{reg}(J(G)^{(k)}) = k \times \text{deg}(J(G)) $。
• 对于满足定理 4.3 条件的二分图，有 $ J(G)^{(k)} = J(G)^k $，且 $ \text{reg}(J(G)^{(k)}) = k \times \text{deg}(J(G)) $。
• 在非二分图中，如例 4.12 所示，$ \text{reg}(J(G)^{(2)}) = 9 $，而 $ \text{reg}(J(G)) = 4 $，表明正则性公式并不总是成立。