Relative Beilinson monad and direct image for families of coherent sheaves

Eisenbud, David; Schreyer, Frank-Olaf

doi:10.1090/S0002-9947-08-04454-1

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