[论文解读] On The Cohomological Dimension of Local Cohomology Modules

V. Erdoǧdu, Tuğba Yıldırım|arXiv (Cornell University)|Apr 5, 2015

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

一句话总结

该论文证明了在诺特环上，局部上同调模存在一个理想下降链，其上同调维数严格递减，并且在每个阶段的上局部上同调模均非阿廷模。论文给出了上同调维数下界的充分条件，从而得出结论：在非链式诺特局部整环中，某些素理想不是集设定完全交。此外，论文通过维数和支集条件刻画了上局部上同调模为阿廷模的情形。

ABSTRACT

Let $R$ be a Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module with $\operatorname{cd}(I,M)=c$. In this article, we first show that there exists a descending chain of ideals $I=I_c\supsetneq I_{c-1}\supsetneq \cdots \supsetneq I_0$ of $R$ such that for each $0\leq i\leq c-1$, $\operatorname{cd}(I_i,M)=i$ and that the top local cohomology module $\operatorname{H}^i_{I_i}(M)$ is not Artinian. We then give sufficient conditions for a non-negative integer $t$ to be a lower bound for $\operatorname{cd}(I,M)$ and use this to conclude that in non-catenary Noetherian local integral domains, there exist prime ideals that are not set theoretic complete intersection. Finally, we set conditions which determine whether or not a top local cohomology module is Artinian.

研究动机与目标

• 为给定的局部上同调模构造一个理想下降链，其上同调维数严格递减。
• 确定一个非负整数作为模相对于理想上同调维数下界的充分条件。
• 研究上局部上同调模的阿廷性与维数及支集性质之间的关系。
• 应用上同调维数的下界估计，证明在非链式诺特局部整环中，存在某些素理想不是集设定完全交。

提出的方法

• 利用上同调维数小于最大值的真理想集合，通过诺特性构造极大元。
• 应用Mayer-Vietoris谱序列分析局部上同调模及其阿廷性。
• 运用格罗滕迪克谱序列关联不同理想与消去子的局部上同调。
• 通过局部上同调模支集的维数界确定其阿廷性。
• 应用定理3.1，基于M/IM的维数推导上同调维数的下界。
• 使用逆否命题论证及范畴论推理（例如，子商不在给定范畴中）证明非阿廷性。

实验结果

研究问题

• RQ1 是否存在一个理想下降链，使得每个理想相对于一个固定模的上同调维数严格递减？
• RQ2 在何种条件下，一个非负整数可作为模相对于理想上同调维数的下界？
• RQ3 相对于一个理想的上局部上同调模在何时为阿廷模？
• RQ4 能否利用上同调维数的下界估计，证明在非链式环中某些素理想不是集设定完全交？
• RQ5 局部上同调模支集的维数与其阿迪尼特性之间有何关系？

主要发现

• 对任意诺特环R、理想I及R-模M，若cd(I,M) = c > 0，则存在一个理想下降链I = I_c ⊃ I_{c-1} ⊃ ⋯ ⊃ I_0，使得对所有0 ≤ i ≤ c，有cd(I_i, M) = i。
• 对每个满足0 ≤ i ≤ c−1的i，上局部上同调模H^i_{I_i}(M)均非阿廷模。
• 在诺特局部环(R, m)中，设M为有限生成R-模，dim(M) = n，I为理想且dim(M/IM) = d ≥ 1，则上同调维数cd(I,M) ≥ n−d。
• 若cd(I,M) = n−d，则有H^d_m(H^{n−d}_I(M)) ≅ H^n_m(M)，即存在类似对偶的同构。
• 在非链式诺特局部整环中，存在某些素理想不是集设定完全交，此结论由上同调维数的下界估计得出。
• 对诺特局部环(R, m)，若dim(R/(I+Ann M)) = 1，则上局部上同调模H^{cd(I,M)}_I(M)为阿迪尼模当且仅当cd(I,M) = n。