[Paper Review] Finite basis problem for identities with involution

Irina Sviridova|arXiv (Cornell University)|Oct 8, 2014

Advanced Topics in Algebra23 references3 citations

TL;DR

This paper establishes a positive solution to the Specht problem for identities with involution in associative algebras over a field of characteristic zero. By proving that any such algebra satisfies the same identities as the Grassmann $ Z/4 d$-envelope of a finite-dimensional $ Z/4 d$-graded algebra with graded involution, and leveraging PI-representability results, the authors show that the $*$-T-ideal of identities is finitely generated, thus resolving the finite basis problem for $*$-identities.

ABSTRACT

We consider associative algebras with involution over a field of characteristic zero. We proved that any algebra with involution satisfies the same identities with involution as the Grassmann envelope of some finite dimensional $Z_4$-graded algebra with graded involution. As a consequence we obtain the positive solution of the Specht problem for identities with involution: any associative algebra with involution over a field of characteristic zero has a finite basis of identities with involution. These results are analogs of theorems of A.R.Kemer for ordinary identities.

Motivation & Objective

• To resolve the Specht problem for identities with involution in associative algebras over fields of characteristic zero.
• To extend Kemer’s classification theorems—originally for ordinary polynomial identities—to the setting of algebras with involution.
• To establish that every associative $*$-algebra over a field of characteristic zero has a finite basis of identities with involution.
• To generalize the supertrick and PI-representability techniques to the context of involutions using $ Z/4 d$-graded structures.
• To provide a structural characterization of $*$-identities via Grassmann envelopes of finite-dimensional $ Z/4 d$-graded algebras with graded involution.

Proposed method

• Construct the Grassmann $ Z/4 d$-envelope $E_4(C)$ of a finite-dimensional $ Z/4 d$-graded algebra $C$ with graded involution, showing that any $*$-algebra is PI-equivalent to such an envelope.
• Use the decomposition $C = B igoplus J$, where $B$ is semisimple and $J$ is a nilpotent graded ideal, to analyze the structure of $E_4(C)$.
• Apply the $*$-T-ideal structure of identities with involution, showing that such ideals are closed under endomorphisms commuting with the involution.
• Leverage multilinear evaluations and the action of the central subalgebra $E_{ar{0}}$ to show that high-degree polynomials vanish in $E_4(C)$ if they involve only nilpotent components.
• Use the fact that $E_{ar{0}}$ acts centrally and preserves the $ Z/4 d$-grading and involution to derive identities that force vanishing of certain evaluations.
• Employ contradiction by assuming a non-finitely generated $*$-T-ideal, then show that a high-degree polynomial $f_k$ must vanish under all evaluations, implying $f_k$ is in the ideal, thus proving finite generation.

Experimental results

Research questions

• RQ1 Can the Specht problem for identities with involution be positively resolved in associative algebras over fields of characteristic zero?
• RQ2 Is every associative $*$-algebra PI-equivalent to the Grassmann envelope of a finite-dimensional $ Z/4 d$-graded algebra with graded involution?
• RQ3 Does the $*$-T-ideal of identities of any associative $*$-algebra over a field of characteristic zero admit a finite basis?
• RQ4 Can the classification theorems of Kemer for ordinary identities be extended to the setting of involutions using $ Z/4 d$-graded structures?
• RQ5 Is there a structural characterization of $*$-identities via finite-dimensional $ Z/4 d$-graded algebras with graded involution?

Key findings

• Any associative algebra with involution over a field of characteristic zero satisfies the same identities with involution as the Grassmann $ Z/4 d$-envelope of some finite-dimensional $ Z/4 d$-graded algebra with graded involution.
• The $*$-T-ideal of identities of any such algebra is finitely generated as a $*$-T-ideal, resolving the finite basis problem for identities with involution.
• The proof relies on the PI-representability of finitely generated $ Z/4 d$-graded PI-algebras with graded involution, established in prior work by the author.
• The structure of the Grassmann envelope $E_4(C)$ decomposes as $E_4(B) igoplus E_4(J)$, where $E_4(B)$ is a $*$-subalgebra and $E_4(J)$ is a nilpotent $*$-ideal of finite degree.
• Evaluations of high-degree multilinear polynomials in $E_4(C)$ vanish if all components are in the nilpotent part, and vanish even when some components are in the semisimple part due to central action of $E_{ar{0}}$.
• The contradiction argument shows that any $*$-T-ideal generated by a set of identities must be finitely generated, as otherwise a high-degree polynomial would be forced into the ideal, violating minimality.