HOMOLOGY OF POWERS OF REGULAR IDEALS
From MaRDI portal
Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Resolutions; derived functors (category-theoretic aspects) (18G10) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) Chain complexes in algebraic topology (55U15)
Abstract: For a commutative ring R with an ideal I, generated by a finite regular sequence, we construct differential graded algebras which provide R-free resolutions of I^s and of R/I^s for s>0 and which generalise the Koszul resolution. We derive these from a certain multiplicative double complex. By means of a Cartan-Eilenberg spectral sequence we express Tor_*^R(R/I,R/I^s) and Tor_*^R(R/I, I^s) in terms of exact sequences and find that they are free as R/I-modules. Except for R/I, their product structure turns out to be trivial; instead, we consider an exterior product. The paper is based on ideas by Andrew Baker; it is written in view of applications to algebraic topology.
Recommendations
- scientific article; zbMATH DE number 1429050
- Homological Algebra on a Complete Intersection, with an Application to Group Representations
- Computing the homology of Koszul complexes
- Powers of ideals: Betti numbers, cohomology and regularity
- Free koszul homology and regular ideals in non-noetherian rings
Cited in
(6)- Fiber invariants of projective morphisms and regularity of powers of ideals
- scientific article; zbMATH DE number 1429050 (Why is no real title available?)
- POWERS OF THE MAXIMAL IDEAL AND VANISHING OF (CO)HOMOLOGY
- Transferring algebra structures on complexes
- I-adic towers in topology
- The resolution of the universal ring for modules of rank zero and projective dimension two
This page was built for publication: HOMOLOGY OF POWERS OF REGULAR IDEALS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4667904)
