Article ID Journal Published Year Pages File Type
4584264 Journal of Algebra 2015 59 Pages PDF
Abstract

We conjecture what the cone of hypercohomology tables of bounded complexes of coherent sheaves on projective spaces is, when we have specified regularity conditions on the cohomology sheaves of this complex and its dual.There is an injection from this cone into the cone of homological data sets of squarefree modules over a polynomial ring k[x1,…,xn]k[x1,…,xn], and we conjecture that this is an isomorphism: The Tate resolutions of a complex of coherent sheaves on projective space P(W)P(W), and the exterior coalgebra on 〈x1,…,xn〉〈x1,…,xn〉 may be amalgamated together to form a complex of free Sym(⊕ixi⊗W⁎)Sym(⊕ixi⊗W⁎)-modules, a procedure introduced by Cox and Materov. Via a reduction ⊕ixi⊗W⁎→⊕ixi⊗k⊕ixi⊗W⁎→⊕ixi⊗k we get a complex of free modules over k[x1,…,xn]k[x1,…,xn]The extremal rays in the cone of squarefree complexes are conjecturally given by triplets of pure free squarefree complexes introduced in [15]. We describe the corresponding classes of hypercohomology tables, a class which generalizes vector bundles with supernatural cohomology.We also show how various pure resolutions in the literature, like resolutions of modules supported on determinantal varieties, and tensor complexes, may be obtained by the first part of the procedure.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Authors
,