Depth for complexes, and intersection theorems (Q1291048)

The abstract: This paper introduces a new notion of depth for complexes; it agrees with the classical definition for modules, and coincides with earlier extensions to complexes, whenever those are defined. Techniques are developed leading to a quick proof of an extension of the improved intersection theorem (this uses Hochster's big Cohen-Macaulay modules), and also a generalization of the ``depth formula'' for tensor product of modules. Properties of depth for complexes are established, extending the usual properties of depth for modules.