Fibers of Rational Maps and Elimination Matrices: An Application Oriented Approach

  • Chapter
  • First Online:
Commutative Algebra
  • 1360 Accesses

Abstract

Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzygies and blowup algebras for computing the image and the finite fibers of a curve or surface parameterization, more generally of a rational map. Conceptually, the main idea is to use elimination matrices, mainly built from syzygies, as representations of rational maps and to extract geometric informations from them. The construction and main properties of these matrices are first reviewed and then illustrated through several settings, each of them highlighting a particular feature of this approach that combines tools from commutative algebra, algebraic geometry and elimination theory.

Dedicated to David Eisenbud on the occasion of his seventy-fifth birthday.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 160.49
Price includes VAT (Germany)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 213.99
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info
Hardcover Book
EUR 213.99
Price includes VAT (Germany)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Nicolás Botbol, Laurent Busé, and Marc Chardin. Fitting ideals and multiple points of surface parameterizations. J. Algebra, 420:486–508, 2014.

    Article  MathSciNet  Google Scholar 

  2. Nicolás Botbol, Laurent Busé, Marc Chardin, and Fatmanur Yildirim. Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces. SIAM Journal on Applied Algebra and Geometry, 4(2):322–353, 2020.

    Article  MathSciNet  Google Scholar 

  3. Bhargav Bhatt, Manuel Blickle, Gennady Lyubeznik, Anurag K. Singh, and Wenliang Zhang. Stabilization of the cohomology of thickenings. Amer. J. Math., 141(2):531–561, 2019.

    Article  MathSciNet  Google Scholar 

  4. Winfried Bruns and Aldo Conca. Gröbner bases and determinantal ideals. In Commutative algebra, singularities and computer algebra (Sinaia, 2002), volume 115 of NATO Sci. Ser. II Math. Phys. Chem., pages 9–66. Kluwer Acad. Publ., Dordrecht, 2003.

    Google Scholar 

  5. Nicolás Botbol and Marc Chardin. Castelnuovo Mumford regularity with respect to multigraded ideals. J. Algebra, 474:361–392, 2017.

    Article  MathSciNet  Google Scholar 

  6. Laurent Busé, David Cox, and Carlos D’Andrea. Implicitization of surfaces in in the presence of base points. J. Algebra Appl, 2(2):189–214, 2003.

    Google Scholar 

  7. Laurent Busé, Marc Chardin, and Jean-Pierre Jouanolou. Torsion of the symmetric algebra and implicitization. Proc. Amer. Math. Soc, 137(6):1855–1865, 2009.

    Article  MathSciNet  Google Scholar 

  8. Laurent Busé, Marc Chardin, and Aron Simis. Elimination and nonlinear equations of Rees algebras. J. Algebra, 324(6):1314–1333, 2010. With an appendix in French by Joseph Oesterlé.

    Google Scholar 

  9. Winfried Bruns and Jürgen Herzog. Cohen-Macaulay rings, volume 39 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1993.

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  11. Nicolás Botbol. Implicit equation of multigraded hypersurfaces. J. Algebra, 348(1):381–401, 2011.

    Article  MathSciNet  Google Scholar 

  12. Marc Chardin, Steven Dale Cutkosky, and Quang Hoa Tran. Fibers of rational maps and Jacobian matrices. Journal of Algebra, 571:40–54, 2021.

    Google Scholar 

  13. David Cox, Ronald Goldman, and Ming Zhang. On the validity of implicitization by moving quadrics of rational surfaces with no base points. J. Symbolic Comput., 29(3):419–440, 2000.

    Article  MathSciNet  Google Scholar 

  14. Marc Chardin. Some results and questions on castelnuovo-mumford regularity. Lecture Notes in Pure and Applied Mathematics, 254:1, 2007.

    MathSciNet  MATH  Google Scholar 

  15. Marc Chardin. Powers of ideals and the cohomology of stalks and fibers of morphisms. Algebra and Number Theory, 7(1):1–18, 2013.

    Article  MathSciNet  Google Scholar 

  16. Marc Chardin, Jean-Pierre Jouanolou, and Ahad Rahimi. The eventual stability of depth, associated primes and cohomology of a graded module. J. Commut. Algebra, 5(1):63–92, 2013.

    Article  MathSciNet  Google Scholar 

  17. David Cox, John Little, and Donal O’Shea. Using algebraic geometry, volume 185 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1998.

    Book  Google Scholar 

  18. David Cox, John Little, and Henry Schenck. Toric varieties. Providence, RI: American Mathematical Society (AMS), 2011.

    Google Scholar 

  19. David Cox. Equations of parametric surfaces via syzygies. Contemporary Mathematics, 286:1–20, 2001.

    Article  MathSciNet  Google Scholar 

  20. David Cox. Applications of Polynomial Systems, volume 134. CBMS Regional Conference Series in Mathematics, 2020.

    Google Scholar 

  21. A. L. Dixon. The eliminant of three quantics in two independent variables. Proceedings of the London Mathematical Society, s2-7(1):49–69, 1909.

    Google Scholar 

  22. David Eisenbud and Joe Harris. The geometry of schemes. Graduate Texts in Mathematics. 197. New York, NY: Springer. x, 294 p., 2000.

    Google Scholar 

  23. Gerald Farin. Curves and surfaces for computer-aided geometric design. Computer Science and Scientific Computing. Academic Press, Inc., San Diego, CA, fourth edition, 1997.

    Google Scholar 

  24. Israel Gel’fand, Mikhail Kapranov, and Andrei Zelevinsky. Discriminants, resultants, and multidimensional determinants. Mathematics: Theory & Applications. Birkhäuser Boston Inc, Boston, MA, 1994.

    Google Scholar 

  25. Laurent Gruson, Robert Lazarsfeld and Christian Peskine. On a theorem of Castelnuovo, and the equations defining space curves. Invent. Math. 72:491–506, 1983.

    Article  MathSciNet  Google Scholar 

  26. Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52.

    Google Scholar 

  27. Jürgen Herzog, Aron Simis, and Wolmer V Vasconcelos. Koszul homology and blowing-up rings. In Commutative algebra (Trento, 1981), volume 84 of Lecture Notes in Pure and Appl. Math, pages 79–169. Dekker, New York, 1983.

    Google Scholar 

  28. Jean-Pierre Jouanolou. Idéaux résultants. Adv. in Math., 37(3):212–238, 1980.

    Article  MathSciNet  Google Scholar 

  29. Jean-Pierre Jouanolou. Formes d’inertie et résultant: un formulaire. Adv. Math., 126(2):119–250, 1997.

    Article  MathSciNet  Google Scholar 

  30. Sergei L’vovsky. On inflection points, monomial curves, and hypersurfaces containing projective curves. Math. Ann. 306:719–735, 1996.

    Google Scholar 

  31. Francis Macaulay. Some formulae in elimination. Proc. London Math. Soc., 33(1):3–27, 1902.

    Article  MathSciNet  Google Scholar 

  32. Artibano Micali. Sur les algèbres universelles. Ann. Inst. Fourier, 14(2):33–87, 1964.

    Article  MathSciNet  Google Scholar 

  33. Diane Maclagan and Gregory G. Smith. Multigraded Castelnuovo-Mumford regularity. J. Reine Angew. Math., 571:179–212, 2004.

    MathSciNet  MATH  Google Scholar 

  34. Nicholas Patrikalakis and Takashi Maekawa. Shape interrogation for computer aided design and manufacturing. Springer-Verlag, Berlin, 2010.

    Book  Google Scholar 

  35. **g**g Shen, Laurent Busé, Pierre Alliez, and Neil Dodgson. A line/trimmed nurbs surface intersection algorithm using matrix representations. Comput. Aided Geom. Des., 48(C):1–16, 2016.

    Article  MathSciNet  Google Scholar 

  36. Bernard Teissier. The hunting of invariants in the geometry of discriminants. In Real and complex singularities (Proc. Ninth Nordic Summer School/NAVF Sympos. Math., Oslo, 1976), pages 565–678. Sijthoff and Noordhoff, Alphen aan den Rijn, 1977.

    Google Scholar 

  37. Ming Zhang, Eng-Wee Chionh and Ronald Goldman. Hybrid Dixon resultants. The Mathematics of Surfaces, 8:193–212, 1998.

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marc Chardin .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Busé, L., Chardin, M. (2021). Fibers of Rational Maps and Elimination Matrices: An Application Oriented Approach. In: Peeva, I. (eds) Commutative Algebra. Springer, Cham. https://doi.org/10.1007/978-3-030-89694-2_6

Download citation

Publish with us

Policies and ethics

Navigation