[論文レビュー] Smallest complex nilpotent orbits with real points

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

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

ひとこと要約

本稿は、非コンパクトな実単純リー代数の複素化における、実リー代数と交わる最小の複素ノンアーベル軌道 $ϴ^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ を特定する。この軌道は、最高制限根空間 $τ_{\lambda}$ によって一意に特徴づけられ、特に $τ_{\lambda}$ の実次元が 2 以上、または制限根系が型 $C$ または $BC$ である場合、Dynkin–Kostant 図を用いて完全な分類がなされる。$ϴ^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \cap \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}_{\mathbb{C}}$ 内の最小非ゼロ $G_{\mathbb{C}}$-軌道を特定する。
• この最小軌道 $\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}$ と交わる軌道の集合における最小性を定義し、3 つの条件（順序における最小性、次元の最小性、$\mathfrak{g}_{\lambda} \setminus \{0\}$ の包含）が同値であることを証明する。
• 重み付き Dynkin 図による Dynkin–Kostant のノンアーベル軌道分類を用い、非最小の場合の $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ を明示的に記述する。
• 最高制限根 $\lambda$ に付随する根空間 $\mathfrak{g}_{\lambda}$ における $MA$-群の作用を、コルート $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}$ を示唆する。
• $\mathfrak{g}$ の制限根 $\xi$ に対して $\gamma_{\xi} = \exp(\pi\sqrt{-1}A_{\xi})$ を生成する群 $F$ を用い、$M = FM_0$ を証明し、$M$-軌道が $\mathfrak{g}_{\lambda} \setminus \{0\}$ 上でどのように作用するかを分析する。
• Fact 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}$ と交わる最小で非ゼロの $G_{\mathbb{C}}$-軌道 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ はどのように特徴づけられるか？
• 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 分類を用いてどのように明示的に記述できるか？
• RQ4 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}} \cap \mathfrak{g}$ の構造は何か？ そして、$\mathfrak{g}$ 内の最小ノンアーベル軌道とどのように関係するか？
• RQ5 制限根系がどのような条件下で、$MA$-作用が $\mathfrak{g}_{\lambda} \setminus \{0\}$ の2つの連結成分を保存するか、あるいは入れ替えるか？

主な発見

• poset $\mathcal{N}_{\mathfrak{g}}/{G_{\mathbb{C}}} \setminus \{[0]\}$ は、唯一の最小元 $\mathcal{O}^{G_{\mathbb{C}}}_{\min,\mathfrak{g}}$ を持ち、3 つの同値条件（閉包順序における最小性、次元の最小性、$\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$-軌道は、制限根系が型 $C$ または $BC$ かどうかに応じて、$\mathfrak{g}_{\lambda} \setminus \{0\}$ の2つの連結成分を保存するか、入れ替えるかが決まる。$M$-作用が成分を入れ替えるのは、根系が型 $C$ または $BC$ でない場合に限る。