[论文解读] Donaldson Invariants and Their Generalizations from AKSZ Topological Field Theories

Noriaki Ikeda|arXiv (Cornell University)|Apr 12, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 6

一句话总结

本文基于3度QP-流形构造了唐纳森多项式不变量及其推广，采用四维AKSZ型拓扑场论（TFT），通过可观测代数中多重Q-结构引发的三复形结构，将不变量表示为上同调类，统一了BF理论与拓扑杨-米尔斯理论于AKSZ框架之下，并将唐纳森不变量推广至李代数胚与高阶同伦代数结构。

ABSTRACT

Observable structures of a topological field theory of AKSZ type are analyzed. From a double (or multiple) complex structure of observable algebras, new topological invariants are constructed. Especially, Donaldson polynomial invariants and their generalizations are constructed from a topological field theory of AKSZ type in 4 dimensions recently proposed.

研究动机与目标

• 通过四维AKSZ拓扑场论框架推广唐纳森多项式不变量。
• 分析由Q-结构引发的可观测代数中多重复形结构。
• 在单一AKSZ TFT于3度QP-流形上，将BF理论与拓扑杨-米尔斯理论统一为特例。
• 通过上同调构造将唐纳森不变量推广至李代数胚与同伦李代数胚。
• 在可观测代数中建立三复形结构，以支持超越标准上同调类的一般化不变量。

提出的方法

• 利用AKSZ构造从3度QP-流形构建TFT，通过导出括号形式形式化编码拓扑不变量。
• 在可观测代数上应用双重或多重复形结构，源自交换的同调向量场 $\hat{D}$, $\check{Q}$ 与额外微分算子。
• 通过在分次流形上积分导出拉格朗日量构造AKSZ TFT的行动，通过规范固定程序得到拓扑杨-米尔斯理论与BF理论的极限。
• 在李代数胚 $E$ 上构造 $T^*[3]E[1]$ 上的Q-结构 $\Theta$，其中 $\Theta = \theta_{123}$，编码Chevalley-Eilenberg微分。
• 通过三个交换微分 $\mathbf{Q}_0$, $\mathbf{Q}_{13}$, $\mathbf{Q}_2$（或 $\mathbf{Q}_4$）引入三复形，确保 $\mathbf{Q}_k^2 = 0$ 且当 $k \neq l$ 时 $[\mathbf{Q}_k, \mathbf{Q}_l] = 0$。
• 将不变量定义为上同调类 $\mu_*\mathcal{W}$，其中 $\mathcal{W}$ 为 $\mathbf{Q}_{\text{int}}$-闭可观测量，$\mu_*$ 表示对基流形 $\mathcal{X}$ 的积分。

实验结果

研究问题

• RQ1 如何系统地从四维AKSZ型拓扑场论导出唐纳森多项式不变量？
• RQ2 可观测代数中多重复形结构（三复形）在构造广义不变量中起什么作用？
• RQ3 BF理论与拓扑杨-米尔斯理论如何作为单一AKSZ TFT在3度QP-流形上的特例出现？
• RQ4 能否通过上同调方法将唐纳森不变量的构造推广至李代数胚与同伦李代数胚？
• RQ5 在 $\theta_2 = 0$ 与 $\theta_4 = 0$ 情况下，三复形结构的实现及其对高阶不变量定义的意义是什么？

主要发现

• 唐纳森多项式不变量作为三复形上同调类被构造，该三复形由可观测代数中三个交换微分 $\mathbf{Q}_0$, $\mathbf{Q}_{13}$ 与 $\mathbf{Q}_2$ 构成。
• 在3度QP-流形上的AKSZ TFT通过不同的规范固定选择，统一了BF理论与拓扑杨-米尔斯理论作为特例。
• 广义唐纳森不变量定义为 $\mu_*\mathcal{W}_2$，其中 $\mathcal{W}_2 = (\mathbf{Q}_2\mathbf{q}, \mathbf{Q}_2\mathbf{q})$，其为 $\mathbf{Q}_{\text{int}}$-闭，并在李代数胚设定下产生上同调类。
• 在 $\theta_2 = 0$ 情况下，理论实现了一个三复形，满足 $\mathbf{Q}_0^2 = \mathbf{Q}_{13}^2 = \mathbf{Q}_4^2 = 0$ 且两两之间格拉斯曼交换子为零，从而支持高阶不变量。
• 不变量 $\mathcal{W} = \mathbf{Q}_4(\frac{1}{4}\mathbf{p}_a\mathbf{q}^a)$ 导出 $\int_\mathcal{X} \mu \mathcal{W} \in H^4_{\text{dR}}(\bigwedge^\cdot E^*, \delta)$，在 $\theta_2 = 0$ 情况下对QP-结构进行分类。
• 该构造在映射空间 $\mathcal{X} \to \mathcal{M}$ 上以 $\mathbf{Q}$-上同调类的形式实现了不变量的上同调实现，其中 $\mathcal{M}$ 为3度QP-流形。