[論文レビュー] Symbolic powers of edge ideals of graphs

Yan Gu, Huy Tài Hà+2 more|arXiv (Cornell University)|May 9, 2018

Commutative Algebra and Its Applications参考文献 36被引用数 12

ひとこと要約

本稿では、特に奇数長のサイクルを含むユニサイクリックグラフにおける辺イデアルの記号的べきの分解公式を提示し、ウォルドシュミット定数、再発数、記号的べきの正則性の明示的計算を可能にする。主な結果は、奇数長サイクルの辺イデアルの記号的べきの正則性が通常のべきの正則性と等しいことを示す構造的分解であり、長年の予想に対する強い証拠を提供する。

ABSTRACT

Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $ ext{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$.

研究の動機と目的

• ユニサイクリックグラフ、特に奇数長サイクルを含むものにおける辺イデアルの記号的べきの構造を理解すること。
• このようなイデアルにおける漸近的不変量（ウォルドシュミット定数、再発数など）を計算すること。
• 記号的べきの正則性関数を調査し、Minhの予想（reg(I^{(s)}) = reg(I^s)）に対する証拠を提供すること。
• 任意のグラフにおける辺イデアルの記号的べきの正則性に対する一般の下界を確立すること。

提案手法

• 奇数長サイクル C_{2n+1} を持つユニサイクリックグラフについて、記号的べき I^{(s)} を通常のべきの和に分解する。分解では、サイクルの頂点積のべきを乗じる。
• 崩壊的グラフと記号的リース代数の概念を用いて、記号的リース代数が次数 1 と (n+1) で生成されることを示す。
• 初等的な可換代数および単項イデアルの技法を用いて、I^{(n+1)} の明示的記述を提供する。
• 誘導マッチング数 ν(G) を用いて、reg(I^{(s)}) に対する一般の下界を確立し、reg(I^{(s)}) ≥ 2s + ν(G) - 1 を示す。
• 分解公式を活用して、奇数長サイクルの辺イデアルの I^{(s)} の正則性を、下界と上界の両方を証明することで計算する。
• コロンイデアルの技法と頂点被覆の性質を用いて、記号的べきと通常のべきの包含関係および等号条件を分析する。

実験結果

リサーチクエスチョン

• RQ1 ユニサイクリックグラフに奇数長サイクル C_{2n+1} を持つ場合、辺イデアルの記号的べきの構造はどのようなものか？
• RQ2 このようなイデアルについて、ウォルドシュミット定数と再発数をどのように明示的に計算できるか？
• RQ3 Minhの予想が正しければ、奇数長サイクルの辺イデアルの記号的べきの正則性は通常のべきの正則性と等しいのだろうか？
• RQ4 任意のグラフにおける辺イデアルの記号的べきの正則性に対する一般の下界は何か？
• RQ5 ユニサイクルグラフにおいて、記号的べきと通常のべきの辺イデアルが一致する条件は何か？

主な発見

• ユニサイクルグラフ G が奇数長サイクル C_{2n+1} を持つとき、記号的べき I^{(s)} は次のように分解可能である：I^{(s)} = ∑_{t=0}^{k} I^{s-t(n+1)}(x_1⋯x_{2n+1})^t ここで s = k(n+1) + r。
• この分解により、このようなイデアルのウォルドシュミット定数と再発数の明示的計算が可能になる。
• 奇数長サイクルの辺イデアルの記号的べきの正則性は、reg(I^{(s)}) = reg(I^s) を満たし、Minhの予想に対する強い証拠を提供する。
• I = I(C_{2n+1}) の場合、すべての s ≥ 2 に対して reg(I^{(s)}) = 2s + ⌊(2n+1)/3⌋ - 1 と明示的に与えられる。
• reg(I^{(s)}) に対する一般の下界が確立され、reg(I^{(s)}) ≥ 2s + ν(G) - 1 が成り立つ。ここで ν(G) は誘導マッチング数である。
• 支配的奇数長サイクルをもつユニサイクルグラフでは、I^s = I^{(s)} ∩ m^{2s} が成り立つが、サイクルが支配的でない場合には一般には成り立たない。