Tor as a module over an exterior algebra
David Eisenbud
University of California, Berkeley, USAIrena Peeva
Cornell University, Ithaca, USAFrank-Olaf Schreyer
Universität des Saarlandes, Saarbrücken, Germany
![Tor as a module over an exterior algebra cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-jems-volume-21-issue-3.png&w=3840&q=90)
Abstract
Let be a regular local ring with residue field and let be a finitely generated -module. Suppose that is a regular sequence that annihilates , and let be an exterior algebra over generated by elements. The homotopies for the on a free resolution of induce a natural structure of graded -module on Tor. In the case where is a high syzygy over the complete intersection we describe this -module structure in detail, including its minimal free resolution over .
Turning to Ext we show that, when is a high syzygy over , the minimal free resolution of Ext as a module over the ring of CI operators is the Bernstein–Gel’fand–Gel’fand dual of the -module Tor.
For the proof we introduce higher CI operators, and give a construction of a (generally non-minimal) resolution of over starting from a resolution of over and its higher CI operators.
Cite this article
David Eisenbud, Irena Peeva, Frank-Olaf Schreyer, Tor as a module over an exterior algebra. J. Eur. Math. Soc. 21 (2019), no. 3, pp. 873–896
DOI 10.4171/JEMS/853