[論文レビュー] Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants

Maxim Kontsevich, Yan Soibelman|arXiv (Cornell University)|Jun 14, 2010

Algebraic structures and combinatorial models参考文献 40被引用数 52

ひとこと要約

本稿は、クーヴァー表現のモジュライスタックのコホモロジーを用いて、4次元 N=2 量子場理論におけるBPS状態の代数を厳密に定義するための数学的枠組みとして、コhomological Hall代数（COHA）を導入する。COHA、指数的混合Hodge構造、およびモチーフ的Donaldson-Thomas不変量の間の関係を確立し、臨界COHAのバージョンが[34]で定義されたモチーフ的DT不変量と一致することを証明するとともに、消滅サイクルの層によるカテゴリフィケーションを提案する。

ABSTRACT

We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Donaldson-Thomas invariants.

研究の動機と目的

• 4次元 N=2 量子場理論におけるBPS状態の代数を、厳密に数学的に定義すること。
• 有限体上のホール代数の構成を、複素幾何におけるコホモロジカル不変量へ一般化すること。
• 指数的Hodge構造と臨界コホモロジーを介して、COHAとモチーフ的Donaldson-Thomas不変量の間の対応を確立すること。
• 臨界locusに付随する行列因子化カテゴリの直和へのモノイダル構造を用いて、COHAのカテゴリフィケーションを提案すること。
• 3次元多様体におけるChern-Simons汎関数を用いて、COHAの枠組みを3次元へ拡張し、COHAから得られる位相的不変量を定義すること。

提案手法

• クーヴァー表現のモジュライスタックのコホモロジーを用いてCOHAを構成し、可 constructible 関数の代わりにコホモロジカルデータを用いる。
• 指数的混合Hodge構造を定義し、因子化性を導出するための「急速減衰コホモロジー」を導入する。
• 消滅サイクル層とモノドロミーHodge構造を用いて、ポテンシャル付き滑らか代数のための「臨界COHA」を定義する。
• 3次元多様体上のChern-Simons汎関数を用いて、3CY圏の文脈におけるCOHAの幾何的実現を定義する。
• 臨界COHAの乗法構造をカテゴリフィケーションするため、行列因子化カテゴリの直和へのモノイダル構造を確立する。
• COHAがモチーフ的生成関数と接続するために、指数的混合Hodge構造における実現関手と重みフィルトレーションに依拠する。

実験結果

リサーチクエスチョン

• RQ1 クーヴァー表現のコホモロジカル不変量を用いて、BPS状態の代数をどのように厳密に定義できるか？
• RQ2 急速減衰コホモロジー、指数的混合Hodge構造、およびモチーフ的DT不変量の間の関係は何か？
• RQ3 臨界COHAの構成は、[34]で定義されたモチーフ的DT不変量を回復するか？
• RQ4 行列因子化カテゴリの直和へのモノイダル構造を用いて、COHAをカテゴリフィケーションできるか？
• RQ5 Chern-Simons汎関数に関連するCOHAから、3次元多様体のどのような位相的不変量が生じるか？

主な発見

• 臨界COHAの構成が、[34]で定義されたモチーフ的DT不変量と等価であることが示され、重要な一貫性結果が得られた。
• 臨界COHAのモチーフ的DT級数は、壁越え公式を満たし、強く因子化性を示す。
• 整数不変量としてBPS状態を数える量が、モチーフ的DT級数の特殊化から得られ、整数性および壁越え法則を満たす。
• 自明なポテンシャルを持つクーヴァー（例：A1）に対してCOHAは量子ディログ動的関数を回復し、(S1)^3に対しては量子MacMahon関数が得られる。
• 3次元多様体 X におけるChern-Simons汎関数から生じるCOHAのモチーフ的DT級数は、X の位相的不変量である。
• 臨界COHAのカテゴリフィケーションが、臨界locusに付随する行列因子化カテゴリの直和へのモノイダル構造を用いて提案された。