[論文レビュー] A theory of generalized Donaldson-Thomas invariants

Dominic Joyce, Yinan Song|arXiv (Cornell University)|Oct 31, 2008

Algebraic Geometry and Number Theory参考文献 9被引用数 21

ひとこと要約

本稿は、ベーリング関数を用いた有理数重み付きオイラー特性を通じて、Calabi–Yau 3-fold 上の安定および厳密に半安定な連接層を数える一般化されたドナルドソン＝トーマス（DT）不変量の理論を構築する。局所的に臨界チャート構造を備えたモジュライスタックが存在することを示し、これによりリー代数の準同型枠組みを構築でき、クーヴィー表現に超ポテンシャルを導入した場合への一般化も可能となる。変形不変性および壁越え公式が確立される。

ABSTRACT

Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern characters a for which there are no strictly semistable sheaves on X. They have the good property that they are unchanged under deformations of X. Their behaviour under change of stability condition t was not understood until now. This book defines and studies a generalization of Donaldson-Thomas invariants. Our new invariants \bar{DT}^a(t) are rational numbers, defined for all Chern characters a, and are equal to DT^a(t) if there are no strictly semistable sheaves in class a. They are deformation-invariant, and have a known transformation law under change of stability condition. To prove all this we study the local structure of the moduli stack M of coherent sheaves on X. We show that an atlas for M may be written locally as Crit(f) for f a holomorphic function on a complex manifold, and use this to deduce identities on the Behrend function of M. We compute our invariants in examples, and make a conjecture about their integrality properties. We extend the theory to abelian categories of representations of a quiver with relations coming from a superpotential, and connect our ideas with Szendroi's "noncommutative Donaldson-Thomas invariants" and work by Reineke and others. This book is surveyed in the paper arXiv:0910.0105.

研究の動機と目的

• 従来のDT不変量が安定層のみを数えるのを補い、有理数重みを伴う厳密に半安定な層を含める。
• 安定性条件 $\tau$ に対して、厳密に $\tau$-半安定な層が存在する場合でも、すべてのチャーン特徴 $\alpha$ に対して一般化されたDT不変量 $\overline{DT}_\alpha(\tau)$ を定義する。
• これらの不変量が変形に対して不変であり、安定性条件の変化に伴い壁越え公式に従って変化することを証明する。
• クーヴィーに超ポテンシャルを導入した3-Calabi–Yau圏に一般化し、非可換DT理論と接続する。
• スタック関数および構成可能不変量を用いたリー代数の準同型枠組みを確立し、計算および整数性予想を可能にする。

提案手法

• DT不変量を重み付きオイラー特性 $\chi(M_{\text{st}}, \nu_M)$ としてベーリング関数 $\nu_M$ を用いて表現し、半安定層を含むように拡張する。
• 連接層のモジュライスタック $M$ が、滑らかな空間上の正則関数 $f$ の臨界点集合 $\operatorname{Crit}(f)$ として局所的に臨界チャート構造を備えることを示し、微分幾何的技法を可能にする。
• ミルナーの被覆および消失サイクル理論を用いて、変形および壁越えにおけるベーリング関数 $\nu_M$ の恒等式を導出する。
• スタック関数空間からリー代数 $\widetilde{L}(B_p)$ へのリー代数の準同型 $\widetilde{\Psi}_{B_p}$ を構成し、不変量と代数的恒等式を結びつける。
• スタック関数形式および射影作用素 $\Pi_{v_i}^n$ を用いて、不変量 $\overline{DT}_\alpha(\tau)$ および $PI_{\alpha,n}(\tau')$ を定義および計算する。
• 安定ペアのモジュライ空間上で完全な障害理論を構築することにより、不変量 $PI_{\alpha,n}(\tau')$ の変形不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ドナルドソン＝トーマス不変量は、有理数重みを伴う厳密に半安定な層を含むようにどのように拡張可能か？
• RQ2 Calabi–Yau 3-fold 上の連接層のモジュライスタックの局所的解析的構造は何か？また、正則関数の臨界点とどのように関係するか？
• RQ3 安定性条件 $\tau$ の変化に伴い、一般化されたDT不変量はどのように壁越えするか？
• RQ4 一般化されたDT不変量 $\overline{DT}_\alpha(\tau)$ の整数的構造は何か？どのような条件下で整数になるか？
• RQ5 理論はクーヴィー表現に超ポテンシャルを導入した場合にどのように拡張可能か？非可換DT不変量とどのように関係するか？

主な発見

• 一般化されたDT不変量 $\overline{DT}_\alpha(\tau)$ はすべてのチャーン特徴 $\alpha$ に対して定義され、厳密に $\tau$-半安定な層が存在しない場合には古典的 $DT_\alpha(\tau)$ と一致する。
• 不変量 $\overline{DT}_\alpha(\tau)$ はCalabi–Yau 3-fold $X$ の変形に対して不変であり、ベーリング関数の変形不変性により示される。
• 安定性条件 $\tau$ の変化に伴う壁越え公式は、リー代数の準同型 $\widetilde{\Psi}_{B_p}$ から導出される。
• 安定ペアのモジュライ空間 $M_{\alpha,n}^{\text{stp}}(\tau')$ に対して、不変量 $PI_{\alpha,n}(\tau')$ は変形不変であり、$\text{rank}(\alpha) \neq 1$ のとき完全な障害理論により証明される。
• クーヴィーの設定では、不変量 $\widehat{DT}_d^{Q,I}(\mu)$ は一般に安定性条件が一般のとき整数であると予想され、具体例の計算による証拠がある。
• ペアのモジュライスタック $M_{(\beta,1)}^{B_p}$ 上のベーリング関数は、$\nu_{M_{(\beta,1)}^{B_p}} = (-1)^{\overline{\chi}([\mathcal{O}_X(-n)], \beta) - 1} \pi^*(\nu_\beta)$ を満たす。ここで $\pi$ はファイバーが $\mathbb{P}^{\overline{\chi}([\mathcal{O}_X(-n)], \beta) - 1}$ である滑らかなファイブレーションである。