[論文レビュー] $\mathbb{P}^n$-functors

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|May 14, 2019

Algebraic structures and combinatorial models参考文献 60被引用数 6

ひとこと要約

本稿は、モノイド条件、随伴条件、最高次項条件を用いて定義することで、球面ファンクターと分裂 ℙⁿ-ファンクターを一般化する、非分裂 ℙⁿ-ファンクターの新理論を提示する。この理論により、自己同値関手としての ℙ-ねじれを構成し、家族の ℙ-ねじれに関して 'flop-flop = twist' 公式を証明する。これにより、既存のカテゴリカルなねじれ構成が統合・拡張される。

ABSTRACT

We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the adjoints condition, and the highest degree term condition. This unifies and extends the two earlier notions of spherical functors and split P^n-functors. We construct the P-twist of such F and prove it to be an autoequivalence. We then give a criterion for F to be a P^n-functor which is stronger than the definition but much easier to check in practice. It involves only two conditions: the strong monad condition and the weak adjoints condition. For split P^n-functors, we prove Segal's conjecture on their relation to spherical functors. Finally, we give four examples of non-split P^n-functors: spherical functors, extensions by zero, cyclic covers, and family P-twists. For the latter, we show the P-twist to be the derived monodromy of associated Mukai flop, the so-called `flop-flop = twist' formula.

研究の動機と目的

• 球面ファンクターと分裂 ℙⁿ-ファンクターの既存の概念を、非分裂 ℙⁿ-ファンクターのより広範な枠組みへ統合・一般化すること。
• モノイド条件、随伴条件、最高次項条件という3つの構造的条件を用いて ℙⁿ-ファンクターを定義すること。
• このようなファンクターの ℙ-ねじれを構成し、それが自己同値関手であることを証明すること。
• 強いモノイド条件と弱い随伴条件の2条件のみを用いた ℙⁿ-ファンクターの基準を確立すること。
• 分裂 ℙⁿ-ファンクターと球面ファンクターの関係を示すセガールの予想を証明すること。

提案手法

• ファンクター F: A → B が、自己同値関手 H を用いた Id_A からの繰り返し拡張である随伴モノイド RF を持ち、3つの構造的条件を満たす場合に ℙⁿ-ファンクターと定義する。
• FHR → FR → Id_B を含む2段階複体の畳み込み（二重コーン）として ℙ-ねじれを構成する。
• より強い、実用的である新しい基準を提示し、強いモノイド条件と弱い随伴条件の2条件のみを用いる。
• 随伴モノイドの構造と自己同値関手の性質を用いて、ℙ-ねじれが自己同値関手であることを証明する。
• 分裂 ℙⁿ-ファンクターが特定の構成により球面ファンクターから生じることを示すことで、セガールの予想を証明する。
• 4つの新しい例を提示する：球面ファンクター、ゼロ拡張、巡回被覆、および家族の ℙ-ねじれ。最後の例は、ムカイのフロップの導来モノドロミーを導く。

実験結果

リサーチクエスチョン

• RQ1 球面ファンクターと分裂 ℙⁿ-ファンクターは、どのように一つのより一般的な枠組み、すなわち ℙⁿ-ファンクターとして統合できるか？
• RQ2 非分裂の場合に、ファンクターの ℙ-ねじれが自己同値関手であることを保証する条件は何か？
• RQ3 元々の3条件定義よりも単純な基準を用いて、ファンクターが ℙⁿ-ファンクターであるかどうかを確認できるか？
• RQ4 導来モノドロミーのカテゴリカルな解釈は、ムカイのフロップに関して ℙ-ねじれを用いてどのように表現できるか？
• RQ5 家族の ℙ-ねじれは、導来幾何学における 'flop-flop = twist' 公式とどのように関係するか？

主な発見

• ℙⁿ-ファンクターの ℙ-ねじれが、ターゲットカテゴリの自己同値関手であることが証明された。
• 強いモノイド条件と弱い随伴条件の2条件のみを要件とする、より簡素化された ℙⁿ-ファンクターの基準が確立された。
• 本稿では、セガールの予想が証明された：分裂 ℙⁿ-ファンクターは、ある標準的構成により球面ファンクターから生じる。
• 家族の ℙ-ねじれに関して、ℙ-ねじれが関連するムカイのフロップの導来モノドロミーと同型であることが示された。
• 球面ファンクター、ゼロ拡張、巡回被覆、および家族の ℙ-ねじれを含む、非分裂 ℙⁿ-ファンクターの4つの新しい例が構成された。
• 家族の ℙ-ねじれの構成を用いて、ムカイのフロップに関して 'flop-flop = twist' 公式がカテゴリカルに検証された。