[论文解读] Motivic invariants of quivers via dimensional reduction

Andrew Morrison|arXiv (Cornell University)|Mar 19, 2011

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

一句话总结

本文提出了一种维数约化技术，用于在超势能具有线性因子的条件下，通过将虚拟动机表示为约化奎瓦表示的普通动机类，来计算奎瓦的动机唐纳森-托马斯不变量。关键结果是一个约化公式，简化了对轨道丛 $[\mathbb{C}^3/\mathbb{Z}_n]$ 的动机DT不变量的计算，得到了显式生成函数，从而对本·杨关于三维彩色分拆的结果进行了细化。

ABSTRACT

We provide a reduction formula for the motivic Donaldson-Thomas invariants associated to a quiver with superpotential. The method is valid provided the superpotential has a linear factor, it allows us to compute virtual motives in terms of ordinary motivic classes of simpler quiver varieties. We outline an application, giving explicit formulas for the motivic Donaldson-Thomas invariants of the orbifolds $[\CC imes \CC^2/\ZZ_n]$.

研究动机与目标

• 开发一种计算具有超势能的奎瓦的动机唐纳森-托马斯不变量的一般方法，当超势能具有线性因子时。
• 将虚拟动机的计算约化为更简单、约化的奎瓦表示簇的普通动机类。
• 将约化公式应用于计算几何上重要的卡拉比-丘三叉轨道丛 $[\mathbb{C}^3/\mathbb{Z}_n]$ 的动机DT不变量。
• 通过推导这些不变量的显式生成函数，对本·杨关于三维彩色分拆的结果进行动机细化。

提出的方法

• 该方法依赖于维数约化：当超势能 $W = L \cdot R$ 具有线性因子 $L$ 时，$\operatorname{Tr}W$ 的临界集与由 $R(M) = 0$ 定义的约化奎瓦簇 $R^{Q,W}(\mathbf{v})$ 相关联。
• 虚拟动机 $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f})]_{\textrm{vir}}$ 表示为对所有满足 $\mathbf{w} \leq \mathbf{v}$ 的维数向量的求和，涉及子簇 $Y^{Q,W}(\mathbf{v},\mathbf{w},\mathbf{f})$ 和 $Z^{Q,W}(\mathbf{v},\mathbf{w},\mathbf{f})$ 的动机类。
• 约化在格罗滕迪克环 $\mathcal{M}_{\mathbb{C}}^{St}$ 上的量化泊松代数 $S_Q$ 中表述，其非交换乘积 $\ast$ 通过欧拉形式 $\langle \cdot, \cdot \rangle_Q$ 定义。
• 关键恒等式将约化空间的动机与更小DT局部的虚拟动机及补维数约化空间的动机之和联系起来。
• 该方法使用莱夫谢茨动机 $\mathbb{L}^{-1/2}$ 的形式逆平方根，并在格罗滕迪克环中对一般线性群取逆，以处理自同构群。
• 该方法推广了关于 $\mathbb{C}^3$ 的希尔伯特概形的早期结果，并将 [8] 中的上同调霍尔代数约化推广到动机设定。

实验结果

研究问题

• RQ1 当超势能具有线性因子时，如何计算具有超势能的奎瓦的动机唐纳森-托马斯不变量？
• RQ2 临界集 $\operatorname{Tr}W$ 的虚拟动机与约化奎瓦表示簇 $R^{Q,W}(\mathbf{v})$ 的普通动机类之间的确切关系是什么？
• RQ3 维数约化技术能否应用于计算作为卡拉比-丘三叉流形上层的模空间的轨道丛 $[\mathbb{C}^3/\mathbb{Z}_n]$ 的动机DT不变量？
• RQ4 约化公式在多大程度上恢复了已知的经典不变量，例如本·杨关于三维彩色分拆的结果？
• RQ5 如何从约化数据显式构造这些不变量的动机生成函数？

主要发现

• 本文建立了约化公式，将虚拟动机 $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f])}_{\textrm{vir}}$ 表示为约化奎瓦簇 $R^{Q,W}(\mathbf{v}-\mathbf{w})$ 的动机类和更小DT局部的虚拟动机之和。
• 对于轨道丛 $[\mathbb{C}^3/\mathbb{Z}_n]$，动机DT生成函数被显式计算为对所有 $m \geq 1$ 和 $k=1,\dots,m$ 的乘积，涉及 $\mathbb{L}^{2-k+m/2}$ 和 $\mathbb{L}^{1-k+m/2}$ 的项。
• 该公式还包含对 $\{0,\dots,n-1\}$ 中区间 $[a,b]$ 的乘积项，反映了 $\mathbb{Z}_n$ 的表示理论和 $A_n$ 型奎瓦结构。
• 该公式退化为本·杨关于三维彩色分拆的经典不变量，提供了其动机细化。
• 该约化方法通过将问题约化为交换簇和格拉斯曼簇的动机类，成功计算了 $[\mathbb{C}^3/\mathbb{Z}_n]$ 的动机DT不变量。
• 结果表明，$[\mathbb{C}^3/\mathbb{Z}_n]$ 的动机DT不变量由包含莱夫谢茨动机 $\mathbb{L}$、与维数相关的指数以及表示指标上的对称积的乘积公式编码。