正特征域上的李理论定理与模李代数

有时，考虑研究数学对象时所假设的背景类型至关重要。例如，在伽罗瓦理论中，如果我们研究的是 $F_p$ 上的域扩张而非 $\mathbb{Q}$ 上的域，其性质可能完全不同。当我们考虑模、代数或向量空间的基域时，常会想到诸如 $\mathbb{C}$ 以及特征为 $p$ 的域 $F$ 等常用域。类似的情形也出现在李代数的研究中。在特征零域上成立的李代数性质，在特征 $p$ 的域上未必成立。通常，我们更熟悉在 $\mathbb{C}$ 上研究李代数及其表示。然而，一个有趣的事实是，通过研究正特征域上的理论，可以发现新的性质。因此，我们将仔细考察当基域具有特征 p 时，李代数理论中的定理和性质如何不再成立或表现不同。事实上，有一个称为模李理论的相关研究领域专门处理这种情况。在该理论中，我们研究诸如受限李代数的定义等概念，即李代数 $L$ 配备了一个 p-映射 $[p] : L \rightarrow L$，定义为 $x\mapsto x^{[p]}$，其中基域具有素数特征。换言之，该理论为研究模李代数引入了一个新工具，即 $p$-映射。在本项目中，我们旨在研究定义在正特征域上的李代数。具体而言，主要关注点将是李代数在此类域上的行为方式，以及我们如何基于此情形下出现的洞见和结构来发展模李理论的一般框架。