MultiprojectiveVarieties -- Multi-projective varieties and multi-rational maps

Description

This is a work in progress package to handling multi-projective varieties, that is, closed subvarieties of products of projective spaces, and rational maps between them. This extends the package Cremona, which treats rational maps from multi-projective varieties to standard projective varieties, $X\subseteq \mathbb{P}^{k_1}\times\mathbb{P}^{k_2}\times\cdots\times\mathbb{P}^{k_n}\dashrightarrow Y\subseteq\mathbb{P}^N$.

Author

• Giovanni Staglianò

Version

This documentation describes version 1.0 of MultiprojectiveVarieties.

Source code

The source code from which this documentation is derived is in the file MultiprojectiveVarieties.m2.

For the programmer

The object MultiprojectiveVarieties is .