Synopses & Reviews
This book presents algorithmic tools for algebraic geometry, with experimental applications. It also introduces Macaulay 2, a computer algebra system supporting research in algebraic geometry, commutative algebra, and their applications. The algorithmic tools presented here are designed to serve readers wishing to bring such tools to bear on their own problems. The first part of the book covers Macaulay 2 using concrete applications; the second emphasizes details of the mathematics.
Review
"... Fazit: das Buch ist kein Lehrbuch im traditionellen Sinn. Sicherlich ist Teil I eine gelungene Einführung, wenn man schon die elementaren Grundlagen der Algebraischen oder Analytischen Geometrie kennt. In Teil II ist das Buch aber eher wie ein Tagungsband, in dem einzelne Spezialisten ihre Themen vorstellen. Hier kann man sich etwas aussuchen, denn die Artikel sind unabhängig voneinander. ... Ich habe beim Lesen viele interessante Stellen gefunden, die man beim flüchtigen Durchblättern übersehen kann. Man muss sich Zeit nehmen, dann wird der Band wirklich zum Gewinn für alle, die Interesse an Algebraischer Geometrie haben." S.Müller-Stach, Jahresberichte der DMV 2002, Bd. 104, Heft 4
Synopsis
This book presents algorithmic tools for algebraic geometry and experimental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. These expositions will be valuable to both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all. The first part of the book is primarily concerned with introducing Macaulay2, whereas the second part emphasizes the mathematics.
Synopsis
Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re cently developed algorithms have made theoretical aspects of the subject accessible to a broad range of mathematicians and scientists. The algorith mic approach to the subject has two principal aims: developing new tools for research within mathematics, and providing new tools for modeling and solv ing problems that arise in the sciences and engineering. A healthy synergy emerges, as new theorems yield new algorithms and emerging applications lead to new theoretical questions. This book presents algorithmic tools for algebraic geometry and experi mental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. A wide range of mathematical scientists should find these expositions valuable. This includes both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all."
Table of Contents
Part I. Introducing Macaulay 2: 1. Ideals, Varieties and Macaulay 2 by Bernd Sturmfels.- 2. Projective Geometry and Homological Algebra by David Eisenbud.- 3. Data Types, Functions, and Programming by Daniel R. Grayson and Michael E. Stillman.- 4. Teaching the Geometry of Schemes by Gregory G. Smith and Bernd Sturmfels.- Part II. Mathematical Computations: 5. Monomial Ideals by Serkan Hosten and Gregory G. Smith.- 6. From Enumerative Geometry to Solving Systems of Polynomial Equations by Frank Sottile.- 7. Resolutions and Cohomology over Complete Intersections by Luchezar L. Avramov and Daniel R. Grayson.- 8. Algorithms for the Toric Hilbert Scheme by Stillman, Bernd Sturmfels, and Rekha Thomas.- 9. Sheaf Algorithms Using the Exterior Algebra by Wolfram Decker and David Eisenbud.- 10. Needles in a Haystack: Special Varieties via Small Fields by Frank-Olaf Schreyer and Fabio Tonoli.- 11.D-modules and Cohomology of Varieties by Uli Walther.