[论文解读] Local Cohomology at Monomial Ideals

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

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

一句话总结

本文通过单纯复形和Alexander对偶理想的Betti数，提供了多项式环中单项理想局部上同调模的组合描述。它证明了Ext和局部上同调的多齐次分量同构于单纯上同调群，并给出了一个以对偶理想Betti数为指标的Ext(R/B, R)的典范滤子，从而实现了对关联素理想的显式计算与刻画。

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)提供组合描述。
• 利用Alexander对偶B^∨的Betti数，对平方自由单项理想B的Ext^i_R(R/B, R)建立滤子。
• 通过与B^∨相关的单纯复形的拓扑条件，刻画R/B的同调关联素理想。
• 利用单纯上同调推导Ext和局部上同调的多齐次分量的显式公式。
• 将Ext^i_R(R/B, R)的结构与B^∨的Betti数联系起来，推广Hochster和Eisenbud的结果。

提出的方法

• 使用B的根的Frobenius幂B_0^{[d]}来稳定局部上同调的极限定义。
• 将H^i_B(R)的度数α分量描述为依赖于B和α符号的复形的约化单纯上同调。
• 构造Ext^i_R(R/B, R)上的典范滤子，其分次项同构于R/P_α(α)与Betti数β_{l−i,α}(B^∨)的张量积。
• 应用Hochster公式，将Tor^R_{|α|−i}(B^∨, k)_α与多齐次Ext分量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^∨的Betti数如何控制Ext^i_R(R/B, R)的结构？
• RQ5 能否完全通过B^∨导出的复形的单纯上同调来刻画Ext^i_R(R/B, R)的关联素理想？

主要发现

• 自然映射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)) ≠ 0。
• 素理想P_α是Ass(Ext^i_R(R/B, R))中的极小素理想当且仅当β_{|α|−i,α}(B^∨) ≠ 0且对所有α′ < α（α′ ≠ α）有β_{|α′|−i,α′}(B^∨) = 0。
• 该结果推广了B与B^∨的Betti数之间的对偶性，恢复并强化了Bayer, Charalambous, 和 Popescu (1998) 的不等式，并推广了Eagon–Reiner与Terai的结果。