English

The implicit equation of a multigraded hypersurface

Commutative Algebra 2011-10-07 v3 Algebraic Geometry

Abstract

In this article we analyze the implicitization problem of the image of a rational map ϕ:X>Pn\phi: X --> P^n, with TT a toric variety of dimension n1n-1 defined by its Cox ring RR. Let I:=(f0,...,fn)I:=(f_0,...,f_n) be n+1n+1 homogeneous elements of RR. We blow-up the base locus of ϕ\phi, V(I)V(I), and we approximate the Rees algebra ReesR(I)Rees_R(I) of this blow-up by the symmetric algebra SymR(I)Sym_R(I). We provide under suitable assumptions, resolutions Z.\Z. for SymR(I)Sym_R(I) graded by the torus-invariant divisor group of XX, Cl(X)Cl(X), such that the determinant of a graded strand, det((Z.)μ)\det((\Z.)_\mu), gives a multiple of the implicit equation, for suitable μCl(X)\mu\in Cl(X). Indeed, we compute a region in Cl(X)Cl(X) which depends on the regularity of SymR(I)Sym_R(I) where to choose μ\mu. We also give a geometrical interpretation of the possible other factors appearing in det((Z.)μ)\det((\Z.)_\mu). A very detailed description is given when XX is a multiprojective space.

Keywords

Cite

@article{arxiv.1007.3437,
  title  = {The implicit equation of a multigraded hypersurface},
  author = {Nicolás Botbol},
  journal= {arXiv preprint arXiv:1007.3437},
  year   = {2011}
}

Comments

19 pages, 2 figures. To appear in Journal of Algebra

R2 v1 2026-06-21T15:50:29.282Z