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 \subset P^{a_0} x .. x P^{a_{n-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' \subset A^{a_0-1} x .. x A^{a_{n-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.
The object CorrespondenceScrolls is a package.