The implicit equation of a multigraded hypersurface

DOI10.1016/J.JALGEBRA.2011.09.019MaRDI QIDQ411780zbMATH OpenOpenAlexFDO

Publication date 30 April 2012

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1007.3437

approximation complex Castelnuovo-Mumford regularity elimination theory graded algebra graded ring hypersurfaces implicit equation implicitization Koszul complex multigraded algebra multigraded ring resultant toric variety

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Computational aspects of algebraic surfaces (14Q10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

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.

Review text

The author analyzes the implicitization problem of the image of a finite rational map \(\phi: \mathcal{X} \dashrightarrow \mathbb{P}^{n}\), where \(\mathcal{X}\) is a non-degenerate toric variety over a field \(K\) of dimension \(n-1\). Let \(R\) be the Cox ring of \(\mathcal{X}\) and \(\mathrm{Cl}(\mathcal{X})\) the divisor group of \(\mathcal{X}\). Assume that \(\phi\) is defined by \(n+1\) homogeneous elements \(f_{0},\dots,f_{n} \in R\) and write \(I=(f_{0},\dots,f_{n})\) for the homogeneous \(R\)-ideal generated by the \(f_{i}\). The author provides under suitable assumptions, resolutions \(\mathcal{Z}_{\bullet}\) for the symmetric algebra \(\mathrm{Sym}_{R}(I)\) graded by \(\mathrm{Cl}(\mathcal{X})\) such that the determinant of a graded strand, \(\det((\mathcal{Z}_{\bullet})_{\mu})\), gives a multiple of the implicit equation, for suitable \(\mu \in \mathrm{Cl}(\mathcal{X})\). Indeed, he computes a region in \(\mathrm{Cl}(\mathcal{X})\) which depends on the regularity of \(\mathrm{Sym}_{R}(I)\) where to choose \(\mu\). Furthermore, he gives a geometrical interpretation of the possible other factors appearing in \(\det((\mathcal{Z}_{\bullet})_{\mu})\). A detailed description is given when \(\mathcal{X}\) is a multiprojective space.

Recommendations

Cites work

Cited in

(19)

Describes a project that uses

Uses Software

Macaulay2

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q411780)