[論文レビュー] Distributive Lattices, Bipartite Graphs and Alexander Duality

Juergen Herzog, Takayuki Hibi|ArXiv.org|Jul 17, 2003

Advanced Algebra and Logic参考文献 3被引用数 7

ひとこと要約

本稿では、有限順序集合 $P$ から生じる平方自由単項式イデアル $H_P$ が二次グレブナー基底を持つことを示すことにより、分配的ラティス、二部グラフ、およびアレクサンダー双対性の深い関係を確立する。この結果、$H_P$ のすべてのべきは線形分解を持つ。主たる貢献は、コーエン・マカウレイ二部グラフの完全な分類である：このようなグラフは、有限順序集合の比較可能性グラフとして生じる、かつかつての辺条件 $(\sharp\sharp\sharp)$ を満たす。

ABSTRACT

A certain squarefree monomial ideal $H_P$ arising from a finite partially ordered set $P$ will be studied from viewpoints of both commutative algebra and combinatorics. First, it is proved that the defining ideal of the Rees algebra of $H_P$ possesses a quadratic Gröbner basis. Thus in particular all powers of $H_P$ have linear resolutions. Second, the minimal free graded resolution of $H_P$ will be constructed explicitly and a combinatorial formula to compute the Betti numbers of $H_P$ will be presented. Third, by using the fact that the Alexander dual of the simplicial complex $Δ$ whose Stanley--Reisner ideal coincides with $H_P$ is Cohen--Macaulay, all the Cohen--Macaulay bipartite graphs will be classified.

研究の動機と目的

• 有限順序集合 $P$ に関連する平方自由単項式イデアル $H_P$ の代数的および組合的性質を研究すること。
• Rees代数 $\mathcal{R}(H_P)$ が二次グレブナー基底を持つことを確立し、これにより $H_P$ のすべてのべきが線形分解を持つことを示すこと。
• $H_P$ の明示的な最小自由分解を構成し、$\mathcal{J}(P)$ 内のブール区間を用いたそのベッチ数の組合的公式を導出すること。
• アレクサンダー双対性および分配的ラティスの構造を用いて、すべてのコーエン・マカウレイ二部グラフを分類すること。

提案手法

• 各 $p \in P$ に対し変数 $x_p, y_p$ を用い、順序理想 $I$ に関連する単項式 $u_I$ によって生成される平方自由単項式イデアル $H_P$ を定義する。
• Rees代数 $\mathcal{R}(H_P)$ 上の辞書式順序と $z_I$ 変数上の逆辞書式順序を用い、モノミアル順序 $<_{\text{lex}}^\sharp$ を定義する。
• Rees代数 $\mathcal{R}(H_P)$ の定義イデアル $\mathcal{W}_P$ が、平方自由な初期単項式を持つ二次二項式の減少グレブナー基底を有することを証明する。
• 明示的に $H_P$ の最小自由次数分解を構成し、$i$-番目のベッチ数 $\beta_i(H_P)$ が $\mathcal{J}(P)$ 内のランク $i$ のブール区間の数に等しいことを示す。
• アレクサンダー双対性を用いて、Stanley–Reisnerイデアルが $H_P$ である単体的複体 $\Delta_P$ のアレクサンダー双対がコーエン・マカウレイであることの証明を行い、これによりコーエン・マカウレイ二部グラフの分類が可能になる。
• アレクサンダー双対のStanley–Reisnerイデアルが二部グラフの辺イデアルであることに着目し、そのようなグラフがコーエン・マカウレイであるための必要十分条件が辺条件 $(\sharp\sharp\sharp)$ を満たすことであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限順序集合 $P$ に関連するイデアル $H_P$ の代数的性質は、その分配的ラティス $\mathcal{J}(P)$ の組合的構造とどのように関係するか？
• RQ2 $H_P$ の最小自由分解の構造は何か？ そのベッチ数はどのように組合的に計算できるか？
• RQ3 どの二部グラフがコーエン・マカウレイであるか？ また、それらは順序集合の構造によって特徴付けられるか？
• RQ4 アレクサンダー双対性は、$H_P$ のコーエン・マカウレイ性とその関連グラフの構造をどのように結びつけるか？
• RQ5 二部グラフが順序集合の比較可能性グラフとして生じ、かつコーエン・マカウレイのままであるための条件は何か？

主な発見

• Rees代数 $\mathcal{R}(H_P)$ の定義イデアルは二次グレブナー基底を持つため、$\mathcal{R}(H_P)$ は正規かつ Koszul であり、$H_P$ のすべてのべきは線形分解を持つ。
• $H_P$ の $i$-番目のベッチ数 $\beta_i(H_P)$ は、分配的ラティス $\mathcal{J}(P)$ 内のランク $i$ のブール区間の数に等しく、ベッチ数の組合的公式が得られる。
• $H_P$ の高さは 2 であり、$S/H_P$ の多重度は $P$ の極大元の数を含む式で与えられる。
• Stanley–Reisnerイデアルが $H_P$ である単体的複体 $\Delta_P$ のアレクサンダー双対はコーエン・マカウレイであり、これによりコーエン・マカウレイ二部グラフの分類が可能になる。
• 有限二部グラフ $G$ がコーエン・マカウレイであるための必要十分条件は、$G$ が有限順序集合の比較可能性グラフとして生じ、かつ辺が次の条件を満たすことである：$\{x_i,y_j\}$ と $\{x_j,y_k\}$ が辺であるならば、$i<j<k$ ならば $\{x_i,y_k\}$ も辺である。
• コーエン・マカウレイ二部グラフがゴレンスタインであるための必要十分条件は、それが辺の disjoint な和集合であることであり、これは元の順序集合が反鎖である場合に一致する。