Skip to main content

Moving Curve Ideals of Rational Plane Parametrizations

  • Chapter
  • First Online:
Computer Algebra and Polynomials

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8942))

  • 1850 Accesses

Abstract

In the nineties, several methods for dealing in a more efficient way with the implicitization of rational parametrizations were explored in the Computer Aided Geometric Design Community. The analysis of the validity of these techniques has been a fruitful ground for Commutative Algebraists and Algebraic Geometers, and several results have been obtained so far. Yet, a lot of research is still being done currently around this topic. In this note we present these methods, show their mathematical formulation, and survey current results and open questions.

Partially supported by the Research Project MTM2010–20279 from the Ministerio de Ciencia e Innovación, Spain.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Adams, W.W., Loustaunau, P.: An Introduction to Gröbner Bases. Graduate Studies in Mathematics, vol. 3. American Mathematical Society, Providence (1994)

    MATH  Google Scholar 

  2. Apéry, F., Jouanolou, J.-P.: Élimination: le cas d’une variable. Collection Méthodes, Hermann Paris (2006)

    Google Scholar 

  3. Busé, L.: On the equations of the moving curve ideal of a rational algebraic plane curve. J. Algebra 321(8), 2317–2344 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  4. Busé, L., Chardin, M., Jouanolou, J.-P.: Torsion of the symmetric algebra and implicitization. Proc. Amer. Math. Soc. 137(6), 1855–1865 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  5. Busé, L., Cox, D., D’Andrea, C.: Implicitization of surfaces in \(\mathbb{P}^3\) in the presence of base points. J. Algebra Appl. 2(2), 189–214 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  6. Busé, L., D’Andrea, C.: Singular factors of rational plane curves. J. Algebra 357, 322–346 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  7. Busé, L., Jouanolou, J.-P.: On the closed image of a rational map and the implicitization problem. J. Algebra 265(1), 312–357 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  8. Capani, A., De Dominicis, G., Niesi, G., Robbiano, L.: Computing minimal finite free resolutions. Algorithms for algebra (Eindhoven, 1996). J. Pure Appl. Algebra 117(118), 105–117 (1997)

    Article  MathSciNet  Google Scholar 

  9. Chen, F., Cox, D., Liu, Y.: The \(\mu \)-basis and implicitization of a rational parametric surface. J. Symbolic Comput. 39(6), 689–706 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  10. Chen, F., Shen, L., Deng, J.: Implicitization and parametrization of quadratic and cubic surfaces by \(\mu \)-bases. Computing 79(2–4), 131–142 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  11. Cortadellas Benitez, T., D’Andrea, C.: Minimal generators of the defining ideal of the Rees Algebra associated to monoid parametrizations. Comput. Aided Geom. Des. 27(6), 461–473 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  12. Cox, D.A.: Equations of parametric curves and surfaces via syzygies. In: Symbolic computation: solving equations in algebra, geometry, and engineering (South Hadley, MA, 2000). Contemporary Mathematics, vol. 286, pp. 1–20. American Mathematical Society, Providence (2001)

    Google Scholar 

  13. Cortadellas Benitez, T., D’Andrea, C.: Rational plane curves parametrizable by conics. J. Algebra 373, 453–480 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  14. Cortadellas Benitez, T., D’Andrea, C.: Minimal generators of the defining ideal of the Rees Algebra associated to a rational plane parameterization with \(\mu \) = 2. Canad. J. Math. 66(6), 1225–1249 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  15. Cox, D.A.: The moving curve ideal and the Rees algebra. Theoret. Comput. Sci. 392(1–3), 23–36 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  16. Cox, D., Goldman, R., Zhang, M.: On the validity of implicitization by moving quadrics of rational surfaces with no base points. J. Symbolic Comput. 29(3), 419–440 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  17. Cox, D., Hoffman, J.W., Wang, H.: Syzygies and the Rees algebra. J. Pure Appl. Algebra 212(7), 1787–1796 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  18. Cox, D., Kustin, A., Polini, C., Ulrich, B.: A study of singularities on rational curves via syzygies. vol. 222, Number 1045. American Mathematical Society, Providence (2013)

    Google Scholar 

  19. Cox, D.A., Little, J., O’Shea, D.: Using Algebraic Geometry. Graduate Texts in Mathematics, vol. 185, 2nd edn. Springer, New York (2005)

    MATH  Google Scholar 

  20. Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics, 3rd edn. Springer, New York (2007)

    Book  Google Scholar 

  21. Cox, D.A., Sederberg, T.W., Chen, F.: The moving line ideal basis of planar rational curves. Comput. Aided Geom. D. 15(8), 803–827 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  22. D’Andrea, C.: On the structure of \(\mu \)-classes. Comm. Algebra 32(1), 159–165 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  23. Eisenbud, D.: Commutative Algebra: With a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)

    MATH  Google Scholar 

  24. Hassanzadeh, S.H., Simis, A.: Implicitization of the Jonquières parametrizations. J. Commut. Algebra 6(2), 149–172 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  25. Hoffman, J.W., Wang, H.: Defining equations of the Rees algebra of certain parametric surfaces. J. Algebra Appl. 9(6), 1033–1049 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  26. Hoffman, J.W., Wang, H., Jia, X., Goldman, R.: Minimal generators for the Rees algebra of rational space curves of type \((1,1, d-2).\). Eur. J. Pure Appl. Math. 3(4), 602–632 (2010)

    MATH  MathSciNet  Google Scholar 

  27. Hong, J., Simis, A., Vasconcelos, W.V.: On the homology of two-dimensional elimination. J. Symbolic Comput. 43(4), 275–292 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  28. Iarrobino, A.: Strata of vector spaces of forms in \(k[x, y]\) and of rational curves in \(\mathbb{P}^k\). arXiv:1306.1282

  29. Jia, X., Goldman, R.: \(\mu \)-bases and singularities of rational planar curves. Comput. Aided Geom. Des. 26(9), 970–988 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  30. Jia, X., Wang, H., Goldman, R.: Set-theoretic generators of rational space curves. J. Symbolic Comput. 45(4), 414–433 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  31. Jouanolou, J.P.: Formes d’inertie et résultant: un formulaire. Adv. Math. 126(2), 119–250 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  32. Khetan, A., D’Andrea, C.: Implicitization of rational surfaces using toric varieties. J. Algebra 303(2), 543–565 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  33. Kustin, A.R., Polini, C., Ulrich, B.: Rational normal scrolls and the defining equations of Rees Algebras. J. Reine Angew. Math. 650, 23–65 (2011)

    MATH  MathSciNet  Google Scholar 

  34. Kustin, A., Polini, C., Ulrich, B.: The bi-graded structure of Symmetric Algebras with applications to Rees rings. arXiv:1301.7106

  35. Sederberg, T., Chen, F.: Implicitization using moving curves and surfaces. In: Proceedings of SIGGRAPH, pp. 301–308 (1995)

    Google Scholar 

  36. Sederberg, T., Goldman, R., Du, H.: Implicitizing rational curves by the method of moving algebraic curves. J. Symbolic Comput. 23(2–3), 153–175 (1997). Parametric algebraic curves and applications (Albuquerque, NM, 1995)

    Article  MATH  MathSciNet  Google Scholar 

  37. Sederberg, T.W., Saito, T., Qi, D., Klimaszewski, K.S.: Curve implicitization using moving lines. Comput. Aided Geom. Des. 11, 687–706 (1994)

    Article  MathSciNet  Google Scholar 

  38. Sendra, J.R., Winkler, F., Pérez-Díaz, S.: Rational Algebraic Curves: A Computer Algebra Approach. Algorithms and Computation in Mathematics, vol. 22. Springer, Berlin (2008)

    Google Scholar 

  39. Shi, X., Goldman, R.: Implicitizing rational surfaces of revolution using \(\mu \)-bases. Comput. Aided Geom. Des. 29(6), 348–362 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  40. Shi, X., Wang, X., Goldman, R.: Using \(\mu \)-bases to implicitize rational surfaces with a pair of orthogonal directrices. Comput. Aided Geom. Des. 29(7), 541–554 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  41. van der Waerden, B.L.: Modern Algebra, vol. 1, 2nd edn. Frederick Ungar, New York (1966)

    Google Scholar 

  42. Wang, X., Chen, F.: Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces. J. Symbolic Comput. 47(6), 733–750 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  43. Wolfram Research, Inc. Mathematica, Version 8.0, Champaign, IL (2010)

    Google Scholar 

  44. Zhang, M., Chionh, E.-W., Goldman, R.N.: On a relationship between the moving line and moving conic coefficient matrices. Comput. Aided Geom. Des. 16(6), 517–527 (1999)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgments

I am grateful to Laurent Busé, Eduardo Casas-Alvero and Teresa Cortadellas Benitez for their careful reading of a preliminary version of this manuscript, and very helpful comments. Also, I thank the anonymous referee for her further comments and suggestions for improvements, and to Marta Narváez Clauss for her help with the computations of some examples. All the plots in this text have been done with Mathematica 8.0 [Wol10].

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Carlos D’Andrea .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

D’Andrea, C. (2015). Moving Curve Ideals of Rational Plane Parametrizations. In: Gutierrez, J., Schicho, J., Weimann, M. (eds) Computer Algebra and Polynomials. Lecture Notes in Computer Science(), vol 8942. Springer, Cham. https://doi.org/10.1007/978-3-319-15081-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-15081-9_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-15080-2

  • Online ISBN: 978-3-319-15081-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics