草稿

作用群的选择

幂零锥和其上的几何：以 \(\mathfrak{gl}_n\) 为例

math
algebra
lie
作者

sun123zxy

发布于

2026年3月30日

上篇 中简单介绍了复数域上 \(\mathfrak{gl}_n\) 或 \(\mathfrak{sl}_n\) 的共轭 / 幂零轨道的定义．这是 ad hoc 的．一般来说，不同的群作用在李代数 \(\mathfrak{g}\) 上可能导致不同的轨道．本篇介绍我们选择作用群的标准，主要参考 [1, section 1.2]．

仍然先以 \(\mathfrak{gl}_n\) 为例．首先指出，\(\mathfrak{gl}_n\) 上的共轭作用群有更精炼的表达：

命题 1  

  • \(\mathrm{GL}_n\), \(\mathrm{SL}_n\), \(\mathrm{PSL}_n\) 在 \(\mathfrak{gl}_n\) 上的共轭作用导致相同的轨道．
  • \(\mathrm{PSL}_n\) 忠实刻画了 \(\mathfrak{gl}_n\) 的共轭作用群 \(\operatorname{ad}\subseteq \operatorname{Aut}(\mathfrak{gl}_n)\)．

这里 \(\mathrm{SL}_n := \{g \in \mathrm{GL}_n : \det g = 1\}\) 是 \(\mathrm{GL}_n\) 的子群，\(\mathrm{PSL}_n := \mathrm{SL}_n / Z(\mathrm{SL}_n)\) 是 \(\mathrm{SL}_n\) 的商群，\(Z(\mathrm{SL}_n)\) 是 \(\mathrm{SL}_n\) 的中心，\(\operatorname{Aut}(\mathfrak{gl}_n)\) 是 \(\mathfrak{gl}_n\) 的全体李代数同构．

证明.

  • 这是因为任意 \(A \in \mathrm{GL}_n\) 的共轭作用 \(X \mapsto A X A^{-1}\) 都等价于 \((\det A)^{1/n} \in \mathrm{SL}_n\) 的共轭作用，而中心在共轭作用下不起作用．
  • 对群同态 \(\mathrm{SL}_n \to \operatorname{Aut}_{\mathfrak{gl}_n}(\mathfrak{gl}_n)\) 使用第一同构定理．
提示Remark

注记. 可以看到这开始和基域的选择有关．考虑群正合列： \[ 1 \longrightarrow \mathrm{SL}_n \longrightarrow \mathrm{GL}_n \xrightarrow{\det} \mathbb C^\times \longrightarrow 1 \] 右分裂同态 \(c \mapsto (\det c)^{1/n}\) 使得其右侧分裂，从而 \(\mathrm{GL}_n = \mathrm{SL}_n \rtimes Z(\mathrm{GL}_n) \cong \mathrm{SL}_n \rtimes \mathbb C^\times\)．但这是复数域能够开根的结果．

TODO: 这也许和所谓的 split-reductive group 有关．

现在对一般的李代数 \(\mathfrak g\) 明确共轭作用群 \(G_{\operatorname{ad}}\) 的定义．

定理 1 李代数 \(\mathfrak g\) 的共轭作用群有如下多种定义：

  • 代数群 \(\mathrm{GL}(\mathfrak g)\) 单位元所在的连通子群 \(\mathrm{GL}(\mathfrak g)^\circ\)．

    • 它的李代数恰为 \(\mathfrak g\) 的伴随作用们 \(\operatorname{ad}_{\mathfrak g} \subseteq \mathfrak{gl}(\mathfrak g)\)．

  • 如果 \(\mathfrak g\) 半单：\(\operatorname{Aut}(\mathfrak g)^{\circ}\)

    • \(\operatorname{Aut}(\mathfrak g) = \operatorname{Aut}(\mathfrak g)^{\circ} \rtimes \Gamma(\mathfrak g)\)，这里 \(\Gamma(\mathfrak g)\) 是一个有限子群．

  • 如果有一连通半单代数群 \(G\) 使得其李代数 \(\operatorname{Lie}G\) 恰为 \(\mathfrak g\)：对每个 \(G \to G\) 的内自同构取微分得到 \(\mathfrak g \to \mathfrak g\) 的李代数自同构，据此定义出群同态 \(\operatorname{Ad}: G \to \operatorname{Aut}(\mathfrak g)\)．用此同态的像 \(\operatorname{Ad}G\) 作为共轭作用群的定义．

参考文献

[1]
W. M. McGovern, Nilpotent Orbits In Semisimple Lie Algebra: An Introduction. New York: Routledge, 1993. doi: 10.1201/9780203745809.