[論文レビュー] Betti numbers of Stanley--Reisner rings with pure resolutions

Gábor Hegedüs|arXiv (Cornell University)|Sep 2, 2010

Commutative Algebra and Its Applications参考文献 21被引用数 3

ひとこと要約

本稿では、純粋な分解を持つスターリング＝ライスナー環のベッチ数およびヒルベルト＝サミュエル多重度について、その下にある単体的複体のhベクトルを用いて明示的な公式を導出する。主な貢献は、双対性および分解理論を用いて、弦的グラフのクリーク複体およびコhen–マカウルの単体的複体のhベクトルに対する線形方程式および不等式を確立することにある。

ABSTRACT

Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system and some inequalities for the components of the $h$--vector of the clique complex of an arbitrary chordal graph. As an other application, we derive a linear equation system and some inequalities for the components of the $h$--vector of Cohen--Macaulay simplicial complexes.

研究の動機と目的

• 純粋な分解を持つスターリング＝ライスナー環のベッチ数およびヒルベルト＝サミュエル多重度を、単体的複体のhベクトルを用いて表現すること。
• 弦的グラフのクリーク複体のhベクトル成分に対する線形方程式および不等式を確立すること。
• コhen–マカウルの単体的複体のhベクトルに対して類似の制約を導出すること。
• 双対性および分解理論を用いて、代数的不変量と複体の組合せ的データの間の関係を結ぶこと。
• 純粋な分解を用いて、Fröbergの線形分解の特徴付けを高次元の複体へ一般化すること。

提案手法

• エーガン–ライナーの定理を用いて、単体的複体のアレクサンダー双対とそのスターリング＝ライスナー環の分解型の関係を確立する。
• ヒルベルト＝セールの定理を適用して、ヒルベルト級数および多重度をhベクトルと二項係数を用いて表現する。
• 単体的複体Δとそのアレクサンダー双対Δ*の双対性を用いて、ベッチ数および多重度の公式を導出する。
• スターリング＝ライスナー環が純粋な分解を持つという条件を用いて、二項係数およびhベクトル成分を含む明示的公式を導出する。
• 弦的グラフが準森林のクリーク複体として特徴付けられることを応用し、グラフ論的性質と代数的不変量を結びつける。
• 純粋な分解の条件と、多重度の公式における二項係数の符号の交互性を組み合わせることで、不等式および方程式を導出する。

実験結果

リサーチクエスチョン

• RQ1 純粋な分解を持つスターリング＝ライスナー環のベッチ数は、その下にある単体的複体のhベクトルを用いてどのように表現できるか？
• RQ2 弦的グラフのクリーク複体のhベクトルはどのような線形方程式および不等式によって制約を受けるか？
• RQ3 コhen–マカウルの単体的複体のベッチ数およびヒルベルト＝サミュエル多重度は、そのhベクトルとどのように関係するか？
• RQ4 アレクサンダー双対は、分解のデータをhベクトルの組合せ的制約に変換するために果たす役割は何か？
• RQ5 純粋な分解の条件を用いて、hベクトル成分を用いたベッチ数の普遍的な不等式を導出できるか？

主な発見

• 純粋な分解を持つスターリング＝ライスナー環のベッチ数は、$\beta_i = \sum_{\ell=0}^{2+i} (-1)^{\ell+i+1} h_{2+i-\ell} \binom{n-d}{\ell} $ で与えられる。ここで$n$は頂点数、$d$は複体の次元である。
• 弦的グラフのクリーク複体に対して、$\sum_{\ell=0}^{j} (-1)^\ell h_{j-\ell} \binom{n-d}{\ell} = 0$ が $j=1$ または $p+2 < j \leq n$ に対して成り立つ。ここで$p$は射影次元である。
• $k[\Delta^*]$のヒルベルト＝サミュエル多重度は、$e(k[\Delta^*]) = \frac{(-1)^{k^*}}{k^*!} \sum_{i=0}^p (-1)^i \beta_i^* (n-d+i)^{k^*} $ で与えられる。ここで$k^*$は、$\binom{n}{k^*} \neq f_{k^*-1}$ だが $\binom{n}{k^*-1} = f_{k^*-2}$ であるという条件を満たす。
• コhen–マカウルの複体に対しては、すべての$0 \leq i \leq p$に対して不等式 $\sum_{\ell=0}^{t+i} (-1)^{\ell+i+1} \binom{k^*}{\ell} h^*_{t+i-\ell} \geq \binom{p}{i} $ が成り立つ。ここで$t = n-d$である。
• 弦的グラフのクリーク複体のhベクトルは、$\sum_{\ell=0}^{2+i} (-1)^{\ell+i+1} \binom{n-d}{\ell} h_{2+i-\ell} \geq \binom{p}{i} $ をすべての$0 \leq i \leq p$に対して満たす。これは、補グラフの辺イデアルの2次元線形分解から導出される。
• コhen–マカウルの単体的複体のhベクトル成分は、恒等式 $\binom{n}{k^*} - f_{k^*-1} = \frac{(-1)^{k^*}}{k^*!} \sum_{i=0}^p (-1)^i \beta_i^* (n-d+i)^{k^*} $ によって制約を受ける。この恒等式は、組合せ論と代数的不変量を結びつける。