[論文レビュー] On approximately Cohen-Macaulay binomial edge ideal

Sohail Zafar|arXiv (Cornell University)|Jan 4, 2013

Commutative Algebra and Its Applications参考文献 7被引用数 17

ひとこと要約

本稿は多項式環における近似的に Cohen-Macaulay な二項辺イデアルを、木とサイクルに焦点を当てて調査する。連結な木のうち、二項辺イデアルが近似的に Cohen-Macaulay であるものについて完全な特徴付けを与える——具体的には 3-スターリンク構造を持つ木であり、任意のサイクルの二項辺イデアルが近似的に Cohen-Macaulay であることを証明する。主な貢献は、ホモロジー的手段、特に正規双対モジュールとモジュール欠損度を用いて、これらのイデアルのヒルベルト級数を計算することであり、サイクルの場合には明示的な公式が導出され、次数が n であることが示される。

ABSTRACT

Binomial edge ideals IG of a graph G were introduced by [4]. They found some classes of graphs G with the property that IG is a Cohen-Macaulay ideal. This might happen only for few classes of graphs. A certain generalization of being Cohen-Macaulay, named approximately Cohen-Macaulay, was introduced by S. Goto in [3]. We study classes of graphs whose binomial edge ideal are approximately Cohen-Macaulay. Moreover we use some homological methods in order to compute their Hilbert series.

研究の動機と目的

• 近似的に Cohen-Macaulay 環の概念を導入することで、二項辺イデアルへの Cohen-Macaulay 性の拡張を図ること。
• 二項辺イデアルが近似的に Cohen-Macaulay であるようなすべての連結木を特定し、特徴付けること。
• 任意のサイクルの二項辺イデアルが近似的に Cohen-Macaulay であることを証明すること。
• 特に正規双対モジュールとモジュール欠損度を用いたホモロジー代数的手法により、これらのイデアルのヒルベルト級数を計算すること。
• サイクルの二項辺イデアルおよび関連する完全グラフのヒルベルト級数について、明示的な公式を提供すること。

提案手法

• 本稿は、S. Goto が導入した近似的に Cohen-Macaulay 環の定義を用い、環自体が Cohen-Macaulay でないものの正規双対モジュールが Cohen-Macaulay であるような環に注目する。
• 特に正規双対モジュール $\omega(M)$ と欠損度モジュール $\omega^i(M) = \text{Ext}^{2n-i}_S(M, S)$ を用いたホモロジー的道具を用いて、$S/I_G$ の構造を分析する。
• 木の場合、特徴付けは 3-スターリンク構造に基づく。ここで、中心頂点が長さ 1 の 3 本以上のパスに接続されている。
• サイクルの場合、証明は適切なイデアル $I_L$（完全交差）の構成と、$g$ を特定の元としたコロニアルイデアル $(I_L : g)$ の分析に依存する。
• ヒルベルト級数は、$S/I_L$、$S/J_{\tilde{G}}$、$S/(I_L : g, J_{\tilde{G}})$ を含む完全系列を用い、双対性公式 $H(\omega(M), t) = (-1)^{n+1} H(M, 1/t)$ を適用する。
• 明示的な公式は、関係式 $H(S/I_C, t) = H(S/I_L, t) - t^2 H(S/I_L : g, t)$ を用いて導出され、閉形式の表現が得られる。

実験結果

リサーチクエスチョン

• RQ1 どのクラスの連結木について、二項辺イデアルが近似的に Cohen-Macaulay であるか？
• RQ2 任意のサイクルの二項辺イデアルが近似的に Cohen-Macaulay であるか？
• RQ3 正規双対モジュールとホモロジー代数を用いて、サイクルの二項辺イデアルのヒルベルト級数をどのように計算できるか？
• RQ4 木とサイクルについて、グラフ $G$ の構造と $S/I_G$ の正規双対モジュールとの関係は何か？
• RQ5 完全系列と双対性を用いて、これらのグラフクラスについて $S/I_G$ のヒルベルト級数を閉形式で表現できるか？

主な発見

• 二項辺イデアルが近似的に Cohen-Macaulay であるすべての連結木は、1 つの中心頂点が 3 つ以上の葉に接続されている 3-スターリンク構造を持つ木に特徴付けられる。
• 長さ $n$ の任意のサイクルの二項辺イデアルは近似的に Cohen-Macaulay である。
• 長さ $n$ のサイクル $C$ について、$S/I_C$ のヒルベルト級数は $H(S/I_C, t) = \frac{(1+t)^{n-1} - t^2(1+t)^{n-1} + (n-1)t^n + t^{n+1}}{(1-t)^{n+1}}$ であり、次数 $e(S/I_C) = n$ である。
• 完全グラフの二項辺イデアルの正規双対モジュール $\omega(S/J_{\tilde{G}})$ は、$(I_L : g)/I_L$ に同型であり、ここで $I_L$ は完全交差イデアルである。
• ヒルベルト級数 $H(S/(I_L : g, J_{\tilde{G}}), t)$ は、双対性と完全系列から $\frac{1 + (n-1)t - (n-1)t^{n-2} - t^{n-1}}{(1-t)^{n+1}}$ として導出される。
• 正規双対モジュールの構造を確認するために、well-defined で次数 0 の準同型写像を介して $\omega(S/J_{\tilde{G}})$ と $(M, J_{\tilde{G}})/J_{\tilde{G}}$ の間に同型が確立される。