[论文解读] Quiver mutation and combinatorial DT-invariants

Bernhard Keller|arXiv (Cornell University)|Sep 10, 2017

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

一句话总结

本文通过量子丛的突变和量子双对数级数，建立了一类丛的组合DT不变量的构造方法，证明了该组合DT不变量与具有通用势的丛的代数几何总DT不变量一致。关键贡献在于提出了一种系统化方法，通过红化序列计算这些不变量，从而导出新的量子双对数恒等式，并揭示了其与量子丛代数及广义单纯形之间的联系。

ABSTRACT

A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show, for large classes of quivers Q, using quiver mutation and quantum dilogarithms, one can construct the combinatorial DT-invariant, a formal power series intrinsically associated with Q. When defined, it coincides with the "total" Donaldson-Thomas invariant of Q (with a generic potential) provided by algebraic geometry (work of Joyce, Kontsevich-Soibelman, Szendroi and many others). We illustrate combinatorial DT-invariants on many examples and point out their links to quantum cluster algebras and to (infinite) generalized associahedra.

研究动机与目标

• 通过丛突变和量子双对数级数，定义丛的组合DT不变量的构造方法。
• 证明该组合不变量与具有通用势的丛的代数几何总DT不变量一致。
• 探讨组合DT不变量的结构与代数性质，包括其在不同红化序列下的不变性。
• 揭示由同一丛的不同红化序列所生成的新量子双对数恒等式。
• 研究组合DT不变量、量子丛代数与无限广义单纯形之间的联系。

提出的方法

• 本文以丛突变为核心操作，生成丛变换的序列，特别关注将所有顶点变为绿色的红化序列。
• 将组合DT不变量构造为红化序列中每次突变所关联的量子双对数级数的乘积。
• 该方法依赖于Fock-Goncharov的量子双对数形式体系，其提供非交换幂级数以编码突变的动力学行为。
• 通过五边形恒等式及相关代数恒等式，证明了最终乘积在不同红化序列下的不变性。
• 该构造被应用于多种丛族，包括来自Dynkin图、Coxeter群中约化表达式及三角积丛的类型。
• 通过DT不变量的伴随作用分析其阶，识别出其为有限阶（例如阶为6，或 $ m = 2(h + h')/\gcd(h, h') $）或无限阶的情形。

实验结果

研究问题

• RQ1 能否仅通过丛突变与量子双对数，纯组合地计算具有通用势的丛的总Donaldson-Thomas不变量？
• RQ2 同一丛的不同红化序列是否产生等价的量子双对数乘积？它们生成何种恒等式？
• RQ3 组合DT不变量的代数结构为何，特别是其在伴随作用下的阶为何？
• RQ4 组合DT不变量与量子丛代数及广义单纯形之间存在何种联系？
• RQ5 在哪些丛类中，组合DT不变量为有限阶？

主要发现

• 通过红化序列与量子双对数乘积构造的组合DT不变量，与具有通用势的丛的代数几何总DT不变量一致。
• 对于丛 $\vec{A}_4 \square \vec{D}_5$，组合DT不变量定义良好，且在两条不同的最大绿色序列下保持不变，从而导出一个非平凡的量子双对数恒等式。
• 伴随组合DT不变量满足 $(DT_Q)^m = \text{Id}$，其中 $ m = \frac{2(h + h')}{\gcd(h, h')} $，$ h $ 与 $ h' $ 分别为底层Dynkin图的Coxeter数。
• 在 $ A_4 $ 丛中，若取最长元素的约化表达式，则伴随DT不变量的阶为6。
• 对于由 $ A_3 $ 与双箭头丛构成的三角积丛，DT不变量为无限阶，表明其具有更复杂的代数结构。
• 该方法从不同的突变序列中生成新的量子双对数恒等式，推广了五边形恒等式。