[論文レビュー] Classification of indefinite hyper-Kaehler symmetric spaces

Dmitri V. Alekseevsky, Vicente Cortés|ArXiv.org|Jul 31, 2000

Advanced Differential Geometry Research参考文献 4被引用数 3

ひとこと要約

この論文は、平坦な因子を含まない単連結な不定形ハイパーケーラー対称空間を分類し、それらが必ず符号型 (4m,4m) であり、可換なホロノミーを持つことを証明する。次に、次元 8m のこのような空間と、実係数の 2m 個の複素変数における同次的四次多項式の空間上での GL(m,ℍ) の作用の軌道との間に自然な 1 対 1 対応を確立する。

ABSTRACT

We classify indefinite simply connected hyper-Kaehler symmetric spaces. Any such space without flat factor has commutative holonomy group and signature (4m,4m). We establish a natural 1-1 correspondence between simply connected hyper-Kaehler symmetric spaces of dimension 8m and orbits of the general linear group GL(m,H) over the quaternions on the space (S^4C^n)^τ of homogeneous quartic polynomials S in n = 2m complex variables satisfying the reality condition S = τS, where τis the real structure induced by the quaternionic structure of C^{2m} = H^m. We define and classify also complex hyper-Kaehler symmetric spaces. Such spaces without flat factor exist in any (complex) dimension divisible by 4.

研究の動機と目的

• 平坦な因子を含まない単連結な不定形ハイパーケーラー対称空間を分類すること。
• そのような空間の符号型とホロノミー構造を特定し、それが (4m,4m) であり、可換ホロノミー群をもつことの証明。
• これらの対称空間と、特定の同次的四次多項式空間上での GL(m,ℍ) の作用の軌道との間の自然な 1 対 1 対応を確立すること。
• 複素ハイパーケーラー対称空間を定義・分類し、それが 4 の倍数の複素次元にのみ存在することを示すこと。
• 定義する四次多項式の安定化部分群を用いて、そのような空間の全自己同型代数を記述すること。

提案手法

• 対称空間理論を用いて、対合 σ に伴うリー代数の分解 𝔤 = 𝔨 + 𝔪 を特定し、𝔪 を単位元における接空間とする。
• ホロノミー代数を 𝔥 = [𝔪,𝔪] として構成し、それが可換であり、実構造 τ を通じて sp(m,m) に埋め込まれることを示す。
• 四次多項式 S ∈ (S⁴E₊)^τ から定義される対称空間 M_S を構成する。ここで E₊ は、クaternion的構造 j を持つ複素シンプレクティックベクトル空間 E の j-不変なラグランジュ部分空間である。
• j によって誘導される S⁴E 上の実構造 τ を用いて、実かつ不変な四次多項式の空間 (S⁴E₊)^τ を定義する。
• GL(m,ℍ) の (S⁴E₊)^τ 上の作用を用いて、軌道同値関係を通じて対称空間を分類する。
• トレースのない 3×3 行列の空間と S⁴ℂ² の間の SO(3,ℂ)--equivariant 同型を用いて、低次元の場合を分類する。

実験結果

リサーチクエスチョン

• RQ1 平坦な因子を含まない単連結な不定形ハイパーケーラー対称空間の符号型とホロノミー構造は何か？
• RQ2 多項式や群の作用といった代数的不変量を用いて、このような空間をどのように分類できるか？
• RQ3 ハイパーケーラー対称空間の自己同型群と、その定義する四次多項式の安定化部分群との関係は何か？
• RQ4 どの複素ハイパーケーラー対称空間が実形式をもつのか？ その条件は何か？
• RQ5 ハイパーケーラー対称空間の低次元ケース（次元 ≤ 8）は、対称行列上での群の軌道からどのように生じるか？

主な発見

• 平坦な因子を含まない任意の単連結な不定形ハイパーケーラー対称空間は、符号型 (4m,4m) であり、可換ホロノミー群をもつ。
• 次元 8m の単連結ハイパーケーラー対称空間と、複素数体 ℂ^{2m} = ℍ^m 上のクaternion的構造によって誘導される実構造 τ を持つ (S⁴ℂ^{2m})^τ 上での GL(m,ℍ) の作用の軌道との間に自然な 1 対 1 対応が存在する。
• 平坦な因子を含まない複素ハイパーケーラー対称空間は、4 の倍数の任意の複素次元に存在し、GL(E₊) の S⁴E₊ 上の作用の軌道によって分類される。
• 次元 4 の場合、平坦でない単連結な複素ハイパーケーラー対称空間はちょうど一つ存在し、S = e⁴ に対応する。
• 次元 8 の場合、分類は ℝ⁺·SO(3) のトレースのない 3×3 実対称行列上での作用の軌道に還元され、SO(3)-equivariant 同型を通じて (S⁴ℂ²)^τ と一対一対応する。
• M_S の全自己同型代数は aut(M_S) = aut(S) + 𝔤 で与えられ、ここで aut(S) は j を保存し、S を零にする複素線形変換からなる。