The Canny–Emiris Conjecture for the Sparse Resultant

We present a product formula for the initial parts of the sparse resultant associated with an arbitrary family of supports, generalizing a previous result by Sturmfels. This allows to compute the homogeneities and degrees of this sparse resultant, and its evaluation at systems of Laurent polynomials...

Descripción completa

Detalles Bibliográficos
Autores: D'Andrea, Carlos, Jeronimo, Gabriela Tali, Sombra, Martín
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2022
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/213781
Acceso en línea:http://hdl.handle.net/11336/213781
Access Level:acceso abierto
Palabra clave:INITIAL PART
MACAULAY FORMULA
MIXED SUBDIVISION
SPARSE RESULTANT
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:We present a product formula for the initial parts of the sparse resultant associated with an arbitrary family of supports, generalizing a previous result by Sturmfels. This allows to compute the homogeneities and degrees of this sparse resultant, and its evaluation at systems of Laurent polynomials with smaller supports. We obtain an analogous product formula for some of the initial parts of the principal minors of the Sylvester-type square matrix associated with a mixed subdivision of a polytope. Applying these results, we prove that under suitable hypothesis, the sparse resultant can be computed as the quotient of the determinant of such a square matrix by one of its principal minors. This generalizes the classical Macaulay formula for the homogeneous resultant and confirms a conjecture of Canny and Emiris.