[论文解读] Non-commutative Donaldson-Thomas theory and vertex operators

Kentaro Nagao|arXiv (Cornell University)|Oct 29, 2009

Algebraic structures and combinatorial models参考文献 29被引用 6

一句话总结

本文通过布里吉兰稳定性条件，在非交换创痕解析的导出范畴上，为挠卡比-雅蔚3流形上的非交换唐纳森-托马斯不变量建立了几何定义，并利用顶点算子方法推导其计算。证明了组合定义与几何定义之间的等价性，表明墙穿跃现象对应于顶点算子的换位关系，并通过t-结构模空间与导出范畴中的晶体模型计算不变量。

ABSTRACT

In arXiv:0907.3784, we introduced a variant of non-commutative Donaldson-Thomas theory in a combinatorial way, which is related with topological vertex by a wall-crossing phenomenon. In this paper, we (1) provide an alternative definition in a geometric way, (2) show that the two definitions agree with each other and (3) compute the invariants using the vertex operator method, following Okounkov-Reshetikhin-Vafa and Young. The stability parameter in the geometric definition determines the order of the vertex operators and hence we can understand the wall-crossing formula in non-commutative Donaldson-Thomas theory as the commutator relation of the vertex operators.

研究动机与目标

• 通过非交换创痕解析的导出范畴上的布里吉兰稳定性条件，为非交换唐纳森-托马斯不变量提供几何定义。
• 证明新几何定义与先前通过拓扑顶点建立的组合定义之间的等价性。
• 利用顶点算子技术计算开DT不变量，将其与顶点算子的换位关系联系起来。
• 将稳定性参数ζ与顶点算子的排序关联，从而将墙穿跃实现为算子换位。

提出的方法

• 将核心范畴 A^ζ 定义为由参数化于ζ的布里吉兰稳定性条件诱导的Aσ-模的导出范畴上的t-结构的中心。
• 将模空间 M^ncDT(ζ,ν,λ) 构造为 P^ζ_{ν,λ} = H^0_{A^ζ}(I_{ν,λ}) 的商的GIT商，其中 P^ζ_{ν,λ} 是理想层的非交换类比。
• 利用光滑解析 Yσ 与非交换代数 Aσ 之间的导出等价性，将 A^ζ 中的对象与 Yσ 上的复形对应起来。
• 将模空间实现为 t-结构的有限维核心 A^fin^ζ 中的商空间，并证明其与原始模空间的同构。
• 应用 [ORV06] 和 [BY10] 中的顶点算子方法，通过由三维杨图构建的生成函数计算不变量。
• 建立一个晶体模型，其中三维杨图中的方块对应于顶点算子代数表示中的基向量，且模结构与 Aσ 的箭头结构相匹配。

实验结果

研究问题

• RQ1 如何通过非交换创痕解析的导出范畴上的布里吉兰稳定性条件，几何地定义非交换唐纳森-托马斯不变量？
• RQ2 在挠卡比-雅蔚3流形的背景下，这些不变量的组合定义与几何定义之间的确切关系是什么？
• RQ3 稳定性参数ζ如何控制顶点算子在不变量计算中的排序？
• RQ4 非交换DT理论中的墙穿跃现象能否被解释为顶点算子之间的换位关系？
• RQ5 通过顶点算子计算的不变量与拓扑顶点构造中的不变量相比如何？

主要发现

• 几何定义与组合定义在非交换DT不变量上等价，为该理论建立了严格的理论基础。
• 稳定性参数ζ决定了顶点算子的排序，且墙穿跃恰好对应于这些算子的换位。
• 模空间 M^ncDT(ζ,ν,λ) 同构于有限维核心 A^fin^ζ 中的商空间，从而实现了有效计算。
• 不变量通过顶点算子方法计算，生成函数由三维杨图构建，编码了箭头代数的表示理论。
• 晶体模型将不变量的模结构实现为三维杨图中方块的直和，且模映射与箭头结构相匹配。
• 晶体模型与层论构造之间的同构在代数 Aσ∘θ∘θi 作用下保持不变，确认了几何与代数框架之间的一致性。