[論文レビュー] Derived category of projectivization and flops

Qingyuan Jiang, Naichung Conan Leung|arXiv (Cornell University)|Nov 29, 2018

Algebraic Geometry and Number Theory参考文献 58被引用数 19

ひとこと要約

本稿は、2段階の分解を持つ正則スキーム上の連接層に対して、導来カテゴリー射影化公式を確立し、行列式超曲面のスプリンガータイプ分解から生じる高次元のフロップにおいて、フロップ-フロップ合成が球面的ねじれをもたらすことを証明する。これらの結果は、 perverse schobers の新しい例を提供し、導来代数幾何におけるカテゴリフィケッドモノドロミーの予想である Bondal-Kapranov-Schechtman の提言を支持する。

ABSTRACT

In this paper, we first show a projectivization formula for the derived category $D^b_{ m coh} (\mathbb{P}(\mathcal{E}))$, where $\mathcal{E}$ is a coherent sheaf on a regular scheme which locally admits two-step resolutions. Second, we show that flop-flop=twist results hold for flops obtained by two different Springer-type resolutions of a determinantal hypersurface. This also gives a sequence of higher dimensional examples of flops which present perverse schobers, and provide further evidences for the proposal of Bondal-Kapranov-Schechtman [BKS,KS]. Applications to symmetric powers of curves, Abel-Jacobi maps and $\Theta$-flops following Toda are also discussed.

研究の動機と目的

• 2段階の分解を持つ正則スキーム上の連接層の導来カテゴリー射影化公式を構築すること。
• 行列式超曲面のスプリンガータイプ分解から生じるフロップの性質を調査すること。
• これらのフロップが perverse schobers およびカテゴリフィケッドモノドロミー理論に与える影響を検討すること。
• Toda が提起した対称べき、アーベル・ジャコビ写像、および $Θ$-フロップへの応用を拡張すること。

提案手法

• 連接層 $\mathcal{E}$ の2段階分解性質を用いて、射影化 $\mathbb{P}(\mathcal{E})$ の導来カテゴリーに対する半直交分解を構成する。
• 導来代数幾何の技法を用い、球面的ねじれを通じてフロップの導来カテゴリーを分析する。
• 行列式超曲面の幾何を活用し、異なるスプリンガータイプ分解から誘導される双有理変換としてフロップを実現する。
• Bondal-Kapranov-Schechtman フレームワークを用いて、フロップ-フロップ合成を導来カテゴリーにおけるねじれとして解釈する。
• 既知の対称べきおよびアーベル・ジャコビ写像の結果を活用し、導来不変量をモジュライ的文脈へ拡張する。
• フロップ-フロップ写像が球面的ねじりとして作用する高次元例の系列を確立し、 perverse schober プログラムの予想を確認する。

実験結果

リサーチクエスチョン

• RQ1 連接層 $\mathcal{E}$ が局所的に2段階分解を持つとき、$\mathcal{E}$ の射影化の導来カテゴリーはどのように記述できるか？
• RQ2 行列式超曲面の異なるスプリンガータイプ分解から得られるフロップの導来カテゴリーの性質は何か？
• RQ3 このような文脈において、2つのフロップの合成は、 perverse schober フレームワークが予測するように球面的ねじりとなるか？
• RQ4 これらのフロップは、導来幾何における曲線の対称べきおよびアーベル・ジャコビ写像とどのように関係するか？
• RQ5 これらの例は、Bondal-Kapranov-Schechtman のカテゴリフィケッドモノドロミーに関する提言をどの程度支持するか？

主な発見

• 正則スキーム上に存在する連接層 $\mathcal{E}$ が局所的に2段階分解を持つという仮定の下で、$D^b_{\text{coh}}(\mathbb{P}(\mathcal{E}))$ の射影化公式が確立された。
• 行列式超曲面の異なるスプリンガータイプ分解から生じる2つのフロップの合成は、導来カテゴリー上で球面的ねじりとして作用する。
• これらのフロップは、 perverse schobers の高次元例をもたらし、カテゴリフィケッドモノドロミー提言の具体的な実現を提供する。
• 射影化の導来カテゴリーは、$\mathcal{E}$ の2段階分解構造を反映する半直交分解を備える。
• フロップ構成の導来不変量を活用し、曲線の対称べきおよびアーベル・ジャコビ写像への応用が拡張された。
• これらの結果は、導来カテゴリカル幾何の広範な枠組みを支持する新たなクラスの高次元特異点において、期待されたフロップ-フロップ=ねじれ現象を確認した。