[论文解读] A note on consistency conditions on dimer models

Akira Ishii, Kazushi Ueda|arXiv (Cornell University)|Dec 25, 2010

Advanced Topology and Set Theory参考文献 19被引用 23

一句话总结

本文建立了非退化双子模型中三种一致性条件的等价性：Mozgovoy与Reineke提出的第一个一致性条件、定义3.5中定义的可处理代数条件，以及Gulotta的适当排序条件。作者证明，在非退化条件下，这些条件相互等价，为验证用于构造toric Calabi-Yau 3- folds的非交换创世解析的双子模型中的一致性提供了实用准则。

ABSTRACT

We show that for a non-degenerate dimer model, both the first consistency condition of Mozgovoy and Reineke and the properly-orderedness condition of Gulotta are equivalent to a condition on zigzag paths, which goes back to Hanany and Vegh. The last condition is used in arXiv:0905.0059 to study the behavior of a dimer model under the operation of removing a vertex from the lattice polygon and taking the convex hull of the rest.

研究动机与目标

• 通过识别一个更易处理的等价条件，解决在双子模型中验证代数性第一致性条件的困难。
• 在非退化双子模型中，建立一个几何与组合学准则——适当排序的Zigzag路径，用于一致性判定。
• 在非退化假设下，统一三种不同的致性条件（第一致性、定义3.5、适当排序性）。
• 为在奎佛规范理论与非交换代数几何中使用的双子模型提供一种实用的一致性检查工具。
• 通过展示等价性，将已知关于等半径双子模型的结果推广，表明它们满足第一致性条件。

提出的方法

• 在定义3.5中定义一个基于路径等价性及在中心元ω处局部化的可处理代数准则作为一致性条件。
• 引入适当排序Zigzag路径的概念，即节点周围路径的循环顺序与斜率的循环顺序一致。
• 通过反证法与无限Zigzag路径构造，证明双子模型满足定义3.5的一致性条件当且仅当其为适当排序。
• 利用环面的万有覆盖分析Zigzag路径的相交及其方向一致性。
• 利用关于等半径双子模型的已知结果及Kenyon-Schlenker定理，扩展等价性的推论。
• 将等价性应用于证明等半径双子模型满足第一致性条件，即使等半径性本身是一个强约束条件。

实验结果

研究问题

• RQ1 是否存在一个在计算上更易处理的条件，与双子模型中第一致性条件等价？
• RQ2 在非退化条件下，是否可证明Gulotta的适当排序条件与第一致性条件等价？
• RQ3 定义3.5与适当排序性之间的等价性是否对所有非退化双子模型成立？
• RQ4 是否可仅通过新等价性推导出等半径双子模型的一致性，而无需依赖等半径性本身？
• RQ5 该等价性对导出范畴等价性与非交换创世解析结构有何影响？

主要发现

• 在非退化双子模型中，第一致性条件、定义3.5与适当排序性三者等价。
• 定义3.5中的一致性条件蕴含非退化性，建立了代数性质与几何性质之间的基础联系。
• 当且仅当其Zigzag路径在节点处的循环顺序与路径斜率的循环顺序一致时，双子模型才是一致的。
• 证明采用反证法：Zigzag路径在相同方向上的多重相交将导致存在一列具有不同斜率的无限Zigzag路径。
• 等价性意味着等半径双子模型满足第一致性条件，从而以一种更一般的新证明方式推广了Broomhead的结果。
• 该结果为检查双子模型中的一致性提供了一项实用准则，将难以验证的代数条件替换为几何-组合学条件。