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 . In the case where is a high syzygy over the complete intersectionR:=S/(f_{1},\dots,f_{c})$ we describe this -module structure in detail, including its minimal free resolution over . Turning to we show that, when is a high syzygy over , the minimal free resolution of as a module over the ring of CI operators is the Bernstein-Gel’fand-Gel’fand dual of the -module . For the proof we introduce \emph{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.

生成讲解博客的中文版本

生成AI智能校验的中文版本