Bernd Sturmfels - Böcker

Recent developments are covered Contains over 100 figures and 250 exercises Includes complete proofs

Recent developments are covered Contains over 100 figures and 250 exercises Includes complete proofs

In 2002, an introductory workshop was held at the Mathematical Sciences Research Institute in Berkeley to survey some of the many directions of the commutative algebra field. Six principal speakers each gave three lectures, accompanied by a help session, describing the interaction of commutative algebra with other areas of mathematics for a broad audience of graduate students and researchers. This book is based on those lectures, together with papers from contributing researchers. David Benson and Srikanth Iyengar present an introduction to the uses and concepts of commutative algebra in the cohomology of groups. Mark Haiman considers the commutative algebra of n points in the plane. Ezra Miller presents an introduction to the Hilbert scheme of points to complement Professor Haiman's paper. Further contributors include David Eisenbud and Jessica Sidman; Melvin Hochster; Graham Leuschke; Rob Lazarsfeld and Manuel Blickle; Bernard Teissier; and Ana Bravo.

In the summer semester of 1897 David Hilbert (1862-1943) gave an introductory course in Invariant Theory at the University of Gottingen. This book is an English translation of the handwritten notes taken from this course by Hilbert's student Sophus Marxen. The year 1897 was the perfect time for Hilbert to present an introduction to invariant theory as his research in the subject had been completed. His famous finiteness theorem had been proved and published in two papers that changed the course of invariant theory dramatically and that laid the foundation for modern commutative algebra. Thus these lectures take into account both the old approach of his predecessors and his newer ideas. This bridge from nineteenth- to twentieth-century mathematics makes these lecture notes a special and fascinating account of invariant theory. Hilbert's course was given at a level accessible to graduate students in mathematics, requiring only a familiarity with linear algebra and the basics of ring and group theory.

Oriented matroids are a very natural mathematical concept which presents itself in many different guises and which has connections and applications to many different areas. These include discrete and computational geometry, combinatorics, convexity, topology, algebraic geometry, operations research, computer science and theoretical chemistry. This is the second edition of the first comprehensive, accessible account of the subject. It is intended for a diverse audience: graduate students who wish to learn the subject from scratch; researchers in the various fields of application who want to concentrate on certain aspects of the theory; specialists who need a thorough reference work; and others at academic points in between. A list of exercises and open problems ends each chapter. For the second edition, the authors have expanded the bibliography greatly to ensure that it remains comprehensive and up-to-date, and they have also added an appendix surveying research since the work was first published.

In 2002, an introductory workshop was held at the Mathematical Sciences Research Institute in Berkeley to survey some of the many directions of the commutative algebra field. Six principal speakers each gave three lectures, accompanied by a help session, describing the interaction of commutative algebra with other areas of mathematics for a broad audience of graduate students and researchers. This book is based on those lectures, together with papers from contributing researchers. David Benson and Srikanth Iyengar present an introduction to the uses and concepts of commutative algebra in the cohomology of groups. Mark Haiman considers the commutative algebra of n points in the plane. Ezra Miller presents an introduction to the Hilbert scheme of points to complement Professor Haiman's paper. Further contributors include David Eisenbud and Jessica Sidman; Melvin Hochster; Graham Leuschke; Rob Lazarsfeld and Manuel Blickle; Bernard Teissier; and Ana Bravo.

This book is about the interplay of computational commutative algebra and the theory of convex polytopes. It centers around a special class of ideals in a polynomial ring: the class of toric ideals. They are characterized as those prime ideals that are generated by monomial differences or as the defining ideals of toric varieties (not necessarily normal). The interdisciplinary nature of the study of Grobner bases is reflected by the specific applications appearing in this book. These applications lie in the domains of integer programming and computational statistics. The mathematical tools presented in the volume are drawn from commutative algebra, combinatorics, and polyhedral geometry.

A classic problem in mathematics is solving systems of polynomial equations in several unknowns. Today, polynomial models are ubiquitous and widely used across the sciences. They arise in robotics, coding theory, optimization, mathematical biology, computer vision, game theory, statistics, and numerous other areas. This book furnishes a bridge across mathematical disciplines and exposes many facets of systems of polynomial equations. It covers a wide spectrum of mathematical techniques and algorithms, both symbolic and numerical.The set of solutions to a system of polynomial equations is an algebraic variety - the basic object of algebraic geometry. The algorithmic study of algebraic varieties is the central theme of computational algebraic geometry. Exciting recent developments in computer software for geometric calculations have revolutionized the field. Formerly inaccessible problems are now tractable, providing fertile ground for experimentation and conjecture. The first half of the book gives a snapshot of the state of the art of the topic. Familiar themes are covered in the first five chapters, including polynomials in one variable, Grobner bases of zero-dimensional ideals, Newton polytopes and Bernstein's Theorem, multidimensional resultants, and primary decomposition.The second half of the book explores polynomial equations from a variety of novel and unexpected angles. It introduces interdisciplinary connections, discusses highlights of current research, and outlines possible future algorithms. Topics include computation of Nash equilibria in game theory, semidefinite programming and the real Nullstellensatz, the algebraic geometry of statistical models, the piecewise-linear geometry of valuations and amoebas, and the Ehrenpreis-Palamodov theorem on linear partial differential equations with constant coefficients.Throughout the text, there are many hands-on examples and exercises, including short but complete sessions in MapleR, MATLABR, Macaulay 2, Singular, PHCpack, CoCoA, and SOSTools software. These examples will be particularly useful for readers with no background in algebraic geometry or commutative algebra. Within minutes, readers can learn how to type in polynomial equations and actually see some meaningful results on their computer screens. Prerequisites include basic abstract and computational algebra. The book is designed as a text for a graduate course in computational algebra.

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and computational sciences, statistics, physics, optimization. The book offers an invitation to this broad and fast-developing area. It is not an extensive encyclopedia of known results, but rather a first introduction to the subject, allowing the reader to enter into more advanced topics. It was designed as the next step after linear algebra and well before abstract algebraic geometry. The book presents both classical topics--like the Nullstellensatz and primary decomposition--and more modern ones--like tropical geometry and semidefinite programming. The focus lies on interactions and applications. Each of the thirteen chapters introduces fundamental concepts. The book may be used for a one-semester course, and the over 200 exercises will help the readers to deepen their understanding of the subject.

Tropical geometry is a combinatorial shadow of algebraic geometry, offering new polyhedral tools to compute invariants of algebraic varieties. It is based on tropical algebra, where the sum of two numbers is their minimum and the product is their sum. This turns polynomials into piecewise-linear functions, and their zero sets into polyhedral complexes. These tropical varieties retain a surprising amount of information about their classical counterparts.Tropical geometry is a young subject that has undergone a rapid development since the beginning of the 21st century. While establishing itself as an area in its own right, deep connections have been made to many branches of pure and applied mathematics.This book offers a self-contained introduction to tropical geometry, suitable as a course text for beginning graduate students. Proofs are provided for the main results, such as the Fundamental Theorem and the Structure Theorem. Numerous examples and explicit computations illustrate the main concepts. Each of the six chapters concludes with problems that will help the readers to practice their tropical skills, and to gain access to the research literature.

This volume consolidates selected articles from the 2016 Apprenticeship Program at the Fields Institute, part of the larger program on Combinatorial Algebraic Geometry that ran from July through December of 2016. Written primarily by junior mathematicians, the articles cover a range of topics in combinatorial algebraic geometry including curves, surfaces, Grassmannians, convexity, abelian varieties, and moduli spaces. This book bridges the gap between graduate courses and cutting-edge research by connecting historical sources, computation, explicit examples, and new results.

This volume consolidates selected articles from the 2016 Apprenticeship Program at the Fields Institute, part of the larger program on Combinatorial Algebraic Geometry that ran from July through December of 2016.

Metric algebraic geometry combines concepts from algebraic geometry and differential geometry. Many applied problems center around metric questions, such as optimization with respect to distances. After a short dive into 19th-century geometry of plane curves, we turn to problems expressed by polynomial equations over the real numbers.

The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory.

Combinatorics and Algebraic Geometry have enjoyed a fruitful interplay since the nineteenth century. Classical interactions include invariant theory, theta functions and enumerative geometry. The aim of this volume is to introduce recent developments in combinatorial algebraic geometry and to approach algebraic geometry with a view towards applications, such as tensor calculus and algebraic statistics. A common theme is the study of algebraic varieties endowed with a rich combinatorial structure. Relevant techniques include polyhedral geometry, free resolutions, multilinear algebra, projective duality and compactifications.

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.

Computational synthetic geometry deals with methods for realizing abstract geometric objects in concrete vector spaces. This research monograph considers a large class of problems from convexity and discrete geometry including constructing convex polytopes from simplicial complexes, vector geometries from incidence structures and hyperplane arrangements from oriented matroids. It turns out that algorithms for these constructions exist if and only if arbitrary polynomial equations are decidable with respect to the underlying field. Besides such complexity theorems a variety of symbolic algorithms are discussed, and the methods are applied to obtain new mathematical results on convex polytopes, projective configurations and the combinatorics of Grassmann varieties. Finally algebraic varieties characterizing matroids and oriented matroids are introduced providing a new basis for applying computer algebra methods in this field. The necessary background knowledge is reviewed briefly. The text is accessible to students with graduate level background in mathematics, and will serve professional geometers and computer scientists as an introduction and motivation for further research.

In recent years, new algorithms for dealing with rings of differential operators have been discovered and implemented. A main tool is the theory of Grobner bases, which is reexamined here from the point of view of geometric deformations. Perturbation techniques have a long tradition in analysis; Grobner deformations of left ideals in the Weyl algebra are the algebraic analogue to classical perturbation techniques. The algorithmic methods introduced here are particularly useful for studying the systems of multidimensional hypergeometric PDEs introduced by Gelfand, Kapranov and Zelevinsky. The Grobner deformation of these GKZ hypergeometric systems reduces problems concerning hypergeometric functions to questions about commutative monomial ideals, and leads to an unexpected interplay between analysis and combinatorics. This book contains a number of original research results on holonomic systems and hypergeometric functions, and raises many open problems for future research in this area.

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.

In recent years, new algorithms for dealing with rings of differential operators have been discovered and implemented. A main tool is the theory of Gröbner bases, which is reexamined here from the point of view of geometric deformations. Perturbation techniques have a long tradition in analysis; Gröbner deformations of left ideals in the Weyl algebra are the algebraic analogue to classical perturbation techniques. The algorithmic methods introduced here are particularly useful for studying the systems of multidimensional hypergeometric PDEs introduced by Gelfand, Kapranov and Zelevinsky. The Gröbner deformation of these GKZ hypergeometric systems reduces problems concerning hypergeometric functions to questions about commutative monomial ideals, and leads to an unexpected interplay between analysis and combinatorics. This book contains a number of original research results on holonomic systems and hypergeometric functions, and raises many open problems for future research in this area.