[论文解读] Comments On The Two-Dimensional Landau-Ginzburg Approach To Link Homology

Dmitry Galakhov, Gregory W. Moore|arXiv (Cornell University)|Jul 14, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 39被引用 10

一句话总结

本文提出了一种基于二维(2,2)超对称朗道-金兹堡模型的物理框架，用于计算纽结同调，推导出从BPS孤子束缚于畴壁构造同调复形的明确规则。结果表明，仅单极子基朗道-金兹堡模型能产生拓扑不变的同调，而杨-杨模型因规范流障碍而失败，并通过费米子零模式与规范流，提供了微分算符的一致符号约定。

ABSTRACT

We describe rules for computing a homology theory of knots and links in $\mathbb{R}^3$. It is derived from the theory of framed BPS states bound to domain walls separating two-dimensional Landau-Ginzburg models with (2,2) supersymmetry. We illustrate the rules with some sample computations, obtaining results consistent with Khovanov homology. We show that of the two Landau-Ginzburg models discussed in this context by Gaiotto and Witten one, (the so-called Yang-Yang-Landau-Ginzburg model) does not lead to topological invariants of links while the other, based on a model with target space equal to the universal cover of the moduli space of $SU(2)$ magnetic monopoles, will indeed produce a topologically invariant theory of knots and links.

研究动机与目标

• 开发一种基于二维(2,2)超对称朗道-金兹堡模型的物理且可计算的纽结同调框架。
• 阐明盖托与维滕提出的两种朗道-金兹堡模型——杨-杨模型或单极子基模型——中哪一种能产生拓扑不变的同调。
• 推导利用孤子束缚与费米子零模式计算同调微分的明确规则。
• 解决规范流障碍对里德迈斯特移动（特别是I型和III型）下不变性的影响。
• 通过近似零频费米子模式，提供微分矩阵元的一致符号约定。

提出的方法

• 基于分离二维朗道-金兹堡模型的畴壁构建网页形式形式，这些模型具有(2,2)超对称性。
• 将原始5D SYM理论的莫尔斯复形建模为规范化的朗道-金兹堡模型，然后简化为无规范、有限维的模型。
• 在畴壁交汇点（束缚点）识别孤子束缚态，并将其分类为两类：双线型（a型）与单线型（b型）交汇。
• 将超荷 Qζ 定义为束缚点处费米子产生与湮灭算符之和，其排序由空间位置决定。
• 利用费米子零模式在绝热形变下的规范流，追踪基态波函数的变化，并推导微分的矩阵元。
• 通过费米子零模式分析确定微分的正确符号结构，解决了早期方法中的不一致性。

实验结果

研究问题

• RQ1 杨-杨-朗道-金兹堡模型是否能为纽结产生拓扑不变的同调理论？
• RQ2 单极子基朗道-金兹堡模型是否能产生一致且拓扑不变的纽结同调？
• RQ3 同调复形中微分矩阵元的正确符号约定是什么？
• RQ4 近似零频费米子模式的规范流效应如何影响微分及其在里德迈斯特移动下的不变性？
• RQ5 a型与b型束缚点在超荷与同调复形构造中起什么作用？

主要发现

• 杨-杨-朗道-金兹堡模型由于规范流障碍（尤其在里德迈斯特I型和III型移动下）无法产生拓扑不变的纽结同调。
• 基于单极子的朗道-金兹堡模型（源自SU(2)磁单极子模空间的万有覆盖）确实能产生拓扑不变的同调理论。
• 同调微分由束缚点处费米子零模式构造的超荷 Qζ 一致确定，其符号由规范流与模式排序推导得出。
• 通过要求绝热演化与规范流下的一致性，微分矩阵元的符号约定被唯一固定，解决了先前的模糊性。
• 对平凡纽结、Hopf纽结、三叶纽结与八字纽结的样本计算结果与预期的柯瓦诺夫同调群一致，证实了该框架的一致性。
• 通过在ζ瞬子跃迁过程中正确计入高频模式向近似零频模式的规范流，里德迈斯特移动下的不变性障碍得以解决。