[论文解读] Lie algebras of small dimension

Helmut Strade|ArXiv.org|Jan 17, 2006

Finite Group Theory Research参考文献 5被引用 5

一句话总结

本文利用结构分解、$p$-包络和根空间分析，对有限域上维数不超过6的非可解李代数的所有同构类进行了分类。关键结果是对这些代数的完整枚举，其显式计数取决于域的大小和特征：当 $p=2$ 时为 $15 + 2|k|$，当 $p=3$ 时为 $19 + |k|$ 加上 $k$ 中满足 $T^3 + T^2 = \xi$ 的解的个数，当 $p=5$ 或 $p>5$ 时分别为 $12 + |k|$ 或 $11 + |k|$。

ABSTRACT

We present a list of all isomorphism classes of nonsolvable Lie algebras of dimension less than 7 over a finite field.

研究动机与目标

• 系统分类有限域上维数 ≤6 的所有非可解李代数的同构类。
• 将现有可解与幂零李代数的分类结果拓展至非可解情形，该领域仍处于研究不足状态。
• 为计算李理论提供一个基础数据库，类似于 GAP 和 MAGMA 中的群分类。
• 建立结构不变量（如环形秩和根空间分解），以实现正特征域上分类的构建。

提出的方法

• $p$-包络的使用，将有限域上的李代数提升为受限李代数，从而能够应用正特征理论中的分类技术。
• 通过根式与商代数 $L / \mathrm{rad}(L)$ 对李代数进行分解，重点关注半单商代数。
• 应用扩展根理论与 Fitting 分解，分析幂零子代数的结构与根空间行为。
• 在商代数中构造 $\mathfrak{sl}(2)$-三元组，并将其提升至完整代数，以排除某些扩张的可能性。
• 利用上同调与自同构论证，证明候选代数之间的非同构性，特别是区分具有不同中心结构的代数。
• 通过分析有限域上多项式方程的解数对同构类进行枚举，尤其针对 $p=3$ 的情形。

实验结果

研究问题

• RQ1 在特征为 $p$ 的有限域上，维数 ≤6 的非可解李代数的同构类共有多少个？
• RQ2 哪些结构不变量——如环形秩、根式与根空间分解——可用来区分正特征域上的这些代数？
• RQ3 这些同构类如何依赖于有限域的大小和特征？
• RQ4 是否所有此类代数均可通过扩张理论，从半单商代数与可解根式构造而成？
• RQ5 $p$-包络与受限李代数结构在小维数非可解李代数分类中起到何种作用？

主要发现

• 当 $p=2$ 时，有限域 $k$ 上 6 维非可解李代数的同构类共有 $15 + 2|k|$ 个。
• 当 $p=3$ 时，同构类的数量为 $19 + |k|$ 加上 $k$ 中满足方程 $T^3 + T^2 = \xi$ 的解的个数。
• 当 $p=5$ 时，同构类的数量为 $12 + |k|$ 个。
• 当 $p > 5$ 时，同构类的数量为 $11 + |k|$ 个。
• 这些代数因中心结构与自同构不变子空间的不同而互不同构，其证明通过上同调与根空间论证明确给出。
• 该分类包括无中心代数与一维中心代数，且通过保持结构的自同构使用反证法，证明了某些代数的非同构性。