Determinantal formula for the chow form of a toric surface
Amit Khetan · 2002
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].