[Paper Review] Equations of Parametric Surfaces via Syzygies

David A. Cox|ArXiv.org|Oct 11, 2000

Polynomial and algebraic computation16 references3 citations

TL;DR

This paper presents a syzygy-based method for implicitizing parametric curves and surfaces in algebraic geometry, using moving lines and linear algebra on syzygy modules to compute implicit equations. The key result is that the determinant of a matrix formed from syzygies of degree $ n-1 $ yields the implicit equation raised to the generic degree, providing an efficient alternative to Gröbner bases or resultants in CAD and computer graphics applications.

ABSTRACT

The revised version has two additional references and a shorter proof of Proposition 5.7. This version also makes numerous small changes and has an appendix containing a proof of the degree formula for a parametrized surface.

Motivation & Objective

• To develop an efficient method for computing the implicit equation of a parametric curve or surface using syzygies, avoiding the computational cost of Gröbner bases or resultants.
• To establish a connection between the algebraic structure of syzygy modules and the implicit equation of the image of a parametric map.
• To generalize the determinant-based implicitization method from curves to surfaces, particularly in the presence of basepoints.
• To explore the relationship between syzygy modules, free resolutions, and residual resultants in implicitization problems.
• To provide a theoretical foundation for using syzygies in geometric modeling, especially in CAD and computer graphics.

Proposed method

• Use homogeneous polynomials $ a(s,t), b(s,t), c(s,t) $ of degree $ n $ to define a parametric map $ \phi: \mathbb{P}^1 \to \mathbb{P}^2 $.
• Define a moving line $ A(s,t)x + B(s,t)y + C(s,t)z = 0 $ that follows the parametrization if $ Aa + Bb + Cc = 0 $, i.e., $ (A,B,C) $ is a syzygy on $ (a,b,c) $.
• Work with the syzygy module $ \mathrm{Syz}(a,b,c)_{n-1} $, which has dimension $ n $ under maximal rank assumption.
• Construct an $ n \times n $ matrix $ (L_{i,j}) $ from the coefficients of $ n $ linearly independent syzygies of degree $ n-1 $.
• Compute the determinant $ \det(L_{i,j}) $, which equals $ \lambda F^d $, where $ F=0 $ is the implicit equation and $ d $ is the generic degree of the map.
• Extend the method to surfaces by analyzing the syzygy module $ \mathrm{Syz}(a,b,c,d) $ and exploring its structure via free resolutions and residual resultants.

Experimental results

Research questions

• RQ1 Can the implicit equation of a parametric curve be computed as the determinant of a matrix derived from syzygies of degree $ n-1 $?
• RQ2 How does the structure of the syzygy module $ \mathrm{Syz}(a,b,c) $ relate to the regularity and implicitization of the image curve?
• RQ3 Is there a generalization of the determinant formula to surfaces, especially when the base locus is a complete intersection?
• RQ4 Can the determinant of the syzygy matrix be interpreted as a residual resultant in the presence of basepoints?
• RQ5 How do the results from syzygy-based implicitization relate to Beauville’s work on determinantal hypersurfaces?

Key findings

• The determinant of the $ n \times n $ matrix $ (L_{i,j}) $ formed from $ n $ linearly independent syzygies of degree $ n-1 $ equals $ \lambda F^d $, where $ F=0 $ is the irreducible implicit equation of the curve and $ d $ is the generic degree of the map.
• The method provides an efficient alternative to Gröbner bases and resultants for implicitization, particularly useful in computer graphics and CAD.
• For curves, the syzygy module $ \mathrm{Syz}(a,b,c)_{n-1} $ has dimension $ n $ under the maximal rank assumption, ensuring the existence of $ n $ independent moving lines.
• The degree formula $ \deg(\phi) \cdot \deg(S) = n^2 - \sum_{p \in Z} e(\mathcal{I}_{Z,p}, \mathcal{O}_{\mathbb{P}^2,p}) $ holds for generically one-to-one maps, linking the degree of the surface to the basepoint multiplicities.
• The method extends to surfaces via the syzygy module $ \mathrm{Syz}(a,b,c,d) $, though this module is typically not free, requiring resolution techniques.
• The determinant in the curve case can be interpreted as a resultant, and the paper explores whether a similar interpretation holds for surfaces using free resolutions and residual resultants.