[論文レビュー] Donaldson-Thomas invariants vs. intersection cohomology for categories of homological dimension one

Sven Meinhardt|arXiv (Cornell University)|Dec 10, 2015

Algebraic Geometry and Number Theory参考文献 26被引用数 10

ひとこと要約

本稿は、ホモロジー次元1のアーベル圏におけるドナルドソン–トーマス（DT）不変量と交差コホモロジーの間の深い関係を確立する。混合Hodgeモジュールのグローバーク群における精製されたDT「層」を導入し、そのコンパクト台付きコホモロジーが半安定対象のモジュライ空間の交差コホモロジーを実現することを証明する。これにより、整数性予想が裏付けられ、クーヴ表現や曲線・曲面上の連接層といった重要なケースにおいて、DT不変量が交差複体と同一視されることを示している。

ABSTRACT

The present paper is an extension of a previous paper written in collaboration with Markus Reineke dealing with quiver representations. The aim of the paper is to generalize the theory and to provide a comprehensive theory of Donaldson-Thomas invariants for abelian categories of homological dimension one (without potential) satisfying some technical conditions. The theory will apply for instance to representations of quivers, coherent sheaves on smooth projective curves, and some coherent sheaves on smooth projective surfaces. We show that the (motivic) Donaldson-Thomas invariants satisfy the Integrality conjecture and identify the Hodge theoretic version with the (compactly supported) intersection cohomology of the corresponding moduli spaces of objects. In fact, we deal with a refined version of Donaldson-Thomas invariants which can be interpreted as classes in the Grothendieck group of some "sheaf" on the moduli space. In particular, we reproduce the intersection complex of moduli spaces using Donaldson-Thomas theory.

研究の動機と目的

• ホモロジー次元1のアーベル圏に対して、ポテンシャルを含まない包括的なドナルドソン–トーマス不変量の理論を構築すること。
• クーヴ表現に関する先行結果を、滑らかな射影的曲線および曲面上の連接層を含むより広いカテゴリへ一般化すること。
• この設定において、モチーフ的DT不変量の整数性予想を確立すること。
• ホッジ理論的DT不変量が、半安定対象のモジュライ空間のコンパクト台付き交差コホモロジーと一致することを示すこと。
• そのコホモロジーが交差複体を実現する、混合Hodgeモジュールのグローバーク群内に精製されたDT「層」を構成すること。

提案手法

• 混合Hodgeモジュールのグローバーク群内のクラスを用いて、精製されたDT理論を形式化し、DT不変量をモジュライ空間上の「層的」対象として扱う。
• ルナのスライス定理とGIT商の技法を適用して、フレームドクーヴ表現を用いたモジュライ空間の局所構造を分析する。
• 変形理論と普遍グラスマンニアンを用いて、技術的条件下でモジュライ函手の存在性と固有性を保証する。
• λ-環構造と畳み込み積を用いてモチーフ的DT不変量を定義し、整数性予想を証明する。
• オイラー形式 (E,F) の対称性および局所定数性が、ホモロジー次元1の振る舞いを保証する主要な技術的条件である。
• ヒルベルト–チャウ写像の纤维が、フレームドクーヴの冪零表現のモジュライ空間に同型であることを特定し、幾何的構造とカテゴリカル構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー次元1のカテゴリにおいて、数値的またはモチーフ的不変量を超えてホッジ理論的情報を捉えるために、ドナルドソン–トーマス不変量をどのように精製できるか？
• RQ2 DT不変量が半安定対象の粗いモジュライ空間の交差コホモロジーと一致する条件は何か？
• RQ3 混合Hodgeモジュールのグローバーク群内のDT理論的データから、モジュライ空間の交差複体を純粋に再構成できるか？
• RQ4 アーベル圏のホモロジー次元1において、モチーフ的DT不変量の整数性予想はどの程度成立するか？
• RQ5 フレームドクーヴ表現と冪零構造は、ヒルベルト–チャウ写像を通じて、モジュライ空間の局所幾何をどのように記述するか？

主な発見

• グローバーク群内の混合Hodgeモジュールとして解釈された精製DT不変量は、粗いモジュライ空間における単純部分集合の閉包の交差複体と同型である。
• 任意の次元ベクトル d に対して、ホッジ理論的DT不変量はコンパクト台付き交差コホモロジー類に一致する：安定部分集合が非空であれば DT_d = IC_c(M_d, Q)、さもなければ 0 である。
• この設定において、モチーフ的DT不変量の整数性予想は成立し、生成関数は単純対象ごとのオイラー積に分解される。
• ヒルベルト–チャウ写像のルナのストラトム上の纤维は、フレームドクーヴの冪零表現のモジュライ空間に同型であり、幾何的ストラチフィケーションと表現論を結びつける。
• 普遍グラスマンニアンとルナスライスを用いたDT「層」の構成により、交差複体をDT対象として実現する標準的な方法が得られる。
• オイラー形式 (E,F) の対称性および局所定数性により、カテゴリがホモロジー次元1のカテゴリとして振る舞うことが保証され、全体の枠組みが成立する。