Kustin-Miller unprojection with complexes

Abstract

A main ingredient for Kustin-Miller unprojection, as developed in (S. Papadakis and M. Reid, Kustin-Miller unprojection without complexes, math.AG/0011094), is the module Hom_R(I, \om_R), where R is a local Gorenstein ring and I a codimension one ideal with R/I Gorenstein. We prove a method of calculating it in a relative setting using resolutions. We give three applications. In the first we generalise a result of (F. Catanese et al., Embeddings of curves and surfaces, Nagoya Math. J. 154 (1999), 185-220). The second and the third are about Tom and Jerry, two families of Gorenstein codimension four rings with 9x16 resolutions.