Abstract:
We describe the syzygy spaces for the Segre embedding P(U)×P(V)⊂P(U⊗V) in terms of representations of GL(U)×GL(V) and construct the minimal resolutions of the sheaves OP(U)×P(V)(a,b) in D(P(U⊗V)) for a⩾−dim(U) and b⩾−dim(V). We also prove a property of multiplication in syzygy spaces of the Segre embedding.
Keywords:
syzygy algebra, Koszul cohomology, representations of GL, Segre embedding, derived category of coherent sheaves.