Article ID Journal Published Year Pages File Type
4587038 Journal of Algebra 2009 18 Pages PDF
Abstract

We develop in this paper methods for studying the implicitization problem for a rational map defining a hypersurface in (P1)n+1, based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions.Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of ϕ, and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants.

Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory