Tor as a Module over an Exterior Algebra
Commutative Algebra
2018-10-12 v1
Abstract
Let S be a regular local ring with residue field k and let M be a finitely generated S-module. Suppose that f1,…,fc∈S is a regular sequence that annihilates M, and let E be an exterior algebra over k generated by c elements. The homotopies for the fi on a free resolution of M induce a natural structure of graded E-module on TorS(M,k). In the case where M is a high syzygy over the complete intersectionR:=S/(f_{1},\dots,f_{c})wedescribethisE−modulestructureindetail,includingitsminimalfreeresolutionoverE.Turningto{\rm Ext}_{R}(M,\, k)weshowthat,whenMisahighsyzygyoverR,theminimalfreeresolutionof{\rm Ext}_{R}(M,\, k)asamoduleovertheringofCIoperatorsistheBernstein−Gel′fand−Gel′fanddualoftheE−module{\rm Tor}^{S}(M,\,k).Fortheproofweintroducehigher CI operators,andgiveaconstructionofa(generallynon−minimal)resolutionofMoverSstartingfromaresolutionofMoverR$ and its higher CI operators.
Cite
@article{arxiv.1810.04999,
title = {Tor as a Module over an Exterior Algebra},
author = {David Eisenbud and Irena Peeva and Frank-Olaf Schreyer},
journal= {arXiv preprint arXiv:1810.04999},
year = {2018}
}
Comments
To appear in the Journal of the European Mathematical Society (JEMS)