[論文レビュー] On derived equivalence for Abuaf flop: mutation of non-commutative crepant resolutions and spherical twists

Wahei Hara|arXiv (Cornell University)|Jun 14, 2017

Algebraic structures and combinatorial models参考文献 9被引用数 7

ひとこと要約

本稿は、Toda-Ueharaのティルティング bundle と Iyama-Wemyss の変異関手を用いて、Abuafの5次元フロップに対する導来同値を確立し、例外的局所の沿っての変異の合成が球面的ねじれをもたらすことを示した。これは「フロップ-フロップ=ねじれ」現象を確認し、多重変異がねじれに対応することを示し、非可換クリープアンビエント解消を介した導来同値のカテゴリカル解釈を提供する。

ABSTRACT

Recently, Segal constructed a derived equivalence for an interesting 5-fold flop that was provided by Abuaf. The aim of this article is to add some results for the derived equivalence for Abuaf's flop. Concretely, we study the equivalence for Abuaf's flop by using Toda-Uehara's tilting bundles and Iyama-Wemyss's mutation functors. In addition, we observe a "flop-flop=twist" result and a "multi-mutation=twist" result for Abuaf's flop.

研究の動機と目的

• SegalとToda-Ueharaの手法によって構成されたフロップ多様体 Y と Y′ 上の異なるティルティング bundle 間の関係を明確化すること。
• 非可換クリープアンビエント解消 (NCCRs) を用いて、Y と Y′ の導来圏の同値性を調査すること。
• Iyama-Wemyss の変異と球面的ねじれを用いて、導来同値のカテゴリカル解釈を確立すること。
• Abuafのフロップの文脈において、「フロップ-フロップ=ねじれ」と「多重変異=ねじれ」現象を検証すること。

提案手法

• 確認された仮定の下で、Toda-Uehara の手法を用いて Y と Y′ 上のティルティング bundle を構成し、明示的な自己準同型代数を得る。
• Iyama-Wemyss の変異関手を用いて、特異基底 X = Spec R の異なる NCCR を関連付ける。
• 球面的ねじれ関手を適用して、解消の導来圏上での変異の合成を記述する。
• 変異関手、球面的ねじれ、導来同値関手を結ぶ可換図式を確立する。
• Borel-Bott-Weil 定理とラインバンドル上の明示的計算を用いて、ねじられた対象の同型を検証する。
• 球面的ねじれの合成がラインバンドルとのテンソル積と同型であることを特定し、ねじれ構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 Segal と Toda-Uehara が同一多様体 Y 上で構成したティルティング bundle 間の関係は何か？
• RQ2 Segal のティルティング bundle と Toda-Uehara のティルティング bundle が誘導する導来同値の関係は何か？
• RQ3 例外的局所に沿った変異の合成は球面的ねじれをもたらすか？
• RQ4 この非可換設定において「フロップ-フロップ=ねじれ」現象はカテゴリカルに実現可能か？
• RQ5 多重変異プロセスは単一の球面的ねじれと同値か？

主な発見

• Toda-Uehara の手法によるティルティング bundle は必要な仮定を満たし、Segal の構成から得られるものと同型な明示的な自己準同型代数をもたらす。
• Toda-Uehara のティルティング bundle から得られる導来同値は、Segal の同値と同型であり、両手法の整合性を示す。
• 例外的 divisor Z 沿いの球面的ねじれの合成は、変異関手の合成の逆と同型である。
• 例外的局所に沿った多重変異プロセスは、単一の球面的ねじれと同値であり、「多重変異=ねじれ」結果を確認する。
• O_Z(-n+1) から O_Z(-1) までの球面的ねじれの合成は、L^n とのテンソル積関手と同型であり、ねじれの幾何的実現を提供する。
• 「フロップ-フロップ=ねじれ」結果がカテゴリカルに回復された：2回のフロップの合成は球面的ねじれに対応し、(Ψ∘Φ)^{-1} ≃ T_{O_Z(-n+1)}∘⋯∘T_{O_Z(-1)} の同型により示された。