Sheaf algorithms using the exterior algebra
Let \(V\) denote a vector space of dimension \(n+1\) over a field \(K\) with its dual \(W\) and \(S = \text{Sym}_K(W)\) the symmetric algebra. The Bernstein-Gel'fand-Gel'fand correspondence is an isomorphism between the derived category of bounded complexes of finitely generated \(S\)-modules and the derived category of bounded complexes of finitely generated \(E\)-modules or of certain `Tate resolutions' of \(E\)-modules, where \(E\) denotes the exterior algebra on \(V.\) The authors show how to compute effectively the Tate resolution \(\mathbb T(\mathcal F)\) associated to a sheaf \(\mathcal F.\) This is used for a constructive method for computing the cohomology of a sheaf on a projective variety. There is also a construction of the Beilinson monad for studying the sheaf from partial knowledge of its cohomology. The power of these constructions is illustrated by the following applications: 1. The classification of elliptic conic bundles in \(\mathbb P^4.\) 2. The construction of abelian surfaces in \(\mathbb P^4\) and the Horrocks-Mumford bundle. 3. The computation of Chow forms of varieties. This is done with the aid of Macaulay 2. The corresponding code is listed by the authors. For the entire collection see [Zbl 0973.00017].
- Sheaf cohomology and free resolutions over exterior algebras
- Computing global extension modules
- Computing in algebraic geometry and commutative algebra using Macaulay 2
- scientific article; zbMATH DE number 1996519
- Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
- Computing global extension modules
- Computing in algebraic geometry and commutative algebra using Macaulay 2
- Irregular surfaces on hypersurfaces of degree 4 with non-degenerate isolated singularities
- A computer algorithm for the BGG resolution
- Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
- Stable rank three vector bundles on \(\mathbb P^{4}\) with Chern classes \((c_{1},c_{2},c_{3})=(-2,4,0)\)
- A Lie algebra method for rational parametrization of Severi-Brauer surfaces.
- Moduli spaces and the inverse Galois problem for cubic surfaces
- Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand-Gelfand correspondence
- BGG
- Sheaf cohomology and free resolutions over exterior algebras
- scientific article; zbMATH DE number 1996519 (Why is no real title available?)
- A constructive approach to the module of twisted global sections on relative projective spaces
- Algebraic Shifting and Exterior and Symmetric Algebra Methods
- Construction of rational surfaces of degree 12 in projective fourspace
- Tate resolutions on toric varieties
- Algebraic algorithms for vector bundles over curves
- On the ext-computability of Serre quotient categories
- Computing representation matrices for the action of Frobenius on cohomology groups
This page was built for publication: Sheaf algorithms using the exterior algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763710)
