Correspondence Scrolls generalize rational normal scrolls and K3 Carpets, among other familiar constuctions. Suppose that Z is a subscheme of a product of projective spaces Z ⊂P^{a0} x .. x P^{an-1} The Correspondence Scroll C(Z;b), where b = (b_{0},..,b_{n-1}) is the subscheme of P^{N-1} consisting set theoretically of the planes spanned by the points of the Segre-Veronese embedding corresponding to Z.
More generally, we treat the case of a multi-homogneous subscheme Z’ ⊂A^{a0-1} x .. x A^{an-1-1}.
This documentation describes version 0.6 of CorrespondenceScrolls.
The source code from which this documentation is derived is in the file CorrespondenceScrolls.m2.