Toric Sylvester forms - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Pure and Applied Algebra Année : 2024

Toric Sylvester forms

Résumé

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^{\text{sat}}/I$, where $I$ denotes an ideal generated by $n+1$ generic forms, $n$ is the dimension of $X$ and $I^{\text{sat}}$ 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.

Dates et versions

hal-03896902 , version 1 (13-12-2022)

Licence

Identifiants

Citer

Laurent Busé, Carles Checa. Toric Sylvester forms. Journal of Pure and Applied Algebra, In press, ⟨10.1016/j.jpaa.2024.107739⟩. ⟨hal-03896902⟩
52 Consultations
0 Téléchargements

Altmetric

Partager

More