[论文解读] Orientation data for coherent sheaves on the local projective plane

Yun Shi|arXiv (Cornell University)|Sep 6, 2018

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

一句话总结

该论文通过证明在自同函子 $\otimes \pi^*\mathcal{O}(1)$ 下，quiver 心 $\mathrm{Mod}\text{-}A^n$ 上的典范定向数据在 quiver 心上的相容性，建立了局部射影平面 $Y = \mathrm{Tot}(\mathcal{O}_{\mathbb{P}^2}(-3))$ 上凝聚层模堆栈的典范定向数据，并表明其与几何定向数据一致。该结果使得 $Y$ 上全局 motivic Donaldson-Thomas 不变量的定义成为可能。

ABSTRACT

In this note, we show that the canonical orientation data on the quiver hearts are compatible under the autoequivalence $\_\otimesπ^*O(1)$, and hence glue to give an orientation data for the stack of coherent sheaves on local P2.

研究动机与目标

• 建立局部射影平面 $Y = \mathrm{Tot}(\mathcal{O}_{\mathbb{P}^2}(-3))$ 上凝聚层模堆栈的全局定向数据。
• 证明 quiver 心 $\mathrm{Mod}\text{-}A^n$ 上的典范定向数据在自同函子 $\otimes \pi^*\mathcal{O}(1)$ 下的相容性，从而实现粘合。
• 证明由 quiver 心构造的粘合定向数据与来自 $Y$ 的导出范畴的几何定向数据一致。
• 为通过一致的定向数据在 $Y$ 上定义 motivic Donaldson-Thomas 不变量提供基础步骤。

提出的方法

• 利用导出等价 $D^b(Y) \simeq D^b(\mathrm{Mod}\text{-}A)$，其中 $A$ 是带势的 quiver 的 Jacobi 代数。
• 应用 Davison [Dav] 中定义的 quiver 心 $\mathrm{Mod}\text{-}A^n$ 上的典范定向数据。
• 通过行列式线丛的典范同构，证明这些定向数据在自同函子 $\otimes \pi^*\mathcal{O}(1)$ 下的相容性。
• 通过相容性条件，将各 $L_{A^n}$ 粘合成 $\bigcup \mathrm{Mod}\text{-}A^n$ 上的全局线丛 $L_a$。
• 通过显式解析 $A^0_{\mathbb{P}^2}$ 和行列式计算，比较粘合后的 quiver 基定向数据 $L_a$ 与几何定向数据 $L_g$。
• 利用 $\det(R\mathcal{H}om(F,F))$ 与 $L_a|_{\mathrm{Coh}_Y}$ 之间的典范同构，证明 $L_g \simeq L_a|_{\mathrm{Coh}_Y}$。

实验结果

研究问题

• RQ1 quiver 心 $\mathrm{Mod}\text{-}A^n$ 上的典范定向数据在自同函子 $\otimes \pi^*\mathcal{O}(1)$ 下是否相容？
• RQ2 在 $\mathrm{Mod}\text{-}A^n$ 上的相容定向数据能否被粘合成 $Y$ 上的凝聚层堆栈的全局定向数据？
• RQ3 由 quiver 心构造的定向数据是否与 $Y$ 上的几何定向数据一致？
• RQ4 在 $Y$ 上的 motivic DT 不变量与通过 $A$-模构造的 quiver 侧方法之间有何关系？

主要发现

• quiver 心 $\mathrm{Mod}\text{-}A^n$ 上的典范定向数据在自同函子 $\otimes \pi^*\mathcal{O}(1)$ 下是相容的，如定理 5 所示。
• 在 $\mathrm{Mod}\text{-}A^n$ 上的相容定向数据可被粘合成 $Y$ 上的凝聚层堆栈 $\mathrm{Coh}_Y$ 上的全局定向数据 $L_a$。
• $\mathrm{Coh}_Y$ 上的几何定向数据 $L_g$ 同构于粘合后的 quiver 基定向数据的限制：$L_g \simeq L_a|_{\mathrm{Coh}_Y}$，如定理 6 所证明。
• $L_g \simeq L_a|_{\mathrm{Coh}_Y}$ 的同构是典范的，并且在所有 $n$ 上保持相容，确保在整个模堆栈上的一致性。
• 该构造在 $\mathrm{Coh}_Y$ 上提供了典范的、全局定义的定向数据，使得 $Y$ 上 motivic Donaldson-Thomas 不变量的定义成为可能。
• 结果确认了 quiver 侧定向数据与几何定向数据一致，验证了 $Y$ 上 motivic DT 框架的一致性。