[論文レビュー] Matrix Factorizations and Representations of Quivers II: type ADE case

Hiroshige Kajiura, Kyoji Saito+1 more|ArXiv.org|Nov 7, 2005

Algebraic structures and combinatorial models参考文献 20被引用数 4

ひとこと要約

本稿は、ADE型多項式のための重み付き行列因子化の三角化カテゴリと、対応するダイニキン有向グラフのパス代数上の有限生成加群の有界導来カテゴリの間の同型を確立する。明示的な行列因子化および射の分類を用いて、ADE特異点におけるカテゴリ $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ が $D^b(\mathrm{mod}\text{--}\mathbb{C}\vec{\Delta})$ に同型であることを証明し、Takahashiの予想を確認するとともに、ランダウ＝ジンブルグBモデルの表現論的解釈を提供する。

ABSTRACT

We study a triangulated category of graded matrix factorizations for a polynomial of type ADE. We show that it is equivalent to the derived category of finitely generated modules over the path algebra of the corresponding Dynkin quiver. Also, we discuss a special stability condition for the triangulated category in the sense of T. Bridgeland, which is naturally defined by the grading.

研究の動機と目的

• ADE型多項式の重み付き行列因子化の三角化カテゴリが、対応するダイニキン有向グラフのパス代数上の加群の導来カテゴリに同型であるというTakahashiの予想を確認すること。
• Saitoが提起した、組合せ論的実現を伴う正則重み系に付随する根系を、行列因子化を用いて代数的に構成する問題を解決すること。
• 行列因子化カテゴリ $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ に、重み付けを用いた安定性条件を構成し、三角化カテゴリにおけるBridgelandの安定性の概念と整合させること。
• Orlovの特異カテゴリ構成を介して、重み付き行列因子化の導来カテゴリと単純特異点上の重み付きBブレーンのカテゴリを結びつけること。

提案手法

• Orlovの特異カテゴリ構成に基づき、ADE型の重み付き斉次多項式 $f$ のための重み付き行列因子化の三角化カテゴリ $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ を構成する。
• 明示的なデータを用いる：完全な行列因子化のリスト（表1）、それらの重み（表2）、および射（表3）を用いて、$\mathrm{HMF}^{\mathrm{gr}}_R(f)$ の構造を分析する。
• 重み付き射影直線の理論と重み付き商カテゴリ $\mathrm{qgr}\,R(\boldsymbol{p})$ の理論を応用し、行列因子化カテゴリをパス代数上の加群の導来カテゴリと関連付ける。
• 同型 $D^b(\mathrm{qgr}\,R^\prime(\boldsymbol{p})) \cong \langle E_1, \dots, E_N \rangle \oplus \Phi_0(D^{\mathrm{gr}}_{\mathrm{Sg}}(R^\prime(\boldsymbol{p})))$ を用いて、射の代数が同じ型のダイニキン有向グラフのパス代数に同型であることを同定する。
• Bondal-Kapranovの定理（強い例外的コレクションに関する）を適用し、$D^{\mathrm{gr}}_{\mathrm{Sg}}(R^\prime(\boldsymbol{p})) \simeq D^b(\mathrm{mod}\text{--}\mathbb{C}\vec{\Delta}(\boldsymbol{p}))$ を導出する。
• 重み付けを用いて $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 上に安定性条件を構成し、中心的質量を行列因子化の重み付き次元として定義する。

実験結果

リサーチクエスチョン

• RQ1 ADE型多項式の重み付き行列因子化の三角化カテゴリは、対応するダイニキン有向グラフのパス代数上の加群の導来カテゴリに同型であるか？
• RQ2 正則重み系に付随する根系は、超越的手段を避けて、行列因子化を用いて代数的に実現可能か？
• RQ3 行列因子化カテゴリの重み付けは、自然にBridgelandの安定性条件を誘導するか？
• RQ4 単純特異点上の重み付きBブレーンのカテゴリは、ダイニキン有向グラフの導来カテゴリとどのように関係するか？

主な発見

• ADE型多項式 $f$ に対して、三角化カテゴリ $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ は、対応するダイニキン有向グラフのパス代数上の有限生成加群の有界導来カテゴリと、三角化カテゴリとして同型である。
• 同型は、$\mathrm{qgr}\,R(\boldsymbol{p})$ 内の完全な強い例外的コレクションを介して確立され、その自己同型代数は同じ型のダイニキン有向グラフのパス代数に同型である。
• $\mathrm{D}^{\mathrm{gr}}_{\mathrm{Sg}}(R^\prime(\boldsymbol{p}))$ の重み付き行列因子化カテゴリは $D^b(\mathrm{mod}\text{--}\mathbb{C}\vec{\Delta}(\boldsymbol{p}))$ に同型であり、すべてのADE特異点について予想が確認された。
• 行列因子化の重み付けは、$\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 上に自然な安定性条件を誘導し、中心的質量が重み付き次元によって定義される。
• 各ADE型について、行列因子化の完全なリストおよびその射が明示的に表形式で整理されている（表1～表3）、これにより同型の計算的基盤が提供される。
• Orlovの特異カテゴリ構成を介した構成と、$\mathrm{qgr}\,R^\prime(\boldsymbol{p})$ への同型は、行列因子化と有理型二重点の幾何学的性質との間の関係を確認する。