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

Antony Maciocia, Dulip Piyaratne|arXiv (Cornell University)|Oct 1, 2013

Algebraic Geometry and Number Theory参考文献 22被引用数 11

ひとこと要約

この論文は、非自明なフーリエ＝ムカイ変換を用いて傾き安定な対象における強いボゴモロフ＝ギーセカー不等式を証明することにより、ピカール数が1の主に偏極されたアーベル3次元多様体におけるブリジゲランド安定構造を確立する。特定の連接層の二重傾きがこれらの変換のもとで保存されることを示し、アーベル圏の同値性を導き、BMTフレームワークによる安定構造の予想的構成を裏付ける。

ABSTRACT

We show that the conjectural construction proposed by Bayer, Bertram, Macrí and Toda gives rise to Bridgeland stability conditions for a principally polarized abelian three-fold with Picard rank one by proving that tilt stable objects satisfy the strong Bogomolov-Gieseker type inequality. This is done by showing any Fourier-Mukai transform gives an equivalence of abelian categories which are double tilts of coherent sheaves.

研究の動機と目的

• 主に偏極されたピカール数1のアーベル3次元多様体上の傾き安定な対象について、強いボゴモロフ＝ギーセカー不等式を証明すること。
• BMTプログラムによるブリジゲランド安定構造の予想的構成をアーベル3次元多様体へ拡張すること。
• 非自明なフーリエ＝ムカイ変換が、導来圏における連接層の二重傾きの間で同値を誘導することを示すこと。
• $ H^{2*}(X,\mathbb{Q}) $ 上のコホロロジー的フーリエ＝ムカイ変換の行列表現を提供し、安定構造の数値的解析を可能にする。

提案手法

• ピカール数1のアーベル3次元多様体上のフーリエ＝ムカイ変換の群 $ (X \times \widehat{X}) \rtimes \widetilde{\mathrm{SL}(2,\mathbb{Z})} $ を用いる。
• $ H^{2*}(X,\mathbb{Q}) $ 上のコホロロジー的フーリエ＝ムカイ変換の行列表現を構成し、適切なねじれチャーン類の下で反対角行列として作用することを示す。
• 変換を $ \mathcal{B} $-対象の $ \Gamma^{i}_{b'} $ における像を調べることで、導来圏のハート内での位置を追跡する。
• スペクトル系列とジョルダン＝ホルダー分解を用いて、変換下での対象の像を解析し、特に $ \Gamma^0_{b'}(E) $ の消失に注目する。
• 変換が二重傾きの構造を保存することを確立し、$ \mathcal{A}_{m\ell,b\ell} $ の形をしたアーベル圏同士の同値性を導く。
• 中心的スコア $ Z_{\alpha} $ 及びそのフーリエ＝ムカイ作用による変換を用いて、虚部を介して必要な不等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 主に偏極されたピカール数1のアーベル3次元多様体上の傾き安定な対象について、強いボゴモロフ＝ギーセカー不等式が成立するか？
• RQ2 非自明なフーリエ＝ムカイ変換は、導来圏における連接層の二重傾きの間で同値を誘導するか？
• RQ3 コホロロジー的フーリエ＝ムカイ変換はアーベル3次元多様体のコホロロジーにどのように作用するか？ そして、これを行列として表現できるか？
• RQ4 中心的スコア $ Z_{\alpha} $ はフーリエ＝ムカイ変換の作用でどのように変化するか？ また、安定性のための必要な符号条件を保つか？
• RQ5 $ \Gamma^0_{b'}(E) $ の消失が、中心的スコアにおける厳密な不等式を確認するための矛盾を導くのに利用できるか？

主な発見

• 主に偏極されたピカール数1のアーベル3次元多様体上の傾き安定な対象について、強いボゴモロフ＝ギーセカー不等式が成立する。
• 非自明なフーリエ＝ムカイ変換 $ (X \times \widehat{X}) \rtimes \widetilde{\mathrm{SL}(2,\mathbb{Z})} $ は、連接層の二重傾きの間で同値を誘導し、アーベル圏の構造を保存する。
• 適切なねじれチャーン類の下で、コホロロジー的フーリエ＝ムカイ変換は $ H^{2*}(X,\mathbb{Q}) $ 上で反対角行列として作用し、数値的制御を可能にする。
• 非ゼロの $ \Gamma^0_{b'}(E) $ に対して、中心的スコアの虚部 $ \operatorname{Im} Z_{m'\ell,b'\ell}(\Gamma^0_{b'}(E)) $ は厳密に負であることが確認され、必要な不等式が裏付けられる。
• 対象 $ E $ についてのスペクトル系列は退化し、矛盾の仮定のもとで $ \Gamma^0_{b'}(E) = 0 $ が得られる。これにより、厳密な不等式が証明される。
• 同値 $ \Gamma[1](\mathcal{A}_{m\ell,b\ell}) \cong \mathcal{A}_{m'\ell,b'\ell} $ が確立され、変換が安定構造のハートを保存することを確認する。