Computation of invariants for reductive groups
Let \(G\) be a linear algebraic group defined over the field \(k\), \(\rho: G\to GL(V)\) a representation of \(G\) on a \(k\)-vector space of finite dimension \(n\) and \(A:=k[X_1, \dots, X_n]\) the coordinate ring of \(V\) with natural linear action of \(G\). Due to Hilbert, the invariant ring \(A^G: =\{a\in A\mid {}^ga=a\}\) is finitely generated if \(G\) is linearly reductive, i.e. if every finite dimensional \(kG\)-module is completely reducible. In the present paper the author presents an algorithm for computing generators of the invariant ring for arbitrary linearly reductive groups. His algorithm is based on Hilbert's original proof of 1890, which was considered non-constructive at that time. Under the hypotheses of certain conjectures in commutative algebra, the presented algorithm also gives improved upper bounds for the degrees of generators: In the case of \(k\) being of characteristic 0 and \(G\) linearly reductive of positive dimension, the degree bound significantly improves Popov's degree bound, but it depends on a conjecture of Eisenbud-Goto about degree bounds for syzygies of homogeneous prime ideals in \(A\). In the case of a finite group of order \(| G|\) not divisible by char \(k\), the author proves that Noether's degree bound holds, i.e. \(A^G\) can be generated by invariants of degree \(\leq| G|\), provided a so-called `subspaces conjecture' is true. Notice that Noether's bound is well known to be true for finite groups and \(\text{char }k=0\) of larger than \(| G|\). It is also known to be false for \(\text{char } k\mid| G|\). Recently the reviewer has proved with different methods, that Noether's bound holds whenever \(| G|\) is invertible in \(k\) [cf. \textit{P. Fleischmann}, Trans. Am. Math. Soc. 350, No. 4, 1703-1712 (1998; Zbl 0891.13002)].
- Noncommutative invariants of reductive groups
- Constructive invariant theory for tori
- Computing invariants of reductive groups in positive characteristic
- An algorithm for computing invariants of linear actions of algebraic groups up to a given degree.
- About Gordan's algorithm for binary forms
- A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements.
- Castelnuovo-Mumford regularity by approximation
- Algebraic density property of Danilov-Gizatullin surfaces
- Algorithmic invariant theory of nonreductive groups
- Effective computation of Picard groups and Brauer-Manin obstructions of degree two K3 surfaces over number fields
- Constructive noncommmutative invariant theory
- Resolutions of ideals of subspace arrangements
- A fast algorithm for the construction of integrity bases associated to symmetry-adapted polynomial representations: application to tetrahedral XY\(_{\mathrm{4}}\) molecules
- Invariants of multidimensional time series based on their iterated-integral signature
- A minimal integrity basis for the elasticity tensor
- Separating invariants for arbitrary linear actions of the additive group
- Differential operators on orbifolds
- Rational invariants of a group action. Construction and rewriting
- Around the numeric-symbolic computation of differential Galois groups
- Computing invariants of algebraic groups in arbitrary characteristic
- Polynomial bounds for rings of invariants
- Invariant theory for unipotent groups and an algorithm for computing invariants
- scientific article; zbMATH DE number 4029728 (Why is no real title available?)
- scientific article; zbMATH DE number 54033 (Why is no real title available?)
- Calculs d'invariants primitifs de groupes finis
- scientific article; zbMATH DE number 733575 (Why is no real title available?)
- scientific article; zbMATH DE number 1053268 (Why is no real title available?)
- scientific article; zbMATH DE number 797899 (Why is no real title available?)
- Using extended Derksen ideals in computational invariant theory
- Degree bound for toric envelope of a linear algebraic group
- Algorithms for fundamental invariants and equivariants of finite groups
- Covariant algebra of the binary nonic and the binary decimic
- Invariant manifolds of an autonomous ordinary differential equation from its generalized normal forms
- The Noether bound in invariant theory of finite groups
- Degree bounds for syzygies of invariants
- Symbolic powers of Derksen ideals
- Estimation under group actions: recovering orbits from invariants
- Symplectic grassmannian description of the Coulomb branch three and four point amplitudes
- Invariants for the computation of intransitive and transitive Galois groups
- Homomorphisms, localizations and a new algorithm to construct invariant rings of finite groups
This page was built for publication: Computation of invariants for reductive groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1284171)
