Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2018

Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors

Matías R Bender
  • Function : Author
  • PersonId : 19333
  • IdHAL : mbender
Jean-Charles Faugère
Elias Tsigaridas

Abstract

A fundamental problem in computational algebraic geometry is the computation of the resultant. A central question is when and how to compute it as the determinant of a matrix. whose elements are the coefficients of the input polynomials up-to sign. This problem is well understood for unmixed multihomogeneous systems, that is for systems consisting of multihomogeneous polynomials with the * 1 same support. However, little is known for mixed systems, that is for systems consisting of polynomials with different supports. We consider the computation of the multihomogeneous resultant of bilinear systems involving two different supports. We present a constructive approach that expresses the resultant as the exact determinant of a Koszul resultant matrix, that is a matrix constructed from maps in the Koszul complex. We exploit the resultant matrix to propose an algorithm to solve such systems. In the process we extend the classical eigenvalues and eigenvectors criterion to a more general setting. Our extension of the eigenvalues criterion applies to a general class of matrices, including the Sylvester-type and the Koszul-type ones.
Fichier principal
Vignette du fichier
2bilinearHAL.pdf (275.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01787549 , version 1 (09-05-2018)

Identifiers

Cite

Matías R Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas. Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors. ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209011⟩. ⟨hal-01787549⟩
351 View
167 Download

Altmetric

Share

More