作用群的选择
幂零锥和其上的几何:以 \(\mathfrak{gl}_n\) 为例
一般来说,不同的群作用在李代数 \(\mathfrak{g}\) 上可能导致不同的轨道.本篇介绍我们选择作用群的一般标准,主要参考 [1, section 1.2].
现在对一般的李代数 \(\mathfrak g\) 明确共轭作用群 \(G_{\operatorname{ad}}\) 的定义.
1 A 型李代数
讨论幂零轨道首先需要明确作用群的选择.设 \(V\) 是 \(\mathbb C\) 上 \(n\) 维线性空间.对 \(\mathfrak{gl}(V)\) 来说自然选 \(\mathrm{GL}(V)\) 就好,但 \(\mathfrak{sl}(V)\)、\(\mathfrak{so}(V)\) 和 \(\mathfrak{sp}(V)\) 似乎都应该更加小心.例如,\(\mathfrak{sl}(V)\) 上考虑 \(\mathrm{GL}(V)\) 的子群 \(\mathrm{SL}(V)\) 的共轭作用似乎也非常合理——\(\mathfrak{sl}(V)\) 系由 \(\mathrm{SL}(V)\) 单位元处取切空间得到.更进一步地,不少线性变换产生的实际共轭效果是一致的,最有效地来说应该考虑所有可能的共轭作用构成的群——一个 \(\mathrm{GL}(V)\) 的商群.不过下面的结果告诉我们这其实都没有关系:不同作用群的选择在 \(\mathfrak{gl}(V)\) 或 \(\mathfrak{sl}(V)\) 上导致的轨道是一样的.
证明.
- 这是因为任意 \(g \in \mathrm{GL}(V)\) 的共轭作用 \(X \mapsto g X g^{-1}\) 都等价于 \((\det g)^{-1/n} g \in \mathrm{SL}(V)\) 的共轭作用(标量因子不改变共轭效果),而中心在共轭作用下不起作用.
- 对群同态 \(\mathrm{SL}(V) \to \operatorname{Aut}(\mathfrak{gl}(V))\) 使用第一同构定理.
注记. 可以看到这其实和基域的选择有关.考虑群正合列: \[ 1 \longrightarrow \mathrm{SL}(V) \longrightarrow \mathrm{GL}(V) \xrightarrow{\det} \mathbb C^\times \longrightarrow 1 \] 右分裂同态 \(c \mapsto (\det c)^{1/n}\) 使得其右侧分裂,从而 \(\mathrm{GL}(V) = \mathrm{SL}(V) \rtimes Z(\mathrm{GL}(V)) \cong \mathrm{SL}(V) \rtimes \mathbb C^\times\).这是复数域能够开根的结果.