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

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

Matyas Domokos, Vesselin Drensky

Publication date: 8 October 2020

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

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.

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)

Cites Work

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

Cited In (6)

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

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)