Implicitizing rational hypersurfaces using approximation complexes

DOI10.1016/J.JSC.2004.04.005zbMATH Open1120.14052arXivmath/0301238OpenAlexW2059906458MaRDI QIDQ2456594FDOQ2456594

Authors: Laurent Busé, Marc Chardin 

Publication date: 19 October 2007

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

Abstract: In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as determinants of certain graded parts of a so-called approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of such a complex. In both particular cases of interest of curve and surface implicitization we also yield explicit algorithms which only involves linear algebra routines.

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

Recommendations

• scientific article; zbMATH DE number 1985285
• IMPLICITIZATION OF RATIONAL CURVES AND POLYNOMIAL SURFACES
• Implicitization of rational surfaces using toric varieties
• Implicitization of Rational Curves
• Implicitization of rational hypersurfaces via linear syzygies: a practical overview
• Implicitization of rational surfaces by means of polynomial interpolation
• Implicitization using approximation complexes
• Implicitization of rational ruled surfaces with \(\mu \)-bases
• A simple method for implicitizing rational curves and surfaces
• Implicitization of hypersurfaces

zbMATH Keywords

syzygiesimplicitizationbase pointsapproximation complexes

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Syzygies, resolutions, complexes and commutative rings (13D02) Computational aspects of algebraic surfaces (14Q10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Derivations of commutative noetherian rings
• The moving line ideal basis of planar rational curves
• On the validity of implicitization by moving quadrics for rational surfaces with no base points
• Title not available (Why is that?)
• IMPLICITIZATION OF SURFACES IN ℙ³ IN THE PRESENCE OF BASE POINTS
• Resultants and moving surfaces
• On the closed image of a rational map and the implicitization problem.
• The Syzygies of the Conormal Module
• The dimension and components of symmetric algebras
• Anisotropic resultant. Complements and applications
• Title not available (Why is that?)

Cited In (33)

• Tensor product surfaces and linear syzygies
• Change of order for regular chains in positive dimension
• The implicit equation of a multigraded hypersurface
• Survey on the theory and applications of \(\mu\)-bases for rational curves and surfaces
• Matrix representations for toric parametrizations
• Compactifications of rational maps, and the implicit equations of their images
• Minimal generators of the defining ideal of the Rees algebra associated to monoid parameterizations
• Implicitizing rational surfaces using moving quadrics constructed from moving planes
• An improved algorithm for constructing moving quadrics from moving planes
• The surface/surface intersection problem by means of matrix based representations
• A study of a family of monomial ideals
• Computing the form of highest degree of the implicit equation of a rational surface
• Rees algebras and almost linearly presented ideals
• Rees algebras of truncations of complete intersections
• Implicitization of rational ruled surfaces with \(\mu \)-bases
• Elimination and nonlinear equations of Rees algebras
• Implicitization of rational hypersurfaces via linear syzygies: a practical overview
• Title not available (Why is that?)
• IMPLICITIZATION OF RATIONAL CURVES AND POLYNOMIAL SURFACES
• Syzygies and singularities of tensor product surfaces of bidegree (2,1)
• Fitting ideals and multiple points of surface parameterizations
• Koszul blowup algebras associated to three-dimensional Ferrers diagrams
• The implicitization problem for \(\phi : \mathbb P^n \longrightarrow (\mathbb P^1)^{n+1}\)
• Bound for the number of one-dimensional fibers of a projective morphism
• The Simplest Minimal Free Resolutions in $${\mathbb {P}^1 \times \mathbb {P}^1}$$
• Implicitization of rational surfaces using toric varieties
• Implicitization using approximation complexes
• Torsion of the symmetric algebra and implicitization
• The Viro method for construction of \(C^r\) piecewise algebraic hypersurfaces
• Special syzygies of rational surfaces generated by dual quaternions
• A note on quadratically parametrized surfaces
• Rational normal scrolls and the defining equations of Rees algebras
• Implicitization of hypersurfaces

This page was built for publication: Implicitizing rational hypersurfaces using approximation complexes

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