Computations in Algebraic Geometry with Macaulay 2

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.

[1]  M. Brodmann,et al.  Local cohomology and the connectedness dimension in algebraic varieties , 1986 .

[2]  The Eisenbud-Koh-Stillman conjecture on linear syzygies , 1996, alg-geom/9602020.

[3]  David A. Buchsbaum,et al.  Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3 , 1977 .

[4]  Masaki Kashiwara,et al.  On the holonomic systems of linear differential equations, II , 1978 .

[5]  C. Sabbah,et al.  Topological computation of local cohomology multiplicities , 1998 .

[6]  Michael Randolph Garey,et al.  Johnson: "computers and intractability , 1979 .

[7]  L. Avramov.  Modules of finite virtual projective dimension , 1989 .

[8]  Toshinori Oaku,et al.  An algorithm of computing $b$-functions , 1997 .

[9]  V. Mehta.  Endomorphisms of complexes and modules over golod rings. , 1976 .

[10]  Wolf Barth,et al.  Moduli of vector bundles on the projective plane , 1977 .

[11]  S. C. Coutinho.  A primer of algebraic D-modules , 1995 .

[12]  Conic bundles in projective fourspace , 1993, alg-geom/9309006.

[13]  G. Horrocks.  Vector Bundles on the Punctured Spectrum of a Local Ring , 1964 .

[14]  Mauro C. Beltrametti,et al.  The Adjunction Theory of Complex Projective Varieties , 1995 .

[15]  János Kollár,et al.  Singularities of Pairs , 1996, alg-geom/9601026.

[16]  Gennady Lyubeznik,et al.  F-modules: applications to local cohomology and D-modules in characteristic p>0. , 1997 .

[17]  Tor H. Gulliksen,et al.  A Change of Ring Theorem with Applications to Poincaré Series and Intersection Multiplicity. , 1974 .

[18]  Bernd Sturmfels,et al.  Algorithms for algebraic analysis , 2000 .

[19]  E. Pearl.  As It Should Be , 2002 .

[20]  R. Hartshorne,et al.  Local cohomological dimension in characteristic p , 1977 .

[21]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[22]  Masaki Kashiwara,et al.  B-functions and holonomic systems , 1976 .

[23]  R. Buchweitz,et al.  Homological Algebra Modulo a Regular Sequence with Special Attention to Codimension Two , 2000 .

[24]  Rodney Y. Sharp,et al.  Local Cohomology: An Algebraic Introduction with Geometric Applications , 1998 .

[25]  Sheldon Katz,et al.  Mirror symmetry and algebraic geometry , 1999 .

[26]  K. Hulek.  Stable rank-2 vector bundles on ℘2119;2 withc1 odd , 1979 .

[27]  K. Ranestad,et al.  Varieties of sums of powers , 1998, math/9801110.

[28]  R. Speiser.  ALGORITHMIC COMPUTATION OF LOCAL COHOMOLOGY MODULES AND THE LOCAL COHOMOLOGICAL DIMENSION OF ALGEBRAIC VARIETIES , 1998 .

[29]  Nobuki Takayama,et al.  An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation , 1998 .

[30]  R. Hartshorne.  Cohomological Dimension of Algebraic Varieties , 1968 .

[31]  G. Lyubeznik,et al.  On the vanishing of local cohomology modules , 1990 .

[32]  Frank-Olaf Schreyer,et al.  A standard basis approach to syzygies of canonical curves. , 1991 .

[33]  L. L. Avramov,et al.  Infinite Free Resolutions , 1998 .

[34]  Uli Walther,et al.  Computing Homomorphisms Between Holonomic D-modules , 2001, J. Symb. Comput..

[35]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[36]  L. L. Avramov,et al.  Cohomology Operators Defined By A Deformation , 1998 .

[37]  Nobuki Takayama,et al.  A Localization Algorithm for D-modules , 2000, J. Symb. Comput..

[38]  I. Peeva,et al.  Complete intersection dimension , 1997 .

[39]  Joe W. Harris,et al.  Principles of Algebraic Geometry , 1978 .

[40]  C. Okonek,et al.  Vector bundles on complex projective spaces , 1980 .

[41]  Joe Harris,et al.  Curves in projective space , 1982 .

[42]  Arjeh M. Cohen,et al.  Some tapas of computer algebra , 1999, Algorithms and computation in mathematics.

[43]  Paltin Ionescu.  Embedded projective varieties of small invariants. III , 1990 .

[44]  Steven L. Kleiman,et al.  Geometry on grassmannians and applications to splitting bundles and smoothing cycles , 1969 .

[45]  D. Anick.  A counterexample to a conjecture of Serre , 1982 .

[46]  A N Varčenko,et al.  ASYMPTOTIC HODGE STRUCTURE IN THE VANISHING COHOMOLOGY , 1982 .

[47]  Victor Reiner,et al.  The Generalized Baues Problem , 1999 .

[48]  M. Green.  Koszul cohomology and the geometry of projective varieties , 1984 .

[49]  A. Ogus.  Local cohomological dimension of algebraic varieties , 1973 .

[50]  J. Roos.  Commutative non-Koszul algebras having a linear resolution of arbitrarily high order. : Applications to torsion in loop space homology. , 1993 .

[51]  M. Kapranov.  On the derived categories of coherent sheaves on some homogeneous spaces , 1988 .

[52]  David Eisenbud,et al.  Sheaf Cohomology and Free Resolutions over Exterior Algebras , 2003 .

[53]  D. Mumford,et al.  On the Kodaira dimension of the moduli space of curves , 1982 .

[54]  Masaki Kashiwara,et al.  Micro-local analysis of prehomogeneous vector spaces , 1980 .

[55]  Frank-Olaf Schreyer,et al.  Syzygies of canonical curves and special linear series , 1986 .

[56]  A. Hirschowitz,et al.  New evidence for Green's conjecture on syzygies of canonical curves , 1997, alg-geom/9707017.

[57]  F. Schreyer,et al.  On the uniqueness of the Horrocks-Mumford-bundle , 1986 .

[58]  N. Manolache.  Syzygies of abelian surfaces embedded in (). , 1988 .

[59]  Uli Walther,et al.  Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties , 1998, J. Symb. Comput..

[60]  J. Carlson.  The varieties and the cohomology ring of a module , 1983 .

[61]  Curves and Symmetric Spaces, I , 1995 .

[62]  Toshinori Oaku,et al.  Algorithms forb-Functions, Restrictions, and Algebraic Local Cohomology Groups ofD-Modules , 1997 .

[63]  Victor V. Batyrev,et al.  Dual Polyhedra and Mirror Symmetry for Calabi-Yau Hypersurfaces in Toric Varieties , 1993, alg-geom/9310003.

[64]  Toshinori Oaku,et al.  Algorithms for the b-function and D-modules associated with a polynomial , 1997 .

[65]  W. Decker.  Stable rank 2 vector bundles with Chern-classesc1=−1,c2=4 , 1986 .

[66]  Ragnar-Olaf Buchweitz,et al.  Support varieties and cohomology over complete intersections , 2000 .

[67]  A. Beilinson.  Coherent sheaves on Pn and problems of linear algebra , 1978 .

[68]  K. Hulek,et al.  Monads and moduli of vector bundles , 1978 .

[69]  J. Potier.  Fibrés stables de rang 2 sur ℙ2(ℂ) , 1979 .

[70]  C. Okonek.  Flächen vom Grad 8 imP4 , 1986 .

[71]  Christian Peskine,et al.  Dimension projective finie et cohomologie locale , 1973 .

[72]  Jean-Pierre Serre.  Faisceaux algébriques cohérents , 1955 .

[73]  F. Loeser.  Fonctions d'Igusa p-adiques, polynômes de Bernstein, et polyèdres de Newton. , 1990 .

[74]  L. Roth.  On the Projective Classification of Surfaces , 1937 .

[75]  David Eisenbud,et al.  Gale duality and free resolutions of ideals of points , 1996 .

[76]  Rekha R. Thomas,et al.  Variation of cost functions in integer programming , 1997, Math. Program..

[77]  Abdallah Assi,et al.  How to calculate the slopes of a D-module , 1996 .

[78]  Rekha R. Thomas,et al.  The associated primes of initial ideals of lattice ideals , 1999 .

[79]  Wolmer V. Vasconcelos,et al.  Computational methods in commutative algebra and algebraic geometry , 1997, Algorithms and computation in mathematics.

[80]  T. Yano,et al.  On the Theory of b-Functions , 1978 .

[81]  G. Lyubeznik.  Finiteness properties of local cohomology modules (an application ofD-modules to commutative algebra) , 1993 .

[82]  Michael Stillman,et al.  Toric Hilbert schemes , 2002 .

[83]  Edoardo Sernesi.  L'unirazionalità della varietà dei moduli delle curve di genere dodici , 1981 .

[84]  D. Eisenbud,et al.  The Kodaira dimension of the moduli space of curves of genus ≧23 , 1987 .

[85]  Nobuki Takayama,et al.  Algorithms for D-modules - restriction, tensor product, localization, and local cohomology groups , 1998 .

[86]  S. Mukai.  Curves and symmetric spaces , 1995 .

[87]  Uli Walther.  Computing the cup product structure for complements of complex affine varieties , 2001 .

[88]  B. Sturmfels.  Gröbner bases and convex polytopes , 1995 .

[89]  G. Lyubeznik.  On Bernstein-Sato polynomials , 1997 .

[90]  J. Carlson.  The variety of an indecomposable module is connected , 1984 .

[91]  C. Voisin.  Courbes tétragonales et cohomologie de Koszul. , 1988 .

[92]  Gregory G. Smith.  Computing Global Extension Modules , 2000, J. Symb. Comput..

[93]  Joe W. Harris,et al.  On the Severi problem , 1986 .

[94]  I. Gel'fand,et al.  Algebraic bundles over Pn and problems of linear algebra , 1978 .

[95]  Rekha R. Thomas.  Applications To Integer Programming , 1997 .

[96]  U. Walther.  On the Lyubeznik numbers of a local ring , 2000 .

[97]  David Eisenbud,et al.  Homological algebra on a complete intersection, with an application to group representations , 1980 .

[98]  Frank Sottile,et al.  The special Schubert calculus is real , 1999 .

[99]  R. Hartshorne.  On the de rham cohomology of algebraic varieties , 1975 .

[100]  M. Maruyama.  Moduli of stable sheaves, I , 1977 .

[101]  Frank-Olaf Schreyer,et al.  Non-general Type Surfaces in P4: Some Remarks on Bounds and Constructions , 2000, J. Symb. Comput..

[102]  Rekha R. Thomas,et al.  Standard pairs and group relaxations in integer programming , 1999 .

[103]  Frank Sottile,et al.  Real Schubert Calculus: Polynomial Systems and a Conjecture of Shapiro and Shapiro , 1999, Exp. Math..

[104]  T. Oaku,et al.  Polynomial and rational solutions of holonomic systems , 2000 .

[105]  D. Gieseker.  On the moduli of vector bundles on an algebraic surface , 1977 .

[106]  D. Bayer,et al.  Ribbons and their canonical embeddings , 1995 .

[107]  B. Saint-Donat,et al.  On Petri's analysis of the linear system of quadrics through a canonical curve , 1973 .