[論文レビュー] Jump Sequences of Edge Ideals

Gwyneth Whieldon|arXiv (Cornell University)|Dec 1, 2010

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

ひとこと要約

本稿では、グラフのエッジイデアルの自由分解における最高次数を特徴付けるためにジャンプ列の概念を導入し、最初の非線形ベッチ数がホモロジー段階 $a_1$ に現れるならば、次の非線形ベッチ数は段階 $2a_1$ 以降に現れることを証明する。ジャンプ列に必要な条件を確立し、Gorensteinエッジイデアルで高い正則性を持つような多くの実現可能な列を構成するアルゴリズムを提供する。

ABSTRACT

Given an edge ideal of graph G, we show that if the first nonlinear strand in the resolution of $I_G$ is zero until homological stage $a_1$, then the next nonlinear strand in the resolution is zero until homological stage $2a_1$. Additionally, we define a sequence, called a \emph{jump sequence}, characterizing the highest degrees of the free resolution of the edge ideal of G via the lower edge of the Betti diagrams of $I_G$. These sequences strongly characterize topological properties of the underlying Stanley-Reisner complexes of edge ideals, and provide general conditions on construction of clique complexes on a fix set of vertices. We also provide an algorithm for obtaining a large class of realizable jump sequences and classes of Gorenstein edge ideals achieving high regularity.

研究の動機と目的

• エッジイデアルのベッチ図の下部構造をジャンプ列によって特徴付けること。
• 有限グラフのエッジイデアルのジャンプ列の可能な形状に対する必要条件を確立すること。
• 無限個の族のグラフを構成し、$\operatorname{Ind}(G) = 1$ かつ正則性が 4 または 5 であるもの、一般には高い正則性を持つ列を実現すること。
• ジャンプ列とスターリング＝ライスナー複体の位相的性質（特に球面の三角形分割）との関係を調査すること。
• エッジイデアルの正則性の上限とジャンプ列の実現可能性に関する未解決問題に取り組むこと。

提案手法

• ジャンプ列 $[k; a_1, \dots, a_{k-1}]$ を、$I_G$ の分解における最初の非線形ベッチ数が現れるホモロジー段階として定義し、$k = \operatorname{reg}(I_G) - 1$ とする。
• 任意のエッジイデアルについて、最初の非線形ベッチ数が段階 $a_1$ に現れるならば、次の非線形ベッチ数は段階 $\geq 2a_1$ に現れることを証明し、重要な間隔条件 $2a_1 \leq a_2$ を確立する。
• 特定の辺集合を持つ2次元単体的複体 $H$ の補集合 $G = H^c$ を用いて、所望のジャンプ列を持つエッジイデアルを持つグラフの族を構成する。
• $H$ の1次スケルトンのクリーク閉包を用いて、スターリング＝ライスナー複体が誘導された4サイクルを持たず、望ましい次数で非自明なホモロジーを持つことを保証する。
• 複体のジョインのホモロジーを計算するためにクンネットの公式を適用し、構成されたエッジイデアルにおける正則性を制御可能にする。
• 2次元球面の三角形分割 $\Delta$ の再三角形化 $\mathrm{sd}_4(\Delta)$ を導入し、$C_4$-フリーな1次スケルトンを生成することで、$\operatorname{Ind}(G) = 1$ かつ正則性が4または5のエッジイデアルを生成する。

実験結果

リサーチクエスチョン

• RQ1 もし $\operatorname{Ind}(G) = 1$ ならば、$I_G$ の正則性に上限はあるか？
• RQ2 与えられた真に増加する列 $[k; a_1, \dots, a_{k-1}]$ に対して、$\operatorname{reg}(I_G) = k+1$ かつ最初の非線形シンジーギーがホモロジー段階 $a_i+1$ に現れるようなグラフ $G$ が存在するか？
• RQ3 正則性が4であるグラフについて、ジャンプ列 $[k; a_1, a_2]$ の実現可能性について鋭い条件を与えることができるか？
• RQ4 正則性が6であるような $\operatorname{Ind}(G) = 1$ のグラフが存在するか？
• RQ5 正則性が $4k + 1$ 以上であるような $\operatorname{Ind}(G) = k$ のグラフが存在するか？

主な発見

• 本稿では、任意のエッジイデアル $I_G$ について、最初の非線形ベッチ数がホモロジー段階 $a_1$ に現れるならば、次の非線形ベッチ数は段階 $\geq 2a_1$ に現れることを証明し、$2a_1 \leq a_2$ を必要条件として確立する。
• 特定の辺集合を持つ $nm$ 頂点の2次元複体 $H$ の補集合 $G = H^c$ を用いて、$\operatorname{Ind}(G) = 1$ かつ $\operatorname{reg}(I_G) = 4$ である無限個のグラフ族を構成する。
• 同じ手法を用いて、ジャンプ列 $[3; 3, nm - 4]$ を持つ $\operatorname{Ind}(G) = 1$ かつ $\operatorname{reg}(I_G) = 5$ である無限個のグラフ族を構成する。
• 2次元球面の三角形分割 $\Delta$ の再三角形化 $\mathrm{sd}_4(\Delta)$ は、$C_4$-フリーな1次スケルトンを生成し、$\operatorname{Ind}(G) = 1$ かつ正則性が4または5のエッジイデアルを生成する。
• 任意の正則性 $r$ を持つグラフ $G$ に対して、$k$ 個の $G$ の互いに素なコピーを組み合わせて連結することで、スターリング＝ライスナー複体の正則性が $kr + (k-1)$ になる。$\operatorname{reg}(I_G) = 4$ ならば、$\operatorname{reg}(I_{G'}) = 4k+1$ となるようなイデアルの構成が可能である。
• 本稿では、$\mathrm{sd}_4(\Delta)$ がクリーク閉であり、2次のスターリング＝ライスナーイデアルを持つことを示し、$C_4$-フリーな補集合から生じるエッジイデアルであることを示している。