[論文レビュー] Donaldson-Thomas theory for categories of homological dimension one with potential

Ben Davison, Sven Meinhardt|arXiv (Cornell University)|Dec 30, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用数 22

ひとこと要約

本稿は、ホモロジー次元が1以下のアーベル圏と任意のポテンシャルを備えたドナルドソン–トーマス理論に対して、厳密な公理的枠組みを提供し、統合写像、壁越え、PT–DT対応といった基礎的結果を証明する。また、やや弱い条件下で、任意のポテンシャルを持つDT関数とゼロポテンシャルを持つDT関数の間に幾何的同値性を確立し、コンツェビッチ–ソイベルマンとジョイス–ソンのアプローチを統合し、混合Hodgeモジュール、 perverse sheaves、可 constructible関数における幾何的解釈を可能にする。

ABSTRACT

The aim of the paper is twofold. Firstly, we give an axiomatic presentation of Donaldson-Thomas theory for categories of homological dimension at most one with potential. In particular, we provide rigorous proofs of all standard results concerning the integration map, wall-crossing, PT-DT correspondence, etc. following Kontsevich and Soibelman. We also show the equivalence of their approach and the one given by Joyce and Song. Secondly, we relate Donaldson-Thomas functions for such a category with arbitrary potential to those with zero potential under some mild conditions. As a result of this, we obtain a geometric interpretation of Donaldson-Thomas functions in all known realizations, i.e. mixed Hodge modules, perverse sheaves and constructible functions.

研究の動機と目的

• ホモロジー次元≤1のアーベル圏とポテンシャルを備えたドナルドソン–トーマス理論に対して、厳密な公理的基盤を提供すること。
• この枠組み内での標準的結果（統合写像、壁越え、PT–DT対応）を証明すること。
• 重複領域におけるコンツェビッチ–ソイベルマンとジョイス–ソンのアプローチの同値性を確立すること。
• やや弱い条件下で、任意のポテンシャルを持つDT関数とゼロポテンシャルを持つDT関数との関係を特定すること。
• 混合Hodgeモジュール、 perverse sheaves、可 constructible関数といった異なる実現におけるDT関数の幾何的解釈を与えること。

提案手法

• コンツェビッチとソイベルマンにインspiredされた公理的アプローチを採用し、λ-環およびλ-代数構造を用いてDT理論を形式化する。
• DT関数をベヘレンド関数の一般化として構成し、不変量から可 constructible関数へと拡張する。
• フレームド版および標準版のDT理論を用いて、アーベル圏内の対象のモジュライ空間を通じて不変量を定義する。
• 次元削減技術を適用し、λ-代数理論における消失サイクルを用いて統合写像を構成する。
• リングエル–ホール代数の構造とモチーフ的積分を用いて、壁越えの公式を確立する。
• λ-環構造の同型および統合写像の整合性を示すことにより、コンツェビッチ–ソイベルマンとジョイス–ソンの枠組みの同値性を示す。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー次元≤1のアーベル圏と任意のポテンシャルを備えたドナルドソン–トーマス理論を、どのように厳密に形式化できるか？
• RQ2 任意のポテンシャルで定義されたDT関数とゼロポテンシャルで定義されたDT関数との正確な関係は何か？
• RQ3 この設定において、コンツェビッチ–ソイベルマンとジョイス–ソンのDT理論のアプローチはどの程度一致するか？
• RQ4 混合Hodgeモジュール、 perverse sheaves、可 constructible関数といった異なる実現において、DT関数はどのように幾何的に解釈できるか？
• RQ5 λ-環およびλ-代数構造は、DT理論のモチーフ的およびカテゴリフィケーション的側面を統合するために果たす役割は何か？

主な発見

• 本稿は、ホモロジー次元≤1の圏とポテンシャルを備えた文脈において、統合写像、壁越え、PT–DT対応の厳密な証明を提供する。
• やや弱い条件下で、任意のポテンシャルを持つ圏のDT関数と、同じ圏におけるゼロポテンシャルのDT関数の間に幾何的同値性を確立する。
• ホモロジー次元≤1の圏の設定において、コンツェビッチ–ソイベルマンとジョイス–ソンのDT理論のアプローチが同値であることが示された。
• DT関数は、混合Hodgeモジュール、 perverse sheaves、可 constructible関数というすべての標準的実現において幾何的に解釈可能である。
• モジュライ空間上のλ-環構造の構成により、DT不変量のカテゴリフィケーションおよびモチーフ的表現が可能になる。
• 本稿は、R⟨x⟩±からR[𝕃−1/r]へのλ-環準同型が全射であり、さらにR⟨𝕃−1/r⟩± ≅ R[𝕃−1/r]を誘導し、λ-構造を保存することを証明する。