Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-28T13:44:47.452Z Has data issue: false hasContentIssue false

Complexes acyclic up to integral closure

Published online by Cambridge University Press:  24 October 2008

D. Katz
Affiliation:
Department of Mathematics, University of Kansas, Lawrence, KS 66045, U.S.A.

Extract

In [R] D. Rees introduced the notions of reduction and integral closure for modules over a commutative Noetherian ring and proved the following remarkable result. Let R be a locally quasi-unmixed Noetherian ring and I an ideal generated by n elements. Suppose that height (I) = h. Then the ith module of cycles in the Koszul complex on a set of n generators for I is contained in the integral closure of the ith module of boundaries for i > nh. This result should be considered a dimension-theoretic analogue of the famous depth sensitivity property of the Koszul complex demonstrated by Serre and Auslander-Buschsbaum in the 1950s. At roughly the same time, Hoschster and Huneke introduced the notion of tight closure and thereafter gave a number of theorems in the same (though considerably broader) vein for tight closure. In particular, in [HH] they showed that if R is an equidimensional local ring of characteristic p > 0, which is a homomorphic image of a Gorenstein ring, then for all i > 0, the ith module of cycles is contained in the tight closure of the ith module of boundaries for any complex satisfying the so-called standard rank and height conditions (see the definitions below). Since the tight closure is contained in the integral closure for such rings, the result of Hochster and Huneke extends (in characteristic p) considerably the result of Rees. In fact, their result could be considered a dimension-theoretic analogue of the Buchsbaum-Eisenbud exactness theorem ([BE]), which in a certain sense is the ultimate depth sensitivity theorem. Moreover, using the technique of reduction to characteristic p, Hochster and Huneke have shown that their results hold in equicharacteristic zero as well, whenever the tight closure is defined.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B]Burch, L.. On ideals of finite homological dimension in local rings. Math. Proc. Cambridge Phil. Soc. 64 (1968), 941946.CrossRefGoogle Scholar
[BE]Buchsbaum, D. and Eisenbud, D.. What makes a complex exact?, J. Algebra 25 (1973), 259268.CrossRefGoogle Scholar
[H]Hochster, M.Contracted ideals from integral extensions of regular rings. Nagoya Math. J. 51 (1972), 2543.Google Scholar
[EH]Hochster, M. and Eagon, J.. R-sequences and indeterminates. Quart J. Oxford (2) 25 (1974), 6171.Google Scholar
[HH]Hochster, M. and Huneke, C.. Tight closure, invariant theory, and the Briancon-Skoda theorem. J. Am. Math. Soc. 3 (1990), 31116.Google Scholar
[I]Itoh, S.. Integral closures of ideals of the principal class. Hirosh. Math. J. 17, (1987), 373375.Google Scholar
[LR1]Ratliff, L. J. Jr,. Locally quasi-unmixed Noetherian rings and ideals of the principal class. Pac. J. Math. 52 (1974), 185205.CrossRefGoogle Scholar
[LR2]Ratliff, L. J. JrIndependent elements and asymptotic sequences. J. Algebra 78 (1982), 410430.CrossRefGoogle Scholar
[R]Rees, D.. Reduction of modules. Math. Proc. Cambridge Phil. Soc. 101 (1987), 431449.Google Scholar
[PR1]Roberts, P.. Le theoreme d'intersection. C.R. Acad. Sc. Paris Ser. (1) 304 (1987), 177180.Google Scholar
[PR2]Roberts, P.. Two applications of dualizing complexes over local rings. Ann. Sci. Ec. Norm. Sup. 9 (1976), 103106.Google Scholar
[S]Schenzel, P.. Cohomological annihilators. Math. Proc. Cambridge Phil. Soc. 91, (1982), 345350.CrossRefGoogle Scholar
[W]Wickham, C.. Annihilation of homology of certain complexes of finite free modules. J. Algebra (to appear).Google Scholar