AL = ciOperatorResolution(A,L)
If S is a ring, R = S/(f1..fc) a complete intersection, A the lift to S of an R-free resolution of a module M, and L the Koszul complex resolving R over S, the script constructs the "higher ci operators" on A of Eisenbud-Peeva-Schreyer and uses them to construct a -usually nonminimal- S-free resolution of M. The resulting resolution has the structure of a module over the exterior algebra.
This construction is in some sense dual to the Shamash construction of an R-free resolution from an S-free resolution, that uses higher homotopies and yields a resolution that is a module over the divided power algebra.
The same procedure would work starting with an algebra resolution of any S-algebra R, given a description of the multiplication on the algebra resolution.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The object ciOperatorResolution is a method function.