[论文解读] Autoequivalences of toric surfaces

Nathan Broomhead, David Ploog|arXiv (Cornell University)|Oct 8, 2010

Algebraic Geometry and Number Theory参考文献 16被引用 6

一句话总结

该论文证明了任意光滑射影环面曲面的导出范畴的自同构群由标准自同构（线丛扭转、自同构、移位）和与$-2$-曲线相关的球面对称自同构生成。此外，论文还确定了这些生成元之间的关系，并通过正合三角形将球面对象与例外族联系起来，在许多情况下提供了完整的描述。

ABSTRACT

We show that the autoequivalence group of the derived category of any smooth projective toric surface is generated by the standard equivalences and spherical twists obtained from -2-curves. In many cases we give all relations between these generators. We also prove a close link between spherical objects and certain pairs of exceptional objects.

研究动机与目标

• 确定光滑射影环面曲面的导出范畴的自同构群的完整结构。
• 识别该群的生成元，表明它们是标准自同构和来自$-2$-曲线的球面对称自同构。
• 在许多情况下描述这些生成元之间的关系，超越单纯的生成。
• 通过正合三角形在球面对象与例外族之间建立结构性联系。
• 将结果推广到某些具有类似性质的非环面有理曲面。

提出的方法

• 使用导出范畴理论和三角范畴技术分析光滑射影曲面的自同构。
• 应用与球面对象相关的球面对称自同构函子，特别是$\mathcal{O}_C$（其中$C$为$-2$-曲线）。
• 利用Serre对偶同构$\operatorname{Hom}(A,B) \cong \operatorname{Hom}(B,A\otimes\omega_X[2])^*$分析$\mathcal{D}(X)$中的对偶性。
• 利用canonical bundle $\omega_X$ 及其与反canonical类$-K_X$的关系，通过交点理论证明$-K_X$是大线丛。
• 使用Picard群及其在$-2$-曲线和其他曲线上的分解，特别是在$\mathbf{k}^*$-曲面的背景下。
• 应用Ishii与Uehara关于一般型曲面的结果，与具有负canonical bundle的环面曲面进行类比与对比。

实验结果

研究问题

• RQ1 什么生成了光滑射影环面曲面的导出范畴的自同构群？
• RQ2 来自$-2$-曲线的球面对称自同构在自同构群中如何超越标准自同构发挥作用？
• RQ3 在特定环面曲面中，自同构群的生成元之间存在何种关系？
• RQ4 球面对象如何与环面曲面的导出范畴中的例外族相关联？
• RQ5 环面曲面的结果在多大程度上可推广到具有$\mathbf{k}^*$-作用且具有平凡稳定子的非环面有理曲面？

主要发现

• 任意光滑射影环面曲面$X$的自同构群$\operatorname{Aut}(\mathcal{D}(X))$由标准自同构和来自$-2$-曲线的球面对称自同构生成。
• 在许多情况下，本文提供了自同构群的完整表示，包括所有生成元之间的关系。
• 通过交点理论和伪有效锥，证明了所有环面曲面的反canonical bundle $-K_X$ 是大线丛。
• 当$X$是有理曲面、具有平凡稳定子且$F^+$与$F^-$不同时为$-2$-曲线时，包含关系$\operatorname{Pic}_\Delta(X) \subset \operatorname{Pic}(X)$是分裂的。
• 环面曲面上的球面对象由正合三角形$E' \to E \to S$产生，其中$E'$、$E$为例外对象，$S$为球面对象，从而将例外对象与球面对象联系起来。
• $B(X)$球面对称自同构群是$\operatorname{Aut}(\mathcal{D}(X))$的正规子群，且整个自同构群由$A(X)$与$B(X)$生成。