Cohomological Dimension of Generalized Local Cohomology Modules

Abstract

The study of the cohomological dimension of algebraic varieties has produced some interesting results and problems in local algebra. Let 𝔞 be an ideal of a commutative Noetherian ring R. For finitely generated R-modules M and N, the concept of cohomological dimension cd 𝔞(M, N) of M and N with respect to 𝔞 is introduced. If 0 → N' → N → N'' → 0 is an exact sequence of finitely generated R-modules, then it is shown that cd 𝔞(M, N) = max { cd 𝔞(M, N'), cd 𝔞(M, N'')} whenever proj dim M < ∞. Also, if L is a finitely generated R-module with Supp (N/Γ𝔞(N)) ⊆ Supp (L/Γ𝔞(L)), then it is proved that cd 𝔞(M, N) ≤ max { cd 𝔞(M,L), proj dim M}. Finally, as a consequence, a result of Brodmann is improved.