[論文レビュー] Bass Numbers and Semidualizing Complexes

Sean Sather-Wagstaff|ArXiv.org|Dec 3, 2008

Algebraic structures and combinatorial models参考文献 24被引用数 9

ひとこと要約

この論文は、可換局所ノエター環 $R$ 上における半双対的複体の鎖の存在とそのバース数の成長率との間の定量的関係を確立する。長さ $d+1$ のこのような複体の鎖が存在するならば、バース数 $ olinebreak[4] olinebreak textbackslash mu^i_R(R)$ は少なくとも $d$ 次の多項式的成長を示すことが示され、逆に、バース数、特にコhen-Macaulay型とその素因数分解を用いて、このような鎖の長さを制限する。

ABSTRACT

Let R be a commutative local noetherian ring. We prove that the existence of a chain of semidualizing R-complexes of length (d+1) yields a degree-d polynomial lower bound for the Bass numbers of R. We also show how information about certain Bass numbers of R provide restrictions on the lengths of chains of semidualizing R-complexes. To make this article somewhat self-contained, we also include a survey of some of the basic properties of semidualizing modules, semidualizing complexes and derived categories.

研究の動機と目的

• 局所ノエター環における半双対的複体の構造とバース数の成長との関係を調査すること。
• 非自明な半双対的複体の存在が、環のバース数に下界を課すかどうかを特定すること。
• 特にコhen-Macaulay型に関する情報を用いて、半双対的加群の鎖の長さをバース数から制約すること。
• 半双対的複体とそのホモロジー的不変量を理解するための導来カテゴリーフレームワークを提供すること。

提案手法

• ホモロジー的不変量を分析するために、導来カテゴリーや導来ファンクター $\mathbf{R}\!\operatorname{Hom}_R(-, -)$ および $- \otimes^\mathbf{L}_R -$ を用いる。
• 導来設定におけるベッチ数とバース数を追跡するために、ポincare系列 $P^R_X(t)$ とバース系列 $I^X_R(t)$ を適用する。
• 双対複体が存在する完備化の状態に還元することで、問題を完備化の状況に帰着させる。
• ゲルコの定理を用いて、双対複体のポincare系列を正の整数係数を持つ系列の積に因数分解する。
• 中谷の補題と自由分解の最小性を用いて、テンソル積における最高次ホモロジーの非消滅を保証する。
• 同型 $I^{\mathbf{R}\!\operatorname{Hom}_R(X,Z)}_R(t) = P^R_X(t) I^Z_R(t)$ を用いて、導来ホモロジー複体とバース系列を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 長さ $d+1$ の半双対的 $R$-複体の鎖の存在は、バース数 $ olinebreak[4] olinebreak textbackslash mu^i_R(R)$ が $i$ に関して少なくとも $d$ 次の多項式的下界を持つことを示唆するか？
• RQ2 バース数の成長率は、半双対的加群の鎖の長さを制限できるか？
• RQ3 $R$ がコhen-Macaulay で $ olinebreak[4] olinebreak textbackslash mu^g_R(R)$ が素数であるとき、すべての半双対的 $R$-加群は自由または双対化可能でなければならないか？
• RQ4 半双対的 $R$-加群の同型類の集合は有限であり、その鎖の長さはバース数によって上界で抑えられるか？
• RQ5 双対複体のポincare系列と、半双対的複体の鎖によって誘導される因数分解の正確な関係は何か？

主な発見

• 長さ $d+1$ の半双対的 $R$-複体の鎖が存在するならば、バース数 $ olinebreak[4] olinebreak textbackslash mu^i_R(R)$ は $i$ に関して少なくとも $d$ 次の多項式の下界で抑えられる。
• $R$ に長さ $d$ の半双対的加群の鎖が存在するならば、$d \leq \mu^{g+1}_R(R)$ が成り立つ。ここで $g$ は $R$ の深さである。これにより鎖の長さが制限される。
• コhen-Macaulayの場合、$ olinebreak[4] olinebreak textbackslash mu^g_R(R)$ が重複度を含めた $h$ 個の素因数を持つならば、$d \leq h \leq \mu^g_R(R)$ が成り立つ。よって鎖の長さは素因数の個数で抑えられる。
• $\mu^g_R(R)$ が素数であるならば、すべての半双対的 $R$-加群は自由または双対化可能であり、1より大きい長さの非自明な鎖は存在しない。
• $R$ のバース系列 $I^R_R(t)$ は、双対複体 $D$ のポincare系列 $P^R_D(t)$ とシフトを除いて等しくなる。これにより系列の因数分解が利用可能になる。
• 導来テンソル積およびホモロジーの公式 $P^{X \otimes^\mathbf{L}_R Y}_R(t) = P^R_X(t) P^R_Y(t)$ および $I^{\mathbf{R}\!\operatorname{Hom}_R(X,Z)}_R(t) = P^R_X(t) I^Z_R(t)$ は、主な下界を導出するために不可欠である。