Toric Sylvester forms

arXiv2209.11281MaRDI QIDQ6508048FDOQ6508048

Authors: Laurent Busé, Carles Checa 

Abstract: In this paper, we investigate the structure of the saturation of ideals generated by sparse homogeneous polynomials over a projective toric variety $X$ with respect to the irrelevant ideal of $X$. As our main results, we establish a duality property and make it explicit by introducing toric Sylvester forms, under a certain positivity assumption on $X$. In particular, we prove that toric Sylvester forms yield bases of some graded components of $I^{extsat}/I$, where $I$ denotes an ideal generated by $n+1$ generic forms, $n$ is the dimension of $X$ and $I^{extsat}$ the saturation of $I$ with respect to the irrelevant ideal of the Cox ring of $X$. Then, to illustrate the relevance of toric Sylvester forms we provide three consequences in elimination theory: (1) we introduce a new family of elimination matrices that can be used to solve sparse polynomial systems by means of linear algebra methods, including overdetermined polynomial systems; (2) by incorporating toric Sylvester forms to the classical Koszul complex associated to a polynomial system, we obtain new expressions of the sparse resultant as a determinant of a complex; (3) we give a new formula for computing toric residues of the product of two forms.

Mathematics Subject Classification ID

Computational aspects in algebraic geometry (14Q99) Combinatorial aspects of algebraic geometry (05E14)

This page was built for publication: Toric Sylvester forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6508048)