for computing sheaf cohomology on product of projective spaces
Author:
Clara Petroll (petroll@mathematik.uni-kl.de)
Overview:
In this library, we use Tate resolutions for computing sheaf cohomology of coherent sheaves on products of projective spaces.
The algorithms can be used for arbitrary products. We work over the multigraded Cox ring and the corresponding exterior
algebra. Multigraded complexes are realized as the newstruct multigradedcomplex.
The main algorithm is the one for computing subquotient complexes of a Tate resolution. It allows to compute cohomologytables,
respectively hash table of the dimensions of sheaf cohomology groups.
References:
[1] Eisenbud, Erman, Schreyer: Tate Resolutions for Products of Projective Spaces, Acta Mathematica Vietnamica (2015)
[2] Eisenbud, Erman, Schreyer: Tate Resolutions on Products of Projective Spaces: Cohomology and Direct Image Complexes (2019)