×

Syzygies for translational surfaces. (English) Zbl 1404.14069

The subject of this paper concerns the study of translational surfaces and their syzygies.
The interest for translation surfaces started to grow, when it turned out that these surfaces are typical modeling surfaces in architecture and computer aided design.
A translation surface, formally speaking, is a rational tensor product surface, which is generated from two rational space curves by translating one curve, along the other one. Note, that translational surfaces are invariant under rigid motions: translating and rotating the two generating curves, translates and rotates the translational surface by the same amount.
In this paper, in Section 2, some background concerning the translational surfaces is given: their main properties are recalled and \(\mu\)-bases for rational curves and surfaces are considered.
Further investigations lead, on the one hand, to the study of the syzygies of translational surfaces; on the other hand, to consider the relation of the syzygies of the generating curves to the syzygies of the corresponding translational surface. Finally, the construction of three special syzygies for a translational surface is given (this is done from a \(\mu\)-basis of one of the generating space curves).
This motivates the main result of this paper (Section 3): it is shown how to compute the implicit equation of a translational surface, using those three special syzygies.
As a an application of this result, it is shown that the techniques, used and developed, in this paper can be applied to translational surfaces of the following type: \[ h^{\star} (s;t)= af^{*}(s) + bg^{*}(t), \] where \(a,b \in\mathbb{R}\) and \(ab \neq 0\), up to some minor modifications.
Throughout this paper, examples are provided to illustrate the theorems and to flesh out algorithms. In the last section (i.e. Section 5) two open problems for future research are proposed.

MSC:

14Q05 Computational aspects of algebraic curves
13D02 Syzygies, resolutions, complexes and commutative rings
14H50 Plane and space curves
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
68W30 Symbolic computation and algebraic computation
65D17 Computer-aided design (modeling of curves and surfaces)
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Adkins, W.; Hoffman, W.; Wang, H., Equations of parametric surfaces with base points via syzygies, J. Symb. Comput., 39, 73-101 (2005) · Zbl 1120.14051
[2] Bajaj, C., Geometric modeling with algebraic surfaces, (Handscomb, D., The Mathematics of Surfaces III (1990), Oxford University Press), 3-48, Chapter I
[3] Bajaj, C., Surface fitting with implicit algebraic surface patches, (Hagen, H., Topics in Surface Modeling (1992), SIAM Publications), 23-52, Chapter 2 · Zbl 0796.41015
[4] Benkö, P.; Várady, T., Best fit translational and rotational surfaces for reverse engineering shapes, (Cipolla, Roberto; Martin, Ralph, Mathematics of Surfaces IX, Proceedings of the Ninth IMA Conference on the Mathematics of Surfaces (2000), Springer), 70-81 · Zbl 0967.65017
[5] Boehm, W., On cyclides in geometric modeling, Comput. Aided Geom. Des., 7, 243-255 (1990) · Zbl 0712.65009
[6] Bose, N. K., Multidimensional Systems Theory and Applications (1995), Springer
[7] Broida, J. G.; Williamson, S. G., A Comprehensive Introduction to Linear Algebra (1989), Addison-Wesley · Zbl 0683.15001
[8] Chen, F.; Cox, D.; Liu, Y., The \(μ\)-basis and implicitization of a rational parametric surface, J. Symb. Comput., 39, 689-706 (2005) · Zbl 1120.14054
[9] Chen, Y.; Shen, L.; Yuan, C., Collision and intersection detection of two ruled surfaces using bracket method, Comput. Aided Geom. Des., 28, 114-126 (2011) · Zbl 1210.65054
[10] Coffman, A.; Schwartz, A.; Stanton, C., The algebra and geometry of Steiner and other quadratically parametrizable surfaces, Comput. Aided Geom. Des., 13, 257-286 (1996) · Zbl 0875.68860
[11] Cox, D.; Little, J.; O’Shea, D., Using Algebraic Geometry (1998), Springer-Verlag: Springer-Verlag New York · Zbl 0920.13026
[12] Decker, W.; Greuel, G.-M.; Pfister, G.; Schönemann, H., Singular 4-0-2 - a computer algebra system for polynomial computations (2015)
[13] Deng, J.; Chen, F.; Shen, L., Computing \(μ\)-bases of rational curves and surfaces using polynomial matrix factorization, (ISSAC’05. ISSAC’05, July 24-27, 2005, Beijing, China (2005)), 132-139 · Zbl 1360.14141
[14] Dickenstein, A.; Emiris, I. Z., Multihomogeneous resultant formulae by means of complexes, J. Symb. Comput., 36, 3-4, 317-342 (2003), ISSAC 2002 · Zbl 1095.13547
[15] Dixon, A. L., The eliminant of three quantics in two independent variables, Proc. Lond. Math. Soc., 6, 49-69 (1908) · JFM 40.0207.01
[16] Farin, G., Curves and Surfaces for Computer-Aided Geometric Design: A Practical Guide, Computer Science and Scientific Computing (2014), Elsevier
[17] Gelfand, I.; Kapranov, I. M.; Zelevinsky, A. V., Discriminants, Resultants, and Multidimensional Determinants (1994), Birkhäuser: Birkhäuser Boston · Zbl 0827.14036
[18] Goldman, R., Quadrics of revolution, IEEE Comput. Graph. Appl., 3, 68-76 (1983)
[19] Gray, A., Modern Differential Geometry of Curves and Surfaces with Mathematica (1998), CRC Press: CRC Press Washington · Zbl 0942.53001
[20] Grayson, D.; Stillman, M., Macaulay2, a software system for research in algebraic geometry, Available at
[21] Jia, X., Role of moving planes and moving spheres of cyclides, Comput. Aided Geom. Des., 31, 168-181 (2014) · Zbl 1295.65014
[22] Liu, H., Translation surfaces with constant mean curvature in 3-dimensional spaces, J. Geom., 64, 141-149 (1999) · Zbl 0940.53007
[23] Maple, Maplesoft (2016), A Division of Waterloo Maple Inc.: A Division of Waterloo Maple Inc. Waterloo, Ontario
[24] Munteanu, M.; Nistor, A. I., On the geometry of the second fundamental form of translation surfaces in \(E^3\), Houst. J. Math., 37, 4, 1087-1102 (2011) · Zbl 1238.53003
[25] Pérez-Díaz, S., On the problem of proper reparametrization for rational curves and surfaces, Comput. Aided Geom. Des., 23, 4, 307-323 (2006) · Zbl 1102.65018
[26] Pérez-Díaz, S.; Shen, L., Parametrization of rational translational surfaces, Theor. Comput. Sci (2017), In press
[27] Schroeder, W. J.; Lorensen, W. E.; Linthicum, S., Implicit modeling of swept surfaces and volumes, (Proceedings of the Conference on Visualization’94 (1994), IEEE Computer Society Press), 40-45
[28] Shen, L.; Goldman, R., Strong \(μ\)-bases for rational tensor product surfaces and extraneous factors associated to bad base points and anomalies at infinity, SIAM J. Appl. Algebra Geom., 1, 1, 328-351 (2017) · Zbl 1371.68300
[29] Shen, L.; Goldman, R., Implicitizing rational tensor product surfaces using the resultant of three moving planes, ACM Trans. Graph., 36, 5 (2017), Issue-in-progress article No. 167.
[30] Shen, L.; Pérez-Díaz, S., Characterization of rational ruled surfaces, J. Symb. Comput., 63, 21-45 (2014) · Zbl 1294.65023
[31] Shi, X.; Jia, X.; Goldman, R., Using a bihomogeneous resultant to find the singularities of rational space curves, J. Symb. Comput., 53, 1-25 (2013) · Zbl 1268.14053
[32] Shi, X.; Wang, X.; Goldman, R., Using \(μ\)-bases to implicitize rational surfaces with a pair of orthogonal directrices, Comput. Aided Geom. Des., 29, 541-554 (2012) · Zbl 1256.65017
[33] Verstraelen, L.; Walrave, J.; Yaprak, S., The minimal translation surfaces in Euclidean space, Soochow J. Math., 20, 1, 77-82 (1994) · Zbl 0799.53009
[34] Vršek, J.; Lávička, M., Determining surfaces of revolution from their implicit equations, J. Comput. Appl. Math., 290, 125-135 (2015) · Zbl 1321.65027
[35] Vršek, J.; Lávička, M., Translation surfaces and isotropic transport nets on rational minimal surfaces, (9th International Conference on Mathematical Methods for Curves and Surfaces (2016)) · Zbl 1422.65047
[36] Wang, W., Modelling and processing with quadric surfaces, (Handbook of Computer Aided Geometric Design (2002), Elsevier), 777-795
[37] Wang, X.; Chen, F., Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces, J. Symb. Comput., 47, 733-750 (2012) · Zbl 1245.65021
[38] Wang, W.; Joe, B., Interpolation on quadric surfaces with rational quadratic spline curves, Comput. Aided Geom. Des., 14, 207-230 (1997) · Zbl 0906.68160
[39] Weinert, K.; Du, S.; Damm, P.; Stautner, M., Swept volume generation for the simulation of machining processes, Int. J. Mach. Tools Manuf., 44, 617-628 (2014)
[40] Yoon, D. W., On the Gauss map of translation surfaces in Minkowski 3-space, Taiwan. J. Math., 6, 3, 389-398 (2002) · Zbl 1024.53010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.