Showing 1–50 of 58 results for author: Eisenbud, D

Syzygies of the residue field over Golod rings

Authors: Doan Trung Cuong, Hailong Dao, David Eisenbud, Toshinori Kobayashi, Claudia Polini, Bernd Ulrich

Abstract: Let $(R,m,k)$ be a Golod ring. We show a recurrent formula for high syzygies of $k$ interms of previous ones. In the case of embedding dimension at most $2$, we provided complete descriptions of all indecomposable summands of all syzygies of $k$. Let $(R,m,k)$ be a Golod ring. We show a recurrent formula for high syzygies of $k$ interms of previous ones. In the case of embedding dimension at most $2$, we provided complete descriptions of all indecomposable summands of all syzygies of $k$. △ Less

Submitted 2 April, 2025; v1 submitted 23 August, 2024; originally announced August 2024.

MSC Class: 13C13; 13D09; 13H10

Ideals and their Fitting ideals

Authors: David Eisenbud, Antonino Ficarra, Jürgen Herzog, Somayeh Moradi

Abstract: For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the Hilbert-Burch theorem when $j=1$ and $I$ is a perfect ideal of grade $2$ in a local ring. For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the Hilbert-Burch theorem when $j=1$ and $I$ is a perfect ideal of grade $2$ in a local ring. △ Less

Submitted 31 December, 2023; originally announced January 2024.

MSC Class: 13C05; 05E40

Hyperelliptic curves and Ulrich sheaves on the complete intersection of two quadrics

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: Using the connection between hyperelliptic curves, Clifford algebras, and complete intersections $X$ of two quadrics, we describe Ulrich bundles on $X$ and construct some of minimal possible rank. Using the connection between hyperelliptic curves, Clifford algebras, and complete intersections $X$ of two quadrics, we describe Ulrich bundles on $X$ and construct some of minimal possible rank. △ Less

Submitted 8 March, 2025; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: This version contains essential corrections and substantial improvement of the exposition

MSC Class: Primary: 14J45; 13C14; 15A66 Secondary: 13D02; 11E88; 16D90

Journal ref: Épijournal de Géométrie Algébrique, Special volume in honour of Claire Voisin (March 11, 2025) epiga:10488

Burch index, summands of syzygies and linearity in resolutions

Authors: Hailong Dao, David Eisenbud

Abstract: The Burch index is a new invariant of a local ring $R$ whose positivity implies a kind of linearity in resolutions of $R$-modules. For example, if $R$ has depth zero and Burch index at least $2$, then any non-free 7th $R$-syzygy contains the residue field as a direct summand. We also compute the Burch index in various cases of interest. The Burch index is a new invariant of a local ring $R$ whose positivity implies a kind of linearity in resolutions of $R$-modules. For example, if $R$ has depth zero and Burch index at least $2$, then any non-free 7th $R$-syzygy contains the residue field as a direct summand. We also compute the Burch index in various cases of interest. △ Less

Submitted 15 January, 2023; v1 submitted 10 August, 2022; originally announced August 2022.

MSC Class: Primary: 13D02; 13H10. Secondary: 14B99

Residual Intersections of $2\times n$ Determinantal Ideals

Authors: David Eisenbud, Bernd Ulrich

Abstract: Schemes defined by residual intersections have been extensively studied in the case when they are Cohen-Macaulay, but this is a very restrictive condition. In this paper we make the first study of a class of natural examples far from satisfying this condition, the rank 1 loci of generic $2\times n$ matrices. Here we compute their depths and many other properties. These computations require a numbe… ▽ More Schemes defined by residual intersections have been extensively studied in the case when they are Cohen-Macaulay, but this is a very restrictive condition. In this paper we make the first study of a class of natural examples far from satisfying this condition, the rank 1 loci of generic $2\times n$ matrices. Here we compute their depths and many other properties. These computations require a number of novel tools. △ Less

Submitted 3 July, 2022; originally announced July 2022.

Comments: 20 pages, 1 figure

MSC Class: 13C40; 13H10; 14M06; 14M10; 14M12 Primary; 13D02; 13N05; 13P20 Secondary

Linearity of Free Resolutions of Monomial Ideals

Authors: Hailong Dao, David Eisenbud

Abstract: We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except for the last step (the "almost linear" case). We also give sharp bounds on Castelnuovo-Mumford regularity and numbers of generators in some cases. It is a bas… ▽ More We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except for the last step (the "almost linear" case). We also give sharp bounds on Castelnuovo-Mumford regularity and numbers of generators in some cases. It is a basic observation that linearity properties are inherited by the restriction of an ideal to a subset of variables, and we study when the converse holds. We construct fractal examples of almost linear primary ideals with relatively few generators related to the Sierpiński triangle. Our results also lead to classes of highly connected simplicial complexes $Δ$ that can not be extended to the complete $\dim Δ$-skeleton of the simplex on the same variables by shelling. △ Less

Submitted 31 March, 2022; v1 submitted 26 January, 2022; originally announced January 2022.

MSC Class: 13F55; 13D02; 13C05

Residual Intersections and Linear Powers

Authors: David Eisenbud, Craig Huneke, Bernd Ulrich

Abstract: If I is an ideal in a Gorenstein ring S and S/I is Cohen-Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not satisfied even by ideals as simple as the ideal L_n of minors of a generic 2 x n matrix when n>3. In this paper we initiate the study of a different sort of Cohe… ▽ More If I is an ideal in a Gorenstein ring S and S/I is Cohen-Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not satisfied even by ideals as simple as the ideal L_n of minors of a generic 2 x n matrix when n>3. In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of I. For example, we prove that if K is the residual intersection of L_n by 2n-3 general quadratic forms in L_n, then S/K is integrally closed with isolated singularity and I^{n-3} S/K is a self-dual Maximal Cohen-Macaulay module over S/K with linear free resolution over S. The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented. △ Less

Submitted 15 July, 2021; v1 submitted 14 January, 2020; originally announced January 2020.

MSC Class: Primary: 13C40; 13H10; 14M06; 14M10. Secondary: 13D02; 13N05; 14B12; 14M12

Tate Resolutions and Maximal Cohen-Macaulay Approximations

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: We study the Tate resolutions and the maximal Cohen-Macaulay approximations of Cohen-Macaulay modules over Gorenstein rings. One consequence is an extension of a well-known result about linkage of complete intersections. We study the Tate resolutions and the maximal Cohen-Macaulay approximations of Cohen-Macaulay modules over Gorenstein rings. One consequence is an extension of a well-known result about linkage of complete intersections. △ Less

Submitted 14 June, 2019; originally announced June 2019.

MSC Class: 13D02

Tate Resolutions on Products of Projective Spaces: Cohomology and Direct Image Complexes

Authors: Daniel Erman, David Eisenbud, Frank-Olaf Schreyer

Abstract: We describe the Macaulay2 package TateOnProducts and its capabilities, which include computing cohomology tables and Beilinson monads of sheaves on products of projective spaces and the derived category pushForward of a sheaf under a morphism from a projective scheme to a projective space. We describe the Macaulay2 package TateOnProducts and its capabilities, which include computing cohomology tables and Beilinson monads of sheaves on products of projective spaces and the derived category pushForward of a sheaf under a morphism from a projective scheme to a projective space. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: 12 pages

MSC Class: 14F05; 13D02; 14Q99

Tor as a Module over an Exterior Algebra

Authors: David Eisenbud, Irena Peeva, Frank-Olaf Schreyer

Abstract: Let $S$ be a regular local ring with residue field $k$ and let $M$ be a finitely generated $S$-module. Suppose that $f_1,\dots ,f_c\in S$ is a regular sequence that annihilates $M$, and let $E$ be an exterior algebra over $k$ generated by $c$ elements. The homotopies for the $f_{i}$ on a free resolution of $M$ induce a natural structure of graded $E$-module on ${\rm Tor}^{S}(M,k)$. In the case w… ▽ More Let $S$ be a regular local ring with residue field $k$ and let $M$ be a finitely generated $S$-module. Suppose that $f_1,\dots ,f_c\in S$ is a regular sequence that annihilates $M$, and let $E$ be an exterior algebra over $k$ generated by $c$ elements. The homotopies for the $f_{i}$ on a free resolution of $M$ induce a natural structure of graded $E$-module on ${\rm Tor}^{S}(M,k)$. In the case where $M$ is a high syzygy over the complete intersectionR:=S/(f_{1},\dots,f_{c})$ we describe this $E$-module structure in detail, including its minimal free resolution over $E$. Turning to ${\rm Ext}_{R}(M,\, k)$ we show that, when $M$ is a high syzygy over $R$, the minimal free resolution of ${\rm Ext}_{R}(M,\, k)$ as a module over the ring of CI operators is the Bernstein-Gel'fand-Gel'fand dual of the $E$-module ${\rm Tor}^{S}(M,\,k)$. For the proof we introduce \emph{higher CI operators}, and give a construction of a (generally non-minimal) resolution of $M$ over $S$ starting from a resolution of $M$ over $R$ and its higher CI operators. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: To appear in the Journal of the European Mathematical Society (JEMS)

MSC Class: 13D02

Correspondence scrolls

Authors: David Eisenbud, Alessio Sammartano

Abstract: This paper initiates the study of a class of schemes that we call correspondence scrolls, which includes the rational normal scrolls and linearly embedded projective bundle of decomposable bundles, as well as degenerate K3 surfaces, Calabi-Yau 3-folds, and many other examples. This paper initiates the study of a class of schemes that we call correspondence scrolls, which includes the rational normal scrolls and linearly embedded projective bundle of decomposable bundles, as well as degenerate K3 surfaces, Calabi-Yau 3-folds, and many other examples. △ Less

Submitted 9 September, 2018; originally announced September 2018.

MSC Class: Primary: 14J40. Secondary: 13H10; 13C40; 13P10; 14J26; 14J28; 14J32; 14M05; 14M12; 14M20

Journal ref: Acta Mathematica Vietnamica 44, pp. 101-116 (2019)

Equations and Syzygies of K3 Carpets and Unions of Scrolls

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: We describe the equations and Gröbner bases of some degenerate K3 surfaces associated to rational normal scrolls. These K3 surfaces are members of a class of interesting singular projective varieties we call correspondence scrolls. The ideals of these surfaces are nested in a simple way that allows us to analyze them inductively. We describe explicit Gröbner bases and syzygies for these objects ov… ▽ More We describe the equations and Gröbner bases of some degenerate K3 surfaces associated to rational normal scrolls. These K3 surfaces are members of a class of interesting singular projective varieties we call correspondence scrolls. The ideals of these surfaces are nested in a simple way that allows us to analyze them inductively. We describe explicit Gröbner bases and syzygies for these objects over the integers and this lets us treat them in all characteristics simultaneously. △ Less

Submitted 21 April, 2018; originally announced April 2018.

MSC Class: Primary: 14H99; Secondary: 13D02; 14H51

The Rees Algebra Package in Macaulay2

Authors: David Eisenbud

Abstract: This introduces Rees algebras and some of their uses with illustrations via version 2.0 of the Macaulay2 package ReesAlgebra.m2. This introduces Rees algebras and some of their uses with illustrations via version 2.0 of the Macaulay2 package ReesAlgebra.m2. △ Less

Submitted 1 September, 2017; originally announced September 2017.

MSC Class: 13P; 14Q

Tate Resolutions for Products of Projective Spaces

Authors: David Eisenbud, Daniel Erman, Frank-Olaf Schreyer

Abstract: We describe the Tate resolution of a coherent sheaf or complex of coherent sheaves on a product of projective spaces. Such a resolution makes explicit all the cohomology of all twists of the sheaf, including, for example, the multigraded module of twisted global sections, and also the Beilinson monads of all twists. Although the Tate resolution is highly infinite, any finite number of components c… ▽ More We describe the Tate resolution of a coherent sheaf or complex of coherent sheaves on a product of projective spaces. Such a resolution makes explicit all the cohomology of all twists of the sheaf, including, for example, the multigraded module of twisted global sections, and also the Beilinson monads of all twists. Although the Tate resolution is highly infinite, any finite number of components can be computed efficiently, starting either from a Beilinson monad or from a multigraded module. △ Less

Submitted 20 November, 2014; originally announced November 2014.

MSC Class: 14Q99; 14F05; 13D02

Journal ref: Acta Math Vietnam (2015) 40: 5

Duality and Socle Generators for Residual Intersections

Authors: David Eisenbud, Bernd Ulrich

Abstract: Paper has been accepted for publication in the Journal für die reine und Angewandte Mathematik. This version contains the corrections and additional references made in the Galley proofs. Paper has been accepted for publication in the Journal für die reine und Angewandte Mathematik. This version contains the corrections and additional references made in the Galley proofs. △ Less

Submitted 14 January, 2018; v1 submitted 9 September, 2013; originally announced September 2013.

MSC Class: 13C40; 13H10; 14M06 (Primary); 13C14; 14M12 (Secondary)

Matrix Factorizations for Complete Intersections and Minimal Free Resolutions

Authors: David Eisenbud, Irena Peeva

Abstract: Matrix factorizations of a hypersurface yield a description of the asymptotic structure of minimal free resolutions over the hypersurface. We introduce a new concept of matrix factorizations for complete intersections that allows us to describe the asymptotic structure of minimal free resolutions over complete intersections. Matrix factorizations of a hypersurface yield a description of the asymptotic structure of minimal free resolutions over the hypersurface. We introduce a new concept of matrix factorizations for complete intersections that allows us to describe the asymptotic structure of minimal free resolutions over complete intersections. △ Less

Submitted 23 February, 2015; v1 submitted 11 June, 2013; originally announced June 2013.

MSC Class: 13D02

Hilbert Series of Residual Intersections

Authors: Marc Chardin, David Eisenbud, Bernd Ulrich

Abstract: We find explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper we proved that such formulas should exist. We give applications to the dimension of secant varieties of surfaces and three-folds. We find explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper we proved that such formulas should exist. We give applications to the dimension of secant varieties of surfaces and three-folds. △ Less

Submitted 29 March, 2013; originally announced April 2013.

MSC Class: Primary; 13D40; 13C40; Secondary; 13H15; 13M06; 14C17; 14N15

Journal ref: Compositio Mathematica 151 (2015) 1663-1687

The Regularity of the Conductor

Authors: David Eisenbud, Bernd Ulrich

Abstract: We bound the Castelnuovo-Mumford regularity and syzygies of the ideal of the singular set of a plane curve, and more generally of the conductor scheme of certain projectively Gorenstein varieties. We bound the Castelnuovo-Mumford regularity and syzygies of the ideal of the singular set of a plane curve, and more generally of the conductor scheme of certain projectively Gorenstein varieties. △ Less

Submitted 22 February, 2013; originally announced February 2013.

Comments: 17 pages

MSC Class: 13B22; 13D02; 14H50; 14E05

Twenty Points in P^3

Authors: David Eisenbud, Robin Hartshorne, Frank-Olaf Schreyer

Abstract: Using the possibility of computationally determining points on a finite cover of a unirational variety over a finite field, we determine all possibilities for direct Gorenstein linkages between general sets of points in P^3 over an algebraically closed field of characteristic 0. As a consequence we show that a general set of d points is glicci (that is, in the Gorenstein linkage class of a complet… ▽ More Using the possibility of computationally determining points on a finite cover of a unirational variety over a finite field, we determine all possibilities for direct Gorenstein linkages between general sets of points in P^3 over an algebraically closed field of characteristic 0. As a consequence we show that a general set of d points is glicci (that is, in the Gorenstein linkage class of a complete intersection) if d <= 33 or d=37,38. Computer algebra plays an essential role in the proof. The case of 20 points had been an outstanding problem in the area for a dozen years. △ Less

Submitted 25 January, 2013; v1 submitted 8 December, 2012; originally announced December 2012.

Comments: 22 pages, one figure, hyperrefs added

MSC Class: 14M06; 13C40; 14Q99; 13P05

Decomposition of Monomial Algebras: Applications and Algorithms

Authors: Janko Boehm, David Eisenbud, Max Joachim Nitsche

Abstract: Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of homogeneous semigroup rings from the decomposition we have confirmed the Eisenbud-Goto conjecture in a range of new cases not tractable by standard methods. Here we firs… ▽ More Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of homogeneous semigroup rings from the decomposition we have confirmed the Eisenbud-Goto conjecture in a range of new cases not tractable by standard methods. Here we first illustrate this technique and its implementation in our Macaulay2 package MonomialAlgebras by computing the decomposition and the regularity step by step for an explicit example. We then focus on ring-theoretic properties of simplicial semigroup rings. From the characterizations given in [1] we develop and prove explicit algorithms testing properties like Buchsbaum, Cohen-Macaulay, Gorenstein, normal, and seminormal, all of which imply the Eisenbud-Goto conjecture. All algorithms are implemented in our Macaulay2 package. △ Less

Submitted 8 June, 2012; originally announced June 2012.

Comments: 6 pages. Package may be downloaded at http://www.math.uni-sb.de/ag/schreyer/jb/Macaulay2/MonomialAlgebras/html/

MSC Class: 13D45 (Primary) 13P99; 13H10 (Secondary)

Journal ref: JSAG 5 (2013), 8-14

Syzygies of torsion bundles and the geometry of the level l modular variety over M_g

Authors: Alessandro Chiodo, David Eisenbud, Gavril Farkas, Frank-Olaf Schreyer

Abstract: We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of… ▽ More We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove that R_{g,3} is a variety of general type when g>11 and the Kodaira dimension of R_{11,3} is greater than or equal to 19. In the last section we explain probabilistically the unexpected failure of the Prym-Green conjecture in genus 8 and level 2. △ Less

Submitted 23 February, 2014; v1 submitted 3 May, 2012; originally announced May 2012.

Comments: 35 pages, appeared in Invent Math. We correct an inaccuracy in the statement of Prop 2.3

Journal ref: Inventiones Math 194 (2013), 73-118

Categorified duality in Boij-Söderberg Theory and invariants of free complexes

Authors: David Eisenbud, Daniel Erman

Abstract: We present a robust categorical foundation for the duality theory introduced by Eisenbud and Schreyer to prove the Boij-Söderberg conjectures describing numerical invariants of syzygies. The new foundation allows us to extend the reach of the theory substantially. More explicitly, we construct a pairing between derived categories that simultaneously categorifies all the functionals used by Eisen… ▽ More We present a robust categorical foundation for the duality theory introduced by Eisenbud and Schreyer to prove the Boij-Söderberg conjectures describing numerical invariants of syzygies. The new foundation allows us to extend the reach of the theory substantially. More explicitly, we construct a pairing between derived categories that simultaneously categorifies all the functionals used by Eisenbud and Schreyer. With this new tool, we describe the cone of Betti tables of finite, minimal free complexes having homology modules of specified dimensions over a polynomial ring, and we treat many examples beyond polynomial rings. We also construct an analogue of our pairing between derived categories on a toric variety, yielding toric/multigraded analogues of the Eisenbud-Schreyer functionals. △ Less

Submitted 13 October, 2014; v1 submitted 2 May, 2012; originally announced May 2012.

Comments: 33 pages

MSC Class: 13D02; 14F05; 13D09

Journal ref: J. Eur. Math. Soc. 19 (2017), 2657-2695

Decomposition of semigroup algebras

Authors: Janko Boehm, David Eisenbud, Max Joachim Nitsche

Abstract: Let A \subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we exp… ▽ More Let A \subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we explain how to compute many ring-theoretic properties of R[B] in terms of this decomposition. In particular we obtain a fast algorithm to compute the Castelnuovo-Mumford regularity of homogeneous semigroup rings. As an application we confirm the Eisenbud-Goto conjecture in a range of new cases. Our algorithms are implemented in the Macaulay2 package MonomialAlgebras. △ Less

Submitted 10 November, 2011; v1 submitted 17 October, 2011; originally announced October 2011.

Comments: 12 pages, 2 figures, minor revisions. Package may be downloaded at http://www.math.uni-sb.de/ag/schreyer/jb/Macaulay2/MonomialAlgebras/html/

MSC Class: 13D45 (Primary) 13P99; 13H10 (Secondary)

Journal ref: Exper. Math. 21(4) (2012), 385-394

The Banks of the Cohomology River

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: We give sharp bounds on the vanishing of the cohomology of a tensor product of vector bundles on the n-dimensional projective space in terms of the vanishing of the cohomology of the factors. For this purpose we introduce regularity indices generalizing the Castelnuovo-Mumford regularity. As an application we give a sufficient condition for a vector bundle to have an unobstructed deformation theor… ▽ More We give sharp bounds on the vanishing of the cohomology of a tensor product of vector bundles on the n-dimensional projective space in terms of the vanishing of the cohomology of the factors. For this purpose we introduce regularity indices generalizing the Castelnuovo-Mumford regularity. As an application we give a sufficient condition for a vector bundle to have an unobstructed deformation theory that depends only on the cohomology table of the bundle. We construct complete families of bundles with such cohomology tables. △ Less

Submitted 21 September, 2011; originally announced September 2011.

Comments: 16 pages

MSC Class: 14F05; 14F17

Journal ref: Kyoto J. Math. 53, no. 1 (2013), 131-144

Betti Numbers of Syzygies and Cohomology of Coherent Sheaves

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: The Betti numbers of a graded module over the polynomial ring form a table of numerical invariants that refines the Hilbert polynomial. A sequence of papers sparked by conjectures of Boij and Söderberg have led to the characterization of the possible Betti tables up to rational multiples---that is, to the rational cone generated by the Betti tables. We will summarize this work by describing the co… ▽ More The Betti numbers of a graded module over the polynomial ring form a table of numerical invariants that refines the Hilbert polynomial. A sequence of papers sparked by conjectures of Boij and Söderberg have led to the characterization of the possible Betti tables up to rational multiples---that is, to the rational cone generated by the Betti tables. We will summarize this work by describing the cone and the closely related cone of cohomology tables of vector bundles on projective space, and we will give new, simpler proofs of some of the main results. We also explain some of the applications of the theory, including the one that originally motivated the conjectures of Boij and Söderberg, a proof of the Multiplicity Conjecture of Herzog, Huneke and Srinivasan. △ Less

Submitted 17 February, 2011; originally announced February 2011.

MSC Class: Primary 13D02; Secondary 14F05

Journal ref: Proceedings of the ICM, Hyderabad 2010, vol. 2, 586--602

Stabilization of the Regularity of Powers of An Ideal

Authors: David Eisenbud, Bernd Ulrich

Abstract: When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, Römer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form dm+e when m >> 0. We give an explicit bound on the m$for which this is true, under the hypotheses that I is generated in a single degree and M/IM has finite leng… ▽ More When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, Römer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form dm+e when m >> 0. We give an explicit bound on the m$for which this is true, under the hypotheses that I is generated in a single degree and M/IM has finite length, and we explore the phenomena that occur when these hypotheses are not satisfied. Finally, we prove a regularity bound for a reduced, equidimensional projective scheme of codimension 2 that is similar to the bound in the Eisenbud-Goto conjecture [1984], under the additional hypotheses that the scheme lies on a quadric and has nice singularities. △ Less

Submitted 4 December, 2010; originally announced December 2010.

MSC Class: 13D02; 13C99; 13P20; 14N05

Filtering free resolutions

Authors: David Eisenbud, Daniel Erman, Frank-Olaf Schreyer

Abstract: A recent result of Eisenbud-Schreyer and Boij-Söderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resol… ▽ More A recent result of Eisenbud-Schreyer and Boij-Söderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resolutions with some plausible-looking Betti diagrams and to study the semigroup of quiver representations of the simplest "wild" quiver. △ Less

Submitted 5 March, 2014; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: We correct a mistake in the proof of Corollary 4.2 in the published version of this paper. The mistake involves an incorrect definition for when two degree sequences are "sufficiently separated". The new definition weakens Theorem 1.3 somewhat, but the examples survive. We thank Amin Nematbakhsh and to Gunnar Floystad for bringing this mistake to our attention. We also correct some minor typos

MSC Class: 13D02; 13C05; 13C14

Journal ref: Compositio Math. 149 (2013) 754-772

Fibers of Projections and Submodules of Deformations

Authors: Roya Beheshti, David Eisenbud

Abstract: We bound the complexity of the fibers of the generic linear projection of a smooth variety in terms of a new family of invariants. These invariants are closely related to ideas of John Mather, and we give a simple proof of his bound on the Thom-Boardman invariants of a generic projection as an application. We bound the complexity of the fibers of the generic linear projection of a smooth variety in terms of a new family of invariants. These invariants are closely related to ideas of John Mather, and we give a simple proof of his bound on the Thom-Boardman invariants of a generic projection as an application. △ Less

Submitted 19 November, 2009; originally announced November 2009.

MSC Class: 14N05; 14B07; 13B22

Cohomology of Coherent Sheaves and Series of Supernatural Bundles

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves. We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves. △ Less

Submitted 10 February, 2009; originally announced February 2009.

MSC Class: 14F05; 13C05

Powers of Ideals and Fibers of Morphisms

Authors: David Eisenbud, Joe Harris

Abstract: Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of φ, considered as subschemes of \PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homoge… ▽ More Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of φ, considered as subschemes of \PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homogeneous ideal I in a standard graded algebra S, the regularity of I^t can be written as dt+εfor some non-negative integers d, ε, and all large t. In the special case where I contains a power of S_+ and is generated by forms of a single degree, our formula gives an interpretation of ε: it is one less than the maximum regularity of a fiber of the morphism associated to I. These formulas have strong consequences for ideals generated by generic forms. △ Less

Submitted 26 July, 2008; originally announced July 2008.

MSC Class: 14N05; 14B05; 14J40; 13D02

Fibers of Generic Projections

Authors: Roya Beheshti, David Eisenbud

Abstract: Let X be a smooth projective variety of dimension n in P^r. We study the fibers of a general linear projection pi: X --> P^{n+c}, with c > 0. When n is small it is classical that the degree of any fiber is bounded by n/c+1, but this fails for n >> 0. We describe a new invariant of the fiber that agrees with the degree in many cases and is always bounded by n/c+1. This implies, for example, that… ▽ More Let X be a smooth projective variety of dimension n in P^r. We study the fibers of a general linear projection pi: X --> P^{n+c}, with c > 0. When n is small it is classical that the degree of any fiber is bounded by n/c+1, but this fails for n >> 0. We describe a new invariant of the fiber that agrees with the degree in many cases and is always bounded by n/c+1. This implies, for example, that if we write a fiber as the disjoint union of schemes Y' and Y'' such that Y' is the union of the locally complete intersection components of Y, then deg Y'+deg Y''_red <= n/c+1 and this formula can be strengthened a little further. Our method also gives a sharp bound on the subvariety of P^r swept out by the l-secant lines of X for any positive integer l, and we discuss a corresponding bound for highly secant linear spaces of higher dimension. These results extend Ziv Ran's "Dimension+2 Secant Lemma". △ Less

Submitted 17 August, 2009; v1 submitted 11 June, 2008; originally announced June 2008.

Comments: Proof of the main theorem simplified and new examples added

MSC Class: 14N05; 14B07; 13B22

Journal ref: Compositio Math. 146 (2010) 435-456

Betti Numbers of Graded Modules and Cohomology of Vector Bundles

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: Mats Boij and Jonas Soederberg (math.AC/0611081) have conjectured that the Betti table of a Cohen-Macaulay module over a polynomial ring can be decomposed in a certain way as a positive linear combination of Betti tables of modules with pure resolutions. We prove, over any field, a strengthened form of their conjecture. Applications include a proof of the Multiplicity Conjecture of Huneke and Sr… ▽ More Mats Boij and Jonas Soederberg (math.AC/0611081) have conjectured that the Betti table of a Cohen-Macaulay module over a polynomial ring can be decomposed in a certain way as a positive linear combination of Betti tables of modules with pure resolutions. We prove, over any field, a strengthened form of their conjecture. Applications include a proof of the Multiplicity Conjecture of Huneke and Srinivasan and a proof of the convexity of a fan naturally associated to the Young lattice. We also characterize the rational cone of all cohomology tables of vector bundles on projective spaces in terms of the cohomology tables of "supernatural" bundles. This characterization is dual, in a certain sense, to our characterization of Betti tables. △ Less

Submitted 12 July, 2008; v1 submitted 11 December, 2007; originally announced December 2007.

Comments: This version incorporates many corrections and many expository improvements of the original. It is to appear in the Journal of the American Mathematical Society

MSC Class: 13D02; 13D25; 14F05

The Existence of Pure Free Resolutions

Authors: David Eisenbud, Gunnar Floystad, Jerzy Weyman

Abstract: Let d1,...,dn be a strictly increasing sequence of integers. Boij and Söderberg [arXiv:math/0611081] have conjectured the existence of a graded module M of finite length over any polynomial ring K[x_1,..., x_n], whose minimal free resolution is pure of type (d1,...,dn), in the sense that its i-th syzygies are generated in degree di. In this paper we prove a stronger statement, in characteristi… ▽ More Let d1,...,dn be a strictly increasing sequence of integers. Boij and Söderberg [arXiv:math/0611081] have conjectured the existence of a graded module M of finite length over any polynomial ring K[x_1,..., x_n], whose minimal free resolution is pure of type (d1,...,dn), in the sense that its i-th syzygies are generated in degree di. In this paper we prove a stronger statement, in characteristic zero: Such modules not only exist, but can be taken to be GL(n)-equivariant. In fact, we give two different equivariant constructions, and we construct pure resolutions over exterior algebras and Z/2-graded algebras as well. The constructions use the combinatorics of Schur functors and Bott's Theorem on the direct images of equivariant vector bundles on Grassmann varieties. △ Less

Submitted 19 January, 2010; v1 submitted 11 September, 2007; originally announced September 2007.

Comments: Dedicated to Jürgen Herzog on the occasion of his sixty-fifth birthday, minor changes; NOTE: Title changed to: The Existence of Equivariant Pure Free Resolutions

MSC Class: 13D02; 13D25; 13C14; 05E10; 20G05; 14L35

Journal ref: Annales de l'institut Fourier, 61 (2011), no. 3, p. 905-926

Row Ideals and Fibers of Morphisms

Authors: David Eisenbud, Bernd Ulrich

Abstract: We study the fibers of a projective morphism and some related algebraic problems. We characterize the analytic spread of a homogeneous ideal through properties of its syzygy matrix. Powers of linearly presented ideals need not be linearly presented, but we identify a weaker linearity property that is preserved under taking powers. We study the fibers of a projective morphism and some related algebraic problems. We characterize the analytic spread of a homogeneous ideal through properties of its syzygy matrix. Powers of linearly presented ideals need not be linearly presented, but we identify a weaker linearity property that is preserved under taking powers. △ Less

Submitted 29 March, 2008; v1 submitted 27 May, 2007; originally announced May 2007.

Comments: Many small improvements over the May 2007 version

MSC Class: 13C15; 13C05; 13P99; 14N05; 14Q99

Relative Beilinson Monad and Direct Image for Families of Coherent Sheaves

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently infinite constructions. Using exterior algebras and relative versions of theorems of Beilinson and Bernstein-Gel'fand-Gel'fand, we give an alternate description in f… ▽ More The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently infinite constructions. Using exterior algebras and relative versions of theorems of Beilinson and Bernstein-Gel'fand-Gel'fand, we give an alternate description in finite terms. Using this description we can characterize the generic complex, over the variety of finite free complexes of a given shape, as the direct image of an easily-described vector bundle. We can also give explicit descriptions of the loci in the base spaces of flat families of sheaves in which some cohomological conditions are satisfied--for example, the loci where vector bundles on projective space split in a certain way, or the loci where a projective morphism has higher dimensional fibers. Our approach is so explicit that it yields an algorithm suited for computer algebra systems. This new version uses relative projectives to give smaller direct image complexes in many cases. It also includes many small clarifications. △ Less

Submitted 27 September, 2006; v1 submitted 20 June, 2005; originally announced June 2005.

Comments: 42 pages

MSC Class: 14F05; 14Q99

The Regularity of Tor and Graded Betti Numbers

Authors: David Eisenbud, Craig Huneke, Bernd Ulrich

Abstract: Let S=K[x_1,..., x_n], let A,B be finitely generated graded S-modules, and let m=(x_1,...,x_n). We give bounds for the Castelnuovo-Mumford regularity of the local cohomology of Tor_i(A,B) under the assumption that the Krull dimension of Tor_1(A,B) is at most 1. We apply the results to syzygies, Groebner bases, products and powers of ideals, and to the relationship of the Rees and Symmetric algeb… ▽ More Let S=K[x_1,..., x_n], let A,B be finitely generated graded S-modules, and let m=(x_1,...,x_n). We give bounds for the Castelnuovo-Mumford regularity of the local cohomology of Tor_i(A,B) under the assumption that the Krull dimension of Tor_1(A,B) is at most 1. We apply the results to syzygies, Groebner bases, products and powers of ideals, and to the relationship of the Rees and Symmetric algebras. For example we show that any homogeneous linearly presented m-primary ideal has some power equal to a power of m; and if the first (roughly) (n-1)/2 steps of the resolution of I are linear, then I^2 is a power of m. △ Less

Submitted 19 May, 2004; originally announced May 2004.

Small schemes and varieties of minimal degree

Authors: David Eisenbud, Mark Green, Klaus Hulek, Sorin Popescu

Abstract: We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= L\cap X is finite, then Y is "linearly independent" in the sense that the dimension of the linear span of Y is 1+deg Y. The converse is true and well-known for finite schemes, but false in general. The main result of this paper is that the… ▽ More We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= L\cap X is finite, then Y is "linearly independent" in the sense that the dimension of the linear span of Y is 1+deg Y. The converse is true and well-known for finite schemes, but false in general. The main result of this paper is that the converse, "small implies 2-regular", is also true for reduced projective schemes (algebraic sets). This is proven by means of a delicate geometric analysis, leading to a complete classification: we show that the components of a small algebraic set are varieties of minimal degree, meeting in a particularly simple way. From the classification one can show that if X is 2-regular, then so is X_{red}, and so also is the projection of X from any point of X. Our results extend the Del Pezzo-Bertini classification of varieties of minimal degree, the characterization of these as the varieties of regularity 2 by Eisenbud-Goto, and the construction of 2-regular square-free monomial ideals by Fröberg. △ Less

Submitted 15 November, 2004; v1 submitted 28 April, 2004; originally announced April 2004.

Comments: 27 pages, Plain TeX + diagrams.tex, minor revisions, updated abstract + title

MSC Class: 14N05; 14N25; 13D02; 14M20

Restricting linear syzygies: algebra and geometry

Authors: David Eisenbud, Mark Green, Klaus Hulek, Sorin Popescu

Abstract: In this paper we derive geometric consequences from the presence of a long strand of linear syzygies in the minimal free resolution of a closed scheme in projective space whose homogeneous ideal is generated by quadrics. These consequences are given in terms of intersections with arbitrary linear subspaces. We use our results to bound homological invariants of some well-known projective varietie… ▽ More In this paper we derive geometric consequences from the presence of a long strand of linear syzygies in the minimal free resolution of a closed scheme in projective space whose homogeneous ideal is generated by quadrics. These consequences are given in terms of intersections with arbitrary linear subspaces. We use our results to bound homological invariants of some well-known projective varieties, to give a combinatorial characterization of quadratic monomial ideals with a long strand of linear syzygies, etc △ Less

Submitted 28 April, 2004; originally announced April 2004.

Comments: 26 pages, Plain TeX + diagrams.tex

MSC Class: 14N05; 13D02; 14M17

A note on the Intersection of Veronese Surfaces

Authors: David Eisenbud, Klaus Hulek, Sorin Popescu

Abstract: Motivated by our study (elsewhere) of linear syzygies of homogeneous ideals generated by quadrics and their restrictions to subvarieties of the ambient projective space, we investigate in this note possible zero-dimensional intersections of two Veronese surfaces in P^5. The case of two Veronese surfaces in P^5 meeting in 10 simple points appears also in work of Coble, Conner and Reye in relati… ▽ More Motivated by our study (elsewhere) of linear syzygies of homogeneous ideals generated by quadrics and their restrictions to subvarieties of the ambient projective space, we investigate in this note possible zero-dimensional intersections of two Veronese surfaces in P^5. The case of two Veronese surfaces in P^5 meeting in 10 simple points appears also in work of Coble, Conner and Reye in relation to the 10 nodes of a quartic symmetroid in P^3, and we provide here a modern account for some of their results. △ Less

Submitted 13 February, 2003; originally announced February 2003.

Comments: 15 pages, AMS LaTeX

MSC Class: 14N15; 14J26; 13D02; 14J45

What is the Rees Algebra of a Module?

Authors: David Eisenbud, Craig Huneke, Bernd Ulrich

Abstract: In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module M may be computed in terms of a "maximal" map f from M to a free module. It is the image of the map induced by f on symmetric algebras. We show that the analytic spread and reductions of M can be determined from any… ▽ More In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module M may be computed in terms of a "maximal" map f from M to a free module. It is the image of the map induced by f on symmetric algebras. We show that the analytic spread and reductions of M can be determined from any embedding of M into a free module, and in characteristic 0--but not in positive characteristic!--the Rees algebra itself can be computed from any such embedding. △ Less

Submitted 15 September, 2002; originally announced September 2002.

Comments: 8 pages, AMS-TeX. Accepted 8/2001 for the Proceedings of the American Mathematical Society

MSC Class: 13B21; 13C12; 13C15

A Simple Proof of some Generalized Principal Ideal Theorems

Authors: David Eisenbud, Craig Huneke, Bernd Ulrich

Abstract: Using symmetric algebras we simplify (and slightly strengthen) the Bruns-Eisenbud-Evans "generalized principal ideal theorem" on the height of order ideals of non-minimal generators in a module. We also obtain a simple proof and an extension of a result by Kwieciński, which estimates the height of certain Fitting ideals of modules having an equidimensional symmetric algebra. Using symmetric algebras we simplify (and slightly strengthen) the Bruns-Eisenbud-Evans "generalized principal ideal theorem" on the height of order ideals of non-minimal generators in a module. We also obtain a simple proof and an extension of a result by Kwieciński, which estimates the height of certain Fitting ideals of modules having an equidimensional symmetric algebra. △ Less

Submitted 15 September, 2002; originally announced September 2002.

Comments: 6 pages, LaTeX

MSC Class: 13C15; 13C40; 13D10

Journal ref: Proceedings of the AMS 129 (2001) 2535--2540

Heights of Ideals of Minors

Authors: David Eisenbud, Craig Huneke, Bernd Ulrich

Abstract: The classical "generalized principal ideal theorems" of Macaulay, Eagon-Northcott, and others give sharp bounds on the heights of determinantal ideals in arbitrary rings. But in regular local rings (or graded polynomial rings) these are far from sharp, and various questions about vector bundles, as well as other questions in commutative algebra, amount to asking what the real bounds are. We give… ▽ More The classical "generalized principal ideal theorems" of Macaulay, Eagon-Northcott, and others give sharp bounds on the heights of determinantal ideals in arbitrary rings. But in regular local rings (or graded polynomial rings) these are far from sharp, and various questions about vector bundles, as well as other questions in commutative algebra, amount to asking what the real bounds are. We give partial answers, and more generally we prove new height bounds in local rings of given embedding codimension. Our theorems extend and sharpen results of Faltings and Bruns. △ Less

Submitted 15 September, 2002; originally announced September 2002.

Comments: 21 pages, in AMS TeX

MSC Class: 13C40; 13C15; 14M12

Order Ideals and a Generalized Krull Height Theorem

Authors: David Eisenbud, Craig Huneke, Bernd Ulrich

Abstract: Let N be a finitely generated module over a Noetherian local ring (R,m). We give criteria for the height of the order ideal N^*(x) of an element x \in N to be bounded by the rank of N. The Generalized Principal Ideal Theorem of Bruns, Eisenbud and Evans says that this inequality always holds if x \in mN, but if x is a minimal generator the question is more subtle; for example, when R is graded a… ▽ More Let N be a finitely generated module over a Noetherian local ring (R,m). We give criteria for the height of the order ideal N^*(x) of an element x \in N to be bounded by the rank of N. The Generalized Principal Ideal Theorem of Bruns, Eisenbud and Evans says that this inequality always holds if x \in mN, but if x is a minimal generator the question is more subtle; for example, when R is graded and N represents a vector bundle on Proj R, the question is connected with the vanishing of the top chern class. We show that the inequality does hold if the hypothesis x \in mN becomes true after first extending scalars to some local domain and then factoring out torsion. We also give conditions under which it holds in terms of residual intersections and integral closures of modules. We derive information about order ideals that leads to bounds on the heights of trace ideals of modules--even in circumstances where we do not have the expected bounds for the heights of the order ideals. △ Less

Submitted 27 May, 2002; originally announced May 2002.

Comments: 20 pages

Report number: formerly math.AG/0205275 MSC Class: 13

A Fitting Lemma for Z/2-graded modules

Authors: David Eisenbud, Jerzy Weyman

Abstract: We study the annihilator of the cokernel of a map of free Z/2-graded modules over a Z/2-graded skew-commutative algebra in characteristic 0 and define analogues of its Fitting ideals. We show that in the ``generic'' case the annihilator is given by a Fitting ideal, and explain relations between the Fitting ideal and the annihilator that hold in general. Our results generalize the classical Fitti… ▽ More We study the annihilator of the cokernel of a map of free Z/2-graded modules over a Z/2-graded skew-commutative algebra in characteristic 0 and define analogues of its Fitting ideals. We show that in the ``generic'' case the annihilator is given by a Fitting ideal, and explain relations between the Fitting ideal and the annihilator that hold in general. Our results generalize the classical Fitting Lemma, and extend the key result of Green [1999]. They depend on the Berele-Regev theory of representations of general linear Lie super-algebras. △ Less

Submitted 22 February, 2002; originally announced February 2002.

Comments: 14 pages Plain TeX; uses diagrams.tex

MSC Class: 16W55; 15A75; 17B55; 17B60; 14H51

Resultants and Chow forms via Exterior Syzygies

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: Given a sheaf on a projective space P^n we define a sequence of canonical and easily computable Chow complexes on the Grassmannians of planes in P^n, generalizing the Beilinson monad on P^n. If the sheaf has dimension k, then the Chow form of the associated k-cycle is the determinant of the Chow complex on the Grassmannian of planes of codimension k+1. Using the theory of vector bundles and the… ▽ More Given a sheaf on a projective space P^n we define a sequence of canonical and easily computable Chow complexes on the Grassmannians of planes in P^n, generalizing the Beilinson monad on P^n. If the sheaf has dimension k, then the Chow form of the associated k-cycle is the determinant of the Chow complex on the Grassmannian of planes of codimension k+1. Using the theory of vector bundles and the canonical nature of the complexes we are able to give explicit determinantal and Pfaffian formulas for resultants in some cases where no polynomial formulas were known. For example, the Horrocks-Mumford bundle gives rise to a polynomial formula for the resultant of five homogeneous forms of degree eight in five variables. △ Less

Submitted 4 November, 2001; originally announced November 2001.

Comments: 38 pages

MSC Class: 14C15; 14N15; 14Q99; 13D02; 13C14

Journal ref: Report-No: MSRI 2001-037

Sheaf Cohomology and Free Resolutions over Exterior Algebras

Authors: David Eisenbud, Gunnar Floystad, Frank-Olaf Schreyer

Abstract: In this paper we study the Bernstein-Gel'fand-Gel'fand (BGG) correspondence linking sheaves on a projective space to graded modules over an exterior algebra. We give an explicit construction of a Beilinson monad for a sheaf on projective space. The explicitness allows us to to prove two conjectures about the morphisms in the monad. We also construct all the monads for a sheaf that can be built f… ▽ More In this paper we study the Bernstein-Gel'fand-Gel'fand (BGG) correspondence linking sheaves on a projective space to graded modules over an exterior algebra. We give an explicit construction of a Beilinson monad for a sheaf on projective space. The explicitness allows us to to prove two conjectures about the morphisms in the monad. We also construct all the monads for a sheaf that can be built from sums of line bundles. A large subclass, containing many monads introduced by others, are uniquely characterized by simple numerical data. Our methods also yield an efficient method for machine computation of the cohomology of sheaves. Along the way we study minimal free resolutions over an exterior algebra. For example, we show that such resolutions are eventually dominated by their "linear parts" in the sense that erasing all terms of degree $>1$ in the complex yields a new complex which is eventually exact. This paper is a joint, extended version of papers previously written by Eisenbud-Schreyer and by Fløystad seperately. △ Less

Submitted 8 June, 2001; v1 submitted 20 April, 2001; originally announced April 2001.

Comments: 36 pages, new improved version of last Section 8 on free monads

MSC Class: 14F05; 14Q20; 16E05

Journal ref: Trans. Amer. Math. Soc. 355 (2003), 4397-4426

Exterior algebra methods for the Minimal Resolution Conjecture

Authors: David Eisenbud, Sorin Popescu, Frank-Olaf Schreyer, Charles Walter

Abstract: If r\geq 6, r\neq 9, we show that the Minimal Resolution Conjecture fails for a general set of m points in P^r for almost 1/2\sqrt r values of m. This strengthens the result of Eisenbud and Popescu [1999], who found a unique such m for each r in the given range. Our proof begins like a variation of that of Eisenbud and Popescu, but uses exterior algebra methods as explained by Eisenbud and Schre… ▽ More If r\geq 6, r\neq 9, we show that the Minimal Resolution Conjecture fails for a general set of m points in P^r for almost 1/2\sqrt r values of m. This strengthens the result of Eisenbud and Popescu [1999], who found a unique such m for each r in the given range. Our proof begins like a variation of that of Eisenbud and Popescu, but uses exterior algebra methods as explained by Eisenbud and Schreyer [2000] to avoid the degeneration arguments that were the most difficult part of the Eisenbud-Popescu proof. Analogous techniques show that the Minimal Resolution Conjecture fails for linearly normal curves of degree d and genus g when d\geq 3g-2, g\geq 4, reproving results of Schreyer, Green, and Lazarsfeld. △ Less

Submitted 28 November, 2000; originally announced November 2000.

Comments: 15 pages, Plain TeX, uses diagrams.tex

Sheaf Cohomolog and Free Resolutions over Exterior Algebras

Authors: David Eisenbud, Frank-Olaf Schreyer

Abstract: In this paper we derive an explicit version of the Bernstein-Gel'fand-Gel'fand (BGG) correspondence between bounded complexes of coherent sheaves on projective space and minimal doubly infinite free resolutions over its ``Koszul dual'' exterior algebra. This leads to an efficient method for machine computation of the cohomology of sheaves. Among the facts about the BGG correspondence that we der… ▽ More In this paper we derive an explicit version of the Bernstein-Gel'fand-Gel'fand (BGG) correspondence between bounded complexes of coherent sheaves on projective space and minimal doubly infinite free resolutions over its ``Koszul dual'' exterior algebra. This leads to an efficient method for machine computation of the cohomology of sheaves. Among the facts about the BGG correspondence that we derive is that taking homology of a complex of sheaves corresponds to taking the ``linear part'' of a resolution over the exterior algebra. Using these results we give a constructive proof of the existence of a Beilinson monad for a sheaf on projective space. The explicitness of our version allows us to to prove two conjectures about the morphisms in the monad. Along the way we prove a number of results about minimal free resolutions over an exterior algebra. For example, we show that such resolutions are eventually dominated by their "linear parts" in the sense that erasing all terms of degree $>1$ in the complex yields a new complex which is eventually exact. △ Less

Submitted 5 May, 2000; originally announced May 2000.

Comments: 29 pages

MSC Class: 14F05; 14Q20; 16E05 (Primary)

Cohomology on Toric Varieties and Local Cohomology with Monomial Supports

Authors: David Eisenbud, Mircea Mustata, Mike Stillman

Abstract: We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohom… ▽ More We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohomology of coherent sheaves on toric varieties. We give algorithms for this computation which have been implemented in the Macaulay 2 system. We obtain also a topological description for the cohomology of rank one torsionfree sheaves on toric varieties. △ Less

Submitted 27 January, 2000; originally announced January 2000.

Comments: 23 pages, 2 figures, uses diagrams.tex, to appear in Journal of Symbolic Computation

MSC Class: 14M25 (Primary); 13D45; 14Q99 (Secondary)

Journal ref: J. Symbolic Comput. 29 (2000), no. 4-5, 583-600

Hyperplane Arrangement Cohomology and Monomials in the Exterior Algebra

Authors: David Eisenbud, Sorin Popescu, Sergey Yuzvinsky

Abstract: We show that if X is the complement of a complex hyperplane arrangement, then the homology of X has linear free resolution as a module over the exterior algebra on the first cohomology of X. We study invariants of X that can be deduced from this resolution. A key ingredient is a result of Aramova, Avramov, and Herzog [2000] on resolutions of monomial ideals in the exterior algebra. We give a new… ▽ More We show that if X is the complement of a complex hyperplane arrangement, then the homology of X has linear free resolution as a module over the exterior algebra on the first cohomology of X. We study invariants of X that can be deduced from this resolution. A key ingredient is a result of Aramova, Avramov, and Herzog [2000] on resolutions of monomial ideals in the exterior algebra. We give a new conceptual proof of this result. △ Less

Submitted 2 January, 2001; v1 submitted 27 December, 1999; originally announced December 1999.

Comments: 22 pages, plain TeX, uses diagrams.tex, one new section added

Report number: MSRI 1999-057 MSC Class: 15A75; 52C35; 55N45 (Primary); 55N99; 14Q99 (Secondary)