Class rank of differential modules

DOI10.1007/S00222-007-0041-6MaRDI QIDQ948618zbMATH OpenOpenAlexFDO

Authors Luchezar L. Avramov, Ragnar-Olaf Buchweitz, Srikanth B. Iyengar

Publication date 17 October 2008

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0602344

class inequality finitely generated modules over a commutative noetherian ring homological algebra of differential modules projective class of differential modules

Mathematics Subject Classification ID

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Homological dimension and commutative rings (13D05)

Abstract: A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a substitute for the length of a free complex--and on the rank of a differential module in terms of invariants of its homology. These results specialize to basic theorems in commutative algebra and algebraic topology. One instance is a common generalization of the equicharacteristic case of the New Intersection Theorem of Hochster, Peskine, P. Roberts, and Szpiro, concerning complexes over noetherian commutative rings, and of a theorem of G. Carlsson on differential graded modules over graded polynomial rings.

Review text

A differential flag of a differential module is a bounded below filtration such that the differential maps every level of the filtration into the level below. The projective class of a differential module is the smallest length of a differential filtration with projective factors. One can similarly define other classes based on other types of modules. The main result is the class inequality (Corollary 4.2), stating that over commutative noetherian rings with big Cohen-Macaulay modules, a lower bound for the projective class of a finitely generated differential module is the super height of the annihilator of the homology of any of its retract. (The super height is the supremum of heights of the ideal over all commutative noetherian base changes.) As an application, a lower bound is obtained for the rank of finitely generated differential modules with free differential flag over commutative noetherian rings as the double of the annihilator of the super height of the annihilator of the homology of any of its retract.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Class rank of differential modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q948618)