Topology of real algebraic space curves

In this paper we give a new projection-based algorithm for computing the topology of a real algebraic space curve given implicitly by a set of equations. Under some genericity conditions, which may be reached through a linear change of coordinates, we show that a plane projection of the given curve, together with a special polynomial in the ideal of the curve contains all the information needed to compute its topological shape. Our method is also designed in such a way to exploit important particular cases such as complete intersection curves or curves contained in nonsingular surfaces.

[1]  G. Budworth.  The Knot Book , 1983 .

[2]  Ronald C. Read,et al.  The knot book: An elementary introduction to the mathematical theory of knots , 1997, Complex..

[3]  T. Willmore.  Algebraic Geometry , 1973, Nature.

[4]  Marie-Françoise Roy,et al.  Complexity of the computation of cylindrical decomposition and topology of real algebraic curves using Thom's lemma , 1990 .

[5]  Scott McCallum,et al.  A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve , 1984, J. Symb. Comput..

[6]  Juan Gerardo Alcázar Arribas,et al.  Effective algorithms for the study of the topology of algebraic varieties, and applications , 2007 .

[7]  H. Hong.  An efficient method for analyzing the topology of plane real algebraic curves , 1996 .

[8]  Laureano González-Vega,et al.  Efficient topology determination of implicitly defined algebraic plane curves , 2002, Comput. Aided Geom. Des..

[9]  T. Sakkalis.  The topological configuration of a real algebraic curve , 1991, Bulletin of the Australian Mathematical Society.

[10]  Xiao-Shan Gao,et al.  Determining the Topology of Real Algebraic Surfaces , 2005, IMA Conference on the Mathematics of Surfaces.

[11]  Dinesh Manocha,et al.  Efficient and exact manipulation of algebraic points and curves , 2000, Comput. Aided Des..

[12]  M'hammed El Kahoui,et al.  Computation of the Dual of a Plane Projective Curve , 2002, J. Symb. Comput..

[13]  Laureano González-Vega,et al.  An Improved Upper Complexity Bound for the Topology Computation of a Real Algebraic Plane Curve , 1996, J. Complex..

[14]  Chandrajit L. Bajaj,et al.  Automatic parameterization of rational curves and surfaces IV: algebraic space curves , 1988, TOGS.

[15]  Felipe Cucker,et al.  On algorithms for real algebraic plane curves , 1991 .

[16]  C. Hoffmann.  Algebraic curves , 1988 .

[17]  Michel Coste,et al.  Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets , 1988, J. Symb. Comput..

[18]  Michael Kerber,et al.  Fast and exact geometric analysis of real algebraic plane curves , 2007, ISSAC '07.

[19]  J. Rafael Sendra,et al.  Computation of the topology of real algebraic space curves , 2005, J. Symb. Comput..

[20]  Elmar Schömer,et al.  Exact, efficient, and complete arrangement computation for cubic curves , 2006, Comput. Geom..

[21]  T. Dokken,et al.  Computational Methods for Algebraic Spline Surfaces , 2008 .

[22]  Bernard Mourrain,et al.  Computing the Topology of Three-Dimensional Algebraic Curves , 2005 .

[23]  D. S. Arnon,et al.  Algorithms in real algebraic geometry , 1988 .

[24]  Patrizia M. Gianni,et al.  Algorithms for the Shape of Semialgebraic Sets. A New Approach , 1991, AAECC.

[25]  Stefan Arnborg,et al.  Algebraic decomposition of regular curves , 1986, SYMSAC '86.

[26]  Daniel Lazard.  Ideal Bases and Primary Decomposition: Case of Two Variables , 1985, J. Symb. Comput..

[27]  Nicola Wolpert,et al.  Jacobi Curves : Computing the Exact Topology of Arrangements of Non-Singular Algebraic Curves , 2000 .

[28]  Raimund Seidel,et al.  On the exact computation of the topology of real algebraic curves , 2005, SCG.