Determinantal formula for the chow form of a toric surface

  • Authors:
  • Amit Khetan

  • Affiliations:
  • University of California at Berkeley, Berkeley, CA

  • Venue:
  • Proceedings of the 2002 international symposium on Symbolic and algebraic computation
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper gives an explicit method for computing the resultant of any sparse unmixed bivariate system with given support. We construct square matrices whose determinant is exactly the resultant. The matrices constructed are of hybrid Sylvester and Bézout type. Previous work by D'Andrea [6] gave pure Sylvester type matrices (in any dimension). In the bivariate case, D'Andrea and Emiris [8] constructed hybrid matrices with one Bézout row. These matrices are only guaranteed to have determinant some multiple of the resultant. The main contribution of this paper is the addition of new Bézout terms allowing us to achieve exact formulas. We make use of the exterior algebra techniques of Eisenbud, Fløystad, and Schreyer [10, 9].