[论文解读] Quaternion-Kahler spaces, hyperkahler cones, and the c-map

M. Roček, Cumrun Vafa+1 more|ArXiv.org|Mar 2, 2006

Advanced Differential Geometry Research参考文献 24被引用 10

一句话总结

本文构建了通过特殊凯勒几何的c映射得到的四元数凯勒流形上的超凯勒锥（斯瓦恩丛）。它显式地以预势 $F(X)$ 表示了超凯勒势，表明所得到的HKC具有 $n+2$ 个对易的全纯复结构等距，从而可通过与预势 $F$ 相关的齐次函数 $H$ 的围道积分实现勒让德变换描述。关键结果是c映射输出的直接几何实现：一个具有显式势和扭量空间结构的超凯勒锥。

ABSTRACT

Under the action of the c-map, special Kahler manifolds are mapped into a class of quaternion-Kahler spaces. We explicitly construct the corresponding Swann bundle or hyperkahler cone, and determine the hyperkahler potential in terms of the prepotential of the special Kahler geometry.

研究动机与目标

• 构建通过特殊凯勒几何的c映射生成的四元数凯勒流形上的斯瓦恩丛（超凯勒锥）。
• 以特殊凯勒流形的全纯预势 $F(X)$ 表示超凯勒势。
• 证明所得到的超凯勒锥具有 $n+2$ 个对易的全纯复结构等距，与其实 quaternionic 维数一致。
• 通过齐次函数 $H$ 的围道积分，建立超凯勒势的勒让德变换描述，并将其与预势 $F$ 联系起来。
• 以原始特殊凯勒数据的截面形式，提供超凯勒锥扭量空间的几何实现。

提出的方法

• 对实维数为 $2n$ 的射影特殊凯勒流形应用c映射，使用具有坐标 $\phi, \sigma, A^I, B_I$ 的 $G$-丛及半直积群作用。
• 显式构造了四元数凯勒度量，作为以预势 $F$ 表示的 $G$-不变度量，其中 $W^I$ 通过 $\mathcal{N} + \bar{\mathcal{N}}$ 的逆定义。
• 通过引入满足勒让德变换结构的坐标 $w_0, w_I$ 实现超凯勒锥，超凯勒势 $\chi$ 被推导为 $\chi = K(X, \bar{X})$，其中 $X^I$ 以扭量变量表示。
• 使用变量 $G^{\hat{I}}$ 描述扭量空间，关系式为 $2A^I = G^I / G^0$ 和 $4e^{\phi} = K(v, \bar{v}) / (G^0)^2$，将QK坐标与扭量数据联系起来。
• 定义函数 $H(\eta)$ 为 $H(\eta^I, \eta^0) = F[X^I(\eta^I, \eta^0)]$，其中 $X^I = \eta^I / \sqrt{\eta^0}$，并证明其为一次齐次函数。
• 证明超凯勒势等价于原始特殊凯勒几何的凯勒势 $K(X, \bar{X})$，从而确认构造的几何一致性。

实验结果

研究问题

• RQ1 如何显式构造通过特殊凯勒几何的c映射生成的四元数凯勒流形上的斯瓦恩丛（超凯勒锥）？
• RQ2 超凯勒势在特殊凯勒流形的预势 $F(X)$ 下的显式形式是什么？
• RQ3 所得到的超凯勒锥的等距对与其实 quaternionic 维数有何关系，这对势的结构有何含义？
• RQ4 超凯勒势能否通过勒让德变换和围道积分表示，函数 $H$ 在此描述中起什么作用？
• RQ5 超凯勒锥的扭量空间在原始特殊凯勒数据下的几何解释是什么？

主要发现

• 斯瓦恩丛在c映射生成的四元数凯勒空间上的超凯勒势 $\chi$ 显式给出为 $\chi(v, \bar{v}, w, \bar{w}) = K(X^I, \bar{X}^I)$，其中 $K$ 是原始特殊凯勒几何的凯勒势。
• 所得到的超凯勒锥具有 $n+2$ 个对易的全纯复结构等距，等于其 quaternionic 维数，从而允许勒让德变换描述。
• 表征超凯勒锥的函数 $H(\eta)$ 为一次齐次函数，形式为 $H(\eta^I, \eta^0) = F[X^I(\eta^I, \eta^0)]$，其中 $X^I = \eta^I / \sqrt{\eta^0}$，直接将其与预势 $F$ 联系起来。
• 超凯勒锥的扭量空间由 $n+2$ 个 $\mathcal{O}(2)$ 线丛的截面描述，其坐标通过 $2A^I = G^I / G^0$ 和 $4e^{\phi} = K(v, \bar{v}) / (G^0)^2$ 与原始 $A^I, \phi, \sigma$ 关联。
• 通过 $-1/8$ 缩放和坐标识别，从超凯勒锥度量中恢复了四元数凯勒空间的度量，确认与c映射构造的一致性。
• 对于例子 $F(X) = d_{ABC} X^A X^B X^C / X^1$，所得到的超凯勒锥对应对称空间 $SO(n+1,4)/(SO(n+1) \times SO(4))$，确认了其几何分类。