[论文解读] Khovanov Homology And Gauge Theory

Edward Witten|arXiv (Cornell University)|Aug 15, 2011

Geometric and Algebraic Topology参考文献 17被引用 20

一句话总结

本文提出了一种四维与五维规范场论框架，通过复化陈-Simons泛函的梯度流方程，实现凯霍夫同调与琼斯多项式。通过在无穷远处引入具有非平凡holonomy的边界条件，该构造自然编码了纽结投影，并通过计数椭圆型规范场论方程的解，实现了琼斯多项式的直接、非微扰计算。

ABSTRACT

In these notes, I will sketch a new approach to Khovanov homology of knots and links based on counting the solutions of certain elliptic partial differential equations in four and five dimensions. The equations are formulated on four and five-dimensional manifolds with boundary, with a rather subtle boundary condition that encodes the knots and links. The construction is formally analogous to Floer and Donaldson theory in three and four dimensions. It was discovered using quantum field theory arguments but can be described and understood purely in terms of classical gauge theory. (Based on a lecture at the conference Low-Dimensional Manifolds and High-Dimensional Categories, University of California at Berkeley, June 2011).

研究动机与目标

• 通过四维与五维椭圆型微分方程，提供琼斯多项式与凯霍夫同调的规范场论描述。
• 用基于规范场论模空间中梯度流的几何与分析构造，取代量子场论对偶性。
• 通过在无穷远处具有破缺规范对称性的渐近边界条件，自然地纳入纽结投影，模拟规范理论中的Coulomb分支。
• 建立规范场论方程解的计数与琼斯多项式已知的顶点模型构造之间的直接联系。
• 通过解计数在连续形变下的拓扑不变性，证明所得不变量在构造上与纽结投影无关。

提出的方法

• 在3-流形上的Gℂ-丛上定义复化陈-Simons泛函，通过选择相位e^{iα}后，将其实部用作Morse函数。
• 在复连接空间上赋予G-不变的Kähler度量，从而导出具有四维对称性的梯度流方程。
• 引入拉格朗日乘子场φ₀以强制实现矩映射条件μ = d_A⋆φ = 0，确保在G-值变换下的规范不变性。
• 推导出四维椭圆方程组：(F − φ ∧ φ)^+ = t(d_Aφ)^+，(F − φ ∧ φ)^− = −t^{−1}(d_Aφ)^−，以及d_A⋆φ = 0，其中t = (1 − cosα)/sinα。
• 通过在无穷远处设置φ → ∑c_i dx^i，其中c_i ∈ 𝔟，即Cartan子代数中的可交换三元组，来修改渐近边界条件，以编码纽结投影。
• 利用大距离下的拟阿贝尔近似（1/|c|），将解计数与可积自旋链（如Gaudin模型）及顶点模型关联，从而实现琼斯多项式的直接计算。

实验结果

研究问题

• RQ1 能否在四维与五维中，完全基于规范场论构造而不依赖量子场论对偶性，推导出琼斯多项式？
• RQ2 如何通过边界条件在规范场论框架中自然编码纽结投影？
• RQ3 复化陈-Simons泛函及其梯度流在实现凯霍夫同调中扮演何种角色？
• RQ4 在无穷远处引入非平凡holonomy（Coulomb分支）如何导致拓扑不变性与纽结不变量？
• RQ5 能否将所得椭圆型规范场论方程的解计数直接映射到琼斯多项式的顶点模型实现？

主要发现

• 复化陈-Simons泛函实部的梯度流产生一组在四维中规范群不变的椭圆型方程。
• 方程组(F − φ ∧ φ)^± = ±t^{±1}(d_Aφ)^±与d_A⋆φ = 0允许具有由Langlands对偶群G∨的表示标记的奇点的解。
• 通过在无穷远处设置渐近条件φ → ∑c_i dx^i，该构造自然地通过向量c_i的方向编码纽结投影。
• 对于一般的c_i，方程在大距离下变为拟阿贝尔形式，从而可有效描述为可积自旋链（如Gaudin模型）。
• 论文中定义的解计数J(q;K,R)可直接映射到琼斯多项式的顶点模型构造，提供了非微扰、无场论依赖的推导。
• 所得不变量与纽结投影的选择无关，这由边界条件连续形变下解计数的拓扑不变性所保证。