An excursion from enumerative goemetry to solving systems of polynomial equations with Macaulay 2

arXivmath/0007142MaRDI QIDQ6470533FDOQ6470533

Publication date: 24 July 2000

Abstract: Solving a system of polynomial equations is a ubiquitous problem in the applications of mathematics. Until recently, it has been hopeless to find explicit solutions to such systems, and mathematics has instead developed deep and powerful theories about the solutions to polynomial equations. Enumerative Geometry is concerned with counting the number of solutions when the polynomials come from a geometric situation and Intersection Theory gives methods to accomplish the enumeration. We use Macaulay 2 to investigate some problems from enumerative geometry, illustrating some applications of symbolic computation to this important problem of solving systems of polynomial equations. Besides enumerating solutions to the resulting polynomial systems, which include overdetermined, deficient, and improper systems, we address the important question of real solutions to these geometric problems. The text contains evaluated Macaulay 2 code to illuminate the discussion. This is a chapter in the forthcoming book "Computations in Algebraic Geometry with Macaulay 2", edited by D. Eisenbud, D. Grayson, M. Stillman, and B. Sturmfels. While this chapter is largely expository, the results in the last section concerning lines tangent to quadrics are new.

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grassmannians, Schubert varieties, flag manifolds (14M15) Classical problems, Schubert calculus (14N15) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Enumerative problems (combinatorial problems) in algebraic geometry (14N10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Real algebraic and real-analytic geometry (14P99) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

This page was built for publication: An excursion from enumerative goemetry to solving systems of polynomial equations with Macaulay 2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6470533)