[論文レビュー] Algebraic shifting and graded Betti numbers

Takayuki Hibi, Satoshi Murai|ArXiv.org|Mar 29, 2005

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、スターリング＝ライスナーイデアルのグレード付きベッチ数に関する2つの基本的不等式を確立する：(1) 無限の底体に対して、外代数的シフト複体は任意の組合せ的シフト複体のベッチ数以上である；(2) 無理の底体に対し、元の単体的複体は任意の組合せ的シフト複体のベッチ数以上に抑えられる。主な貢献は、体の特徴に関する制約なく、同じfベクトルを持つすべての複体において、レックスセグメント複体がグレード付きベッチ数を最小化することの証明である。

ABSTRACT

Let $S = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $°x_i = 1$. Let $Δ$ be a simplicial complex on $[n] = \{1, ..., n \}$ and $I_Δ\subset S$ its Stanley--Reisner ideal. We write $Δ^e$ for the exterior algebraic shifted complex of $Δ$ and $Δ^c$ for a combinatorial shifted complex of $Δ$. Let $β_{ii+j}(I_Δ) = \dim_K \Tor_i(K, I_Δ)_{i+j}$ denote the graded Betti numbers of $I_Δ$. In the present paper it will be proved that (i) $β_{ii+j}(I_{Δ^e}) \leq β_{ii+j}(I_{Δ^c})$ for all $i$ and $j$, where the base field is infinite, and (ii) $β_{ii+j}(I_Δ) \leq β_{ii+j}(I_{Δ^c})$ for all $i$ and $j$, where the base field is arbitrary. Thus in particular one has $β_{ii+j}(I_Δ) \leq β_{ii+j}(I_{Δ^{lex}})$ for all $i$ and $j$, where $Δ^{lex}$ is the unique lexsegment simplicial complex with the same $f$-vector as $Δ$ and where the base field is arbitrary.

研究の動機と目的

• 単体的複体とその代数的シフト対応物の間のグレード付きベッチ数の一般不等式を確立すること。
• 異なるシフト複体におけるベッチ数の順序付けに関する長年の予想を解決すること。
• 同じfベクトルを持つすべての複体の中で、レックスセグメント複体がベッチ数を最小化することを証明すること、すなわち、体の特徴にかかわらず成り立つこと。
• 組合せ的シフト複体の非一意性を分析し、すべての他の複体のベッチ数行動を一様に上界で抑えるような極値複体が存在しないことを示すこと。

提案手法

• 与えられた単体的複体Δから、外代数的シフト複体Δ^eと組合せ的シフト複体Δ^cを代数的シフト理論を用いて構成する。
• Hochsterの公式を適用して、単体的ホモロジーを介してスターリング＝ライスナーイデアルのグレード付きベッチ数を計算する。
• 外代数内の単項式を体系的にシフトする操作S^0_ijを用い、ベッチ数の上限を保つ。
• シフトプロセスに基づき、すべての可能なシフトイデアルJ_Δ^cをI^Q（Q ∈ {A,B}^6の列）として分類する。
• 異なるシフト複体間でのベッチ数比較のため、単項式の個数m_≤i(J, j)の詳細な分析を用いる。
• 背理法を用いて、すべてのベッチ数の上限を一括して抑えるような普遍的な最小または最大の組合せ的シフト複体が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 底体が無限のとき、外代数的シフト複体Δ^eのベッチ数が任意の組合せ的シフト複体Δ^cのベッチ数以上に抑えられるか？
• RQ2 特徴0に限らず、任意の底体に対して不等式β_ii+j(I_Δ) ≤ β_ii+j(I_Δ^c)が成り立つか？
• RQ3 同じfベクトルを持つすべての複体の中で、ベッチ数β_ii+j(I_Δ^c)を最小化する組合せ的シフト複体Δ^cが存在するか？
• RQ4 すべてのΔ^cとすべてのi,jに対してβ_ii+j(I_Δ^c) ≤ β_ii+j(I_Δ_♯^c)を満たすような極値の組合せ的シフト複体Δ_♯^cが存在するか？
• RQ5 外代数的シフト複体Δ^eが任意の組合せ的シフト複体Δ^cと一致する可能性はあるか？

主な発見

• 無限の底体に対して、すべてのi,jについてβ_ii+j(I_Δ^e) ≤ β_ii+j(I_Δ^c)が成り立ち、外代数的シフトがベッチ数を増加させないことを証明する。
• 任意の底体に対して、すべてのi,jについてβ_ii+j(I_Δ) ≤ β_ii+j(I_Δ^c)が成り立ち、以前の結果をすべての体に拡張する。
• 同じfベクトルを持つすべての複体の中で、レックスセグメント複体Δ^lexがグレード付きベッチ数を最小化し、すべてのi,jについてβ_ii+j(I_Δ) ≤ β_ii+j(I_Δ^lex)が成り立つ。
• すべてのΔ^cとすべてのi,jに対してβ_ii+j(I_Δ^c) ≤ β_ii+j(I_Δ_♯^c)を満たすような組合せ的シフト複体Δ_♯^cは存在しない。これは、普遍的な上界が存在しないことを示している。
• 任意の組合せ的シフト複体Δ^cについてΔ^e = Δ^cが成り立たない。これは、外代数的シフト複体が組合せ的シフトとして実現できないことを示している。
• 明示的な反例を構成することで、組合せ的シフト複体の集合はベッチ数の優越性に関して全順序でないことが示された。