[Paper Review] Lie structure of associative algebras containing matrix subalgebras

Alexander Baranov|arXiv (Cornell University)|May 24, 2018

Advanced Topics in Algebra2 references3 citations

TL;DR

This paper establishes that the commutator subalgebra $A^{(1)}$ of an associative algebra $A$ containing a semisimple matrix subalgebra $S$ is perfect under mild conditions on $S$'s structure and the field characteristic. It proves $A^{(1)}$ is perfect, generates $A$ via $A = A^{(1)}A^{(1)} + A^{(1)}$, and is root-graded with respect to a specific weight system derived from $S^{(1)}$. The key contribution is a generalization of earlier results on perfectness and root-grading in Lie algebras arising from associative algebras with matrix subalgebras.

ABSTRACT

We prove that the Lie commutator subalgebra of the associative algebra containing a matrix subalgebra is perfect.

Motivation & Objective

• To determine conditions under which the commutator subalgebra $A^{(1)}$ of an associative algebra $A$ containing a semisimple matrix subalgebra $S$ is perfect.
• To establish that $A^{(1)}$ generates $A$ via $A = A^{(1)}A^{(1)} + A^{(1)}$ under suitable $k$-perfectness conditions on $S$.
• To show that $A^{(1)}$ is root-graded with respect to a specific set of weights derived from the roots and natural/conatural modules of $S^{(1)}$.
• To generalize prior results on perfectness and root-grading in Lie algebras associated with associative algebras containing matrix algebras.

Proposed method

• Use the unital hull $\hat{A}$ of $A$ to analyze $A$ as a bimodule over the unital semisimple algebra $\hat{S}$, decomposing $A$ into $\hat{S}$-bimodule components via $V_{ij} \otimes \Lambda_A(i,j)$.
• Define $V'_{ij}$ as the subspace of $V_{ij}$ spanned by matrices with zero trace in the $i$-th and $j$-th diagonal blocks, ensuring compatibility with the Lie bracket.
• Construct a Lie subalgebra $L$ generated by $V'_{ij} \otimes \Lambda_A(i,j)$ for $(i,j) \neq (0,0)$, and prove $L$ is perfect and contains $Q = [S,S]$.
• Prove that $[X \otimes \lambda, Y \otimes \mu] \in L$ for all $X \otimes \lambda, Y \otimes \mu$ in the decomposition, using traceless matrix identities and bimodule structure.
• Use the decomposition $A = (SA + AS) \oplus A_0$ and the structure of $V_{00} \otimes \Lambda_A(0,0)$ to show $A = LL + L$ via products of $V'_{0i} \otimes \Lambda_A(0,i)$ and $V'_{i0} \otimes \Lambda_A(i,0)$.
• Establish root-grading of $A^{(1)}$ by showing it is graded by the roots of $S^{(1)}$ and weights $\lambda_i + \lambda_j$ from natural/conatural $Q_i$-modules.

Experimental results

Research questions

• RQ1 Under what conditions on the semisimple subalgebra $S$ and the field characteristic is the commutator subalgebra $A^{(1)}$ perfect?
• RQ2 When does $A^{(1)}$ generate the entire algebra $A$ via $A = A^{(1)}A^{(1)} + A^{(1)}$?
• RQ3 Can the Lie algebra $A^{(1)}$ be endowed with a root-grading structure derived from the representation theory of $S^{(1)}$?
• RQ4 How does the $k$-perfectness of $S$ (with $k=1$ or $k=4$) influence the Lie-theoretic properties of $A^{(1)}$?
• RQ5 What is the role of the unital hull $\hat{A}$ and the $\hat{S}$-bimodule decomposition in analyzing the Lie structure of $A^{(1)}$?

Key findings

• The commutator subalgebra $A^{(1)}$ is perfect whenever $A$ is generated by $S$ as an ideal and $S$ is $1$-perfect with $p \neq 2$ or $4$-perfect with $p = 2$.
• The algebra $A$ satisfies $A = A^{(1)}A^{(1)} + A^{(1)}$, meaning $A^{(1)}$ generates $A$ as a two-sided ideal in the Lie algebra sense.
• The Lie algebra $A^{(1)}$ is generated as an ideal by $S^{(1)}$, and its structure is completely determined by the representation theory of $S^{(1)}$.
• The Lie algebra $A^{(1)}$ is $\Gamma$-graded, where $\Gamma$ consists of the roots of $S^{(1)}$ and all weights $\lambda_i + \lambda_j$ with $i < j$, where $\lambda_i$ is a weight of the natural or conatural $Q_i$-module.
• For finite-dimensional $A$, if $A$ is $4$-perfect or $1$-perfect with $p \neq 2$, then $A^{(1)}$ is perfect and $A = A^{(1)}A^{(1)} + A^{(1)}$.
• The proof relies on decomposing $A$ into $\hat{S}$-bimodule components $V_{ij} \otimes \Lambda_A(i,j)$, and showing that all Lie brackets $[X \otimes \lambda, Y \otimes \mu]$ lie in the Lie subalgebra $L$ generated by traceless components $V'_{ij} \otimes \Lambda_A(i,j)$.