[論文レビュー] Correspondence between 2 Calabi-Yau Categories and Quivers

Jie Ren|arXiv (Cornell University)|Feb 20, 2016

Algebraic structures and combinatorial models参考文献 2被引用数 3

ひとこと要約

本稿は、特定のExt条件を満たす有限個の対象によって生成される2次元Calabi-Yau圏の同値類と、各頂点に偶数個のループを持つ有限対称クイバーの間の一対一対応を確立する。この対応は生成子のExt代数を介して構成され、Calabi-Yau構造が対称的ペアリングを誘導し、ループ数が偶数になることを強制する。主な結果は、非可換形式多様体の変形理論と関連するDGLAにおける高次コホモロジーの消滅を用いて証明された全単射である。

ABSTRACT

This note gives a one-to-one correspondence between the equivalence classes of a certain type of 2-dimensional Calabi-Yau categories, and certain type of quivers, This is an analogue of the result in Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, arXiv: 0811.2435, by M. Kontsevich, Y. Soibelman.

研究の動機と目的

• KontsevichとSoibelmanの3次元Calabi-Yau対応を2次元の場合に拡張すること。
• 自己拡張が0次に自明で、負の拡張が存在しない対象によって生成される2次元Calabi-Yau圏の分類。
• このような圏が、各頂点に偶数個のループを持つ対称クイバーと双対であることを示すこと。
• 生成子のExt代数への最小ポテンシャルの明示的構成と変形理論を用いて対応を証明すること。

提案手法

• 2次元Calabi-Yau圏CからクイバーQを構成する。頂点は生成子E_iに対応させ、iからjへの矢印の数をdim Ext^1(E_i, E_j)とする。
• Calabi-Yau性質を用いて、Ext^1(E_i, E_j) ≅ Ext^1(E_j, E_i)^⁺²が成り立つことを示し、Qが対称的であることを示す。
• Ext^1(E_i, E_i)上の非退化なシンプレクティックペアリングを用いて、dim Ext^1(E_i, E_i)が偶数であることを示し、各頂点に偶数個のループがあることを保証する。
• 有向空間Ext^•(E,E)[1] = k[1] ⊕ k^{2n} ⊕ k[-1]上に最小ポテンシャルW_can = α²β + Σ(αx_iξ_i - αξ_ix_i)を定義する。
• ∂/∂x_i, ∂/∂ξ_iおよび∂/∂α, ∂/∂βによって定義されるポisson括弧を用いて、W_canが量子マスター方程式{W_can, W_can} = 0を満たすことを検証する。
• 2次元Calabi-Yau代数A_canの変形理論を用いて、H^{≥1}(𝔤_can) = 0であることを示し、変形が自明であることから、対応が単射であることを示す。

実験結果

リサーチクエスチョン

• RQ1 2次元Calabi-Yau圏と特定構造を持つクイバーとの間に標準的な対応が存在するか？
• RQ2 圏のCalabi-Yau条件が、特にループ数の制約をクイバー構造に与えるか？
• RQ3 生成子のExt代数は、Calabi-Yau構造を符号化する最小ポテンシャルを許容するか？
• RQ4 すべてのこのような2次元Calabi-Yau圏は形式的に剛性を持つ、すなわち非自明な変形を持たないか？

主な発見

• 2次元Calabi-Yau圏と偶数個のループを持つ対称クイバーの間の対応は、明示的構成と変形理論を用いて全単射であることが証明された。
• 各頂点におけるループ数が偶数であることは、Calabi-Yau条件に起因するExt^1(E_i, E_i)上のシンプレクティック構造によって強制される。
• 最小ポテンシャルW_can = α²β + Σ(αx_iξ_i - αξ_ix_i)は{W_can, W_can} = 0を満たし、well-definedな2次元Calabi-Yau代数構造を保証する。
• 標準的代数A_canの変形複体𝔤_canは、正の次数で自明なコホモロジーを持つ。これはA_canが形式的に剛性であることを示唆する。
• DGLA𝔤_canは全循環複体の双対の直和成分であり、正の次数でコホモロジーが消える。これは、同値関係を除いて構造が一意に定まることを確認する。