Hostname: page-component-848d4c4894-nr4z6 Total loading time: 0 Render date: 2024-05-16T22:26:06.632Z Has data issue: false hasContentIssue false

HOMOLOGY OF POWERS OF REGULAR IDEALS

Published online by Cambridge University Press:  11 October 2004

SAMUEL WÜTHRICH
Affiliation:
Mathematisches Institut, Universität Bern, Sidlerstrasse 5, 3012 Bern, Switzerland e-mail: wuethrich@math-stat.unibe.ch
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 \geq 1$ and which generalise the Koszul resolution. We derive these from a certain multiplicative double complex ${\mathbf K}$. By means of a Cartan–Eilenberg spectral sequence we express ${\rm Tor}_*^R(R/I, R/I^s)$ and ${\rm 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 ${\rm Tor}_*^R(R/I, I^s)\,{\otimes_R}\,{\rm Tor}_*^R(R/I, I^t)\,{\to}\,{\rm Tor}_*^R(R/I, I^{s+t})$. This paper is based on ideas by Andrew Baker; it is written in view of applications to algebraic topology.

Keywords

Type
Research Article
Copyright
© 2004 Glasgow Mathematical Journal Trust