[论文解读] On the noncommutative Donaldson-Thomas invariants arising from brane tilings

Sergey Mozgovoy, Markus Reineke|ArXiv.org|Sep 1, 2008

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

一句话总结

该论文通过路径偏序集中的理想计数，利用规范分次和环面作用，为源自brane tiling的quiver potential代数的非交换Donaldson-Thomas不变量建立了组合公式。证明了一致brane tiling生成3-Calabi-Yau代数，并提出了不变量生成函数的plethystic对数的有理函数猜想。

ABSTRACT

Given a brane tiling, that is a bipartite graph on a torus, we can associate with it a quiver potential and a quiver potential algebra. Under certain consistency conditions on a brane tiling, we prove a formula for the Donaldson-Thomas type invariants of the moduli space of framed cyclic modules over the corresponding quiver potential algebra. We relate this formula with the counting of perfect matchings of the periodic plane tiling corresponding to the brane tiling. We prove that the same consistency conditions imply that the quiver potential algebra is a 3-Calabi-Yau algebra. We also formulate a rationality conjecture for the generating functions of the Donaldson-Thomas type invariants.

研究动机与目标

• 将Szendrői的非交换Donaldson-Thomas不变量从conifold推广至任意brane tiling。
• 通过模空间中framed cyclic模的环面不动点，建立DT不变量的组合公式。
• 证明一致brane tiling生成具有规范分次的3-Calabi-Yau quiver potential代数。
• 提出并检验DT不变量生成函数的plethystic对数有理性的猜想。
• 通过路径偏序集中有限理想与周期平面镶嵌的完美匹配之间的双射，建立不变量与镶嵌的关系。

提出的方法

• 通过引入新顶点*的framed quiver构造，构建quiver potential代数上framed cyclic模的模空间。
• 从brane tiling引入quiver potential代数的规范分次，实现具有有限不动点的环面作用。
• 使用局部化技术，将加权欧拉示性数（DT不变量）表示为不动点之和，从而简化为路径偏序集中理想数的计数。
• 建立路径偏序集中有限理想与具有无穷远处指定行为的周期平面镶嵌完美匹配之间的双射。
• 利用同调代数与势论，证明在一致性条件下quiver potential代数为3-Calabi-Yau代数。
• 定义生成函数$ Z^i(A) $，应用plethystic指数与对数分析其有理性，受已知情形中MacMahon函数的启发。

实验结果

研究问题

• RQ1 如何计算源自brane tiling的quiver potential代数的非交换Donaldson-Thomas不变量？
• RQ2 framed cyclic模的模空间与周期镶嵌的完美匹配之间存在何种关系？
• RQ3 在何种条件下，brane tiling关联的quiver potential代数是3-Calabi-Yau代数？
• RQ4 对于一致brane tiling，不变量生成函数的plethystic对数是否为有理函数？
• RQ5 生成函数是否可普遍表示为MacMahon型函数的乘积？

主要发现

• 通过路径偏序集中有限理想与具有无穷远处指定行为的周期镶嵌完美匹配之间的双射，推导出非交换DT不变量的组合公式。
• 证明了与一致brane tiling关联的quiver potential代数为3-Calabi-Yau代数，推广了conifold情形的已知结果。
• 表明不变量的生成函数$ Z^i(A) $可表示为plethystic运算形式，其plethystic对数在已知情形（如$ \mathbb{C}^3/\mathbb{Z}_n $、$ \mathbb{C}^3/(\mathbb{Z}_2\times\mathbb{Z}_2) $与conifold）下为有理函数。
• 对于悬垂捏合点（suspended pinch point），当变量相等时$ Z^1(A) $的plethystic对数为$ \frac{x^{11}+2x^{10}+\cdots+x}{(1-x^6)^2} $，证实了有理性的成立。
• 对于$ dP3 $的Model I，$ Z^1(A) $的plethystic对数为$ \frac{x^{11}+x^{10}+\cdots+x}{(1-x^6)^2} $，进一步支持了有理函数猜想。
• 提出有理函数猜想：对于任意一致brane tiling，$ \operatorname{Log}(Z^i(A)) $在变量相等时为有理函数，尽管一般情况下不成立（例如$ \mathbb{C}^3/\mathbb{Z}_3 $中$ \frac{1}{3}(1,1,1) $情形）。