[論文レビュー] The HyperKähler Geometry Associated to Wolf Spaces

Piotr Kobak, Andrew Swann|ArXiv.org|Jan 5, 2000

Geometry and complex manifolds被引用数 4

ひとこと要約

本稿は、複素単純リー代数 $\mathfrak{g}^\mathbb{C}$ の最小冪零軌道 $\mathcal{O}_{\text{min}}$ 上の超ケーラー計量の一意性を、$G$-不変性および複素シンプレクティック形式 $\omega_c$ との整合性の下で確立する。ノルム $\eta = \|X\|^2$ のみに依存するケーラー潜在関数 $\rho$ を用いて、著者らは複素構造 $J$ を明示的に導出し、$\mathfrak{g}^\mathbb{C} \neq \mathfrak{sl}(2,\mathbb{C})$ の場合にのみ計量が一意であることを証明する。一方、$\mathfrak{sl}(2,\mathbb{C})$ の場合にはエグッチ・ハンソン族が現れる。

ABSTRACT

Let G be a compact simple Lie group and the O the minimal nilpotent orbit in g^C. We determine all G-invariant Kähler potentials for hyperKähler metrics compatible with the KKS complex symplectic form on O.

研究の動機と目的

• 最小冪零軌道 $\mathcal{O}_{\text{min}}$ 上の $G$-不変超ケーラー計量を、複素シンプレクティック形式 $\omega_c$ と整合するように特定する。
• ハイパーケーラー潜在関数を仮定せずに、ケーラー潜在関数 $\rho$ から複素構造 $J$ を明示的に構成する。
• このような計量が $\mathfrak{g}^\mathbb{C} \neq \mathfrak{sl}(2,\mathbb{C})$ の場合にのみ一意であることを確立する。この場合、$\mathfrak{sl}(2,\mathbb{C})$ では1パラメータ族（エグッチ・ハンソン）が存在する。
• 潜在関数 $\rho$ の形が、最小軌道としての同定を一意に決定することを示し、幾何的構造とリー代数のルートデータを結びつける。

提案手法

• 最高根ベクトル $E_\alpha$ における $G^\mathbb{C}$ の随伴作用を用いて軌道 $\mathcal{O}_{\text{min}}$ をパラメータ化し、$X = tE_\alpha$ とおく。
• ケーラー潜在関数 $\rho$ を $\eta = \|X\|^2$ の関数として定義し、ケーラー形式 $\omega_I = -\frac{1}{2}dId\rho$ を用いて計量 $g$ を計算する。
• 計量から $\omega_J(X,Y) = g(X, JY)$ を用いて複素構造 $J$ を導出し、$J^2 = -\text{Id}$ を課して $\rho$ に制約を加える。
• $\mathfrak{sl}(2,\mathbb{C})$ の部分代数の作用を用いて接空間を分解し、根空間上で $J^2$ を解析することで $\rho$ に対する微分方程式の制約を導出する。
• 得られた常微分方程式を解き、$\rho' = \lambda/(2\eta^{1/2})$ が得られ、$\lambda^2$ がリー代数に依存することを示し、$J^2 = -\text{Id}$ を満たすためには $c=0$ が必須であることを示す。
• $\mathfrak{g}^\mathbb{C} \neq \mathfrak{sl}(2,\mathbb{C})$ の場合に、$J_X\xi_A = -\frac{\lambda}{2\eta^{3/2}}\left(2\eta[X,\sigma\xi_A] - \langle\sigma\xi_A, X\rangle[X,\sigma X]\right)$ を明示的に記述する。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{O}_{\text{min}}$ 上に $G$-不変な超ケーラー計量が存在するか。もし存在するならば、その数はいくつあるか？
• RQ2 ハイパーケーラー潜在関数を仮定せず、ケーラー潜在関数 $\rho$ から複素構造 $J$ を明示的に構成できるか？
• RQ3 $\rho$ が $\eta = \|X\|^2$ の関数であるとき、$J^2 = -\text{Id}$ の条件が潜在関数 $\rho$ に課す制約は何か？
• RQ4 $\mathfrak{g}^\mathbb{C} \neq \mathfrak{sl}(2,\mathbb{C})$ の場合、$\mathcal{O}_{\text{min}}$ 上の超ケーラー構造は一意か？
• RQ5 潜在関数 $\rho$ の形が、軌道が最小であることを一意に特定するか？

主な発見

• $\mathfrak{g}^\mathbb{C} \neq \mathfrak{sl}(2,\mathbb{C})$ の場合、$G$-不変ケーラー潜在関数を有する最小冪零軌道 $\mathcal{O}_{\text{min}}$ には、$\omega_c$ と整合する唯一の超ケーラー計量が存在する。これは、潜在関数のアンサッツにおける $c=0$ の必要性によって示される。
• $\mathfrak{g}^\mathbb{C} = \mathfrak{sl}(2,\mathbb{C})$ の場合、一意な計量はエグッチ・ハンソン族に対応し、1パラメータ族の計量が得られる。
• 複素構造 $J$ は、$\lambda^2$ がリー代数に依存する定数を除いて、$J_X\xi_A = -\frac{1}{2\eta^{3/2}}\left(2\eta[X,\sigma\xi_A] - \langle\sigma\xi_A, X\rangle[X,\sigma X]\right)$ として明示的に与えられる。
• $\lambda^2$ の値は、$\mathfrak{sl}(n,\mathbb{C})$ では $2n$、$\mathfrak{g}_2$ では $8$、$\mathfrak{f}_4$ では $18$、$\mathfrak{e}_6$ では $24$、$\mathfrak{e}_7$ では $36$、$\mathfrak{e}_8$ では $70$ であり、ルート系のデータを反映している。
• 潜在関数 $\rho$ が $\eta = \|X\|^2$ の関数であり、超ケーラー構造を定義するならば、軌道は最小でなければならない。これは、$\operatorname{ad}_E\operatorname{ad}_F$ が $\operatorname{ad}_E$ の像上で固有値 $1$ を持つ必要があることから、表現が次元 $1$ でなければならないことによって示される。
• 計量の一意性は、ケーラー潜在関数 $\rho$ が必然的にハイパーケーラー潜在関数であることを意味する。なぜなら、構造は $\rho$ と $\omega_c$ との整合性によって完全に決定されるからである。