卡特有限与仿射型李代数中Cartan子代数正则元存在性的更显式证明问询

Great question! Let's unpack this—you're working through Carter's proof of Cartan subalgebra conjugacy in Finite and Affine Lie Algebras, where the key step is showing every Cartan subalgebra $H$ contains a regular element, using that polynomial map $f(x) = T_x(x)$ (with $T_x \in G$, the inner automorphism group) has a large image. There are more explicit ways to construct such regular elements, though they depend on the structure of the Lie algebra you're working with. Here's the breakdown:

1. 有限维半单李代数的显式构造方法 #

对于有限维半单李代数$\mathfrak{g}$，若已知其关于Cartan子代数$H$的根分解：
$$\mathfrak{g} = H \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}\alpha$$
其中$\Phi$是根集（$H^*$中的非零线性泛函，满足$\mathfrak{g}\alpha = {y \in \mathfrak{g} \mid [h,y] = \alpha(h)y \text{ 对所有 } h \in H}$非平凡），我们可以直接构造正则元：

选取$h \in H$，使得对所有非零根$\alpha \in \Phi$，都有$\alpha(h) \neq 0$。

为什么这个构造有效？ #

元素$h$的中心化子为$\mathfrak{g}^h = {y \in \mathfrak{g} \mid [h,y] = 0}$，根据根分解，它可以表示为：
$$\mathfrak{g}^h = H \oplus \bigoplus_{\alpha: \alpha(h)=0} \mathfrak{g}_\alpha$$
如果$\alpha(h) \neq 0$对所有$\alpha \in \Phi$成立，那么中心化子就只剩下$H$，此时$\dim \mathfrak{g}^h = \dim H$——这正是正则元的定义（中心化子维数等于李代数的秩）。

具体例子 #

在$\mathfrak{sl}(n, \mathbb{C})$（迹为0的$n$阶复矩阵李代数）中，$H$是对角迹零矩阵空间。取$h = \text{diag}(1, 2, \dots, n-1, -(1+2+\dots+(n-1)))$，对于任意根$\alpha = \varepsilon_i - \varepsilon_j$（$\varepsilon_k$提取第$k$个对角元），$\alpha(h) = i - j \neq 0$（因为$i \neq j$），这个$h$就是$H$中显式的正则元。

2. 为何卡特选择非显式的多项式映射方法？ #

卡特的方法有几个关键优势：

• 通用性：该方法适用于更广泛的李代数类型（包括仿射李代数，这类代数的根系统是无限维的，Cartan子代数结构更复杂），而显式构造依赖于根分解的先验知识，在这些复杂场景下难以直接应用。多项式映射方法仅依赖内自同构群和代数簇的基本性质，适用范围更广。
• 逻辑顺序：在Cartan子代数共轭性的证明序列中，正则元的存在性通常是用来推导根系统性质的前提，而非反过来。如果使用基于根分解的显式构造，需要先假设$H$对应的根分解存在，这在理论发展的早期可能尚未被证明，容易导致循环论证。
• 统一框架：多项式映射方法为有限型和仿射型李代数提供了一套统一的证明逻辑，而显式构造在仿射型李代数中会变得繁琐，需要分情况调整。

3. 显式方法的局限性 #

显式构造的前提是已经掌握$\mathfrak{g}$关于$H$的根分解。如果还处于理论发展的早期阶段（根系统尚未完全定义），这种方法就不可行——这也是卡特选择非构造性但逻辑严谨的存在性证明的原因。

内容的提问来源于stack exchange，提问作者user339825