Free relations for matrix invariants in the modular case

DOI10.1016/J.JPAA.2011.07.006zbMATH Open1235.13004arXiv1011.5201OpenAlexW2964346319MaRDI QIDQ659880FDOQ659880

Authors: Artem Lopatin 

Publication date: 24 January 2012

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

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].

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

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

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)

Cites Work

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

Cited In (9)

• Matrix identities with forms.
• Linear relations with disjoint supports and average sizes of kernels
• Free Function Theory Through Matrix Invariants
• On the nilpotency degree of the algebra with identity \(x^n=0\).
• The ideal of relations of a ring of highest weight vectors
• 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
• Minimal generating and separating sets for O(3)-invariants of several matrices

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)