Tor as a module over an exterior algebra

被引:1
|
作者
Eisenbud, David [1 ]
Peeva, Irena [2 ]
Schreyer, Frank-Olaf [3 ]
机构
[1] Univ Calif Berkeley, Math Dept, Berkeley, CA 94720 USA
[2] Cornell Univ, Math Dept, Ithaca, NY 14853 USA
[3] Univ Saarland, Fachbereich Math, Campus E2 4, D-66123 Saarbrucken, Germany
基金
美国国家科学基金会;
关键词
Free resolutions; exterior algebras; Tor; Eisenbud operators; HOMOLOGICAL ALGEBRA; POINCARE-SERIES; INTERSECTION; RESOLUTIONS; RIGIDITY;
D O I
10.4171/JEMS/853
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Let S be a regular local ring with residue field k and let M be a finitely generated S-module. Suppose that f(1), . . . , f(c) is an element of 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 f(i) on a free resolution of M induce a natural structure of graded E-module on Tor(S) (M, k). In the case where M is a high syzygy over the complete intersection R:= S/(f(1), ..., f(c) ) we describe this E-module structure in detail, including its minimal free resolution over E. Turning to Ext(R) (M, k) we show that, when M is a high syzygy over R, the minimal free resolution of Ext(R) (M, k) as a module over the ring of CI operators is the Bernstein-Gel'fand- Gel'fand dual of the E-module Tor(S) (M, k). For the proof we introduce higher CI operators, and give a construction of a (generally nonminimal) resolution of M over S starting from a resolution of M over R and its higher CI operators.
引用
收藏
页码:873 / 896
页数:24
相关论文
共 50 条