[論文レビュー] Local Cohomology at Monomial Ideals

Mircea Mustaţă|ArXiv.org|Jan 26, 2000

Commutative Algebra and Its Applications参考文献 8被引用数 4

ひとこと要約

本稿は、単項式イデアルにおける局所コホモロジー・モジュールの組合せ的記述を、単体的複体とアレクサンダー双対イデアルのベッチ数を用いて行う。Extと局所コホモロジーの多重次数成分が単体的コホモロジー群と同型であることを確立し、双対イデアルのベッチ数によってインデックス付けられた自然なフィルトレーションを構成することで、関連素イデアルの明示的計算と特徴付けを可能にする。

ABSTRACT

For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner theory. As a first application we give an isomorphism Tor_i(B', k)_p\iso Ext^{|p|-i}(R/B,R)_{-p} for all p in {0,1}^n, where B' is the Alexander dual ideal of B. We deduce a canonical filtration of Ext^i(R/B,R) with succesive quotients of the form R/(X_{j_1},...,X_{j_i}) suitably shifted, the multiplicities being computed from the Betti numbers of B'. As a final application, we give a topological description for the associated primes of Ext^i(R/B,R).

研究の動機と目的

• 多項式環内の単項式イデアル B に対して、局所コホモロジー・モジュール H^i_B(R) の組合せ的記述を提供すること。
• 平方自由単項式イデアル B に対して、アレクサンダー双対 B^∨ のベッチ数を用いて、Ext^i_R(R/B, R) にフィルトレーションを構成すること。
• B^∨ に関連する単体的複体の位相的条件を用いて、R/B のホモロジー的関連素イデアルを特徴付けること。
• 単体的コホモロジーを用いて、Ext および局所コホモロジーの多重次数成分の明示的公式を導出すること。
• Ext^i_R(R/B, R) の構造を B^∨ のベッチ数と関連づけ、ホクスターとアイゼンバードの結果を拡張すること。

提案手法

• B の根基のフロベニウス巾 B_0^{[d]} を用いて、局所コホモロジーを定義する極限を安定化すること。
• H^i_B(R) の次数 α 成分を、B と α の符号に依存する複体の相対単体的コホモロジーとして記述すること。
• Ext^i_R(R/B, R) に、R/P_α(α) とベッチ数 β_{l−i,α}(B^∨) のテンソル積と同型な各次元が得られる自然なフィルトレーションを構成すること。
• ホクスターの公式を適用し、Tor^R_{|α|−i}(B^∨, k)_α と多重次数成分 Ext^i_R(R/B, R)_{−α} を関連付けること。
• 単体的包含写像を用いて、局所コホモロジー上の R-加群構造を誘導コホモロジー写像としてモデル化すること。
• 単体的コホモロジーにおける制限写像の核を用いて、関連素イデアルの位相的特徴付けを行うこと。

実験結果

リサーチクエスチョン

• RQ1 単項式イデアル B に対して、H^i_B(R) の多重次数成分をどのように組合せ的に記述できるか？
• RQ2 B が平方自由単項式イデアルであるとき、Ext^i_R(R/B, R) は R-加群としてどのようにフィルター化されるか？
• RQ3 どの素イデアル P_α が Ext^i_R(R/B, R) の関連素イデアルとして現れ、その最小性を決定づける条件は何か？
• RQ4 アレクサンダー双対 B^∨ のベッチ数は、Ext^i_R(R/B, R) の構造をどのように制御するか？
• RQ5 Ext^i_R(R/B, R) の関連素イデアルは、B^∨ から導かれる単体的複体の単体的コホモロジーのみを用いて完全に特徴付けられるか？

主な発見

• 自然な写像 Ext^i_R(R/B_0^{[d]}, R) → H^i_B(R) は、すべての j に対して α_j ≥ −d を満たす多重次数 α を持つ要素の部分モジュールに同型である。
• 平方自由単項式イデアル B に対して、0 = M_0 ⊂ ⋯ ⊂ M_n = Ext^i_R(R/B, R) である自然なフィルトレーションが存在し、M_l / M_{l−1} ≅ ⨁_{|α|=l} (R/P_α(α))^{β_{l−i,α}(B^∨)} が成り立つ。
• すべての α ∈ {0,1}^n に対して、多重次数成分 Ext^i_R(R/B, R)_{−α} は Tor^R_{|α|−i}(B^∨, k)_α に同型である。
• Ext^i_R(R/B, R) の関連素イデアルは {P_α | β_{|α|−i,α}(B^∨) ≠ 0} に含まれており、P_α が Ass(Ext^i_R(R/B, R)) に属するための必要十分条件は、∩_{j∈F} Ker(H^{i−2}(Δ_F; k) → H^{i−2}(Δ_{F∖j}; k)) が非自明であることである。
• 素イデアル P_α が Ass(Ext^i_R(R/B, R)) において最小であるための必要十分条件は、β_{|α|−i,α}(B^∨) ≠ 0 かつすべての α′ < α、α′ ≠ α に対して β_{|α′|−i,α′}(B^∨) = 0 であることである。
• 本結果は、B と B^∨ のベッチ数の双対性を拡張し、Bayer, Charalambous, および Popescu (1998) の不等式を回復・強化し、Eagon–Reiner および Terai の結果を一般化する。