## Relative Beilinson monad and direct image for families of coherent sheaves

HTML articles powered by AMS MathViewer

- by David Eisenbud and Frank-Olaf Schreyer PDF
- Trans. Amer. Math. Soc.
**360**(2008), 5367-5396 Request permission

## 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 Čech complex or an injective resolution, both inherently infinite constructions. Using free resolutions it can be defined in finite terms. Using exterior algebras and relative versions of theorems of Beilinson and Bernstein-Gel$’$fand-Gel$’$fand, we give an alternate and generally more efficient description in finite terms.

Using this exterior algebra description we can characterize the generic finite free complex 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.

## References

- I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand,
*Algebraic vector bundles on $\textbf {P}^{n}$ and problems of linear algebra*, Funktsional. Anal. i Prilozhen.**12**(1978), no. 3, 66–67 (Russian). MR**509387** - I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand,
*Algebraic vector bundles on $\textbf {P}^{n}$ and problems of linear algebra*, Funktsional. Anal. i Prilozhen.**12**(1978), no. 3, 66–67 (Russian). MR**509387** - Aldo Conca,
*Straightening law and powers of determinantal ideals of Hankel matrices*, Adv. Math.**138**(1998), no. 2, 263–292. MR**1645574**, DOI 10.1006/aima.1998.1740 - Corrado De Concini and Elisabetta Strickland,
*On the variety of complexes*, Adv. in Math.**41**(1981), no. 1, 57–77. MR**625334**, DOI 10.1016/S0001-8708(81)80004-7 - David Eisenbud,
*The geometry of syzygies*, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic geometry. MR**2103875** - David Eisenbud,
*Homological algebra on a complete intersection, with an application to group representations*, Trans. Amer. Math. Soc.**260**(1980), no. 1, 35–64. MR**570778**, DOI 10.1090/S0002-9947-1980-0570778-7 - David Eisenbud, Gunnar Fløystad, and Frank-Olaf Schreyer,
*Sheaf cohomology and free resolutions over exterior algebras*, Trans. Amer. Math. Soc.**355**(2003), no. 11, 4397–4426. MR**1990756**, DOI 10.1090/S0002-9947-03-03291-4 - David Eisenbud and Frank-Olaf Schreyer,
*Resultants and Chow forms via exterior syzygies*, J. Amer. Math. Soc.**16**(2003), no. 3, 537–579. With an appendix by Jerzy Weyman. MR**1969204**, DOI 10.1090/S0894-0347-03-00423-5 - Grayson, Daniel R.; Stillman, Michael E.: Macaulay2, a software system for research in algebraic geometry, 1993-2002, available at http://www.math.uiuc.edu/Macaulay2.
- A. Grothendieck,
*Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. II*, Inst. Hautes Études Sci. Publ. Math.**17**(1963), 91 (French). MR**163911** - Robin Hartshorne,
*Algebraic geometry*, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR**0463157** - G. Hochschild,
*Relative homological algebra*, Trans. Amer. Math. Soc.**82**(1956), 246–269. MR**80654**, DOI 10.1090/S0002-9947-1956-0080654-0 - Mordechai Katzman,
*The complexity of Frobenius powers of ideals*, J. Algebra**203**(1998), no. 1, 211–225. MR**1620654**, DOI 10.1006/jabr.1997.7246 - Katzman, Mordechai: On ideals of minors of matrices with indeterminate entries. arXiv:math.AC/0509657v2.
- Macaulay2; see Grayson and Stillman [GS93].
- David Mumford,
*Abelian varieties*, Tata Institute of Fundamental Research Studies in Mathematics, vol. 5, Published for the Tata Institute of Fundamental Research, Bombay by Oxford University Press, London, 1970. MR**0282985** - Room, T.G.: The Geometry of Determinantal Loci, Cambridge Univ. Press, Cambridge, 1938.
- Gregory G. Smith,
*Computing global extension modules*, J. Symbolic Comput.**29**(2000), no. 4-5, 729–746. Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998). MR**1769664**, DOI 10.1006/jsco.1999.0399

## Additional Information

**David Eisenbud**- Affiliation: Department of Mathematics, University of California, Berkeley, Berkeley, California 94720
- MR Author ID: 62330
- ORCID: 0000-0002-5418-5579
- Email: eisenbud@math.berkeley.edu
**Frank-Olaf Schreyer**- Affiliation: Mathematik und Informatik, Campus E 2.4, Universität des Saarlandes, D-66123 Saar- brücken, Germany
- MR Author ID: 156975
- Email: schreyer@math.uni-sb.de
- Received by editor(s): July 31, 2005
- Received by editor(s) in revised form: September 28, 2006
- Published electronically: April 17, 2008
- © Copyright 2008 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**360**(2008), 5367-5396 - MSC (2000): Primary 14F05, 13D02
- DOI: https://doi.org/10.1090/S0002-9947-08-04454-1
- MathSciNet review: 2415078