Explicit computations around the Lichtenbaum-Hartshorne vanishing theorem
type: Item
instance of: scholarly article
title: Explicit computations around the Lichtenbaum-Hartshorne vanishing theorem
zbMATH Open document ID: 0797.13010
DOI: 10.1007/BF02599300
published in: Manuscripta Mathematica
publication date: 1994-10-13T00:00:00Z
full work available at URL: https://eudml.org/doc/155795
review text: The Lichtenbaum-Hartshorne vanishing theorem says that \(H^ d_ I(A)=0\) for an ideal \(I\) in a Noetherian local ring \((A,{\mathfrak m})\) such that \(\dim \widehat A/(I \widehat A + {\mathfrak p})>0\) for all prime ideals \({\mathfrak p} \in \text{Ass} \widehat A\) with \(\dim \widehat A/{\mathfrak p} = d\) \((d = \dim A)\). The objective of this paper is a precise description of (the Matlis dual of) \(H^ d_ I (A)\) and, more generally, of \(H^ n_ I (X)\) for a finitely generated \(A\)-module \(X\) of dimension \(n\). An essential tool for the description of \(H^ d_ I (X)\) is the canonical module \(K_ X\) of \(X\), which was introduced by the author [``Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe'', Lect. Notes Math. 907 (1982; Zbl 0484.13016)]. The construction of \(K_ X\) requires only the existence of a dualizing complex for \(A\), so that \(K_{\widehat X}\) always exists. -- The main result of the paper is the following: (a) \(Y = \Hom_ A (H^ n_ I (X),E)\) is isomorphic to the intersection of those primary components of 0 in \(K_{\widehat X}\) whose associated prime ideals \({\mathfrak q}\) satisfy the condition \(\dim \widehat A/(I \widehat A + {\mathfrak q})>0\); (b) \({\mathfrak p} \in \text{Spec} \widehat A\) is associated to the \(\widehat A\)-module \(Y\) if and only if \({\mathfrak p} \in \text{Ass} \widehat X\), \(\dim \widehat A/(I \widehat A + {\mathfrak p})=0\), and \(\dim \widehat A/{\mathfrak p} = n\); (c) \(H^ n_ I (X) = 0\) if and only if the topology defined by the family of submodules \(U_ n = \{x \in K_{\widehat X} : {\mathfrak m}^ k x \in I^ nK_{\widehat X}\) for some \(k \geq 0\}\), \(n \in \mathbb{N}\), is equivalent to the \(I\)-adic topology on \(K_{\widehat X}\). An essential point of the proof is that the topologies in (c) are equivalent if and only if \(\bigcap U_ n = 0\).
reviewed by: Winfried Bruns
Mathematics Subject Classification ID: 13D45
Mathematics Subject Classification ID: 14B15
zbMATH DE Number: 490669
zbMATH Keywords: local cohomology
zbMATH Keywords: Lichtenbaum-Hartshorne vanishing theorem
zbMATH Keywords: canonical module
zbMATH Keywords: dualizing complex
author: Peter Schenzel
MaRDI profile type: Publication
cites work: MODULES OVER VALUATION DOMAINS (Lecture Notes in Pure and Applied Mathematics, 97)
cites work: Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall 1961. Notes by R. Hartshorne
cites work: Cohomological dimension of algebraic varieties
cites work: Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
cites work: Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
cites work: Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe
cites work: Dualizing complexes for commutative Noetherian rings
cites work: On the attached prime ideals of certain Artinian local cohomology modules
cites work: Q5732721
description: scientific article; zbMATH DE number 490669