English

Tor as a Module over an Exterior Algebra

Commutative Algebra 2018-10-12 v1

Abstract

Let SS be a regular local ring with residue field kk and let MM be a finitely generated SS-module. Suppose that f1,,fcSf_1,\dots ,f_c\in S is a regular sequence that annihilates MM, and let EE be an exterior algebra over kk generated by cc elements. The homotopies for the fif_{i} on a free resolution of MM induce a natural structure of graded EE-module on TorS(M,k){\rm Tor}^{S}(M,k). In the case where MM is a high syzygy over the complete intersectionR:=S/(f_{1},\dots,f_{c})wedescribethis we describe this Emodulestructureindetail,includingitsminimalfreeresolutionover-module structure in detail, including its minimal free resolution over E.Turningto. Turning to {\rm Ext}_{R}(M,\, k)weshowthat,when we show that, when Misahighsyzygyover is a high syzygy over R,theminimalfreeresolutionof, the minimal free resolution of {\rm Ext}_{R}(M,\, k)asamoduleovertheringofCIoperatorsistheBernsteinGelfandGelfanddualofthe as a module over the ring of CI operators is the Bernstein-Gel'fand-Gel'fand dual of the Emodule-module {\rm Tor}^{S}(M,\,k).Fortheproofweintroducehigher CI operators,andgiveaconstructionofa(generallynonminimal)resolutionof. For the proof we introduce \emph{higher CI operators}, and give a construction of a (generally non-minimal) resolution of Mover over Sstartingfromaresolutionof starting from a resolution of Mover over R$ and its higher CI operators.

Keywords

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)

R2 v1 2026-06-23T04:36:15.834Z