TY - JOUR
T1 - Homology of perfect complexes
AU - Avramov, Luchezar L.
AU - Buchweitz, Ragnar Olaf
AU - Iyengar, Srikanth B.
AU - Miller, Claudia
N1 - Funding Information:
✩ Research partly supported by NSF grants DMS 0201904 and DMS 0803082 (L.L.A.); NSERC grant 3-642-114-80 (R.-O.B.); NSF grants DMS 0602498 and DMS 0903493 (S.B.I.); NSF grant DMS 0434528 and NSA grant H98230-06-1-0035 (C.M.). * Corresponding author. E-mail addresses: [email protected] (L.L. Avramov), [email protected] (R.-O. Buchweitz), [email protected] (S.B. Iyengar), [email protected] (C. Miller).
PY - 2010/3/20
Y1 - 2010/3/20
N2 - It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known results on free actions of elementary abelian groups and of tori on finite CW complexes. The arguments use numerical invariants of objects in general triangulated categories, introduced here and called levels. They allow one to track, through changes of triangulated categories, homological invariants like projective dimension, as well as structural invariants like Loewy length. An intermediate result sharpens, with a new proof, the New Intersection Theorem for commutative algebras over fields. Under additional hypotheses on the ring R stronger estimates are proved for Loewy lengths of modules of finite projective dimension.
AB - It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known results on free actions of elementary abelian groups and of tori on finite CW complexes. The arguments use numerical invariants of objects in general triangulated categories, introduced here and called levels. They allow one to track, through changes of triangulated categories, homological invariants like projective dimension, as well as structural invariants like Loewy length. An intermediate result sharpens, with a new proof, the New Intersection Theorem for commutative algebras over fields. Under additional hypotheses on the ring R stronger estimates are proved for Loewy lengths of modules of finite projective dimension.
KW - Bernstein-Gelfand-Gelfand equivalence
KW - Conormal module
KW - Koszul complex
KW - Loewy length
KW - New Intersection Theorem
KW - Perfect complex
KW - Triangulated category
UR - http://www.scopus.com/inward/record.url?scp=75149177047&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=75149177047&partnerID=8YFLogxK
U2 - 10.1016/j.aim.2009.10.009
DO - 10.1016/j.aim.2009.10.009
M3 - Article
AN - SCOPUS:75149177047
SN - 0001-8708
VL - 223
SP - 1731
EP - 1781
JO - Advances in Mathematics
JF - Advances in Mathematics
IS - 5
ER -