Macaulay2 » Documentation
Packages » CompleteIntersectionResolutions :: koszulExtension

next | previous | forward | backward | up | index | toc

koszulExtension -- creates the Koszul extension complex of a map

Usage:

MM = koszulExtension(FF,BB,psi1,ff)
Inputs:
- FF, a complex, resolution over S
- BB, a complex, two-term complex BB_1-->BB_0
- psi1, a matrix, from BB_1 to FF_0
- ff, a matrix, regular sequence annihilating the module resolved by FF
Outputs:
- MM, a complex, the mapping cone of the induced map B[-1]\otimes KK(ff) to W extending psi

Description

Implements the construction in the paper "Matrix Factorizations in Higher Codimension" by Eisenbud and Peeva.

See also

makeFiniteResolution -- finite resolution of a matrix factorization module M

Ways to use koszulExtension:

koszulExtension(Complex,Complex,Matrix,Matrix)

For the programmer

The object koszulExtension is a method function.

The source of this document is in CompleteIntersectionResolutions.m2:3008:0.