Representing rational curve segments and surface patches using semi-algebraic sets

We provide a framework for representing segments of rational planar curves or patches of rational tensor product surfaces with no singularities using semi-algebraic sets. Given a rational planar curve segment or a rational tensor product surface patch with no singularities, we find the implicit equation of the corresponding unbounded curve or surface and then construct an algebraic box defined by some additional equations and inequalities associated to the implicit equation. This algebraic box is proved to include only the given curve segment or surface patch without any extraneous parts of the unbounded curve or surface. We also explain why it is difficult to construct such an algebraic box if the curve segment or surface patch includes some singular points such as self-intersections. In this case, we show how to isolate a neighborhood of these special points from the corresponding curve segment or surface patch and to represent these special points with small curve segments or surface patches. This framework allows us to dispense with expensive approximation methods such as voxels for representing surface patches.National Natural Science Foundation of ChinaMinisterio de Ciencia, Innovación y Universidade

The μ-basis of improper rational parametric surface and its application

The μ-basis is a newly developed algebraic tool in curve and surface representations and it is used to analyze some essential geometric properties of curves and surfaces. However, the theoretical frame of μ-bases is still developing, especially of surfaces. We study the μ-basis of a rational surface V defined parametrically by P(t¯),t¯=(t1,t2) not being necessarily proper (or invertible). For applications using the μ-basis, an inversion formula for a given proper parametrization P(t¯) is obtained. In addition, the degree of the rational map ϕP associated with any P(t¯) is computed. If P(t¯) is improper, we give some partial results in finding a proper reparametrization of V. Finally, the implicitization formula is derived from P (not being necessarily proper). The discussions only need to compute the greatest common divisors and univariate resultants of polynomials constructed from the μ-basis. Examples are given to illustrate the computational processes of the presented results.Ministerio de Ciencia, Innovación y Universidade

Implicitization of rational surfaces using toric varieties

A parameterized surface can be represented as a projection from a certain toric surface. This generalizes the classical homogeneous and bihomogeneous parameterizations. We extend to the toric case two methods for computing the implicit equation of such a rational parameterized surface. The first approach uses resultant matrices and gives an exact determinantal formula for the implicit equation if the parameterization has no base points. In the case the base points are isolated local complete intersections, we show that the implicit equation can still be recovered by computing any non-zero maximal minor of this matrix. The second method is the toric extension of the method of moving surfaces, and involves finding linear and quadratic relations (syzygies) among the input polynomials. When there are no base points, we show that these can be put together into a square matrix whose determinant is the implicit equation. Its extension to the case where there are base points is also explored.Comment: 28 pages, 1 figure. Numerous major revisions. New proof of method of moving surfaces. Paper accepted and to appear in Journal of Algebr

Strong μ\mu-Bases for Rational Tensor Product Surfaces and Extraneous Factors Associated to Bad Base Points and Anomalies at Infinity

We investigate conditions under which the resultant of a $\mu$-basis for a rational tensor product surface is the implicit equation of the surface without any extraneous factors. In this case, we also derive a formula for the implicit degree of the rational surface based only on the bidegree of the rational parametrization and the bidegrees of the elements of the $\mu$-basis without any knowledge of the number or multiplicities of the base points, assuming only that all the base points are local complete intersections. We conclude that in this case the implicit degree of a rational surface of bidegree $(m,n)$ is at most $mn$, so the rational surface must have at least $mn$ base points counting multiplicity. When the resultant of a $\mu$-basis generates extraneous factors, we show how to predict and compute these extraneous factors from either the existence of bad base points or anomalies occurring in the parametrization at infinity. Examples are provided to flesh out the theory

Resultants and Moving Surfaces

We prove a conjectured relationship among resultants and the determinants arising in the formulation of the method of moving surfaces for computing the implicit equation of rational surfaces formulated by Sederberg. In addition, we extend the validity of this method to the case of not properly parametrized surfaces without base points.Comment: 21 pages, LaTex, uses academic.cls. To appear: Journal of Symbolic Computatio

Computing the form of highest degree of the implicit equation of a rational surface

A method is presented for computing the form of highest degree of the implicit equation of a rational surface, defined by means of a rational parametrization. Determining the form of highest degree is useful to study the asymptotic behavior of the surface, to perform surface recognition, or to study symmetries of surfaces, among other applications. The method is efficient, and works generally better than known algorithms for implicitizing the whole surface, in the absence of base points blowing up to a curve at infinity. Possibilities to compute the form of highest degree of the implicit equation under the presence of such base points are also discussed. We provide timings to compare our method with known methods for computing the whole implicit equation of the surface, both in absence and in presence of base points blowing up to a curve at infinity.Agencia Estatal de Investigació

Mini-Workshop: Surface Modeling and Syzygies

The problem of determining the implicit equation of the image of a rational map φ : P2 99K P3 is of theoretical interest in algebraic geometry, and of practical importance in geometric modeling. There are essentially three methods which can be applied to the problem: Gröbner bases, resultants, and syzygies. Elimination via Gröbner basis methods tends to be computationally intensive and, being a general tool, is not adapted to the geometry of specific problems. Thus, it is primarily the latter two techniques which are used in practice. This is an extremely active area of research where many different perspectives come into play. The mini-workshop brought together a diverse group of researchers with different areas of expertise