[论文解读] 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) 的度量符号型且其仿射 holonomy 代数为交换代数。文章建立了一个一一对应关系：维度为 8m 的此类空间与 GL(m,ℍ) 在满足四元数实性条件的 2m 个复变量上的实齐次四次多项式空间上的轨道一一对应。

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.

研究动机与目标

• 对无平坦因子的单连通不定型超凯勒对称空间进行分类。
• 确定此类空间的度量符号型与仿射 holonomy 结构，证明其必须为 (4m,4m) 且 holonomy 代数为交换代数。
• 建立这些对称空间与 GL(m,ℍ) 在特定齐次四次多项式空间上的轨道之间自然的一一对应关系。
• 定义并分类复超凯勒对称空间，证明其存在于 4 的倍数复维数中。
• 通过定义四次多项式在稳定子群下的作用，描述此类空间的完整自同构代数。

提出的方法

• 利用对称空间理论，通过对合 σ 确定李代数分解 𝔤 = 𝔨 + 𝔪，其中 𝔪 为单位元处的切空间。
• 构造仿射 holonomy 代数 𝔥 = [𝔪,𝔪]，并证明其为交换代数，且通过实结构 τ 嵌入 sp(m,m) 中。
• 从四次多项式 S ∈ (S⁴E₊)^τ 构造对称空间 M_S，其中 E₊ 为具有四元数结构 j 的复辛向量空间 E 的 j-不变拉格朗日子空间。
• 利用 j 在 S⁴E 上诱导的实结构 τ，定义实的、不变的四次多项式空间 (S⁴E₊)^τ。
• 通过 GL(m,ℍ) 在 (S⁴E₊)^τ 上的作用，利用轨道等价性对对称空间进行分类。
• 利用迹为零的 3×3 对称矩阵与 S⁴ℂ² 之间的 SO(3,ℂ)-等变同构，对低维情形进行分类。

实验结果

研究问题

• RQ1 无平坦因子的单连通不定型超凯勒对称空间的度量符号型与仿射 holonomy 结构是什么？
• RQ2 此类空间能否通过多项式与群作用等代数不变量进行分类？
• RQ3 超凯勒对称空间的自同构群与其定义四次多项式稳定子群之间有何关系？
• RQ4 哪些复超凯勒对称空间存在实形式？其存在条件是什么？
• RQ5 在维度 ≤ 8 的情形下，超凯勒对称空间如何通过群轨道作用于对称矩阵而产生？

主要发现

• 任何无平坦因子的单连通不定型超凯勒对称空间的度量符号型必为 (4m,4m)，且其仿射 holonomy 群为交换群。
• 存在一个自然的一一对应关系：维度为 8m 的单连通超凯勒对称空间与 GL(m,ℍ) 在 (S⁴ℂ^{2m})^τ 上的轨道一一对应，其中 τ 是 ℂ^{2m} = ℍ^m 上四元数结构诱导的实结构。
• 无平坦因子的复超凯勒对称空间存在于任意 4 的倍数复维数中，其分类由 GL(E₊) 在 S⁴E₊ 上的作用轨道给出。
• 在复维数为 4 时，恰好存在一个非平坦的单连通复超凯勒对称空间，对应于 S = e⁴。
• 在复维数为 8 时，分类问题退化为 ℝ⁺·SO(3) 在迹为零的 3×3 实对称矩阵上的轨道分类，这些轨道通过 SO(3)-等变同构与 (S⁴ℂ²)^τ 双射对应。
• 空间 M_S 的完整自同构代数为 aut(M_S) = aut(S) + 𝔤，其中 aut(S) 由保持 j 且使 S 恒为零的复线性变换构成。