In this article we analyze the implicitization problem of the image of a rational map , with a toric variety of dimension defined by its Cox ring . Let be homogeneous elements of . We blow-up the base locus of , , and we approximate the Rees algebra of this blow-up by the symmetric algebra . We provide under suitable assumptions, resolutions for graded by the torus-invariant divisor group of , , such that the determinant of a graded strand, , gives a multiple of the implicit equation, for suitable . Indeed, we compute a region in which depends on the regularity of where to choose . We also give a geometrical interpretation of the possible other factors appearing in . A very detailed description is given when is a multiprojective space.

生成讲解博客的中文版本

生成AI智能校验的中文版本