[论文解读] Invariance of orientation data for ind-constructible Calabi-Yau $A_{\infty}$ categories under derived equivalence

Ben Davison|arXiv (Cornell University)|Jun 28, 2010

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

一句话总结

本文证明了在 motivic Donaldson–Thomas 理论背景下，ind-constructible Calabi-Yau $A_{\infty}$-范畴的定向数据在 derived 等价下保持不变。通过利用 derived 范畴与 quiver 变换构造定向数据，证明了自然选择的定向数据在 cluster 变换与 flops 下保持不变，从而确保了尽管定向数据不唯一，motivic 不变量仍具有一致性。

ABSTRACT

We study orientation data, as introduced by Kontsevich and Soibelman in order to define well-behaved integration maps from the motivic Hall algebra of 3-dimensional Calabi-Yau categories to rings of motives. We start with an example that demonstrates the role of orientation data in this story, before working through the technical details. We give an account of orientation data in the case of categories of compactly supported sheaves on noncompact Calabi-Yau three-folds. We finally study how this structure behaves under pullbacks along quasi-equivalences of categories, prove Kontsevich and Soibelman's conjecture regarding this behaviour, and also some stronger theorems regarding flops and more general tilts.

研究动机与目标

• 通过引入定向数据，解决 motivic Donaldson–Thomas 理论中积分映射定义的歧义。
• 建立定向数据在 derived 等价下保持不变，特别是在 Calabi-Yau $A_{\infty}$-范畴中。
• 证明自然选择的定向数据在 cluster 变换与 flops（如 conifold 情况）下保持不变。
• 通过可构造分解与加权欧拉示性数，提供计算 motivic DT 不变量的一致框架。
• 阐明定向数据在几何转变下保持 motivic 不变量环结构的作用。

提出的方法

• 利用 $A_{\infty}$-范畴中的 Ext-代数导出的双函子与分次向量空间构造定向数据。
• 应用 $A_{\infty}$ Yoneda 嵌入与扭曲对象，以建模模范畴的 derived 范畴。
• 在微分的余核上使用二次型 $Q = \langle d(\bullet), \bullet \rangle$ 定义定向数据。
• 通过维数计数与对偶性证明该二次型是分裂的，从而在 $J_2(\operatorname{Spec}(k))$ 中蕴含平凡性。
• 通过 quiver 变换分析 conifold 情况，证明定向数据在 derived 等价下拉回一致。
• 应用 Behrend 的加权欧拉示性数与可构造函数，将定向数据与 motivic 不变量联系起来。

实验结果

研究问题

• RQ1 在 motivic Donaldson–Thomas 理论中，Calabi-Yau $A_{\infty}$-范畴的定向数据是否在 derived 等价下保持不变？
• RQ2 自然选择的定向数据能否在 cluster 变换与 flops 下一致定义？
• RQ3 微分余核上的二次型 $Q = \langle d(\bullet), \bullet \rangle$ 如何与定向数据的平凡性相关？
• RQ4 定向数据的不变性在可构造分解下在多大程度上确保 motivic DT 不变量的一致性？
• RQ5 在非平凡 mutation（如 conifold 情况）诱导的 derived 等价下，定向数据是否保持不变？

主要发现

• ind-constructible Calabi-Yau $A_{\infty}$-范畴的定向数据在 derived 等价下保持不变，确保了 motivic DT 理论中的一致性。
• 微分余核上的二次型 $Q = \langle d(\bullet), \bullet \rangle$ 是分裂的，意味着其在 $J_2(\operatorname{Spec}(k))$ 中平凡。
• 在 conifold 情况下，通过 mutation quiver 的 derived 等价拉回的定向数据与原始数据同构，即使不假设 $\sqrt{-1} \in k$。
• 维数计数表明当 $\sqrt{-1} \in k$ 时，$\dim(U)$ 为偶数，从而在 $J_2(\mathfrak{V}_{r,3})$ 中 $l$ 为平凡。
• 自然选择的定向数据在 cluster 变换与 flops（如 conifold flop）下可胶合，保持不变量不变。
• 该构造确保了 motivic DT 不变量的环结构在几何转变下保持不变，解决了该理论中的一个关键问题。