Implicitization of rational hypersurfaces via linear syzygies: a practical overview

DOI10.1016/J.JSC.2015.09.001zbMATH Open1375.14199arXiv1502.00890OpenAlexW2962759704MaRDI QIDQ898276FDOQ898276

Authors: Nicolás Botbol, Alicia Dickenstein 

Publication date: 8 December 2015

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the polynomials defining the parametrization, following and expanding our joint article with M. Dohm. These algebraic techniques, based on the theory of approximation complexes due to J. Herzog, A, Simis and W. Vasconcelos, were introduced for the implicitization problem by J.-P. Jouanolou, L. Bus'e, and M. Chardin. Their work was inspired by the practical method of moving curves, proposed by T. Sederberg and F. Chen, translated into the language of syzygies by D. Cox. Our aim is to express the theoretical results and resulting algorithms into very concrete terms, avoiding the use of the advanced homological commutative algebra tools which are needed for their proofs.

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

Recommendations

• Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies
• Implicitizing rational hypersurfaces using approximation complexes
• Implicitization of rational surfaces using toric varieties
• IMPLICITIZATION OF RATIONAL CURVES AND POLYNOMIAL SURFACES
• Implicitization of Rational Curves
• Implicitization of rational ruled surfaces with \(\mu \)-bases
• scientific article; zbMATH DE number 1985285
• A note on implicitization and normal parametrization of rational curves
• Implicitization of rational surfaces by means of polynomial interpolation

zbMATH Keywords

matrix representationrational surfaceimplicitizationsyzygysparse polynomial

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Computational aspects of algebraic curves (14Q05)

Cites Work

• Introduction to Toric Varieties. (AM-131)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Toric varieties
• Title not available (Why is that?)
• The moving line ideal basis of planar rational curves
• Equations of parametric surfaces with base points via syzygies
• The \(\mu \)-basis and implicitization of a rational parametric surface
• Implicitizing rational hypersurfaces using approximation complexes
• Implicitization of rational surfaces using toric varieties
• Title not available (Why is that?)
• Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces
• IMPLICITIZATION OF SURFACES IN ℙ³ IN THE PRESENCE OF BASE POINTS
• Resultants and moving surfaces
• 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.
• Sur un probl?me de g?om?trie diophantienne lin?aire. I. Poly?dres et r?seaux.
• Elimination and nonlinear equations of Rees algebras
• A study of singularities on rational curves via syzygies
• Title not available (Why is that?)
• Set-theoretic generators of rational space curves
• \(\mu \)-bases and singularities of rational planar curves
• The implicitization problem for \(\phi : \mathbb P^n \longrightarrow (\mathbb P^1)^{n+1}\)
• Torsion of the symmetric algebra and implicitization
• The implicit equation of a multigraded hypersurface
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies
• Matrix representations for toric parametrizations
• Compactifications of rational maps, and the implicit equations of their images
• Castelnuovo Mumford regularity with respect to multigraded ideals
• Implicitization using approximation complexes
• Title not available (Why is that?)
• Curve/surface intersection problem by means of matrix representations
• Degree, multiplicity, and inversion formulas for rational surfaces using \(u\)-resultants
• A NEW APPROACH FOR SURFACE INTERSECTION
• Singular factors of rational plane curves
• Fitting ideals and multiple points of surface parameterizations
• Reliable numerical methods for polynomial matrix triangularization
• Using implicit equations of parametric curves and surfaces without computing them: Polynomial algebra by values
• Commutative Algebra and Its Connections to Geometry
• Title not available (Why is that?)
• Minimal generators for the Rees algebra of rational space curves of type \((1,1,d-2)\)

Cited In (12)

• Survey on the theory and applications of \(\mu\)-bases for rational curves and surfaces
• Almost-toric hypersurfaces
• An algorithm to compute the \(\mu\)-bases of rational parametric surfaces with respect to one variable
• Implicitization of tensor product surfaces in the presence of a generic set of basepoints
• A constructive approach to implicitizing rational surfaces with LCI base points by moving planes and moving quadrics
• Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces
• Implicitizing rational hypersurfaces using approximation complexes
• Mini-workshop: Surface modeling and syzygies. Abstracts from the mini-workshop held November 25 -- December 1, 2007.
• A study of nonlinear multiview varieties
• Implicitization using approximation complexes
• Implicitizing rational surfaces without base points by moving planes and moving quadrics
• Implicitization of hypersurfaces

Uses Software

• Macaulay2
• SINGULAR

This page was built for publication: Implicitization of rational hypersurfaces via linear syzygies: a practical overview

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