Fast Computation of Secondary Invariants

Abstract

A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on polynomial rings. When we tried to compute the invariant ring using Singular or Magma, it turned out that the existing algorithms did not suffice. We present here a new algorithm for the computation of secondary invariants, if primary invariants are given. Our benchmarks show that the implementation of our algorithm in the library "finvar" of Singular marks a dramatic improvement in the manageable problem size. A particular benefit of our algorithm is that the computation of irreducible secondary invariants does not involve the explicit computation of reducible secondary invariants, which may save resources. The implementation of our algorithm in Singular is for the non-modular case; however, the key theorem of our algorithm holds in the modular case as well and might be useful also there.