An algorithm for computing invariants of linear actions of algebraic groups up to a given degree.
Software, source code, etc. for problems pertaining to commutative algebra (13-04) Actions of groups on commutative rings; invariant theory (13A50) Computational aspects and applications of commutative rings (13P99) Linear algebraic groups and related topics (20G99) Symbolic computation and algebraic computation (68W30)
One of the basic tasks in invariant theory is the computation of homogeneous invariants of some given degree. The paper under review proposes a new algorithm for this purpose. The input data of this algorithm consists of an algebraic group \(G\) (which need not be reductive), given by polynomial equations, a linear action of \(G\) by a morphism, and a degree \(d\). The output is a basis of the space of all homogeneous \(G\)-invariants of degree \(d\). There exists a standard algorithm for the same purpose, which is acknowledged in the present paper. The strength of the paper lies in the performance of the new algorithm: It is faster for all examples given in the paper. The reviewer has implemented both algorithms in Magma and tested a huge number of further examples. The result is that the new algorithm is always faster, usually significantly. However, it remains a mystery why this is true. The author cannot explain the better performance of his algorithm, and neither can the reviewer. Bayer's algorithm uses Gröbner basis methods and is not as straightforward as the standard algorithm.
- Algorithms in invariant theory
- An algorithm to calculate optimal homogeneous systems of parameters
- An algorithm to compute the kernel of a derivation up to a certain degree
- Calculating invariant rings of finite groups over arbitrary fields
- Computation of invariants for reductive groups
- Computational invariant theory
- Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
- Computer algebra methods for equivariant dynamical systems
- Generating a Noetherian normalization of the invariant ring of a finite group
- Geometric Quotients of Unipotent Group Actions
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 1361365 (Why is no real title available?)
- Note on a counterexample to Hilbert's fourteenth problem given by P. Roberts
- On the 14-th Problem of Hilbert
- The Magma algebra system. I: The user language
This page was built for publication: An algorithm for computing invariants of linear actions of algebraic groups up to a given degree.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1401909)
