In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of homogeneous polynomial systems defined over a single projective space. As an important consequence, we derive a new family of elimination matrices that can be used for solving zero-dimensional multiprojective polynomial systems by means of linear algebra methods.
This paper is devoted to the study of multigraded algebras and multigraded linear series. For an $mathbb{N}^s$-graded algebra $A$, we define and study its volume function $F_A:mathbb{N}_+^sto mathbb{R}$, which computes the asymptotics of the Hilbert function of $A$. We relate the volume function $F_A$ to the volume of the fibers of the global Newton-Okounkov body $Delta(A)$ of $A$. Unlike the classical case of standard multigraded algebras, the volume function $F_A$ is not a polynomial in general. However, in the case when the algebra $A$ has a decomposable grading, we show that the volume function $F_A$ is a polynomial with non-negative coefficients. We then define mixed multiplicities in this case and provide a full characterization for their positivity. Furthermore, we apply our results on multigraded algebras to multigraded linear series. Our work recovers and unifies recent developments on mixed multiplicities. In particular, we recover results on the existence of mixed multiplicities for (not necessarily Noetherian) graded families of ideals and on the positivity of the multidegrees of multiprojective varieties.
We present an algorithm to decide whether a given ideal in the polynomial ring contains a monomial without using Grobner bases, factorization or sub-resultant computations.
We introduce a theory of multigraded Cayley-Chow forms associated to subvarieties of products of projective spaces. Two new phenomena arise: first, the construction turns out to require certain inequalities on the dimensions of projections; and second, in positive characteristic the multigraded Cayley-Chow forms can have higher multiplicities. The theory also provides a natural framework for understanding multifocal tensors in computer vision.
The theory of symmetric multivariate Lagrange interpolation is a beautiful but rather unknown tool that has many applications. Here we derive from it an Exchange Lemma that allows to explain in a simple and natural way the full description of the double sum expressions introduced by Sylvester in 1853 in terms of subresultants and their Bezout coefficients.
$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $mathbb{P}^ntimes mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.