[論文レビュー] Flops and Equivalences of derived Categories for Threefolds with only Gorenstein Singularities

Jiun-Cheng Chen|ArXiv.org|Feb 1, 2002

Algebraic Geometry and Number Theory被引用数 29

ひとこと要約

本稿では、終極的でゴレンシュタイン特異点のみをもつ三様体に対して、フロッピング写像下での perverse ポイント層のモジュライ空間がフロップと同型であり、関連するフーリエ＝ムカイ変換が有界導来カテゴリの同値を誘導することを確立している。この結果は、滑らかではない三様体へ Bridgeland の定理を一般化したものであり、四様体の滑らか化構成と導来カテゴリの技法を用いて、随伴函手とセルレ双対性を介して同値性を証明している。

ABSTRACT

The main propose of this paper is to show that Bridgeland's moduli space of perverse point sheaves for certain flopping contractions gives the flops, and the Fourier-Mukai transform given by the birational correspondence of the flop is an equivalence between bounded derived categories.

研究の動機と目的

• 滑らかな三様体のフロッピングに対して Bridgeland の導来同値性の結果を、終極的ゴレンシュタイン特異点をもつ三様体へ拡張すること。
• フロッピング写像下での perverse ポイント層のモジュライ空間が、フロップと同型であることを証明すること。
• 普遍 perverse ポイント層に関連するフーリエ＝ムカイ変換が、特異三様体上での導来カテゴリの同値を誘導することを確立すること。
• 局所的かつ滑らかな四様体の構成に還元することで、特異な状況下でも導来カテゴリの同値性が保たれることを示すこと。

提案手法

• 基底 $Y$ の局所アフィン被覆に問題を還元し、導来カテゴリの同値性を局所的に分析する。
• 非特異四様体を用いた滑らか化構成を用いて、滑らかな場合の技法を特異三様体の設定へと移行する。
• モジュライ空間 $W$ に沿って平坦な普遍 perverse 理想層によって定義されるカーネルを用いたフーリエ＝ムカイ変換の理論を適用する。
• 随伴函手を用い、カーネルが $\mathcal{O}_{\Delta_W}$ に quasi-isomorphic であることを示すことで、完全忠実性を証明する。
• セルレ双対性と交差定理を用いて、カーネル $\mathcal{Q}$ が対角上に台を持つことを示し、$W$ が非特異的であり、変換が同値であることを示す。
• 特に [BKR99] および [Br00] の結果に依拠し、カーネル対象 $\mathcal{Q}$ 及びそのコホロロジーの幅を用いて導来同値性を導出する。

実験結果

リサーチクエスチョン

• RQ1 Bridgeland の滑らかな三様体のフロッピングに対する導来同値性は、終極的ゴレンシュタイン特異点をもつ三様体へ拡張可能か？
• RQ2 フロッピング写像下での perverse ポイント層のモジュライ空間は、特異な場合にフロップと同型か？
• RQ3 普遍 perverse ポイント層に関連するフーリエ＝ムカイ変換は、特異三様体上での導来カテゴリの同値を誘導できるか？
• RQ4 滑らかな場合の技法は、特異な状況下で導来同値性を証明するためにどのように適応可能か？

主な発見

• perverse ポイント層のモジュライ空間 $W$ は、滑らかではない場合でも終極的ゴレンシュタイン特異点のみをもつ。これは、滑らかな場合の非特異性結果の一般化である。
• 普遍 perverse ポイント層によって誘導されるフーリエ＝ムカイ変換 $\Psi: D^b(W) \to D^b(X)$ は、導来カテゴリの同値である。
• モジュライ空間 $W$ はフロップ $X^+$ と同型であり、$W \cong X^+$ が成り立ち、Bridgeland の結果が特異三様体へ拡張される。
• 局所アフィン被覆への還元と四様体の滑らか化構成を用いることで、特異な状況下でも導来カテゴリの同値性が保たれる。
• 変換のカーネル $\mathcal{Q}$ は $\mathcal{O}_{\Delta_W}$ に quasi-isomorphic であり、随伴函手理論を介して同値性が確認される。
• 証明により $\Phi \circ \Psi \cong \text{id}$ が示され、完全忠実性が確認され、自然変換 $\varepsilon$ を用いてカーネルが対角上で自明であることが示される。