Propagating weights of tori along free resolutions

DOI10.1016/J.JSC.2015.05.004MaRDI QIDQ898242zbMATH OpenOpenAlexFDO

Publication date 8 December 2015

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.1900

algorithm equivariant free resolution irreducible representation polynomial module reductive group torus weight

Actions of groups on commutative rings; invariant theory (13A50) Syzygies, resolutions, complexes and commutative rings (13D02) Computational homological algebra (13P20) Representation theory for linear algebraic groups (20G05)

Abstract: The action of a torus on a graded module over a polynomial ring extends to the entire minimal free resolution of the module. We explain how to determine the action of the torus on the free modules in the resolution, when the resolution can be calculated explicitly. The problem is reduced to analyzing how the weights of a torus propagate along an equivariant map of free modules. The results obtained are used to design algorithms which have been implemented in the software system Macaulay2.

Review text

The author studies the problem of extending the action of an algebraic torus on a graded module over a polynomial ring to the minimal free resolution of the module. The article is divided into four sections. The first one provides a longer introduction into the problem and treats without much technical details a simple example. The second section collects the needed concepts and results from commutative algebra on one hand and representation theory on the other hand. The main emphasis is on introducing a category where the objects are finitely generated graded polynomial modules equipped with a torus action which is compatible with the grading and with multiplication and the morphisms are graded equivariant module homomorphisms. Furthermore, free modules in this category are studied in details and the existence of minimal resolutions is shown. The third section presents the theoretical basis for the algorithms designed in the fourth section. It studies in details the propagation of weights along a resolution. This is done first for maps which are expressed with respect to bases consisting of weight vectors. Then the general case is considered under some mild assumptions. The fourth section is by far the largest one and makes up about half of the article. It provides algorithms for four problems. The first one recovers weights for the domain of a map given those of the codomain, whereas the second one works in the opposite direction. Based on these two algorithms, a third one propagates weights given for one module in a minimal resolution along the remainder of the resolution. The fourth algorithm recovers the weights of graded components of a module given a presentation of it. Finally, computations over a subfield are considered.

Recommendations

Cites work

Cited in

(6)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Propagating weights of tori along free resolutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898242)