Sheaf algorithms using the exterior algebra

In this chapter we explain constructive methods for computing the cohomology of a sheaf on a projective variety. We also give a construction for the Beilinson monad, a tool for studying the sheaf from partial knowledge of its cohomology. Finally, we give some examples illustrating the use of the Beilinson monad.

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

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

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

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

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

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

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

[8]  Pfaffian Subschemes , 1994, alg-geom/9406005.

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

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

[11]  Hirotachi Abo,et al.  An elliptic conic bundle in $\mathbb{P}^4$ arising from a stable rank-3 vector bundle , 1998 .

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

[13]  D. Mumford,et al.  A rank 2 vector bundle on P4 with 15,000 symmetries , 1973 .

[14]  C. Okonek.  Reflexive Garben auf ℙ4 , 1982 .

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

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

[17]  W. Decker.  Monads and cohomology modules of rank 2 vector bundles , 1990 .

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

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

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

[21]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

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

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

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

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

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

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

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

[29]  B. M. Fulk.  MATH , 1992 .

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

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

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

[33]  Das Horrocks-Mumford-Bündel und das Modul-Schema für stabile 2-Vektorbündel über ℙ4 mitc1=−1,c2=4 , 1984 .

[34]  G. Ottaviani,et al.  An introduction to the derived categories and the theorem of Beilinson , 1989 .

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