[論文レビュー] Stability spaces and quantum dilogarithms for (Calabi-Yau) Dynkin quivers

Yu Qiu|arXiv (Cornell University)|Nov 3, 2011

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

本稿は、ディンキン・クワイバー Q の有界導来圏 D(Q) の安定性空間の単連結性を確立し、交換グラフ上の量子ダイログラミット関数を用いたドナルドソン＝トーマス不変量の計算を可能にする。カルラビ＝ヤウ-N ギンツブルク代数 D(Γ_NQ) に対しては、セイデル＝トーマスのブレード群作用の忠実性が、同様の位相的性質を示し、導来圏全体にわたる量子不変量の統一を実現する。

ABSTRACT

We study fundamental group of the exchange graphs for the bounded derived category D(Q) of a Dynkin quiver Q and the finite-dimensional derived category D(\Gamma_N Q) of the Calabi-Yau-N Ginzburg algebra associated to Q. In the case of D(Q), we prove that its space of stability conditions (in the sense of Bridgeland) is simply connected; as applications, we show that its Donanldson-Thomas invariant can be calculated via a quantum dilogarithm function on exchange graphs. In the case of D(\Gamma_N Q), we show that faithfulness of the Seidel-Thomas braid group action (which is known for Q of type A or N = 2) implies the simply connectedness of its space of stability conditions.

研究の動機と目的

• ディンキン・クワイバーに付随する導来圏の安定性条件の空間の位相的構造を理解すること。
• 交換グラフの基本群とドナルドソン＝トーマス不変量の振る舞いとの間の関係を確立すること。
• カルラビ＝ヤウ-N ギンツブルク代数の安定性空間の単連結性を決定づけるセイデル＝トーマスのブレード群作用の役割を調査すること。
• 安定性空間の位相的性質を活用して、交換グラフ上における量子ダイログラミット計算を拡張すること。

提案手法

• クワイバー表現論を用いて、D(Q) および D(Γ_NQ) に付随する交換グラフの基本群を解析する。
• ブリッジランドの安定性条件理論を適用し、D(Q) の安定性空間の単連結性を証明する。
• セイデル＝トーマスのブレード群作用を用いて、D(Γ_NQ) の安定性空間における位相的制約を導出する。
• 交換グラフ上でのドナルドソン＝トーマス不変量の生成関数として、量子ダイログラミット関数を用いる。
• タイプ A のクワイバーおよび N=2 に対して既知のブレード群作用の忠実性結果を活用し、位相的結論を拡張する。

実験結果

リサーチクエスチョン

• RQ1 ディンキン・クワイバー Q の有界導来圏 D(Q) の安定性条件の空間は単連結か？
• RQ2 安定性空間が単連結である場合、交換グラフ上での量子ダイログラミット関数を用いたドナルドソン＝トーマス不変量の計算は可能か？
• RQ3 D(Γ_NQ) におけるセイデル＝トーマスのブレード群作用の忠実性は、その安定性空間の単連結性を示唆するか？
• RQ4 交換グラフの位相的構造は、カルラビ＝ヤウ導来圏における量子不変量とどのように関係するか？

主な発見

• D(Q) の安定性条件の空間は単連結であり、これが交換グラフ上での量子ダイログラミット因数分解の一貫性を保証する。
• この位相的性質により、ドナルドソン＝トーマス不変量を交換グラフの経路に沿って量子ダイログラミット関数の積として計算可能になる。
• D(Γ_NQ) に対しては、セイデル＝トーマスのブレード群作用の忠実性が、安定性空間の単連結性を示し、N=2 またはタイプ A のクワイバーに対する既知の結果を一般化する。
• 量子ダイログラミット関数は不変量の生成関数として機能し、その合成は交換グラフの構造に従う。