Graded polynomial identities for matrices with the transpose involution

TL;DR

This paper investigates graded *-identities in matrix algebras with a specific group grading and transpose involution, introducing graph-based methods to generate identities and analyzing their asymptotic behavior.

Contribution

It introduces a graph-based approach to generate and analyze graded *-identities in matrix algebras with crossed-product gradings and transpose involution, providing new proofs and asymptotic formulas.

Findings

Generated a set of identities using directed labeled graphs.

Provided new proofs of Kostant and Rowen's results.

Derived an asymptotic formula for *-graded codimension.

Abstract

Let $G$ be a group of order $k$. We consider the algebra $M_k(\mathbb{C})$ of $k$ by $k$ matrices over the complex numbers and view it as a crossed product with respect to $G$ by embedding $G$ in the symmetric group $S_k$ via the regular representation and embedding $S_k$ in $M_k(\mathbb{C})$ in the usual way. This induces a natural $G$-grading on $M_k(\mathbb{C})$ which we call a crossed-product grading. We study the graded $*$-identities for $M_k(\mathbb{C})$ equipped with such a crossed-product grading and the transpose involution. To each multilinear monomial in the free graded algebra with involution we associate a directed labeled graph. Use of these graphs allows us to produce a set of generators for the $(T,*)$-ideal of identities. It also leads to new proofs of the results of Kostant and Rowen on the standard identities satisfied by skew matrices. Finally we determine an asymptotic formula for the $*$-graded codimension of $M_k(\mathbb{C})$.