[论文解读] Lie structure of associative algebras containing matrix subalgebras

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

Advanced Topics in Algebra参考文献 2被引用 3

一句话总结

本文证明了，当一个包含半单矩阵子代数 $S$ 的结合代数 $A$ 满足 $S$ 的结构和域特征的温和条件时，其换位子代数 $A^{(1)}$ 是完全的。它证明了 $A^{(1)}$ 是完全的，且在 $A = A^{(1)}A^{(1)} + A^{(1)}$ 的意义下生成 $A$，并且相对于由 $S^{(1)}$ 导出的特定权系，$A^{(1)}$ 是根加权的。其主要贡献在于将先前关于结合代数中半单矩阵子代数所导出的李代数的完全性与根加权结果进行了推广。

ABSTRACT

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

研究动机与目标

• 确定当一个包含半单矩阵子代数 $S$ 的结合代数 $A$ 的换位子代数 $A^{(1)}$ 为完全代数时的条件。
• 在 $S$ 满足适当的 $k$-完全性条件时，建立 $A^{(1)}$ 通过 $A = A^{(1)}A^{(1)} + A^{(1)}$ 生成 $A$ 的关系。
• 证明 $A^{(1)}$ 相对于由 $S^{(1)}$ 的根及自然/余自然模的权导出的特定权集，是根加权的。
• 将先前关于含矩阵代数的结合代数所导出的李代数的完全性与根加权性质的结果进行推广。

提出的方法

• 使用 $A$ 的单位化包 $\hat{A}$，将 $A$ 视为单位半单代数 $\hat{S}$ 上的双模，通过 $V_{ij} \otimes \Lambda_A(i,j)$ 对 $A$ 进行 $\hat{S}$-双模分量分解。
• 定义 $V'_{ij}$ 为 $V_{ij}$ 中由在第 $i$ 和第 $j$ 个对角块上迹为零的矩阵张成的子空间，以确保与李括号的相容性。
• 构造由 $V'_{ij} \otimes \Lambda_A(i,j)$（$(i,j) \neq (0,0)$）生成的李子代数 $L$，并证明 $L$ 是完全的，且包含 $Q = [S,S]$。
• 利用迹为零的矩阵恒等式和双模结构，证明对所有 $X \otimes \lambda, Y \otimes \mu$ 在分解中，有 $[X \otimes \lambda, Y \otimes \mu] \in L$。
• 利用分解 $A = (SA + AS) \oplus A_0$ 和 $V_{00} \otimes \Lambda_A(0,0)$ 的结构，通过 $V'_{0i} \otimes \Lambda_A(0,i)$ 与 $V'_{i0} \otimes \Lambda_A(i,0)$ 的乘积证明 $A = LL + L$。
• 通过证明 $A^{(1)}$ 是由 $S^{(1)}$ 的根和自然/余自然 $Q_i$-模的权 $\lambda_i + \lambda_j$ 所构成的格，建立 $A^{(1)}$ 的根加权结构。

实验结果

研究问题

• RQ1 在半单子代数 $S$ 和域特征满足何种条件下，换位子代数 $A^{(1)}$ 是完全的？
• RQ2 在何种条件下，$A^{(1)}$ 通过 $A = A^{(1)}A^{(1)} + A^{(1)}$ 生成整个代数 $A$？
• RQ3 是否可以为李代数 $A^{(1)}$ 赋予一个源自 $S^{(1)}$ 表示理论的根加权结构？
• RQ4 $S$ 的 $k$-完全性（$k=1$ 或 $k=4$）如何影响 $A^{(1)}$ 的李理论性质？
• RQ5 单位化包 $\hat{A}$ 和 $\hat{S}$-双模分解在分析 $A^{(1)}$ 的李代数结构中起什么作用？

主要发现

• 当 $A$ 作为理想由 $S$ 生成，且 $S$ 是 $1$-完全的（$p \neq 2$）或 $4$-完全的（$p = 2$）时，换位子代数 $A^{(1)}$ 是完全的。
• 代数 $A$ 满足 $A = A^{(1)}A^{(1)} + A^{(1)}$，这意味着 $A^{(1)}$ 在李代数意义下作为双边理想生成了 $A$。
• 李代数 $A^{(1)}$ 作为理想由 $S^{(1)}$ 生成，其结构完全由 $S^{(1)}$ 的表示理论决定。
• 李代数 $A^{(1)}$ 是 $\Gamma$-加权的，其中 $\Gamma$ 包含 $S^{(1)}$ 的根以及所有满足 $i < j$ 的权 $\lambda_i + \lambda_j$，其中 $\lambda_i$ 是自然或余自然 $Q_i$-模的权。
• 当 $A$ 是有限维时，若 $A$ 是 $4$-完全的，或在 $p \neq 2$ 条件下为 $1$-完全的，则 $A^{(1)}$ 是完全的，且 $A = A^{(1)}A^{(1)} + A^{(1)}$。
• 证明依赖于将 $A$ 分解为 $\hat{S}$-双模分量 $V_{ij} \otimes \Lambda_A(i,j)$，并证明所有李括号 $[X \otimes \lambda, Y \otimes \mu]$ 都落在由迹为零的分量 $V'_{ij} \otimes \Lambda_A(i,j)$ 生成的李子代数 $L$ 中。