The implicit equation of a multigraded hypersurface

DOI10.1016/J.JALGEBRA.2011.09.019zbMATH Open1242.14049arXiv1007.3437OpenAlexW2963537867MaRDI QIDQ411780FDOQ411780

Authors: Nicolás Botbol Edit this on Wikidata

Publication date: 30 April 2012

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

Abstract: In this article we analyze the implicitization problem of the image of a rational map $phi:X-->P^n$, with $T$ a toric variety of dimension $n-1$ defined by its Cox ring $R$. Let $I:=(f_0,\mathrm{...},f_n)$ be $n+1$ homogeneous elements of $R$. We blow-up the base locus of $phi$, $V(I)$, and we approximate the Rees algebra $Ree{s}_R(I)$ of this blow-up by the symmetric algebra $Sy{m}_R(I)$. We provide under suitable assumptions, resolutions $$ for $Sy{m}_R(I)$ graded by the torus-invariant divisor group of $X$, $Cl(X)$, such that the determinant of a graded strand, $$, gives a multiple of the implicit equation, for suitable $muinCl(X)$. Indeed, we compute a region in $Cl(X)$ which depends on the regularity of $Sy{m}_R(I)$ where to choose $mu$. 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.

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

Recommendations

• On the multiplicity of implicit differential equations
• Hypersurfaces in equiaffine differential geometry
• The Newton polytope of the implicit equation
• Implicitization of partial differential rational parametric equations
• Approximate implicit equations of parameterized germs of plane curve
• A geometric treatment of implicit differential-algebraic equations
• scientific article; zbMATH DE number 3901556
• The complex Monge-Ampère equation with a gradient term
• Computations and equations for Segre-Grassmann hypersurfaces

zbMATH Keywords

toric varietyCastelnuovo-Mumford regularityhypersurfacesgraded algebragraded ringimplicitizationKoszul complexresultantelimination theoryapproximation compleximplicit equationmultigraded algebramultigraded ring

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)

Cites Work

• Introduction to Toric Varieties. (AM-131)
• Tropical discriminants
• The projectivity of the moduli space of stable curves. I: Preliminaries on "det" and "Div".
• Title not available (Why is that?)
• Toric varieties
• Implicitizing rational hypersurfaces using approximation complexes
• Implicitization of rational surfaces using toric varieties
• Title not available (Why is that?)
• IMPLICITIZATION OF SURFACES IN ℙ³ IN THE PRESENCE OF BASE POINTS
• Approximation complexes of blowing-up rings. II
• Approximation complexes of blowing-up rings
• On the closed image of a rational map and the implicitization problem.
• An implicitization algorithm with fewer variables
• Title not available (Why is that?)
• Vanishing theorems on toric varieties.
• Title not available (Why is that?)
• Algorithm for implicitizing rational parametric surfaces
• Implicit representation of rational parametric surfaces
• The implicitization problem for \(\phi : \mathbb P^n \longrightarrow (\mathbb P^1)^{n+1}\)
• Torsion of the symmetric algebra and implicitization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies
• An implicitization algorithm for rational surfaces with no base points
• Matrix representations for toric parametrizations
• Compactifications of rational maps, and the implicit equations of their images

Cited In (17)

• Tensor product surfaces and linear syzygies
• Toric Sylvester forms
• Fibers of rational maps and elimination matrices: an application oriented approach
• Compactifications of rational maps, and the implicit equations of their images
• Implicitization of tensor product surfaces via virtual projective resolutions
• Implicitization of rational hypersurfaces via linear syzygies: a practical overview
• Syzygies and singularities of tensor product surfaces of bidegree (2,1)
• Implicitization of tensor product surfaces in the presence of a generic set of basepoints
• Fitting ideals and multiple points of surface parameterizations
• The implicitization problem for \(\phi : \mathbb P^n \longrightarrow (\mathbb P^1)^{n+1}\)
• Determinantal tensor product surfaces and the method of moving quadrics
• On the closed image of a rational map and the implicitization problem.
• Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces
• Multigraded Sylvester forms, duality and elimination matrices
• Castelnuovo Mumford regularity with respect to multigraded ideals
• Effective criteria for bigraded birational maps
• Special syzygies of rational surfaces generated by dual quaternions

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)