×
Cortadellas Benítez, Teresa; D’Andrea, Carlos

Minimal generators of the defining ideal of the Rees algebra associated to monoid parameterizations. (English) Zbl 1210.65036

Comput. Aided Geom. Des. 27, No. 6, 461-473 (2010).
Summary: We describe a minimal set of generators of the defining ideal of the Rees algebra associated to a proper parametrization of any monoid hypersurface. In the case of plane curves, we recover a known description for rational parameterizations having a syzygy of minimal degree \((\mu =1)\). We also show that our approach can be applied to parameterizations of rational surfaces having a Hilbert-Burch resolution with \(\mu _{1}=\mu _{2}=1\).

Cited in 9 Documents

MSC:

65D17 Computer-aided design (modeling of curves and surfaces)

Keywords:

Rees algebra; monoid parametrizations; local complete intersection surfaces; monoid hypersurface; rational surfaces; Hilbert-Burch resolution

Software:

Macaulay2
Cite Review PDF
Full Text: DOI arXiv

References:

[1] Bruns, Winfried; Herzog, Jürgen, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics, vol. 39 (1993), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0788.13005
[2] Busé, Laurent, On the equations of the moving curve ideal of a rational algebraic plane curve, J. Algebra, 321, 8, 2317-2344 (2009) · Zbl 1168.14027
[3] Busé, Laurent; Chardin, Marc, Implicitizing rational hypersurfaces using approximation complexes, J. Symbolic Comput., 40, 4-5, 1150-1168 (2005) · Zbl 1120.14052
[4] Busé, Laurent; Chardin, Marc; Jouanolou, Jean-Pierre, Torsion of the symmetric algebra and implicitization, Proc. Amer. Math. Soc., 137, 6, 1855-1865 (2009) · Zbl 1167.13008
[5] Busé, Laurent; Cox, David; D’Andrea, Carlos, Implicitization of surfaces in \(P^3\) in the presence of base points, J. Algebra Appl., 2, 2, 189-214 (2003) · Zbl 1068.14066
[6] Busé, Laurent; Jouanolou, Jean-Pierre, On the closed image of a rational map and the implicitization problem, J. Algebra, 265, 1, 312-357 (2003) · Zbl 1050.13010
[7] Chen, Falai; Cox, David; Liu, Yang, The \(μ\)-basis and implicitization of a rational parametric surface, J. Symbolic Comput., 39, 6, 689-706 (2005) · Zbl 1120.14054
[8] Chen, Falai; Wang, Wenping; Liu, Yang, Computing singular points of plane rational curves, J. Symbolic Comput., 43, 2, 92-117 (2008) · Zbl 1130.14039
[9] Cox, David A., Equations of parametric curves and surfaces via syzygies, (Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering. Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, South Hadley, MA, 2000. Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering. Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, South Hadley, MA, 2000, Contemp. Math., vol. 286 (2001), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 1-20 · Zbl 1009.68174
[10] Cox, David A., The moving curve ideal and the Rees algebra, Theoret. Comput. Sci., 392, 1-3, 23-36 (2008) · Zbl 1170.13004
[11] Cox, David; Goldman, Ronald; Zhang, Ming, On the validity of implicitization by moving quadrics of rational surfaces with no base points, J. Symbolic Comput., 29, 3, 419-440 (2000) · Zbl 0959.68124
[12] Cox, David; Hoffman, J. William; Wang, Haohao, Syzygies and the Rees algebra, J. Pure Appl. Algebra, 212, 7, 1787-1796 (2008) · Zbl 1151.13012
[13] Cox, David A.; Little, John; O’Shea, Donal, Using Algebraic Geometry, Graduate Texts in Mathematics, vol. 185 (2005), Springer: Springer New York · Zbl 1079.13017
[14] Cox, David; Little, John; O’Shea, Donal, Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics (2007), Springer: Springer New York · Zbl 1118.13001
[15] Cox, David A.; Sederberg, Thomas W.; Chen, Falai, The moving line ideal basis of planar rational curves, Comput. Aided Geom. Design, 15, 8, 803-827 (1998) · Zbl 0908.68174
[16] Grayson, Daniel R.; Stillman, Michael E., Macaulay 2, a software system for research in algebraic geometry, Available at
[17] Harris, Joe, Algebraic Geometry. A First Course, Graduate Texts in Mathematics, vol. 133 (1992), Springer-Verlag: Springer-Verlag New York · Zbl 0779.14001
[19] Hong, Jooyoun; Simis, Aron; Vasconcelos, Wolmer V., On the homology of two-dimensional elimination, J. Symbolic Comput., 43, 4, 275-292 (2008) · Zbl 1139.13013
[20] Hong, Jooyoun; Simis, Aron; Vasconcelos, Wolmer V., Equations of almost complete intersections · Zbl 1260.13021
[21] Johansen, Pål Hermunn; Løberg, Magnus; Piene, Ragni, Monoid hypersurfaces, (Geometric Modeling and Algebraic Geometry (2008), Springer: Springer Berlin), 55-77 · Zbl 1140.14049
[23] Pérez-Díaz, Sonia; Schicho, Josef; Sendra, J. Rafael, Properness and inversion of rational parametrizations of surfaces, Appl. Algebra Engrg. Comm. Comput., 13, 1, 29-51 (2002) · Zbl 0993.14022
[24] Sederberg, Thomas; Chen, Falai, Implicitization using moving curves and surfaces, Proceedings of SIGGRAPH, 301-308 (1995)
[25] Sederberg, Tom; Goldman, Ron; Du, Hang, Implicitizing rational curves by the method of moving algebraic curves, Parametric Algebraic Curves and Applications. Parametric Algebraic Curves and Applications, Albuquerque, NM, 1995. Parametric Algebraic Curves and Applications. Parametric Algebraic Curves and Applications, Albuquerque, NM, 1995, J. Symbolic Comput., 23, 2-3, 153-175 (1997) · Zbl 0872.68193
[26] Sederberg, Thomas; Zheng, Jianmin; Klimaszewski, Kris; Dokken, Tor, Approximate implicitization using monoid curves and surfaces, Graph. Models Image Process., 61, 177-198 (1999)
[27] Sharpe, D. W., On certain polynomial ideals defined by matrices, Quart. J. Math. Oxford Ser. (2), 15, 155-175 (1964) · Zbl 0119.03601
[28] Simis, Aron; Vasconcelos, Wolmer V., On the dimension and integrality of symmetric algebras, Math. Z., 177, 3, 341-358 (1981) · Zbl 0439.13014
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.