[论文解读] Purity of critical cohomology and Kac's conjecture

Ben Davison|Edinburgh Research Explorer|Nov 27, 2013

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

一句话总结

本文利用上同调唐纳森-托马斯理论，通过建立修正的有势 quiver $(\widetilde{Q},W)$ 的临界上同调的纯性，使用上同调整数性定理与维数约化，给出了卡克斯正性猜想关于 quiver 表示的新证明。该证明为该猜想的有效性提供了霍奇理论解释。

ABSTRACT

We provide a new proof of the Kac positivity conjecture for an arbitrary quiver $Q$. The ingredients are the cohomological integrality theorem in Donaldson-Thomas theory, dimensional reduction, and an easy purity result. These facts imply the purity of the cohomological Donaldson-Thomas invariants for a quiver with potential $( ilde{Q},W)$ associated to $Q$, which in turn implies positivity of the Kac polynomials for $Q$.

研究动机与目标

• 提供卡克斯猜想的新证明，即计数绝对不可约表示的卡克多项式 $a_\gamma(q)$ 的系数为正。
• 建立由 $Q$ 衍生而来的有势 quiver $(\widetilde{Q},W)$ 的幂零表示所关联的混合霍奇结构 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ 的纯性。
• 证明该纯性通过上同调整数性定理与霍奇结构的特征函数，可推出卡克多项式的正性。
• 通过权多项式与幂结构，阐明精细唐纳森-托马斯不变量与卡克多项式之间的关系。

提出的方法

• 利用唐纳森-托马斯理论中的上同调整数性定理，将精细 DT 分区函数与卡克多项式关联起来。
• 应用维数约化，证明参数化对 $(\rho,\lambda)$ 的堆栈 $Z_\gamma$ 的上同调（其中 $\rho$ 是 $\gamma$-维 $Q$-表示，$\lambda$ 为幂零算子）同构于 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ 的度 $\gamma$ 分量。
• 构造一个分层 $Z_\gamma^0 \subset \cdots \subset Z_\gamma^n = Z_\gamma$，使得每个层 $Z_\gamma^m \setminus Z_\gamma^{m-1}$ 具有纯的紧支集上同调。
• 利用紧支集上同调的长正合列，推导出 $Z_\gamma$ 本身具有纯的紧支集上同调，因此其底层混合霍奇结构 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ 为纯的。
• 对纯霍奇结构应用特征函数 $\chi_{q,x}$，通过幂结构恒等式恢复精细 DT 分区函数，从而将其与 $a_\gamma(q)$ 关联。
• 利用对偶性与幂结构形式系统，将 $\chi_{q,x}(\mathcal{H}^{\operatorname{nilp},\vee}_{\widetilde{Q},W})$ 与 $a_\gamma(q)$ 关联，并由所得级数的整数性与纯性推导出正性。

实验结果

研究问题

• RQ1 如何利用上同调唐纳森-托马斯理论中的霍奇理论工具，重新证明卡克斯正性猜想？
• RQ2 在有势 quiver 的幂零表示模空间的临界上同调中，纯性起什么作用？
• RQ3 维数约化如何将堆栈 $Z_\gamma$ 的上同调与 $(\widetilde{Q},W)$ 的上同调霍奇代数关联？
• RQ4 精细唐纳森-托马斯不变量与卡克多项式 $a_\gamma(q)$ 之间的确切联系是什么？
• RQ5 卡克多项式 $a_\gamma(q)$ 的正性是否可由纯混合霍奇结构的权多项式中系数的正性推导而出？

主要发现

• 混合霍奇结构 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ 是纯的，即其权滤子在每个上同调度上无非平凡扩张。
• 该结构的纯性意味着其关联的 $\chi_{q,x}$-特征函数具有正系数，这些系数与卡克多项式相关联。
• 雅可比代数 $(\widetilde{Q},W)$ 的表示范畴中具有幂零作用的精细唐纳森-托马斯不变量为 $-q^{-1/2}a_\gamma(q)$，与文献 [16] 的结果一致。
• 生成函数 $\chi_{q,x}(\mathop{\rm Gr}^{\operatorname{wt}}(\mathcal{H}_{\widetilde{Q},W}))$ 仅包含 $q$ 的整数次幂，且系数为正，与猜想 3.1 一致。
• 卡克多项式 $a_\gamma(q)$ 满足 $qa_\gamma(q^{-1}) = \sum_{n \in 2\mathbb{Z}} \dim(\mathfrak{g}^{\operatorname{nilp},n}_{\operatorname{prim},\gamma}) q^{n/2}$，通过上同调的初等部分结构确认其正性。
• 该证明表明卡克多项式与 $Q$ 的定向无关，因为对 $(\mathbb{C}\widetilde{Q}, W)$ 在定向反转下保持不变。