[論文レビュー] 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

ひとこと要約

本稿では、非退化なドミアモデルにおける3つの一貫性条件の同値性を確立している：MozgovoyとReinekeの最初の一貫性条件、定義3.5で定義された扱いやすい代数的条件、およびGulottaの適切に順序付けられた条件。著者らは非退化性のもとで、これら3条件が互いに同値であることを証明し、トーリックCalabi-Yau 3-foldの非可換クレパント解消を構成するためのドミアモデルにおける一貫性の検証に実用的な基準を提供する。

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.

研究の動機と目的

• ドミアモデルにおける代数的最初の一貫性条件の検証の難しさを解消し、より扱いやすい同値条件を同定すること。
• 非退化なドミアモデルにおける一貫性について、幾何的・組合せ論的基準（適切に順序付けられたジグザグ経路）を確立すること。
• 非退化性の仮定の下で、3つの異なる一貫性条件（最初の一貫性、定義3.5、適切に順序付けられた性質）を統一すること。
• クイバーゲージ理論および非可換代数幾何学で用いられるドミアモデルにおける一貫性の検証に実用的なツールを提供すること。
• 既知の等半径ドミアモデルに関する結果を一般化し、新しい同値性を用いて等半径性が第一一貫性条件を満たすことを示すこと。

提案手法

• 定義3.5で定義された、パスの同値性と中心的元 ω での局所化に基づく、取り扱いやすい代数的基準としての一貫性条件を定義する。
• ノードの周囲の巡回的順序が傾きの巡回的順序と一致するような、適切に順序付けられたジグザグ経路の概念を導入する。
• 背理法と無限のジグザグ経路の構成を用いて、ドミアモデルが一貫性を持つ（定義3.5）ための必要十分条件として、適切に順序付けられていることであることを証明する。
• トーラスの普遍被覆を用いて、ジグザグ経路の交差とその方向の一貫性を分析する。
• 既知の等半径ドミアモデルに関する結果とKenyon-Schlenkerの定理を活用し、同値性の拡張を図る。
• 同値性を応用して、等半径ドミアモデルが第一一貫性条件を満たすことを示し、等半径性そのものに依存せずに、より一般な証明を与える。

実験結果

リサーチクエスチョン

• RQ1 ドミアモデルにおける第一一貫性条件と同値で、計算的に取り扱いやすい条件は存在するか？
• RQ2 非退化性のもとで、Gulottaの適切に順序付けられた条件が第一一貫性条件と同値であることを示せるか？
• RQ3 定義3.5と適切に順序付けられた性質の同値性は、すべての非退化ドミアモデルに成立するか？
• RQ4 等半径ドミアモデルの一貫性は、等半径性そのものに依存せず、新しい同値性から導けるか？
• RQ5 この同値性は、導来カテゴリの同値性および非可換クレパント解消構造にどのような影響を及えるか？

主な発見

• 非退化なドミアモデルにおいて、第一一貫性条件、定義3.5、適切に順序付けられた性質はすべて同値である。
• 定義3.5の一貫性条件は非退化性を含意するため、代数的性質と幾何的性質の間の基礎的リンクを確立する。
• ドミアモデルが一貫性を持つための必要十分条件は、そのジグザグ経路が適切に順序付けられていること、すなわちノードにおける巡回的順序が傾きの巡回的順序と一致することである。
• 証明は背理法を用いる：同じ方向の複数のジグザグ経路の交差は、異なる傾きを持つ無限のジグザグ経路の系列の存在を強制する。
• 同値性により、等半径ドミアモデルが第一一貫性条件を満たすことが示され、Broomheadの結果をより一般化した新しい証明が得られる。
• 本結果により、ドミアモデルの一貫性検証に実用的な基準が提供され、検証が難しい代数的条件に代わって、幾何的・組合せ論的基準が利用可能になる。