[论文解读] A construction of finite-dimensional faithful representation of Lie algebra

Yury A. Neretin|arXiv (Cornell University)|Feb 19, 2002

Advanced Topics in Algebra被引用 11

一句话总结

本文通过利用半直积结构（由李代数的约化部分与幂零理想构成），为任意有限维李代数构造了一个自然且构造性的 Ado 定理证明。该构造基于幂零部分的包络代数，通过商掉一个合适的理想以保证有限维性，并利用约化部分诱导的导子作用来定义作用，从而得到一个忠实模。

ABSTRACT

We give a natural proof of the Ado theorem.

研究动机与目标

• 提供 Ado 定理的一个自然且构造性证明，该定理断言：任意有限维李代数均存在一个有限维忠实表示。
• 通过直接证明一个关键引理，消除对 Chevalley 构造代数包络的依赖，从而实现半直积分解。
• 建立一种系统方法，将任意李代数嵌入到一个约化代数与一个具有完全可约作用的幂零理想之半直积中。
• 引入初等扩张的概念，作为通过余维数为 1 的理想逐步构建此类嵌入的工具。
• 证明忠实表示可通过在包络代数模一个精心选择的理想上使用导子作用显式构造。

提出的方法

• 将李代数 𝔤 视为半直积 𝔭 ⋉ 𝔫，其中 𝔭 为约化代数，𝔫 为幂零理想且具有忠实的伴随作用，进而构造有限维忠实表示。
• 以 𝔫 的普遍包络代数 U(𝔫) 作为表示空间，配备 𝔫 的左乘作用及 𝔭 通过 Leibniz 法则诱导的导子作用。
• 在 U(𝔫) 中定义一个理想 I，由所有长度大于 k+2 的乘积生成，其中 k 为 𝔫 的幂零类，以确保有限维性。
• 构造商空间 U(𝔫)/I，通过 𝔫 和 𝔭 的作用继承有限维 𝔤-模结构。
• 证明 I ∩ A = 0，其中 A 为 1、x 和 x₁x₂ 的线性张成，确保商空间有限维且作用忠实。
• 使用初等扩张——引入形式生成元 y 和 z，并基于导子的 Jordan–Chevalley 分解设定特定交换关系——以归纳方式构建所需的半直积结构。

实验结果

研究问题

• RQ1 Ado 定理能否在不依赖代数包络构造的前提下实现构造性证明？
• RQ2 如何利用李代数的 Levi 分解结构，显式构造其有限维忠实表示？
• RQ3 何种条件可确保约化子代数在幂零理想上的作用完全可约且忠实？
• RQ4 能否通过有限步初等扩张实现李代数嵌入到约化与幂零子代数之半直积中？
• RQ5 导子的 Jordan–Chevalley 分解在通过包络代数构造忠实表示的过程中起何种作用？

主要发现

• 通过构造商空间 U(𝔫)/I（其中 I 为长度 > k+2 的乘积生成的理想），得到任意有限维李代数的有限维忠实表示。
• 𝔤 = 𝔭 ⋉ 𝔫 在 U(𝔫)/I 上的作用是良定义且忠实的，因为 I ∩ A = 0 确保了非退化性。
• 理想 I 在 𝔭 诱导的导子 d_z 作用下不变，从而保持模结构。
• 该方法依赖于存在一个约化子代数 𝔭 和一个幂零理想 𝔫，使得 𝔭 对 𝔫 的伴随作用忠实且完全可约。
• 引理 1（保证此类分解存在的引理）被直接证明，无需借助 Chevalley 构造。
• 初等扩张允许逐步构建所需的半直积结构，通过逐步降低问题复杂度，最终实现目标嵌入。