Implicitizing rational hypersurfaces using approximation complexes

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

Authors Laurent Busé, Marc Chardin 

Publication date 19 October 2007

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

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

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)

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.

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

Cites Work

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

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
• The simplest minimal free resolutions in \({\mathbb{P}^1 \times \mathbb{P}^1}\)
• 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 no real title available?)
• 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
• 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)