JournalsowrVol. 4 / No. 4DOI 10.4171/owr/2007/54

Mini-Workshop: Surface Modeling and Syzygies

  • David A. Cox

    University of Massachusetts, Amherst, United States
  • Henry K. Schenck

    University of Illinois, Urbana, United States
  • Josef Schicho

    Austrian Academy of Sciences, Linz, Austria
  • Alicia Dickenstein

    Universidad de Buenos Aires, Argentina
Mini-Workshop: Surface Modeling and Syzygies cover

You need to subscribe to download the article.


A central problem in geometric modeling is to find the implicit equation for a curve or surface defined by a rational map. For surfaces, the two most common situations are the images of parameterizations or . studied in \cite{sch1}.

The implicitization problem involves interesting commutative algebra. Implicitization is a problem in elimination theory, which allows one to use standard tools such as Gr\"obner bases or resultants. The surprise is that more sophisticated tools from commutative algebra are also being used, and syzygies play a leading role. We now describe some aspects of this, referring to \cite{c01} for a detailed survey and to \cite{bj} for a more general algebraic point of view. studied in \cite{sch1}.

In \cite{sc_1}, Sederberg and Chen introduced the method of moving curves and surfaces. For a curve parametrization , a {\it moving line} that follows the parametrization is a element of the syzygy module on the generators of the ideal . The syzygy module of is free of rank two, and a Hilbert function computation shows that if are homogeneous of degree without common factors, then there is an -dimensional vector space of moving lines of degree . Write each moving line as \[ A_i(s,t)x+B_i(s,t)y+C_i(s,t)z \] where the are placeholders, representing the fact that . By collecting coefficients, we can write \[ A_i(s,t)x+B_i(s,t)y+C_i(s,t)z = \sum_{j=0}^{n-1} L_{ij}(x,y,z)s^jt^{n-1-j}. \] A main theorem of \cite{csc_1} is that the determinant of the matrix of the is a power of the implicit equation for the image. studied in \cite{sch1}.

For a surface parametrization given by , a moving plane that follows the parametrization is an element of the syzygy module on the generators of the ideal , and a moving quadric that follows the parametrization is an element of the syzygy module on the generators of . The moving surface method of \cite{cgz} requires knowing that a syzygy of the form \[ (c_1 a + c_2 b + c_3 c + c_4 d) a + (c_5 b + c_6 c + c_7 d) b + (c_8 c + c_9 d) c = 0 \] comes from the Koszul complex when have no common zeros. In the case of (i.e., when are homogeneous polynomials), this is proved by observing that form a regular sequence, so that every syzygy comes from the Koszul complex. For (i.e., when are bihomogeneous polynomials), the Koszul complex is not exact in all bidegrees, but by vanishing theorems for cohomology, it can be seen that the sequence is exact in the bidegree of interest. studied in \cite{sch1}.

The main result of \cite{cgz} involves parameterizations without base points. When base points are allowed, \cite{bcd} uses results of \cite{cs} to show that for , the moving surface method of \cite{cgz} applies when the base points are local complete intersections. This is also true for , by \cite{ahw}. The proofs in \cite{bcd} use results about the regularity of and ; in a similar way, the proofs in \cite{ahw} use results about bigraded regularity. In \cite{ccl} a special case of the Serre conjecture is used to conclude that syzygy modules are always free for affine surface parameterizations. studied in \cite{sch1}.

Interestingly, the abstract general setting for this application of syzygies for the implicitization problem is given by the approximation complexes defined by W. Vasconcelos and coauthors \cite{hsv,v}. The application of this method to compute the implicit equation of a parameterized hypersurface has been developed recently in \cite{bj, bc, ch}. It has been implemented in the case of finite nice base points by Bus\'e \cite{b}. The implicit equation is obtained from a double complex which provides a resolution of the blow up algebra of the ideal of base points, in case this ideal is of linear type, i.e. in case the associated Rees algebra and symmetric algebra coincide. The article \cite{bchj} studies optimal degree estimates and the extraneous factors that appear when the base points are almost local complete intersections, as well as a link with some particular resultant computations. studied in \cite{sch1}.

As noted in \cite{bj}, the set of all moving hypersurfaces that follow a given hypersurface parametrization form an ideal that is the ideal of relations defining the Rees algebra associated with the parametrization. The structure of this ideal is investigated in some special cases in \cite{coxrees} using local cohomology, local duality and the \emph{Sylvester forms} introduced by Jouanolou \cite{j}. The paper \cite{coxrees} uses results from the commutative algebra literature (the paper \cite{morey} of Morey and Ulrich) and from the geometric modeling literature (the paper \cite{sgd} of Sederberg, Goldman and Du). Understanding the general case for curves is an interesting open problem in both commutative algebra and geometric modeling. The surface case is also completely open. studied in \cite{sch1}.

The parametrization is also not an intrinsic property of the parametrized variety, in contrast to the implicit equation. In some cases, it seems worthwile to replace the given parametrization by a simpler one before one attempts to implicitize. In the curve case and in the surface case, we can simplify the parametrization (if possible) without implicitizing, as shown in \cite{sch3}. The smallest possible parametric degree has been studied in \cite{sch1}.

Another line of research developed in \cite{ek, sty} aims to determine a priori the Newton polytope of the resulting equation, to translate then the implicitization problem to an interpolation linear algebra problem. These articles are based in the theory of sparse resultants and the use of tropical geometry. Numerical issues in the implementation of the theoretical results are also relevant \cite{sch2}.