[论文解读] Inner derivations of exceptional Lie algebras in prime characteristic

Pablo Alberca-Bjerregaard, Dolores Martín-Barquero+1 more|arXiv (Cornell University)|Feb 10, 2014

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

一句话总结

本文研究了在素数特征下例外型 Chevalley 李代数的内导子。通过 GAP 中的计算方法与结构分析，作者表明，除三种情况外，所有导子均为内导子：在特征 2 下的 G₂、在特征 3 下的 E₆，以及在特征 2 下的 E₇，这些情况下由于中心非平凡或维数不匹配，存在外导子。

ABSTRACT

It is well-known that every derivation of a semisimple Lie algebra $L$ over an algebraically closed field $F$ with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of $F$ is prime with $L$ an exceptional Lie algebra. We prove that if $L$ is a Chevalley Lie algebra of type $\{G_2,F_4,E_6,E_7,E_8\}$ over a field of characteristic $p$ then the derivations of $L$ are inner except in the cases $G_2$ with $p=2$, $E_6$ with $p=3$ and $E_7$ with $p=2$.

研究动机与目标

• 确定在素数特征下，例外型 Chevalley 李代数的导子何时为内导子。
• 通过分析先前定理未完全覆盖的小素数特征（2、3、5）的情况，填补先前结果中的空白。
• 将已知结论扩展至低秩例外代数在特征 ≥5 时所有导子均为内导子的情况。
• 计算导子代数的维数，并与伴随表示进行比较，以检测外导子的存在。
• 通过使用 GAP 的计算验证，确认特定例外李代数中存在外导子。

提出的方法

• 作者使用公式的一般化版本，即任一导子可表示为一个内导子与一个将固定 Cartan 子代数映射到中心的导子之和。
• 计算将固定 Cartan 子代数映射到中心的导子空间的维数，从而将问题简化为计算一个向量空间 V 的维数。
• 对于低秩代数（G₂、F₄），他们使用计算代数系统（GAP）直接计算导子代数的维数。
• 对于高秩代数（E₆、E₇、E₈），他们依赖理论简化，并通过 GAP 对特定特征进行计算验证。
• 通过比较 dim(ad(L)) 与 dim(Der(L)) 来检测外导子：若 dim(Der(L)) > dim(ad(L))，则存在外导子。
• 通过 GAP 命令如 LieCenter(L) 验证代数的中心是否平凡或非平凡。

实验结果

研究问题

• RQ1 当基域具有素数特征时，例外型 Chevalley 李代数的所有导子是否都是内导子？
• RQ2 在先前结果不适用的小素数特征（2、3、5）下，例外李代数的导子代数会发生什么情况？
• RQ3 在哪些情况下，导子代数严格包含伴随表示，表明存在外导子？
• RQ4 代数的中心在正特征下如何影响导子代数的结构？
• RQ5 像 GAP 这类计算工具能否可靠地用于确定高秩例外李代数的导子代数维数？

主要发现

• 在特征 2 下的 G₂，dim(Der(G₂)) = 21 且 dim(ad(G₂)) = 14，因此 Der(G₂) 严格大于 ad(G₂)，表明存在外导子。
• 在特征 3 下的 E₆，dim(Der(E₆)) = 78 且 dim(ad(E₆)) = 77，中心维数为 1，确认存在外导子。
• 在特征 2 下的 E₇，dim(Der(E₇)) = 133 且 dim(ad(E₇)) = 132，中心维数为 1，因此存在外导子。
• 在所有其他情况下，包括 G₂(p=3)、F₄(p=2,3)、E₆(p=2)、E₇(p=3)、E₈(p=2,3,5)，dim(Der(L)) = dim(ad(L))，因此所有导子均为内导子。
• E₆ 在特征 3 下的中心为 1 维，E₇ 在特征 2 下的中心也为 1 维，这导致了外导子的存在。
• 结果确认，在素数特征下，例外 Chevalley 代数中唯一存在外导子的例外情况是 G₂ 在 p=2、E₆ 在 p=3、E₇ 在 p=2。