[论文解读] HyperKähler Potentials in Cohomogeneity Two

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

Geometry and complex manifolds被引用 6

一句话总结

本文使用卡拉比方法显式计算了复单李代数中余维二幂零轨道的超凯勒势，证明了这些势在大多数情况下存在且唯一。在某些情形下，这些势属于一个推广了欧几里得-汉森度量的一参数度量族，从而为所有余维二轨道提供了统一的构造方法，并扩展了关于次最小轨道的已知结果。

ABSTRACT

A hyperKähler potential is a function rho that is a Kähler potential for each complex structure compatible with the hyperKähler structure. Nilpotent orbits in a complex simple Lie algebra are known to carry hyperKähler metrics admitting such potentials. In this paper, we explicitly calculate the hyperKähler potential when the orbit is of cohomogeneity two. In some cases, we find that this structure lies in a one-parameter family of hyperKähler metrics with Kähler potentials, generalising the Eguchi-Hanson metrics in dimension four.

研究动机与目标

• 显式计算复单李代数中余维二幂零轨道的超凯勒势。
• 确定在这些轨道上存在且唯一具有G-不变超凯勒度量并带有凯勒势的条件。
• 通过一参数族将四维的欧几里得-汉森度量推广至高维余维二轨道。
• 为所有余维二幂零轨道提供一种统一的方法，包括其他构造方法失效的情形。
• 通过结合先前结果，完成对次最小轨道超凯勒势的分类。

提出的方法

• 作者应用卡拉比方法，通过一个在超凯勒族中每个复结构下均为凯勒的势函数来构造超凯勒度量。
• 他们利用几乎复结构J在切空间上满足J² = -1的条件，推导出势ρ的偏微分方程组。
• 该方法利用了每个轨道元素均位于一个同构于so(4,ℂ) ≅ sl(2,ℂ) ⊕ sl(2,ℂ)的秩-2实子代数中，从而将问题简化为乘积结构。
• 通过求解涉及导数ρ_s和ρ_t的偏微分方程组，显式求得势ρ = 8√(s² + 9t²)，符号除外。
• 通过将势限制在子轨道O_Δ上，该子轨道是两个sl(2,ℂ)-轨道的乘积，每个轨道均有唯一的超凯勒势，从而确立了唯一性。
• 该构造与已知情形一致，包括比夸德-戈德尚对半单轨道及超凯勒商的成果。

实验结果

研究问题

• RQ1 复单李代数中余维二幂零轨道的超凯勒势的显式形式是什么？
• RQ2 在哪些情况下，这些势属于具有凯勒势的一参数超凯勒度量族？
• RQ3 这些势的存在性如何与轨道及其子代数（特别是so(4,ℂ)）的几何结构相关？
• RQ4 是否可以为所有余维二幂零轨道（包括其他构造方法失效的情形）应用统一的方法？
• RQ5 条件𝔤(1) = 0在度量一参数族出现中的作用是什么？

主要发现

• 余维二幂零轨道的超凯勒势被显式计算为ρ = 8√(s² + 9t²)，正号确保度量正定。
• 当E_+ ≅ ℂ^s ⊗ S⁻¹时，势属于一参数超凯勒度量族，推广了四维的欧几里得-汉森度量。
• 每个轨道的势是唯一的，因为它必须限制在子轨道O_Δ ≅ O₁ × O₂上的唯一超凯勒势。
• 该构造在所有余维二幂零轨道上具有一致性，即使其他方法（如超凯勒商或极限构造）失效时亦成立。
• 一参数族恰好在贝乌维尔丛与余切丛T*ℱ重合时出现，这发生在𝔤(1) = 0时。
• 该方法证实，所有次最小轨道的超凯勒势现已完全已知，完成了该类别的分类。