[论文解读] Rozansky-Witten invariants of hyperkähler manifolds

Justin Sawon|ArXiv.org|Apr 20, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 30

一句话总结

本文研究了紧致超凯勒流形的罗扎诺夫斯基-维滕不变量，通过图论方法对曲率张量进行收缩并积分于流形上构造这些不变量。主要贡献在于证明了这些不变量可恢复所有陈数，并在图同调中建立关系，从而以体积和示性数表达几何不变量（如黎曼曲率的范数）。

ABSTRACT

We investigate invariants of compact hyperk{ä}hler manifolds introduced by Rozansky and Witten: they associate an invariant to each graph homology class. It is obtained by using the graph to perform contractions on a power of the curvature tensor and then integrating the resulting scalar-valued function over the manifold, arriving at a number. For certain graph homology classes, the invariants we get are Chern numbers, and in fact all characteristic numbers arise in this way. We use relations in graph homology to study and compare these hyperk{ä}hler manifold invariants. For example, we show that the norm of the Riemann curvature can be expressed in terms of the volume and characteristic numbers of the hyperk{ä}hler manifold. We also investigate the question of whether the Rozansky-Witten invariants give us something more general than characteristic numbers. Finally, we introduce a generalization of these invariants which incorporates holomorphic vector bundles into the construction.

研究动机与目标

• 通过图论方法系统计算紧致超凯勒流形的罗扎诺夫斯基-维滕不变量。
• 确定这些不变量是否提供除示性数之外的更多信息。
• 通过在构造中引入全纯向量丛，推广不变量。
• 探索图同调关系在约束和关联不同流形上不变量方面的作用。
• 计算特定超凯勒流形（如K3曲面的希尔伯特概形和广义库默尔簇）的显式不变量。

提出的方法

• 通过三价图收缩黎曼曲率4-形式的张量幂，利用图同调关系构造不变量。
• 采用卡拉波诺夫的方法，将不变量定义为曲率收缩所得标量函数的积分。
• 应用微扰陈-西蒙斯理论与SU(2)规范群技术，推导图同调关系。
• 利用轮子定理与纽结理论方法，分析图不变量之间的关系。
• 通过将曲率构造与全纯向量丛耦合，引入广义不变量，从而在弦图上构造新的权系。
• 利用赫兹布吕赫 χy-亏格与黎曼-罗赫公式，将不变量与陈数关联，并推导显式表达式。

实验结果

研究问题

• RQ1 能否通过图同调与曲率收缩完全表征罗扎诺夫斯基-维滕不变量？
• RQ2 这些不变量是否包含超越示性数的信息，或是否等价于陈数？
• RQ3 图同调关系如何约束超凯勒流形上不变量的取值？
• RQ4 能否通过这些不变量将黎曼曲率张量的范数表示为体积与示性数的线性组合？
• RQ5 当在构造中引入全纯向量丛时，广义不变量的结构如何？

主要发现

• 所有超凯勒流形的示性数均可表征为特定图同调类对应的罗扎诺夫斯基-维滕不变量。
• 黎曼曲率张量的范数可表示为体积与陈数的线性组合，该结果源于图同调关系。
• 对于K3曲面k个点的希尔伯特概形，显式计算了不变量，并验证其与已知陈数数据一致。
• 广义库默尔簇产生特定数值不变量，例如四阶图的值为1296、432和144。
• 证明了与不连通图Θk对应的不变量在k ≥ 3时为零，表明存在拓扑约束。
• 通过全纯向量丛构造了弦图上的新权系，将原始罗扎诺夫斯基-维滕框架扩展至包含丛数据。