[論文レビュー] Crepant resolutions and brane tilings I: Toric realization

Sergey Mozgovoy|ArXiv.org|Aug 24, 2009

Algebraic structures and combinatorial models参考文献 23被引用数 27

ひとこと要約

本稿は、ブレーンタイリングから得られる3次元ケーラー・ヤウ多様体のすべての可換なクリープント解消のトーリック記述を、キーバー表現のモジュライ空間を用いて提供する。これは、ブレーンタイリング、非可換クリープント解消、3次元におけるメイケル対応の間の関係を確立し、完全マッチングから構成された明示的なトーリック図を用いて、可換および非可換クリープント解消の導来圏が同値であることを示している。

ABSTRACT

Given a brane tiling, that is, a bipartite graph on a torus, we can associate with it a singular 3-Calabi-Yau variety. In this paper we study its commutative and non-commutative crepant resolutions. We give an explicit toric description of all its commutative crepant resolutions. We also explain how the McKay correspondence in dimension 3 can be interpreted using brane tilings.

研究の動機と目的

• ブレーンタイリングから導かれる特異な3次元ケーラー・ヤウ多様体のすべての可換クリープント解消を、明示的なトーリック記述で与える。
• 整合的なブレーンタイリングに対応するキーバー・ポテンシャル代数が、対応する特異点の非可換クリープント解消であることを確立する。
• ブレーンタイリングと完全マッチングを用いて、3次元におけるメイケル対応を解釈する。
• ブレーンタイリングの完全マッチングから、クリープント解消のトーリック図を再構成する。
• θ-半安定表現のモジュライ空間が、G-クラスタのヒルベルトスキームを実現することを示し、これによりクリープント解消にトーリック構造を与える。

提案手法

• トーラス上に描かれたブレーンタイリングの双対性（面と頂点の間の双対性）を用いて、キューべル Q とポテンシャル W を構成する。
• キーバー・ポテンシャル代数 $\mathbb{C}Q/( abla W)$ を定義し、整合性条件の下でそれが3次元ケーラー・ヤウ代数であることを証明する。
• ヴァン・デン・ベルクの定理を用いて、次元 $\alpha = (1,\dots,1)$ のθ-半安定表現のモジュライ空間 $\mathcal{M}_\theta$ が可換クリープント解消をもたらすことを示す。
• 軌道をそのコサポートによって特徴づける：0次元の軌道は3つの完全マッチングの和集合に対応し、1次元は2つの和集合、2次元は単一の完全マッチングに対応する。
• 完全マッチング $I$ に付随する $\mathbb{Q}$-値関数 $\overline{\chi}_I$ を用いて、$\mathcal{M}_\theta$ のトーリック図を再構成する。この関数は $M_\mathbb{Q}^\vee$ に値をとる。
• 有限アーベル部分群 $G \subset \mathrm{SL}_3(\mathbb{C})$ に対して、そのキーバー・ポテンシャル代数が $\mathbb{C}^3/G$ の非可換クリープント解消を与えるようなブレーンタイリングを関連させ、適切な $\theta$ に対して $\mathcal{M}_\theta \cong \mathrm{Hilb}^G(\mathbb{C}^3)$ を示す。

実験結果

リサーチクエスチョン

• RQ1 ブレーンタイリングから得られる3次元ケーラー・ヤウ多様体のすべての可換クリープント解消を、どのように明示的なトーリック言語で記述できるか？
• RQ2 ブレーンタイリングにおける完全マッチングと、それに対応するクリープント解消のトーリックデータとの間の正確な関係は何か？
• RQ3 ブレーンタイリングとキーバー表現の構造から、3次元におけるメイケル対応はどのようにして生じるか？
• RQ4 $\mathbb{C}^3$ 内の $G$-クラスタのヒルベルトスキームは、ブレーンタイリングから導かれるキューべルとポテンシャルの表現のモジュライ空間として実現可能か？
• RQ5 $\theta$-安定性が、クリープント解消のトーリック構造をどのように決定するか？

主な発見

• 特異な3次元ケーラー・ヤウ多様体のすべての可換クリープント解消は、キーバー・ポテンシャル代数のθ-半安定表現のモジュライ空間 $\mathcal{M}_\theta$ として実現される。
• $\mathcal{M}_\theta$ のトーリック図は、ブレーンタイリングの完全マッチングから再構成され、各完全マッチングが $M_\mathbb{Q}^\vee$ 内のベクトルを寄与する。
• $\mathcal{M}_\theta$ 内の0次元軌道のコサポートは3つの完全マッチングの和集合であり、1次元軌道は2つの和集合に対応し、2次元軌道は単一の完全マッチングに対応する。
• $G = \mathbb{Z}_6$ で作用 $\frac{1}{6}(1,2,3)$ の場合、θ-安定な完全マッチングは表2にリストアップされており、それらの和集合が $\mathrm{Hilb}^G(\mathbb{C}^3)$ のトーリック図を決定し、ナカムラの構成と一致する。
• $\theta$ がヒルベルトスキームに対応する場合、モジュライ空間 $\mathcal{M}_\theta$ は $\mathrm{Hilb}^G(\mathbb{C}^3)$ に同型であり、解消のトーリック構造が確認される。
• 可換および非可換クリープント解消の導来圏は同値であり、ヴァン・デン・ベルクの枠組みを用いて、メイケル対応が一般化される。