[論文レビュー] Regularity, Depth and Arithmetic Rank of Bipartite Edge Ideals

Manoj Kummini|arXiv (Cornell University)|Feb 3, 2009

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

ひとこと要約

本稿では、関連する有向グラフを用いて、非混合二部グラフの辺イデアルの正則性および深さの明示的公式を確立し、特にその有向グラフが ℕ² に埋め込める場合、算術的ランクが射影次元に等しいことを証明している。これは、集合論的完全交差性を示す。

ABSTRACT

We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.

研究の動機と目的

• 非混合二部グラフの辺イデアルのカステルヌオーヴォ・ムムフォード正則性および深さを、関連する有向グラフを用いて特徴付ける。
• 辺イデアルの算術的ランクがその射影次元に等しくなる条件を特定する。
• 二部グラフの辺イデアルが集合論的完全交差である、すなわち ht(I) 個の多項式によって radical として生成されることになる条件を調査する。
• 木や弦的グラフに対して既知の正則性に関する結果を、非混合二部グラフのより広いクラスへと拡張する。
• 辺イデアルのホモロジー的不変量を扱うための組合せ的枠組みを、有向グラフを介して提供する。

提案手法

• 非混合二部グラフ G の構造と完全マッチングに基づき、有向グラフ 𝔻_G を関連付ける。
• R/I の最小素イデアルの半順序集合の線形拡張を用いて、有向グラフ 𝔻_G を定義し、辺の包含構造を捉える。
• 正則性を 𝔻_G 内の最大の反鎖のサイズとして表現し、G におけるペアワイズ非接続辺集合に対応付ける。
• 𝔻_G の強い成分を用いて、R/I の深さの下界を、強い成分の数によって与える。
• 𝔻_G の最大の無環部分グラフ 𝔻̌_G を構成し、その Cohen-Macaulay 部分グラフ Ǧ 及びその辺イデアル Ǐ を定義する。
• ara(I) ≤ ara(Ǐ) + pd(R/I) - ht(I) を証明し、特に 𝔻_G が ℕ² に埋め込める場合には等号が成り立つことを、ht(I) に関する帰納法で示す。

実験結果

リサーチクエスチョン

• RQ1 非混合二部グラフの辺イデアルの正則性とその関連する有向グラフの構造との間の正確な関係は何か？
• RQ2 有向グラフ内の強い成分の数は、商環 R/I の深さとどのように関係するか？
• RQ3 非混合二部グラフの辺イデアルの算術的ランクがその射影次元に等しくなる条件は何か？
• RQ4 いつ、二部グラフの辺イデアルが集合論的完全交差であるか？
• RQ5 辺イデアルのホモロジー的不変量は、関連する有向グラフの組合せ的不変量によって完全に記述可能か？

主な発見

• 非混合二部グラフ G に対して、R/I の正則性は関連する有向グラフ 𝔻_G 内の最大反鎖のサイズに等しく、これは G 内のペアワイズ非接続辺集合の最大サイズに対応する。
• R/I の深さは、𝔻_G 内の強い成分の数以上である。これは、グラフの接続性構造に基づく下界を提供する。
• 関連する有向グラフ 𝔻_G が ℕ² に埋め込める非混合二部グラフに対して、辺イデアルの算術的ランクはその射影次元に等しい。
• G が Cohen-Macaulay であり、且つ 𝔻_G が ℕ² に埋め込める場合、R/I は集合論的完全交差である。すなわち、I はちょうど ht(I) 個の元によって生成されるイデアルの radical である。
• すべての非混合二部グラフの辺イデアルに対して、不等式 ara(I) ≤ ara(Ǐ) + pd(R/I) - ht(I) が成り立つ。ここで Ǐ は最大の Cohen-Macaulay 部分グラフの辺イデアルである。
• 𝔻_G の最大の無環部分グラフが ℕ² に埋め込める場合には、ht(I) に関する帰納法を用いて、等式 ara(I) = pd(R/I) が成立することが示された。