[論文レビュー] Symbolic powers of vertex cover ideals

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

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

ひとこと要約

本稿では、特定の頂点分解可能グラフ、特に部分頂点集合にホイスカーシーを追加して得られるグラフの頂点被覆イデアルの記号的冪が線形商を持つことを確立する。主な貢献は、これらの記号的冪が成分ごとの線形性である条件の特徴付けであり、これにより最小頂点被覆の最大サイズに基づくカステルヌオーヴォ-ムーディー正則度の明示的公式が得られる。

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.

研究の動機と目的

• 記号的冪が線形商を持つ条件を特定すること。
• 特に頂点の部分集合にホイスカーシーを追加するというグラフの変形が、被覆イデアルの代数的性質に与える影響を調査すること。
• 特定のグラフクラスにおける被覆イデアルの記号的冪のカステルヌオーヴォ-ムーディー正則度を計算すること。
• 特に頂点分解可能およびホイスカーシー付きグラフの文脈において、既知の成分ごとの線形性に関する結果を記号的冪へと拡張すること。

提案手法

• グラフの頂点分解可能性を用いて、被覆イデアルの記号的冪における線形商の性質を導出する。
• 記号的冪を、イデアルの最小素イデアルに対応する準素成分の交わりとして扱う。
• エッジイデアルと被覆イデアルのアレクサンダー双対性を用いて、組合せ的グラフ性質と代数的イデアル性質の関係を関連付ける。
• 成分ごとの線形性と線形商の概念を用いて、記号的冪の最小自由分解を分析する。
• 正則度の最高次数生成元による特徴付けを含む、組合せ的コンmutative代数の結果を適用する。
• 計算ツール（Macaulay2 に EdgeIdeals, SimplicialDecomposability, SymbolicPowers パッケージを併用）を用いて、具体例の検証と探索を行う。

実験結果

リサーチクエスチョン

• RQ1 ホイスカーシー付きグラフの被覆イデアルの記号的冪が線形商を持つ条件は何か？
• RQ2 頂点の部分集合にホイスカーシーを追加した後でも、被覆イデアルの記号的冪が成分ごとの線形性を保つのはどのような場合か？
• RQ3 頂点分解可能またはホイスカーシー付きグラフにおける被覆イデアルの記号的冪のカステルヌオーヴォ-ムーディー正則度は何か？
• RQ4 すべての $ k \geq 1 $ に対して、$ k $ 回反復ホイスカーシー構成が有効な頂点分解可能グラフはどれか？
• RQ5 特定のグラフ条件のもとで、被覆イデアルの記号的冪の正則度が $ k $ 倍の元の被覆イデアルの次数に等しくなるか？

主な発見

• 任意の $ S $ が $ G $ の頂点被覆であるとき、$ G \bigcup W(S) $ の被覆イデアルのすべての記号的冪は線形商を持つ。
• もし $ 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 $ であるグラフ $ G $ に対して、$ \tau $ がクライQUE頂点分割であるとき、すべての $ 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 $ であり、正則度の公式が常に拡張されないことが示されている。