[论文解读] Frobenius and Spherical Codomains and Neighbourhoods

Andreas Hochenegger, Ciaran Meachan|arXiv (Cornell University)|Jan 14, 2020

Algebraic structures and combinatorial models参考文献 27被引用 1

一句话总结

本文引入了在同时具有左和右伴随的三角范畴之间精确函子的Frobenius和球面余域及邻域。通过分析此类函子的余扭，作者构造了最大全三角子范畴——分别称为Frobenius或球面余域——在这些子范畴上，函子分别表现出特别的Frobenius或球面性质。关键结果表明，这些子范畴是最大的，并通过伴随关系和自然变换刻画了函子的行为。

ABSTRACT

Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author.

研究动机与目标

• 将球面子范畴的概念推广至函子，扩展先前对球面类对象的研究。
• 通过测量伴随比较中与同构的偏离程度，回答具有左右伴随的函子在何时成为Frobenius或球面函子的问题。
• 定义并研究Frobenius余域与球面余域，作为函子表现出Frobenius或球面行为的最大三角子范畴。
• 引入局部版本——Frobenius与球面邻域——围绕余域中的对象，利用Serre对偶与伴随函子。
• 通过射影丛、爆破和Enriques曲面的几何例子说明理论，展示这些构造如何恢复已知结构，如联络类与球面子范畴。

提出的方法

• 对于一个具有左右伴随的精确函子 F: A → B，通过伴随三角形定义余扭 C 和扭 T：C → id_A → RF 与 FR → id_B → T。
• 当 C = 0（即 F 为例外函子）时，构造三角形 P → R → L，将 Frobenius 余域定义为 Frb(F) = ker P ⊂ B。
• 当 C 为自同构（即 F 为球面类函子）时，构造三角形 Q → R → CL[1]，将球面余域定义为 Sph(F) = ker Q ⊂ B。
• 对于局部邻域，利用 Serre 对偶定义 Frb(F, A) = ⊥TSB(FA) 与 Sph(F, A) = ⊥QrSAA，其中 Qr 是 Q 的右伴随。
• 证明 Frb(F) 与 Sph(F) 是 B 中最大的全三角子范畴，使得 F 在其上分别成为特别的 Frobenius 或球面函子。
• 利用 C 与 T 之间的对偶性对构造进行对偶化，提示共例外与共球面类函子作为对偶概念。

实验结果

研究问题

• RQ1 在何种条件下，一个具有左右伴随的精确函子在其余域的子范畴上成为 Frobenius 或球面函子？
• RQ2 如何系统地构造余域中使得函子成为 Frobenius 或球面函子的最大全三角子范畴？
• RQ3 自然变换 ϕ: R → RFL（或至 CL[1]）在判断函子是否为（拟）Frobenius 时起什么作用？
• RQ4 余域中对象的 Frobenius 与球面邻域如何与 Serre 对偶性及环境范畴的结构相关联？
• RQ5 所有球面类函子是否均由球面与例外函子复合而成，还是存在非复合的反例？

主要发现

• Frobenius 余域 Frb(F) 是 B 中最大的全三角子范畴，使得核心限制 F|FrB(F) : A → Frb(F) 成为特别的 Frobenius 函子。
• 球面余域 Sph(F) 是 B 中最大的全三角子范畴，使得 F|Sph(F) 成为球面函子。
• 对于例外函子 F，FA ∈ B 的 Frobenius 邻域为 Frb(F, A) = ⊥TSB(FA)，且其在包含 FA 的 Serre 对偶的意义下是最大的。
• 对于球面类函子 F，其球面邻域为 Sph(F, A) = ⊥QrSAA，且其在包含 FA 的 Serre 对偶的意义下是最大的。
• 在三维流形中 P1 的爆破 π: Bl_P1(X) → X 的情形下，π∗ 的 Frobenius 偏序集同构于 Db(P1) 的厚子范畴的偏序集。
• 与 Enriques 曲面上一个 3-球面类对象相关的球面类函子 Fi: Db(k) → Db(X) 的球面偏序集恰好包含两个元素：球面子范畴与整个范畴。