Rings of matrix invariants in positive characteristic
type: Item
instance of: scholarly article
title: Rings of matrix invariants in positive characteristic
zbMATH Open document ID: 1024.16014
DOI: 10.1016/S0022-4049(02)00117-2
author: Matyas Domokos
author: S. G. Kuzmin
author: A. N. Zubkov
published in: Journal of Pure and Applied Algebra
publication date: 2003-02-05T00:00:00Z
review text: Let \(R_{n,m}\) be the ring of invariants of \(m\)-tuples of \(n\times n\) matrices, \(m,n\geq 2\), over an infinite field \(K\). In the present very interesting paper the authors focus on explicit presentations (by means of generators and defining relations) of \(R_{n,m}\) in positive characteristic in the spirit of the Razmyslov-Procesi theory of matrix invariants in characteristic 0 and find the exact frontiers for validity of the results of characteristic 0. First they establish the same relation as in characteristic 0 between the multilinear matrix invariants and the Nagata-Higman theorem for nilpotency of nil algebras (which is not more valid if the positive characteristic \(p\) is small with respect to the degree of the nil identity). In particular, the authors discover a new phenomenon: If \(0<\text{char }K\leq n\), then the degree of the generators of \(R_{n,m}\) goes to infinity with \(m\). Then the authors study in detail the case of \(2\times 2\) matrices. They show that \(R_{2,m}\) has a system of generators consisting of \(\det(X_i)\) and \(\text{tr}(X_{i_1}\cdots X_{i_s})\), where \(X_1,\dots,X_m\) are \(2\times 2\) generic matrices and \(1\leq i\leq m\), \(1\leq i_1<\cdots<i_s\leq m\). If \(\text{char }K>2\), then \(R_{2,m}\) is generated by the determinant and the traces for \(s\leq 3\). If \(\text{char }K=2\), then one needs the traces of all products for \(s\leq m\). Further, the authors study the Cohen-Macaulay property of \(R_{n,m}\). In particular, they give an explicit Cohen-Macaulay presentation of \(M_{2,4}\), i.e. a homogeneous system of parameters and a basis of \(R_{2,4}\) as a free module over the algebra generated by this system. (As the authors mention in a foot-note, recently [\textit{M. Hashimoto}, Math. Z. 236, No. 3, 605-623 (2001; Zbl 1034.13007)] showed that \(R_{n,m}\) is Cohen-Macaulay over any infinite field.) Then they show that \(R_{n,m}\) is a complete intersection in characteristic \(p\) exactly in the same cases as in cha…
reviewed by: Vesselin Drensky
Mathematics Subject Classification ID: 16R30
Mathematics Subject Classification ID: 15A72
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 20G05
zbMATH DE Number: 1864816
zbMATH Keywords: matrix invariants
zbMATH Keywords: generic matrices
zbMATH Keywords: Nagata-Higman theorem
zbMATH Keywords: positive characteristic
zbMATH Keywords: generators
zbMATH Keywords: relations
zbMATH Keywords: complete intersections
MaRDI profile type: Publication
cites work: A characteristic free approach to invariant theory
cites work: Relative invariants of 3 × 3 matrix triples∗
cites work: Invariant theory of algebra representations
cites work: Q4793094
cites work: Gröbner bases for the rings of special orthogonal and \(2\times 2\) matrix invariants
cites work: Semi-invariants of quivers as determinants
cites work: Semisimple representations of quivers in characteristic \(p\).
cites work: Invariants of several matrices
cites work: Q5834416
cites work: A new degree bound for vector invariants of symmetric groups
cites work: Invariants and the ring of generic matrices
cites work: The Nagata-Higman theorem
cites work: Q3997783
cites work: Good filtrations of symmetric algebras and strong F-regularity of invariant subrings.
cites work: Q3237210
cites work: Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay
cites work: MULTILINEAR IDENTITIES OF THE ALGEBRAS OVER A FIELD OF CHARACTERISTIC P
cites work: A characterization of linearly reductive groups by their invariants
cites work: On the Cohen-Macaulay property of modular invariant rings
cites work: Q3772351
cites work: Semisimple Representations of Quivers
cites work: Matrix invariants and complete intersections
cites work: Q3739243
cites work: Moduli of vector bundles, Frobenius splitting, and invariant theory
cites work: Frobenius splittings and invariant theory
cites work: On the nilpotency of nil-algebras
cites work: Lectures on introduction to moduli problems and orbit spaces
cites work: The invariant theory of \(n\times n\) matrices
cites work: Computing with 2\(\times 2\) matrices
cites work: TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
cites work: The fundamental theorems of vector invariants
cites work: On vector invariants over finite fields
cites work: Algebraic invariants for a set of matrices
cites work: Algorithms in invariant theory
cites work: Two-graphs and doubly transitive groups
cites work: The ring of invariants of matrices
cites work: The Hilbert series of rings of matrix concomitants
cites work: Matrix invariants over an infinite field of finite characteristic
cites work: Q4948689
full work available at URL: s0022-4049(02)00117-2
OpenAlex ID: W2087790602
description: scientific article; zbMATH DE number 1864816