[论文解读] A canonical hyperkaehler metric on the total space of a cotangent bundle

D. Kaledin|ArXiv.org|Nov 30, 2000

Geometry and complex manifolds被引用 4

一句话总结

本文在复流形 $M$ 的余切丛 $T^*M$ 的整体空间上构造了一个典范的超凯勒度量，简化了早期的工作，并为当 $M$ 是赫尔米特对称空间时提供了显式公式。关键贡献是通过一个解特定常微分方程的函数 $f(z)$，给出了超复结构的闭式表达，将几何与 $M$ 的曲率和联络性质联系起来。该构造依赖于 Levi-Civita 联络和 Weil 代数形式语言，度量在零截面附近局部定义。

ABSTRACT

A canonical hyperkaehler metric on the total space $T^*M$ of a cotangent bundle to a complex manifold $M$ has been constructed recently by the author (see alg-geom/9710026). This paper presents the results of alg-geom/9710026 in a streamlined and simplified form. The only new result is an explicit formula obtained for the case when $M$ is an Hermitian symmetric space.

研究动机与目标

• 简化并简化原始发表于百页论文中的 $T^*M$ 上典范超凯勒度量的构造。
• 为 $T^*M$ 上的超凯勒结构提供一个具体、直观的几何解释。
• 当 $M$ 是赫尔米特对称空间时，推导出典范超复结构的显式公式。
• 阐明该构造与 Biquard 和 Gauduchon 早期结果之间的关系。
• 呈现度量在零截面附近的正式形式，承认其收敛到全局度量的问题仍为开放问题。

提出的方法

• 该构造在余切丛 $T^*M$ 上使用 Weil 代数形式语言，利用 $M$ 上的 Levi-Civita 联络。
• 使用一个弱 Hodge 赋值 $D$，对于对称空间，仅 $D_1$ 和 $D_2$ 分量非零。
• 超复结构通过一个包含 $f(A)I$ 和 $I(f(A))^{-1}$ 的矩阵编码，其中 $f(z)$ 是方程 $2zf' + f + f^2 = 3z$ 的解，且满足 $f(0) = 0$。
• $\Theta_{Re}$ 联络被识别为与 $M$ 上 Levi-Civita 联络 $\nabla$ 相关的线性联络，从而简化了结构方程。
• 证明依赖于验证 $R_J = f(A)$，这通过验证在 $\Lambda^1(M,\mathbb{C})$ 上有 $D_+ \circ \sigma = f(A)$ 实现，利用对易子恒等式。
• 利用正规化和曲率条件 ($\nabla R = 0$) 消去 $D$ 的奇数次幂分量，从而显著简化了整个推导过程。

实验结果

研究问题

• RQ1 如何以简化、几何直观的形式重构 $T^*M$ 上的典范超凯勒度量？
• RQ2 当 $M$ 是赫尔米特对称空间时，控制超复结构的显式公式是什么？
• RQ3 该构造与 Biquard 和 Gauduchon 在对称空间上的早期工作有何关系？
• RQ4 函数 $f(z)$ 满足 $2zf' + f + f^2 = 3z$ 在编码超复结构中起什么作用？
• RQ5 为何度量仅在零截面附近以形式幂级数定义，它在何时会收敛为全局度量？

主要发现

• 当 $M$ 是赫尔米特对称空间时，推导出 $T^*M$ 上超复结构的显式公式，其形式为矩阵 $J = \begin{pmatrix} 0 & f(A)I \\ I(f(A))^{-1} & 0 \end{pmatrix}$。
• 函数 $f(z)$ 是常微分方程 $2zf'(z) + f(z) + f^2(z) = 3z$ 在初始条件 $f(0) = 0$ 下的唯一解，该函数控制着超复结构。
• 对于赫尔米特对称空间，$\nabla R$ 的消失意味着所有奇数次幂分量 $D_{2p+1}$ 均为零，从而显著简化了结构。
• $T^*M$ 上的联络 $\Theta_{Re}$ 与 $M$ 上 Levi-Civita 联络 $\nabla$ 所诱导的线性联络一致，从而实现了清晰的几何解释。
• 该构造证实，典范度量由其在零截面附近的性质唯一确定，尽管该度量收敛到整个 $T^*M$ 的问题在本文中仍未得到证明。
• 该结果在形式上与 Biquard 和 Gauduchon 的结果相似但不完全相同，主要区别在于归一化方式和由此产生的函数 $f(z)$。