[論文レビュー] Postnikov-Stability versus Semistability of Sheaves

Georg Hein, David Ploog|ArXiv.org|Jan 12, 2009

Dynamics and Control of Mechanical Systems被引用数 5

ひとこと要約

本稿は、射影的代数多様体 $X$ の有界な特徴的層の導来カテゴリ $\mathrm{D^{b}}(X)$ における対象に対して、ギーゼッカーおよび $\mu$-半安定性を一般化する新しい安定性条件「ポストニコフ安定性」を導入する。半安定層がこの安定性条件を満たすことを示し、フーリエ＝ムカイ変換を用いて、真の複体を介して安定バンドルのモジュライ空間をコンパクト化する。この手法により、導来カテゴリにおけるホモロジー的条件を用いた半安定層の特徴付けが得られる。

ABSTRACT

We present a novel notion of stable objects in a triangulated category. This Postnikov-stability is preserved by equivalences. We show that for the derived category of a projective variety this notion includes the case of semistable sheaves. As one application we compactify a moduli space of stable bundles using genuine complexes via Fourier-Mukai transforms.

研究の動機と目的

• 射影的多様体 $X$ の導来カテゴリ $\mathrm{D^{b}}(X)$ において、古典的な層の半安定性を一般化する、三角カテゴリにおける新しい安定性概念「ポストニコフ安定性」を定義すること。
• ギーゼッカーおよび $\mu$-半安定層がこのポストニコフ安定性条件を満たすことを示し、古典的半安定性を導来的枠組みに埋め込むこと。
• 与えられたヒルベルト多項式をもつ半安定層に同型である複体を、導来ホモロジー条件とヒルベルト多項式の制約を用いて同定するためのホモロジー的基準を提供すること。
• フーリエ＝ムカイ変換を用いて、真の複体を介して安定バンドルのモジュライ空間をコンパクト化し、古典的な連接層によるコンパクト化とは対照的に導来的コンパクト化の代替手段を提供すること。

提案手法

• ヒルベルト多項式やコホモロジー次元といった数値的制約を符号化する、対象 $C_j$ と整数 $N^i_j$ からなるポストニコフデータ $(C_{\bullet}, N)$ を定義する。
• すべての $i,j$ に対して $\hom^i(C_j, A) = N^i_j$ であり、かつ複体 $C_{\bullet \geq 0}$ が $A \in K^\perp$ を満たすような畳み込み $K$ を持つとき、$A \in \mathrm{D^{b}}(X)$ を P-安定と定義する。
• アラル・コンスルとキングによる純粋性のホモロジー的基準および直交補空間の存在を用い、複体が与えられたギーゼッカー半安定層に同型であるための完全に導来的条件を導出する。
• フーリエ＝ムカイ変換を用いて、理想層のモジュライ空間（例えばヒルベルトスキーム）を、$\mu$-半安定層のモジュライ空間へ写像し、安定点が安定対象へ、特異ファイバーが複数の次数にコホモロジーを持つ複体へ写像されることを示す。
• 球面的ねじれ関手 $\mathsf{T}_E$（例えば、楕円曲線上のルールド表面における $\mathcal{O}_X$）を用い、P-データを前方に写し、新しいP-安定対象を構成する。このとき、完全忠実関手の下で安定性が保たれることを示す。
• 滑らかなモジュライ成分の球面的ねじれ関手による像が滑らかであり続けることを示し、局所的幾何構造が保存されつつ、導来的コンパクト化が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 射影的多様体上の半安定層は、導来カテゴリにおいて完全にホモロジー的条件で特徴付けられるか？
• RQ2 古典的半安定性を一般化し、導来同値のもとで保存される導来的安定性概念が存在するか？
• RQ3 フーリエ＝ムカイ変換を用いて、単なる層ではなく真の複体を用いて、安定バンドルのモジュライ空間をコンパクト化できるか？
• RQ4 球面的ねじれ関手はポストニコフ安定性とどのように作用するか？また、既存のP-安定対象から新しいP-安定対象を生成できるか？
• RQ5 ポストニコフ安定性による安定バンドルのモジュライ空間の導来的コンパクト化は、古典的な連接層によるコンパクト化と同値か？

主な発見

• 適切なP-データに関して、ギーゼッカー半安定層はポストニコフ安定性条件を満たす。これにより、古典的半安定性の導来的一般化が確立される。
• 本稿は、与えられたヒルベルト多項式をもつギーゼッカー半安定層に同型である複体を同定するための完全なホモロジー的基準（定理11）を提供する。この基準は、導来ホモロジーの消失と数値的制約に基づく。
• フーリエ＝ムカイ変換は、長さ2の部分スキームのヒルベルトスキーム $\operatorname{Hilb}^2(X)$ を、$\mu$-半安定層のモジュライ空間へ写像する。安定点は安定層へ、特異ファイバーは次数0と1にコホモロジーを持つ複体へ写像される。
• 複体を用いた $\mathcal{M}_2^{s}$ のコンパクト化（$\mathsf{FM}_\mathcal{P}$ を用いて）は、特異点をもつ連接層による古典的コンパクト化と同値である。これにより、導来的アプローチの整合性が示される。
• 球面的ねじれ関手 $\mathsf{T}_E$ はP-データに作用するときポストニコフ安定性を保存し、その像は新たなP-安定対象を生成する。例えば、楕円曲線上のルールド表面において $\mathsf{T}_{\mathcal{O}_X}$ は $\mathrm{D^{b}}(X)$ 上で完全忠実に作用する。
• 球面的ねじれ関手による滑らかなモジュライ成分の像は滑らかであり、導来的コンパクト化が局所的幾何的構造を保存していることが示唆される。