Computing inclusions of Schur modules
arXiv:0810.4666 · doi:10.2140/jsag.2009.1.5
Abstract
We describe a software package for constructing minimal free resolutions of GL_n(Q)-equivariant graded modules M over Q[x_1, ..., x_n] such that for all i, the ith syzygy module of M is generated in a single degree. We do so by describing some algorithms for manipulating polynomial representations of the general linear group GL_n(Q) following ideas of Olver and Eisenbud-Floystad-Weyman.
7 pages, no figures. v2: updated with examples of code use. Package may be downloaded here: http://math.mit.edu/~ssam/PieriMaps.m2