[论文解读] Smallest complex nilpotent orbits with real points

Takayuki Okuda|arXiv (Cornell University)|Feb 27, 2014

Advanced Algebra and Geometry参考文献 13被引用 10

一句话总结

本文确定了非紧致实简单李代数的复化中与实李代数相交的最小复幂零轨道，记为 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$。证明该轨道由最高受限根空间 $\mathfrak{g}_{\lambda}$ 唯一刻画，并在它不同于 $\mathfrak{g}_{\mathbb{C}}$ 中最小幂零轨道时，通过 Dynkin–Kostant 图表完成完整分类，特别是当 $\dim_{\mathbb{R}}\mathfrak{g}_{\lambda} \geq 2$ 或受限根系为 $C$ 型或 $BC$ 型时。证明了交集 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \cap \mathfrak{g}$ 是 $\mathfrak{g}$ 中所有最小幂零轨道的并集。

ABSTRACT

Let us fix a complex simple Lie algebra and its non-compact real form. This paper focuses on non-zero adjoint nilpotent orbits in the complex simple Lie algebra meeting the real form. We show that the poset consisting of such nilpotent orbits equipped with the closure ordering has the minimum. Furthermore, we determine such the minimum orbit in terms of the Dynkin--Kostant classification even in the cases where the orbit does not coincide with the minimal nilpotent orbit in the complex simple Lie algebra. We also prove that the intersection of the orbit and the real form is the union of all minimal nilpotent orbits in the real form.

研究动机与目标

• 确定在闭包序下，与实李代数 $\mathfrak{g}$ 相交的 $\mathfrak{g}_{\mathbb{C}}$ 中最小非零 $G_{\mathbb{C}}$-轨道。
• 以 $\mathfrak{g}$ 的受限根系为依据，刻画唯一最小此类轨道 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$，尤其在它不同于 $\mathfrak{g}_{\mathbb{C}}$ 中最小轨道时。
• 对所有满足 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \neq \mathcal{O}^{G_{\mathbb{C}}}_{\min}$ 的实简单李代数 $\mathfrak{g}$ 进行完全分类，并描述相应的加权 Dynkin 图表。
• 证明 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \cap \mathfrak{g}$ 是 $\mathfrak{g}$ 中所有最小幂零轨道的并集，从而在实与复幂零轨道之间建立结构性联系。

提出的方法

• 利用 $\mathfrak{g}_{\mathbb{C}}$ 中幂零轨道的闭包序定义与 $\mathfrak{g}$ 相交的轨道子集中的极小性，并证明三个条件等价：偏序集中的极小性、最小维数，以及包含 $\mathfrak{g}_{\lambda} \setminus \{0\}$。
• 应用 Dynkin–Kostant 的幂零轨道分类法，通过加权 Dynkin 图表，显式描述非极小情况下的 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$。
• 分析 $MA$-群在与最高受限根 $\lambda$ 相关的根空间 $\mathfrak{g}_{\lambda}$ 上的作用，利用余根 $A_{\lambda}$ 和指数映射研究轨道结构。
• 利用 Satake 图表和 $\mathfrak{g}_{\mathbb{C}}$ 的扩展 Dynkin 图表，检测 $\dim_{\mathbb{R}}\mathfrak{g}_{\lambda} \geq 2$ 的情形，这表明 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \neq \mathcal{O}^{G_{\mathbb{C}}}_{\min}$。
• 使用由 $\gamma_{\xi} = \exp(\pi\sqrt{-1}A_{\xi})$ 生成的群 $F$（$\xi$ 为受限根），并证明 $M = FM_0$，以分析 $M$ 在 $\mathfrak{g}_{\lambda} \setminus \{0\}$ 上的轨道。
• 应用引理 6.9 证明 $\gamma_{\xi} \in M$，并利用 $2\langle\lambda,\xi\rangle / \langle\xi,\xi\rangle$ 的奇偶性，判断 $M$ 在 $\mathfrak{g}_{\lambda} \setminus \{0\}$ 上的作用是否传递，取决于受限根系是否为 $C$ 型或 $BC$ 型。

实验结果

研究问题

• RQ1 在闭包序下，什么特征刻画了与实李代数 $\mathfrak{g}$ 相交的 $\mathfrak{g}_{\mathbb{C}}$ 中最小非零 $G_{\mathbb{C}}$-轨道？
• RQ2 何时最小此类轨道 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ 与 $\mathfrak{g}_{\mathbb{C}}$ 中的最小幂零轨道 $\mathcal{O}^{G_{\mathbb{C}}}_{\min}$ 不同？
• RQ3 当 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ 不是 $\mathfrak{g}_{\mathbb{C}}$ 中的最小轨道时，如何通过 Dynkin–Kostant 分类法显式描述 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$？
• RQ4 交集 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \cap \mathfrak{g}$ 的结构是什么，它与 $\mathfrak{g}$ 中的最小幂零轨道有何关系？
• RQ5 在受限根系满足何种条件下，$MA$-作用在 $\mathfrak{g}_{\lambda} \setminus \{0\}$ 上会保持或交换其两个连通分支？

主要发现

• 偏序集 $\mathcal{N}_{\mathfrak{g}}/{G_{\mathbb{C}}} \setminus \{[0]\}$ 有唯一极小元 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$，其由三个等价条件刻画：闭包序下的极小性、最小维数，以及包含 $\mathfrak{g}_{\lambda} \setminus \{0\}$。
• $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \neq \mathcal{O}^{G_{\mathbb{C}}}_{\min}$ 当且仅当 $\dim_{\mathbb{R}}\mathfrak{g}_{\lambda} \geq 2$，这恰好发生在 $\mathfrak{g} \cong \mathfrak{su}^{*}(2k)$、$\mathfrak{so}(n-1,1)$、$\mathfrak{sp}(p,q)$、$\mathfrak{f}_{4(-20)}$ 或 $\mathfrak{e}_{6(-26)}$ 时，且对应特定指标。
• 当 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \neq \mathcal{O}^{G_{\mathbb{C}}}_{\min}$ 时，该轨道由其加权 Dynkin 图表唯一确定，且在表 1 中显式列出每种情况。
• 复幂零轨道 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ 由最高受限根 $\lambda$ 刻画，且 $\mathfrak{g}_{\lambda} \setminus \{0\}$ 包含于 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ 中。
• $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \cap \mathfrak{g}$ 是 $\mathfrak{g}$ 中所有最小幂零轨道的并集，这是连接实与复幂零轨道的结构性关键结果。
• 当 $\dim_{\mathbb{R}}\mathfrak{g}_{\lambda} = 1$ 时，$MA$-轨道在 $\mathfrak{g}_{\lambda} \setminus \{0\}$ 上的保持或交换取决于受限根系是否为 $C$ 型或 $BC$ 型；当根系不是 $C$ 型或 $BC$ 型时，作用交换两个连通分支。