The implicit equation of a multigraded hypersurface

Abstract: In this article we analyze the implicitization problem of the image of a rational map

p h i : X - - > P^{n}

, with

T

a toric variety of dimension

n - 1

defined by its Cox ring

R

. Let

I := (f_{0}, ..., f_{n})

be

n + 1

homogeneous elements of

R

. We blow-up the base locus of

p h i

,

V (I)

, and we approximate the Rees algebra

R e e s_{R} (I)

of this blow-up by the symmetric algebra

S y m_{R} (I)

. We provide under suitable assumptions, resolutions

for

S y m_{R} (I)

graded by the torus-invariant divisor group of

X

,

C l (X)

, such that the determinant of a graded strand,

, gives a multiple of the implicit equation, for suitable

m u i n C l (X)

. Indeed, we compute a region in

C l (X)

which depends on the regularity of

S y m_{R} (I)

where to choose

m u

. We also give a geometrical interpretation of the possible other factors appearing in

. A very detailed description is given when

X

is a multiprojective space.

Recommendations

Cites work

Cited in

(17)

Describes a project that uses

Uses Software

This page was built for publication: The implicit equation of a multigraded hypersurface