Abstract

We describe a software package for constructing minimal free resolutions of graded ${GL}_n\left(\mathbb{Q}\right)$-equivariant modules $M$ over $Q\left[x_1,\dots ,x_n\right]$ such that, for all $i$, the $i$-th syzygy module of $M$ is generated in a single degree. We do so by describing some algorithms for manipulating polynomial representations of ${GL}_n\left(\mathbb{Q}\right)$ following ideas of Olver and Eisenbud–Fløystad–Weyman.

Mathematical Subject Classification 2010

Supplementary material

Macaulay2 source code

Milestones

Authors