[论文解读] $\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.

研究动机与目标

• 将现有的球面函子与分裂 ℙⁿ-函子概念统一并推广为更广泛的非分裂 ℙⁿ-函子框架。
• 通过三个结构条件——单子条件、伴随条件与最高次项条件——定义 ℙⁿ-函子。
• 构造此类函子的 ℙ-扭转，并证明其为自同构。
• 仅使用强单子条件与弱伴随条件，建立 ℙⁿ-函子的判定准则。
• 证明塞加尔关于分裂 ℙⁿ-函子与球面函子关系的猜想。

提出的方法

• 将 ℙⁿ-函子定义为函子 F: A → B，其伴随单子 RF 是自同构 H 的幂对 Id_A 的重复扩张，且满足三个结构条件。
• 通过涉及 FHR → FR → Id_B 的两步复形的卷积（双锥）构造 ℙ-扭转。
• 引入一个更强且更实用的判定准则，仅依赖于强单子条件与弱伴随条件。
• 利用伴随单子的结构及自同构的性质，证明 ℙ-扭转是自同构。
• 通过证明分裂 ℙⁿ-函子可通过特定构造从球面函子导出，从而证明塞加尔的猜想。
• 提供四个新例子：球面函子、零扩张、循环覆盖以及族 ℙ-扭转，其中最后一个例子给出了 Mukai 翻转的导出单值性。

实验结果

研究问题

• RQ1 如何将球面函子与分裂 ℙⁿ-函子统一于 ℙⁿ-函子的单一、更一般的框架之下？
• RQ2 在非分裂情形下，何种条件可确保函子的 ℙ-扭转为自同构？
• RQ3 能否使用少于原始三个条件定义的更简明准则来验证一个函子是否为 ℙⁿ-函子？
• RQ4 在范畴论语言中，Mukai 翻转的导出单值性如何通过 ℙ-扭转来解释？
• RQ5 族 ℙ-扭转与导出几何中的 'flop-flop = twist' 公式有何关系？

主要发现

• 证明了 ℙⁿ-函子的 ℙ-扭转是目标范畴的自同构。
• 提出了一项新的简化准则，仅需强单子条件与弱伴随条件即可判定 ℙⁿ-函子。
• 本文证明了塞加尔的猜想：分裂 ℙⁿ-函子可通过一个自然构造从球面函子导出。
• 对于族 ℙ-扭转，证明其同构于相关 Mukai 翻转的导出单值性。
• 构造了四个新的非分裂 ℙⁿ-函子例子：球面函子、零扩张、循环覆盖以及族 ℙ-扭转。
• 通过族 ℙ-扭转构造，从范畴论角度验证了 Mukai 翻转的 'flop-flop = twist' 公式。