[论文解读] Isoclinic Lie Crossed Modules

E. Ilgaz, Alper Odabaş+1 more|arXiv (Cornell University)|Feb 10, 2016

Advanced Topics in Algebra参考文献 7被引用 5

一句话总结

本文引入了李交叉模的同构关系——同构性（isoclinism），作为对李代数中同构性的推广，用于在弱于同构的结构相似性下对李交叉模进行分类。研究证明，同构的李交叉模共享关键性质，如幂零性、可解性以及保持类的自同构群，其中关键结果表明，保持类的自同构群在同构性下保持不变。

ABSTRACT

We introduce the notion of isoclinism among crossed modules of Lie algebras, which will be called "Lie crossed modules" hereafter, and investigate some basic properties. Additionally, we introduce the notion of class preserving actor of a Lie crossed module and the relation with isoclinism.

研究动机与目标

• 将此前仅定义于李代数中的同构性概念推广至李交叉模的设定。
• 定义并研究李交叉模的保持类自同构群，其灵感来源于群论中的保持类自同构。
• 建立同构性保持李交叉模基本结构性质（如幂零性和可解性）的结论。
• 证明李交叉模的保持类自同构群在同构性下保持不变，从而为分类提供新的不变量。

提出的方法

• 通过其中心商群与导出子模之间的相容同构，定义李交叉模之间的同构性。
• 利用换位子映射与中心商结构，形式化同构性条件，推广经典李代数同构性。
• 将李交叉模的保持类自同构群定义为保持模结构（模内自同构）的导出映射集合。
• 利用中心商群与导代数之间的诱导同构，在同构的李交叉模之间构造其保持类自同构群的同构。
• 借助中心商群与导代数之间的同构，将导出映射上移，证明保持类自同构群的不变性。
• 应用先前关于李代数同构性的研究成果，将幂零性与可解性等性质推广至交叉模设定。

实验结果

研究问题

• RQ1 如何将最初定义于李代数中的同构性概念，扩展至李交叉模？
• RQ2 李交叉模在同构性下保持哪些结构性质，如幂零性与可解性？
• RQ3 李交叉模的保持类自同构群在同构性下如何表现？
• RQ4 李交叉模的同构性与底层李代数的同构性之间存在何种关系？
• RQ5 包含交叉模（如李代数中的理想）的同构性是否可与对应李代数对的同构性相关联？

主要发现

• 同构性在李交叉模上定义了一个等价关系，其严格弱于同构，从而提供了一套新的分类框架。
• 同构的李交叉模具有相同的幂零类与导出长度，如命题26所证明。
• 李交叉模的保持类自同构群在同构性下保持不变，如等式 $\operatorname{Act}_{\mathcal{C}}(L) \cong \operatorname{Act}_{\mathcal{C}}(K)$ 所示，其中 $L$ 与 $K$ 为同构的交叉模。
• 对于有限维非交换李交叉模，若 $L$ 与 $K$ 同构，则有同构关系 $\operatorname{Der}_{\mathcal{C}}(L) \cong \operatorname{Der}_{\mathcal{C}}(K)$，如推论25所确立。
• 李交叉模的同构性推广了经典李代数同构性：若 $L$ 与 $K$ 作为交叉模同构，则其底层李代数亦同构。
• 包含交叉模 $\mathfrak{g}_1 \hookrightarrow \mathfrak{g}_0$ 与 $\mathfrak{h}_1 \hookrightarrow \mathfrak{h}_0$ 的同构性，等价于对偶李代数对 $(\mathfrak{g}_1, \mathfrak{g}_0)$ 与 $(\mathfrak{h}_1, \mathfrak{h}_0)$ 的同构性。