[論文レビュー] Fourier-Mukai Transforms and Bridgeland Stability Conditions on Abelian Threefolds

Antony Maciocia, Dulip Piyaratne|arXiv (Cornell University)|Apr 14, 2013

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

ひとこと要約

本稿では、主に極化されたアーベル3次元多様体でピカール数1のものに対して、特定のティルト安定な対象のクラスに関するボゴモロフ＝ギーセーカー型不等式を証明することによって、ブリッジランド安定性条件を確立する。フーリエ＝ムカイ変換を用い、安定性条件のハートを保存することで、ハート内の最小対象が最小対象に写されることが示され、これにより必要な不等式の検証が可能となり、カルラビ＝ヤウ3次元多様体上での安定性条件の構成が達成される。

ABSTRACT

We show that the construction of Bayer, Bertram, Macri and Toda gives rise to a Bridgeland stability condition on a principally polarized abelian threefold with Picard rank one by establishing their conjectural generalized Bogomolov-Gieseker inequality for certain tilt stable objects. We do this by proving that a suitable Fourier-Mukai transform preserves the heart of a particular conjectural stability condition. We also show that the only reflexive sheaves with zero first and second Chern classes are the flat line bundles.

研究の動機と目的

• 主に極化されたアーベル3次元多様体でピカール数1のものにブリッジランド安定性条件を構成すること。
• アーベル3次元多様体の導来カテゴリ−内での制限されたクラスのティルト安定な対象に対して、ボゴモロフ＝ギーセーカー型不等式を検証すること。
• 特定のフーリエ＝ムカイ変換が安定性条件のハートを保存することを示し、これにより不等式の証明が可能になること。
• カルラビ＝ヤウ3次元多様体、特にアーベル3次元多様体に対して、ブリッジランド安定性の枠組みを拡張すること。ここでは、それまでのところ、このような例は知られていなかった。

提案手法

• 著者らは、ねじれたスロープ安定性を用いて標準的t-構造の2回目のティルトにより定義される、t-構造のハートを $\mathcal{A}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$ と表記する。
• Poincar\'e バンドルをカーネルとするフーリエ＝ムカイ変換 $\Psi = L\Phi$ を用いて、ハート内の対象のコホモロジー的性質を分析する。
• 鍵となる技術的ステップは、$\Psi$ および $\widehat{\Psi}$ による $\mathcal{B}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$ の像が、次数 0, 1, 2 のみに非自明なコホモロジーを持つことの証明である。
• $\Psi[1]$ および $\widehat{\Psi}[1]$ がカテゴリ $\mathcal{A}$ を保存することを示すことで、最小対象が最小対象に写されることを確立し、これにより上部のチャーン類成分の上限が得られる。
• スペクトル系列およびコホモロジー的分解を用いて、トーション層およびトーションフリー層の変換後の像を分析する。
• 証明は、同型 $\Psi \circ \widehat{\Psi} \cong (-1)^*[-2]$ に依存しており、これにより双対性およびコホモロジーの消滅を用いて必要な不等式を導出できる。

実験結果

リサーチクエスチョン

• RQ1 主に極化されたアーベル3次元多様体でピカール数1のものに、特にカルラビ＝ヤウの場合に、ブリッジランド安定性条件が存在するか？
• RQ2 アーベル3次元多様体の導来カテゴリ−内での制限されたクラスのティルト安定な対象に対して、ボゴモロフ＝ギーセーカー型不等式を検証できるか？
• RQ3 フーリエ＝ムカイ変換は、アーベル3次元多様体上で標準的t-構造の2回目のティルトにより定義されたt-構造のハートを保存するか？
• RQ4 フーリエ＝ムカイ変換によるコホモロジーの振る舞いをどのように用いることで、ブリッジランド安定性の文脈での数値的不等式を導出できるか？
• RQ5 このような安定性条件が、自明なチャーン類を持つベクトル bundle に非平坦なヘリットシャン＝アインシュタイン接続が存在しないことへの影響は何か？

主な発見

• 著者らは、$\operatorname{NS}(X) = \mathbb{Z}[\ell]$ を満たす主に極化されたアーベル3次元多様体上にブリッジランド安定性条件を構成し、カルラビ＝ヤウ3次元多様体上でのその存在を確認した。
• フーリエ＝ムカイ変換によるハートの保存を用いて、$\mathcal{A}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$ 内の制限されたクラスの最小対象に対してボゴモロフ＝ギーセーカー型不等式が検証された。
• $\Psi[1]$ およびその逆 $\widehat{\Psi}[1]$ がアーベルカテゴリ $\mathcal{A}$ の自己同値であることが示され、これは不等式証明に不可欠である。
• $\Psi$ および $\widehat{\Psi}$ による $\mathcal{B}_{\frac{\sqrt{3}}{2}\ell,\frac{1}{2}\ell}$ の像が、次数 0, 1, 2 のみに非自明なコホモロジーを持つことは、重要な技術的結果である。
• 証明は、$c_1(E) = 0$ かつ $c_2(E) = 0$ を満たす3次元多様体上のベクトル束 $E$ が非平坦なヘリットシャン＝アインシュタイン接続をもたないことを示唆する。
• この手法は、他のカルラビ＝ヤウ3次元多様体や、アーベル3次元多様体上の他の安定性条件への一般化が可能である可能性を提供する。