[论文解读] Index and stable linear forms of Lie algebras

Patrice Tauvel, Rupert W. T. Yu|ArXiv.org|Feb 5, 2003

Advanced Topics in Algebra参考文献 2被引用 13

一句话总结

本文对李代数上的稳定线性形式给出了纯粹代数的刻画，证明了半单李代数的Borel子代数始终存在稳定线性形式，从而确定了其指标。此外，本文构造了一个反例，表明某些半单李代数的抛物子代数——特别是$D_4$型中的极小抛物子代数——不具有任何稳定线性形式。

ABSTRACT

We characterize, in a purely algebraic manner, certain linear forms, called stable, on a Lie algebra. As an application, we determine the index of a Borel subalgebra of a semi-simple Lie algebra. Finally, we give an example of a parabolic subalgebra of a semi-simple Lie algebra which does not admit any stable linear form.

研究动机与目标

• 为李代数上的稳定线性形式提供纯粹代数的刻画，推广早期基于几何或分析的方法。
• 通过稳定线性形式的存在性，确定半单李代数中Borel子代数的指标。
• 通过构造反例，解决文献中的一项猜想：存在一个半单李代数的抛物子代数，其不具有任何稳定线性形式。
• 阐明稳定性质、余伴从轨道与半单李代数中抛物子代数结构之间的关系。
• 证明稳定线性形式的存在性并非所有抛物子代数的保证，即使在经典类型中也是如此。

提出的方法

• 本文通过定义$K$-稳定性，对线性泛函$f \in \mathfrak{g}^*$进行刻画，其中$K$是$\mathrm{Aut}(\mathfrak{g})$的子群，条件为邻近的余伴从轨道在$K$作用下共轭。
• 利用$\mathfrak{g}$在$\mathfrak{g}^*$上的余伴从作用，定义正交补$\mathfrak{g}^f = \{x \in \mathfrak{g} \mid f([x,y]) = 0 \text{ 对所有 } y\}$，并将其与双线性形式$\Phi_f(x,y) = f([x,y])$的核联系起来。
• 证明Borel子代数中稳定形式的存在性，依赖于构造一个特定元素$u \in \mathfrak{g}$，使得$f = \varphi_{\mathfrak{b}}(u)$为稳定形式，利用根空间分解与Chevalley基。
• 对于反例，构造了一个半单李代数$D_4$型中的极小抛物子代数$\mathfrak{p} = \mathfrak{b} + \Bbbk X_{-\alpha_2}$，并证明任何候选$P$-稳定泛函都会导致$[\mathfrak{p}, \mathfrak{p}^f] \cap \mathfrak{p}^f \neq \{0\}$，与稳定性矛盾。
• 利用存在一个正则元素$h \in \mathfrak{h}$，使得$[h,x] = x$对候选$x \in \mathfrak{p}^f$成立，暗示$\mathfrak{p}^f$在余伴从作用下不是迷向的。
• 论证依赖于映射$\psi: K \times [\mathfrak{g}, \mathfrak{g}^f]^\perp \to \mathfrak{g}^*$的主导性，确保轨道的开性与稠密性，从而推导出正则性与稳定性条件。

实验结果

研究问题

• RQ1 每个半单李代数的Borel子代数是否都存在稳定线性形式？若存在，其指标是多少？
• RQ2 是否能通过稳定线性形式的存在性，代数地计算Borel子代数的指标？
• RQ3 在半单李代数中，抛物子代数是否必然存在稳定线性形式？这是否与先前的猜想一致？
• RQ4 抛物子代数的何种结构条件会阻止稳定线性形式的存在？
• RQ5 抛物子代数的余伴从轨道结构如何与线性泛函的稳定性相关？

主要发现

• 半单李代数$\mathfrak{g}$的Borel子代数$\mathfrak{b}$的指标为$\mathrm{rg}(\mathfrak{g}) - k_{\mathfrak{g}}$，其中$k_{\mathfrak{g}}$是正根的数量。
• 每个半单李代数的Borel子代数至少存在一个稳定线性形式，这意味着存在一个开的余伴从轨道。
• 当且仅当其对偶空间中存在一个正则元素时，Borel子代数的指标为零。
• 一个半单李代数$D_4$型的极小抛物子代数——具体为$\mathfrak{p} = \mathfrak{b} + \Bbbk X_{-\alpha_2}$——不具有任何稳定线性形式。
• 对于任何候选$P$-稳定泛函$f \in \mathfrak{p}^*$，其正交补$\mathfrak{p}^f$都包含一个非零元素$x$，使得$[h,x] = x$对某个正则$h \in \mathfrak{h}$成立，这意味着$[\mathfrak{p}, \mathfrak{p}^f] \cap \mathfrak{p}^f \neq \{0\}$，与稳定性条件矛盾。
• 反例表明，即使在经典类型中，稳定线性形式的存在性也不是抛物子代数的普遍性质。