[論文レビュー] Donaldson-Thomas invariants of abelian threefolds and Bridgeland stability conditions

Georg Oberdieck, Dulip Piyaratne+1 more|arXiv (Cornell University)|Aug 8, 2018

Algebraic Geometry and Number Theory参考文献 29被引用数 4

ひとこと要約

本稿では、Bridgeland安定性条件を用いて、アーベル3次元多様体の縮約ドナルドソン–トーマス不変量が、壁交叉補正項を除いて、導来自己同値に関して不変であることを確立する。特定の安定性条件に対して完全なサポート性が証明され、ギーゼッカー部屋の存在が確認され、判別関数を用いた壁交叉の数値的基準が提供され、ランク1のピカール数を持つ場合の予想される曲線数え上げ公式に対する強い証拠が得られる。

ABSTRACT

We study the reduced Donaldson-Thomas theory of abelian threefolds using Bridgeland stability conditions. The main result is the invariance of the reduced Donaldson-Thomas invariants under all derived autoequivalences, up to explicitly given wall-crossing terms. We also present a numerical criterion for the absence of walls in terms of a discriminant function. For principally polarized abelian threefolds of Picard rank one, the wall-crossing contributions are discussed in detail. The discussion yield evidence for a conjectural formula for curve counting invariants by Bryan, Pandharipande, Yin, and the first author. For the proof we strengthen several known results on Bridgeland stability conditions of abelian threefolds. We show that certain previously constructed stability conditions satisfy the full support property. In particular, the stability manifold is non-empty. We also prove the existence of a Gieseker chamber and determine all wall-crossing contributions. A definition of reduced generalized Donaldson-Thomas invariants for arbitrary Calabi-Yau threefolds with abelian actions is given.

研究の動機と目的

• アーベル3次元多様体の縮約ドナルドソン–トーマス不変量が、壁交叉補正項を除いて導来自己同値に関して不変であることを確立すること。
• 特定の安定性条件に対して完全なサポート性を証明することで、Bridgeland安定性条件に関する基礎的結果を強化すること。
• アーベル3次元多様体の文脈において、判別関数を用いた壁の存在しない条件の数値的基準を提供すること。
• 安定性多様体内におけるすべての壁交叉寄与を特定し、ギーゼッカー部屋の存在を確認すること。
• プリンシパルに偏極されたピカール数1のアーベル3次元多様体における曲線数え上げ不変量の予想される公式に対する証拠を提供すること。

提案手法

• 著者らは、アーベル3次元多様体の導来カテゴリ−内の半安定対象のモジュライ空間を分析するためにBridgeland安定性条件を用いる。
• 彼らは、以前に構成された特定の安定性条件が完全なサポート性を満たすことを証明し、安定性多様体が空でないことを保証する。
• 壁交叉現象は、安定性多様体内の壁を越える際の不変量の挙動を研究することで分析され、寄与は明示的に計算される。
• コホモロジー代数の偶数次部に作用するSpin(12)作用に関して不変な判別関数Δが構成され、壁交叉の検出に用いられる。
• 縮約ドナルドソン–トーマス不変量は、$A \times \widehat{A}$-不変なモチーフ的Hall代数を介して定義され、壁交叉項を除いて不変性が保証される。
• Δが特定のクラス上で消えることから、壁の存在しない数値的基準が導出され、代数幾何学と表現論が結びつけられる。

実験結果

リサーチクエスチョン

• RQ1 アーベル3次元多様体の縮約ドナルドソン–トーマス不変量は、導来自己同値に関してどのように変化し、壁交叉から生じる補正項は何か？
• RQ2 アーベル3次元多様体の安定性多様体内での壁の存在しない条件は何か？ そして、これをどのように数値的に捉えることができるか？
• RQ3 Bridgeland安定性条件に対して完全なサポート性をアーベル3次元多様体上で確立できるか？ そして、これは安定性多様体の構造にどのような意味を持つのか？
• RQ4 ピカール数1のプリインシパルに偏極されたアーベル3次元多様体の場合、壁交叉寄与の正確な形は何か？
• RQ5 コホモロジー代数上の判別関数Δは、壁の存在を検出でき、既知の曲線数え上げの予想と関係があるか？

主な発見

• アーベル3次元多様体の縮約ドナルドソン–トーマス不変量は、すべての導来自己同値に関して、明示的に計算された壁交叉項を除いて不変である。
• 特定のBridgeland安定性条件に対して完全なサポート性がアーベル3次元多様体上で確立され、安定性多様体が空でないことが保証される。
• 安定性多様体内にギーゼッカー部屋が存在し、すべての壁交叉寄与が完全に特定されている。
• 偶数次コホモロジーに作用する一意の、Spin(12)不変な4次多項式Δが構成され、Δ(1 + x₁⋯x₆) = -1を満たし、かつΔは⋀²Uに属するωに対する指数関数e^ω上で消える。
• ピカール数1のプリインシパルに偏極されたアーベル3次元多様体の場合、壁交叉寄与が詳細に計算され、予想される曲線数え上げ公式に対する強い証拠が得られる。
• 判別関数Δは、恒等式Δ(r₁e^{ω₁} + r₂e^{ω₂}) = -β(r₁e^{ω₁}, r₂e^{ω₂})²を満たし、不変量とEulerペアリングβを結びつける。