Free relations for matrix invariants in the modular case

DOI10.1016/J.JPAA.2011.07.006MaRDI QIDQ659880zbMATHOpenAlexFDO

Authors Artem Lopatin

Publication date 24 January 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

matrix groupsmatrix invariants

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Representations of quivers and partially ordered sets (16G20) Trace rings and invariant theory (associative rings and algebras) (16R30)

Abstract: A classical linear group $G<GL(n)$ acts on $d$-tuples of $nimesn$ matrices by simultaneous conjugation. Working over an infinite field of characteristic different from two we establish that the ideal of free relations, i.e. relations valid for matrices of any order, between generators for matrix O(n)- and $Sp(n)$-invariants is zero. We also prove similar result for invariants of mixed representations of quivers. These results can be considered as a generalization of the characteristic isomorphism $mch:SymoJ$ between the graded ring $Sym=otime{s}_{d=0}^{infty}Sy{m}_d$, where $Sy{m}_d$ is the character group of the symmetric group $S_d$, and the inverse limit $J$ with respect to $n$ of rings of symmetric polynomials in $n$ variables. As a consequence, we complete the description of relations between generators for O(n)-invariants as well as the description of relations for invariants of mixed representations of quivers. We also obtain an independent proof of the result that the ideal of free relations for $GL(n)$-invariants is zero, which was proved by Donkin in [Math. Proc. Cambridge Philos. Soc. 113 (1993), 23--43].

Recommendations

• Relations between \(O(n)\)-invariants of several matrices.
• Matrix invariants for symmetric groups
• Invariants of finite linear groups on relatively free algebras
• Orthogonal matrix invariants
• scientific article; zbMATH DE number 1284222

Cites work

• scientific article; zbMATH DE number 1431905 (Why is no real title available?)
• scientific article; zbMATH DE number 1438934 (Why is no real title available?)
• Algebraic invariants for a set of matrices
• Generalized quivers associated to reductive groups
• INVARIANTS OF MIXED REPRESENTATIONS OF QUIVERS I
• INVARIANTS OF MIXED REPRESENTATIONS OF QUIVERS II: DEFINING RELATIONS AND APPLICATIONS
• Invariant functions on matrices
• Invariants of quivers under the action of classical groups
• Invariants of several matrices
• On minimal generating systems for matrix \(O(3)\)-invariants.
• On the characteristic polynomial of a sum of matrices
• Orthogonal invariants of skew-symmetric matrices.
• Polynomial invariants of representations of quivers
• Relations between \(O(n)\)-invariants of several matrices.
• SIGNED QUIVERS, SYMMETRIC QUIVERS AND ROOT SYSTEMS
• Semi-invariants of mixed representations of quivers.
• TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
• The invariant theory of \(n\times n\) matrices

Cited in

(10)

• Matrix identities with forms.
• Minimal system of generators for \(O(4)\)-invariants of two skew-symmetric matrices
• Indecomposable orthogonal invariants of several matrices over a field of positive characteristic
• The GL(_n)-invariant ideals of the coordinate ring of pairs of symmetric matrices with product zero
• Linear relations with disjoint supports and average sizes of kernels
• On the \(\mathrm{GL}(n)\)-module structure of Lie nilpotent associative relatively free algebras
• Free Function Theory Through Matrix Invariants
• On the nilpotency degree of the algebra with identity \(x^n=0\).
• Minimal generating and separating sets for O(3)-invariants of several matrices
• The ideal of relations of a ring of highest weight vectors

This page was built for publication: Free relations for matrix invariants in the modular case

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