HighestWeights

Macaulay2 package HighestWeights -- decompose free resolutions and graded modules with a semisimple Lie group action. This package provides tools to study the representation theoretic structure of equivariant free resolutions and graded modules with the action of a semisimple Lie group. The methods of this package allow one to consider the free modules in an equivariant resolution, or the graded components of a module, as representations of a semisimple Lie group by means of their weights and to obtain their decomposition into highest weight representations. This package implements an algorithm introduced in Galetto - Propagating weights of tori along free resolutions. The methods of this package are meant to be used in characteristic zero.