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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Nicolás Botbol, Laurent Busé, and Marc Chardin. Fitting ideals and multiple points of surface parameterizations. J. Algebra, 420:486–508, 2014.
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.
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.
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.
Nicolás Botbol and Marc Chardin. Castelnuovo Mumford regularity with respect to multigraded ideals. J. Algebra, 474:361–392, 2017.
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.
Laurent Busé, Marc Chardin, and Jean-Pierre Jouanolou. Torsion of the symmetric algebra and implicitization. Proc. Amer. Math. Soc, 137(6):1855–1865, 2009.
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é.
Winfried Bruns and Jürgen Herzog. Cohen-Macaulay rings, volume 39 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1993.
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.
Nicolás Botbol. Implicit equation of multigraded hypersurfaces. J. Algebra, 348(1):381–401, 2011.
Marc Chardin, Steven Dale Cutkosky, and Quang Hoa Tran. Fibers of rational maps and Jacobian matrices. Journal of Algebra, 571:40–54, 2021.
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.
Marc Chardin. Some results and questions on castelnuovo-mumford regularity. Lecture Notes in Pure and Applied Mathematics, 254:1, 2007.
Marc Chardin. Powers of ideals and the cohomology of stalks and fibers of morphisms. Algebra and Number Theory, 7(1):1–18, 2013.
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.
David Cox, John Little, and Donal O’Shea. Using algebraic geometry, volume 185 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1998.
David Cox, John Little, and Henry Schenck. Toric varieties. Providence, RI: American Mathematical Society (AMS), 2011.
David Cox. Equations of parametric surfaces via syzygies. Contemporary Mathematics, 286:1–20, 2001.
David Cox. Applications of Polynomial Systems, volume 134. CBMS Regional Conference Series in Mathematics, 2020.
A. L. Dixon. The eliminant of three quantics in two independent variables. Proceedings of the London Mathematical Society, s2-7(1):49–69, 1909.
David Eisenbud and Joe Harris. The geometry of schemes. Graduate Texts in Mathematics. 197. New York, NY: Springer. x, 294 p., 2000.
Gerald Farin. Curves and surfaces for computer-aided geometric design. Computer Science and Scientific Computing. Academic Press, Inc., San Diego, CA, fourth edition, 1997.
Israel Gel’fand, Mikhail Kapranov, and Andrei Zelevinsky. Discriminants, resultants, and multidimensional determinants. Mathematics: Theory & Applications. Birkhäuser Boston Inc, Boston, MA, 1994.
Laurent Gruson, Robert Lazarsfeld and Christian Peskine. On a theorem of Castelnuovo, and the equations defining space curves. Invent. Math. 72:491–506, 1983.
Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52.
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.
Jean-Pierre Jouanolou. Idéaux résultants. Adv. in Math., 37(3):212–238, 1980.
Jean-Pierre Jouanolou. Formes d’inertie et résultant: un formulaire. Adv. Math., 126(2):119–250, 1997.
Sergei L’vovsky. On inflection points, monomial curves, and hypersurfaces containing projective curves. Math. Ann. 306:719–735, 1996.
Francis Macaulay. Some formulae in elimination. Proc. London Math. Soc., 33(1):3–27, 1902.
Artibano Micali. Sur les algèbres universelles. Ann. Inst. Fourier, 14(2):33–87, 1964.
Diane Maclagan and Gregory G. Smith. Multigraded Castelnuovo-Mumford regularity. J. Reine Angew. Math., 571:179–212, 2004.
Nicholas Patrikalakis and Takashi Maekawa. Shape interrogation for computer aided design and manufacturing. Springer-Verlag, Berlin, 2010.
**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.
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.
Ming Zhang, Eng-Wee Chionh and Ronald Goldman. Hybrid Dixon resultants. The Mathematics of Surfaces, 8:193–212, 1998.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
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
DOI: https://doi.org/10.1007/978-3-030-89694-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-89693-5
Online ISBN: 978-3-030-89694-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)