Cocharacters for the weak polynomial identities of the Lie algebra of 3 3 skew-symmetric matrices

DOI10.1016/J.AIM.2020.107343zbMATH Open1459.16023OpenAlexW3048094646WikidataQ115361990 ScholiaQ115361990MaRDI QIDQ2006068FDOQ2006068

Authors Matyas Domokos, Vesselin Drensky

Publication date 8 October 2020

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

skew-symmetric matricesclassical invariant theoryweak polynomial identities

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Identities, free Lie (super)algebras (17B01) Trace rings and invariant theory (associative rings and algebras) (16R30) Simple, semisimple, reductive (super)algebras (17B20) Lie algebras of linear algebraic groups (17B45) Representations of finite symmetric groups (20C30)

Abstract: Let $s{o}_3(K)$ be the Lie algebra of $3imes3$ skew-symmetric matrices over a field $K$ of characteristic 0. The ideal $I(M_3(K),s{o}_3(K))$ of the weak polynomial identities of the pair $(M_3(K),s{o}_3(K))$ consists of the elements $f(x_1,ldots,x_n)$ of the free associative algebra $KlangleXangle$ with the property that $f(a_1,ldots,a_n)=0$ in the algebra $M_3(K)$ of all $3imes3$ matrices for all $a_1,ldots,a_{n}ins{o}_3(K)$. The generators of $I(M_3(K),s{o}_3(K))$ were found by Razmyslov in the 1980's. In this paper the cocharacter sequence of $I(M_3(K),s{o}_3(K))$ is computed. In other words, the ${mathrmGL}_p(K)$-module structure of the algebra generated by $p$ generic skew-symmetric matrices is determined. Moreover, the same is done for the closely related algebra of $mathrm{SO}_3(K)$-equivariant polynomial maps from the space of $p$-tuples of $3imes3$ skew-symmetric matrices into $M_3(K)$ (endowed with the conjugation action). In the special case $p=3$ the latter algebra is a module over a $6$-variable polynomial subring in the algebra of $mathrm{SO}_3(K)$-invariants of triples of $3imes3$ skew-symmetric matrices, and a free resolution of this module is found. The proofs involve methods and results of classical invariant theory, representation theory of the general linear group and explicit computations with matrices.

Recommendations

• On the cocharacter sequence of 3 × 3 matrices
• Weak polynomial identities for the matrix algebra of order two
• Weak polynomial identities for the matrix algebras
• On the graded identities and cocharacters of the algebra of \(3\times 3\) matrices
• scientific article; zbMATH DE number 4063331

Cites work

• scientific article; zbMATH DE number 3155603 (Why is no real title available?)
• scientific article; zbMATH DE number 694883 (Why is no real title available?)
• scientific article; zbMATH DE number 1181673 (Why is no real title available?)
• scientific article; zbMATH DE number 1950436 (Why is no real title available?)
• scientific article; zbMATH DE number 1358157 (Why is no real title available?)
• scientific article; zbMATH DE number 3259112 (Why is no real title available?)
• "Problems in the Theory of Rings" Revisited
• Algebras satisfying a Capelli identity
• Central polynomials for matrix rings
• Computing with 2\(\times 2\) matrices
• Finite basing of the identities of a matrix algebra of second order over a field of characteristic zero
• Finite basis property for the identities of representations of a simple three-dimensional Lie algebra over a field of characteristic zero
• Gröbner bases for the rings of special orthogonal and \(2\times 2\) matrix invariants
• Homogeneous polynomial identities
• Invariant theory of special orthogonal groups
• Lie groups. An approach through invariants and representations
• ON A PROBLEM OF KAPLANSKY
• Polynomial identity rings.
• REPRESENTATIONS OF THE SYMMETRIC GROUP AND VARIETIES OF LINEAR ALGEBRAS
• The invariant theory of \(n\times n\) matrices
• Trace rings of generic 2 by 2 matrices
• Weak polynomial identities for a vector space with a symmetric bilinear form

Cited in

(6)

• Matrix valued concomitants of \(\mathsf{SL}_2 (\mathbb{C})\)
• Weak polynomial identities and their applications
• On the graded identities and cocharacters of the algebra of \(3\times 3\) matrices
• On the cocharacter sequence of 3 × 3 matrices
• Bound for the cocharacters of the identities of irreducible representations of \(\mathfrak{sl}_2(\mathbb{C})\)
• Weak polynomial identities for the matrix algebras

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: Cocharacters for the weak polynomial identities of the Lie algebra of \(3 \times 3\) skew-symmetric matrices

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