[論文レビュー] Dimer models and Calabi-Yau algebras

Nathan Broomhead|arXiv (Cornell University)|Jan 29, 2009

Algebraic structures and combinatorial models参考文献 11被引用数 35

ひとこと要約

この論文は、トーラス上の代数的に整合性のあるデイマー・モデルが、3次元カルラビ＝ヤウ代数を生じることを確立しており、これがゴレンシュタインなアフィン・トーリック3次元多様体の非可換クリープント解消（NCCR）であることが証明されている。主な貢献は、幾何的整合性が代数的整合性を意味することを示したことであり、これにより得られる代数がカルラビ＝ヤウ条件を満たし、関連する特異点のNCCRとなることが保証される。

ABSTRACT

In this article we study dimer models, as introduced in string theory, which give a way of writing down a class of non-commutative `superpotential' algebras. Some examples are 3-dimensional Calabi-Yau algebras, as defined by Ginzburg, and some are not. We consider two types of `consistency' condition on dimer models, and show that a `geometrically consistent' model is `algebraically consistent'. We prove that the algebra obtained from an algebraically consistent dimer model is a 3-dimensional Calabi-Yau algebra and finally prove that this gives a non-commutative crepant resolution of the Gorenstein affine toric threefold associated to the dimer model.

研究の動機と目的

• 代数的および幾何的整合性条件を用いて、デイマー・モデルから3次元カルラビ＝ヤウ代数を構成すること。
• 代数的に整合性のあるデイマー・モデルがカルラビ＝ヤウ代数を生じることを証明し、弦理論および代数幾何学の結果を拡張すること。
• これらの代数がゴレンシュタインなアフィン・トーリック3次元多様体の非可換クリープント解消（NCCR）であることを確立すること。
• 幾何的整合性が代数的整合性を意味することを示し、これによりカルラビ＝ヤウ性が保証されること。
• 任意のゴレンシュタインなアフィン・トーリック3次元多様体が、幾何的に整合性のあるデイマー・モデルを用いてNCCRをもつこと。

提案手法

• スーパーポテンシャルから得られる関係をもつクーヴィーとしてデイマー・モデルを定義し、パーフェクト・マッチングとジッグザッグパスを用いる。
• 2つの整合性条件を導入する：幾何的整合性（レンズタイルとジッグザッグフローを介して）と代数的整合性（パス代数の関係を介して）。
• ジッグザッグフローとパーフェクト・マッチングを用いて、デイマー・モデル内のパスと面の構造を分析する。
• パスの交差とクーヴィー内の面の順序を分析することで、幾何的整合性が代数的整合性を意味することを証明する。
• トーリック代数 $ A o bC[M^+] $ を、スーパーポテンシャルからの関係をmoduloとするデイマー・クーヴィーのパス代数として構成する。
• ホモロジー代数的手法、特に片側複体とモジュールの反射的性質を用いて、カルラビ＝ヤウおよびNCCRの性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 デイマー・モデルにおける幾何的整合性は、関連するパス代数における代数的整合性を意味するか？
• RQ2 代数的に整合性のあるデイマー・モデルを用いて3次元カルラビ＝ヤウ代数を構成できるか？
• RQ3 これらのカルラビ＝ヤウ代数は、ゴレンシュタインなアフィン・トーリック3次元多様体の非可換クリープント解消（NCCR）であるか？
• RQ4 任意のゴレンシュタインなアフィン・トーリック3次元多様体は、デイマー・モデルの構成によってNCCRをもつとされているか？
• RQ5 NCCRの導来カテゴリとクリープント解消の導来カテゴリとの間にはどのような関係があるか？

主な発見

• デイマー・モデルにおける幾何的整合性は代数的整合性を意味し、これにより関連するパス代数がカルラビ＝ヤウ条件を満たすことが保証される。
• 代数的に整合性のあるデイマー・モデルから構成された代数 $ A o bC[M^+] $ は、3次元カルラビ＝ヤウ代数である。
• 代数 $ A $ の中心は $ R = bC[M^+] $ に同型であり、これはゴレンシュタインなアフィン・トーリック3次元多様体の座標環である。
• 代数 $ A $ は、$ R $ の非可換クリープント解消（NCCR）である。なぜなら、$ A $ はホモロジー的に均一的であり、$ A o igoplus_{j,k} ext{Hom}_R(bC[M_{ij}^+], bC[M_{ik}^+]) $ を満たすからである。
• モジュール $ bC[M_{jk}^+] $ は $ R $ 上で反射的である。これはNCCR性を検証する上で重要なステップである。
• 任意のゴレンシュタインなアフィン・トーリック3次元多様体は、幾何的に整合性のあるデイマー・モデルを用いてNCCRをもつ。これは、任意の格子多角形に対してそのようなモデルが存在することによって示されている。