[论文解读] Dimer models and exceptional collections

Akira Ishii, Kazushi Ueda|arXiv (Cornell University)|Nov 24, 2009

Algebraic structures and combinatorial models参考文献 33被引用 20

一句话总结

该论文通过利用晶格模型和完美匹配，在任意二维光滑toric弱Fano堆栈上构建了全强例外线丛族。它证明了该族的总自同态代数同构于由一致晶格模型导出的有关系的quiver的路径代数，从而在堆栈上的凝聚层的导范畴与该quiver代数的模的导范畴之间建立了导等价关系。

ABSTRACT

We construct a full strong exceptional collection consisting of line bundles on any two-dimensional smooth toric weak Fano stack. The total endomorphism algebra of the resulting collection is isomorphic to the path algebra of a quiver with relations associated with a dimer model and a perfect matching on it.

研究动机与目标

• 在任意二维光滑toric弱Fano堆栈上构造全强例外线丛族。
• 在该类堆栈上的凝聚层的导范畴与有关系的quiver代数的模的导范畴之间建立导等价关系。
• 证明例外丛族的自同态代数同构于由晶格模型和完美匹配导出的quiver的路径代数。
• 通过典范丛的解析与导范畴限制，将晶格模型方法从Calabi-Yau三fold推广至弱Fano堆栈。

提出的方法

• 在toric弱Fano堆栈X的典范丛KX的全空间上构造一个tilting对象V，作为模空间Mθ上tautological线丛的直和。
• 利用晶格模型G = (B, W, E)定义一个有关系的quiver，其路径代数同构于End(V)。
• 应用Calabi-Yau技巧证明V是KX上的tilting对象，从而诱导出导等价。
• 将V限制在KX的零截面，得到X上的tilting对象E，其为线丛的直和。
• 将E的自同态代数识别为End(V)关于由中心元素W生成的理想之商，其中W对应于一个完美匹配。
• 利用导范畴限制与晶格模型的结构，通过完美匹配描述自同态代数。

实验结果

研究问题

• RQ1 是否可以在任意二维光滑toric弱Fano堆栈上构造全强例外线丛族？
• RQ2 此类族的总自同态代数是否同构于由晶格模型导出的有关系quiver的路径代数？
• RQ3 通过晶格模型，toric弱Fano堆栈上的凝聚层的导范畴与quiver代数的导范畴有何关系？
• RQ4 完美匹配在描述例外丛族的自同态代数中起什么作用？

主要发现

• 在任意二维光滑toric弱Fano堆栈上，全强例外线丛族存在。
• 该族的总自同态代数同构于与一致晶格模型和完美匹配相关的有关系quiver的路径代数。
• 堆栈上的凝聚层的导范畴与quiver代数的模的导范畴之间存在导等价。
• 例外丛族的自同态代数被实现为KX上tilting对象的自同态代数关于中心元素W的商。
• KX上tilting对象在零截面上的限制给出X上一个tilting对象，其为线丛的直和。
• 对应于零截面的自同态代数中的理想通过完美匹配描述，将代数结构与组合数据联系起来。