Hook Theorem for Superalgebras with Superinvolution or Graded Involution
Irina Sviridova, Renata A. Silva
TL;DR
This work extends the classical hook theorem for polynomial identities to the setting of $\#$-superidentities in PI $\#$-superalgebras with a superinvolution or graded involution over characteristic-zero fields. It develops $\#$-cocharacters and an accompanying representation-theoretic framework for the direct product of symmetric groups, establishing a quadruple hook containment result and deriving Amitsur-type identities in this context. A key contribution is the construction of Amitsur $\#$-superpolynomials $E_{\langle d,l \rangle}$ that translate the hook data into polynomial identities, providing necessary and sufficient conditions via multiplicity vanishing outside the hook. The results yield concrete Amitsur $#$-superidentities for all PI $\#$-superalgebras and are illustrated by Grassmann-algebra examples, refining our understanding of how involution structures interact with super identities.
Abstract
We consider a superalgebra with a superinvolution or graded involution $\#$ over a field $F$ of characteristic zero and assume that it is a $PI$-algebra. In this paper, we present the proof of a version of the celebrated hook theorem \cite{SAR} for the case of multilinear $\#$-superidentities. This theorem provides important combinatorial characteristics of identities in the language of symmetric group representations. Furthermore, we present an analogue of Amitsur identities for $\#$-superalgebras, which are polynomial interpretations of the mentioned combinatorial characteristics, as a consequence of the hook theorem.
