On the closed image of a rational map and the implicitization problem.

Abstract: In this paper, we investigate some topics around the closed image

S

of a rational map

l a m b d a

given by some homogeneous elements

f_{1}, ..., f_{n}

of the same degree in a graded algebra

A

. We first compute the degree of this closed image in case

l a m b d a

is generically finite and

f_{1}, ..., f_{n}

define isolated base points in

P r o j (A)

. We then relate the definition ideal of

S

to the symmetric and the Rees algebras of the ideal

I = (f_{1}, ..., f_{n}) s u b s e t A

, and prove some new acyclicity criteria for the associated approximation complexes. Finally, we use these results to obtain the implicit equation of

S

in case

S

is a hypersurface,

P r o j (A) = P P_{k}^{n - 2}

with

k

a field, and base points are either absent or local complete intersection isolated points.

Recommendations

Cites work

Cited in

(46)

This page was built for publication: On the closed image of a rational map and the implicitization problem.