The Bernstein-Gel'fand-Gel'fand correspondence is an isomorphism between the derived category of bounded complexes of finitely generated modules over a polynomial ring and the derived category of bounded complexes of finitely generated module over an exterior algebra (or of certain Tate resolutions). This package implements routines for investigating the BGG correspondence.
More details can be found in Sheaf Algorithms Using Exterior Algebra.
This documentation describes version 1.4.2 of BGG.
Citation
If you have used this package in your research, please cite it as follows:
@misc{BGGSource,
title = {{BGG: Bernstein-Gelfand-Gelfand correspondence. Version~1.4.2}},
author = {Hirotachi Abo and Wolfram Decker and David Eisenbud and Frank-Olaf Schreyer and Gregory G. Smith and Mike Stillman},
howpublished = {A \emph{Macaulay2} package available at
\url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}
Exports
Functions and commands
beilinson -- Vector bundle map associated to the Beilinson monad