Nagoya Mathematical Journal

On the dimension and multiplicity of local cohomology modules

Markus P. Brodmann and Rodney Y. Sharp

Full-text: Open access

Abstract

This paper is concerned with a finitely generated module $M$ over a(commutative Noetherian) local ring $R$. In the case when $R$ is a homomorphic image of a Gorenstein local ring, one can use the well-known associativity formula for multiplicities, together with local duality and Matlis duality, to produce analogous associativity formulae for the local cohomology modules of $M$ with respect to the maximal ideal. The main purpose of this paper is to show that these formulae also hold in the case when $R$ is universally catenary and such that all its formal fibres are Cohen-Macaulay. These formulae involve certain subsets of the spectrum of $R$ called the pseudo-supports of $M$; these pseudo-supports are closed in the Zariski topology when $R$ is universally catenary and has the property that all its formal fibres are Cohen-Macaulay. However, examples are provided to show that, in general, these pseudo-supports need not be closed. We are able to conclude that the above-mentioned associativity formulae for local cohomology modules do not hold over all local rings.

Article information

Source
Nagoya Math. J., Volume 167 (2002), 217-233.

Dates
First available in Project Euclid: 27 April 2005

Permanent link to this document
https://projecteuclid.org/euclid.nmj/1114649297

Mathematical Reviews number (MathSciNet)
MR1924724

Zentralblatt MATH identifier
1044.13007

Subjects
Primary: 13D45: Local cohomology [See also 14B15]
Secondary: 13C15: Dimension theory, depth, related rings (catenary, etc.) 13H10: Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) [See also 14M05]

Citation

Brodmann, Markus P.; Sharp, Rodney Y. On the dimension and multiplicity of local cohomology modules. Nagoya Math. J. 167 (2002), 217--233. https://projecteuclid.org/euclid.nmj/1114649297


Export citation

References

  • M. Brodmann, A particular class of regular domains , J. Algebra, 54 (1978), 366–373.
  • M. Brodmann and C. Rotthaus, Local domains with bad sets of formal prime divisors , J. Algebra, 75 (1982), 386–394.
  • M. P. Brodmann and R. Y. Sharp, Local cohomology: an algebraic introduction with geometric applications, Cambridge University Press (1998).
  • W. Bruns and J. Herzog, Cohen–Macaulay rings, Cambridge University Press (1993).
  • S. Greco, Two theorems on excellent rings , Nagoya Math. J., 60 (1976), 139–149.
  • H. C. Hutchins, Examples of commutative rings, Polygonal, Passaic, New Jersey (1981).
  • D. Kirby, Artinian modules and Hilbert polynomials , Quart. J. Math. Oxford (2), 24 (1973), 47–57.
  • H. Matsumura, Commutative algebra, Benjamin, New York (1970).
  • ––––, Commutative ring theory, Cambridge University Press (1986).
  • L. Melkersson and P. Schenzel, The co-localization of an Artinian module , Proc. Edinburgh Math. Soc., 38 (1995), 121–131.
  • R. N. Roberts, Krull dimension for Artinian modules over quasi local commutative rings , Quart. J. Math. Oxford (2), 26 (1975), 269–273.
  • R. Y. Sharp, Some results on the vanishing of local cohomology modules , Proc. London Math. Soc. (3), 30 (1975), 177–195.