[论文解读] Rozansky-Witten invariants via formal geometry

Maxim Kontsevich|ArXiv.org|Apr 19, 1997

Geometric and Algebraic Topology参考文献 4被引用 26

一句话总结

本文通过形式哈密顿向量场与李代数上同调，提供了罗赞斯基-惠特尼不变量的几何构造，表明这些不变量源于全纯辛流形上辛叶状结构的特征类。关键贡献在于构建了一个普遍的微扰量子陈-西蒙斯理论框架，将RW不变量重新表述为纯粹全息的术语，完全独立于超凯勒度量。

ABSTRACT

We show that recently constructed invariants of 3-dimensional manifolds and of hyperkaehler manifolds (L.Rozansky and E.Witten, hep-th/9612216) come from characteristic classes of foliations and from Gelfand-Fuks cohomology. In particular, any symplectic foliation gives invariants of 3-manifolds. Our preprint has many intersections with the preprint alg-geom/9704009 by M.Kapranov.

研究动机与目标

• 通过形式哈密顿向量场与李代数上同调，提供罗赞斯基-惠特尼不变量的几何化、普遍化构造。
• 通过从辛叶状结构的特征类推导，证明RW不变量是超凯勒流形的形变不变量。
• 将RW不变量完全以全息或代数几何术语重新表述，消除对超凯勒度量的依赖。
• 通过广义AKSZ型拓扑量子场论，建立有理同调3-球面的有限型不变量与卡拉比-丘3-流形的全息不变量之间的联系。

提出的方法

• 在具有循环顶点顺序的三价图的图上同调中构造一个稳定上同调类，代表普遍的有限型不变量。
• 将每个此类图或有理同调3-球面与辛向量空间上形式哈密顿向量代数的连续上同调中的一个上同调类相关联。
• 使用 $\mathfrak{sp}(2n,\mathbf{R})$-不变的 $\mathfrak{ham}^0_{2n}$ 上链的盖尔范德-富克斯型上同调，定义普遍不变量空间 $H^{\bullet}_{2n}$。
• 通过 $\Pi T^{0,1}X_{\mathbf{C}}$ 上的 $Q$-等变结构，定义从该上同调到全纯辛流形 $X$ 的 Dolbeault 上同调 $H^{\bullet}(X, \mathcal{O}_X)$ 的同态。
• 将构造应用于 $Q$-流形和形式辛超流形上的 $Q$-等变丛，将特征类映射推广至超维数 $(2n|k)$。
• 证明从图上同调到 $H^{\bullet}_{2n|k}$ 的结果映射，作为普遍类的拉回，给出罗赞斯基-惠特尼不变量。

实验结果

研究问题

• RQ1 如何通过形式几何与李代数上同调，普遍构造罗赞斯基-惠特尼不变量？
• RQ2 辛叶状结构与 $Q$-结构在定义产生RW不变量的特征类中起什么作用？
• RQ3 能否在完全不依赖超凯勒度量的前提下，以全息或代数几何术语表述RW不变量？
• RQ4 通过拓扑量子场论，3-流形的普遍有限型不变量与卡拉比-丘3-流形的全息不变量之间有何关系？
• RQ5 三价图的图上同调与全纯辛流形的上同调之间的确切关系是什么？

主要发现

• 罗赞斯基-惠特尼不变量被构造为从图上同调类经同态映射到 $H^{\bullet}(X, \mathcal{O}_X)$ 的像，该同态源自辛叶状结构的特征类。
• 该构造与超凯勒度量无关：仅需 $X$ 上的全纯辛结构。
• $Z(M,X)$ 和 $Z_\Gamma(X)$ 是超凯勒流形 $X$ 的形变不变量，因为它们仅依赖于其全纯辛结构。
• 通过形式哈密顿向量场与 $Q$-等变丛的上同调，实现了普遍的微扰量子陈-西蒙斯理论。
• 该框架可推广至辛超流形族，得到从图上同调到 $H^{\bullet}_Q(B)$ 的映射（$Q$-流形 $B$），将构造扩展至超维数 $(2n|k)$。
• AKSZ型拓扑量子场论构造表明，有理同调3-球面的有限型不变量可导出具有全纯体积形式的3维卡拉比-丘流形的全息不变量。