[论文解读] Autoequivalences of derived categories on the minimal resolutions of $A_n$-singularities on surfaces

Akira Ishii, Hokuto Uehara|ArXiv.org|Sep 9, 2004

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

一句话总结

本文确定了表面 $A_n$-奇点最小解析的凝聚层导出范畴的自等价群的完整结构。通过球面对象与扭转变换，证明该群由Picard群的傅里叶-穆凯伊变换、自同构、移位函子以及球面扭转变换生成，并精确地分解为半直积结构。

ABSTRACT

In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.

研究动机与目标

• 确定最小解析 $X$ 的导出范畴 $D_{Z}(X)$ 的自等价群的完整结构，其中 $X$ 是 $A_n$-奇点的最小解析。
• 理解 $\operatorname{Auteq}D_{Z}(X)$ 的结构，超越标准群 $A(X) = (\operatorname{Aut}X \ltimes \operatorname{Pic}X) \times \mathbb{Z}$ 的范围。
• 识别是否存在非傅里叶-穆凯伊自等价，并通过球面扭转变换函子对其进行表征。
• 建立自等价群的精确代数分解，分解为傅里叶-穆凯伊变换与作用平凡的函子的正规子群。

提出的方法

• 聚焦于最小解析中由 $(-2)$-曲线链 $Z = C_1 \cup \cdots \cup C_n$ 支持的凝聚层导出范畴 $D_{Z}(X)$。
• 定义球面对象 $\alpha_i = \mathcal{O}_{C_i}(-1)$ 和 $\alpha_0 = \alpha_{n+1} = \omega_Z$，并利用评估映射的映射锥构造扭转变换 $T_{\alpha_i}$。
• 运用积分函子理论（傅里叶-穆凯伊变换），并通过谱序列与上同调退化条件分析其在层复形上的作用。
• 对某些层分解的长度使用归纳法，并利用扭转变换下的不变性，将复杂情形约化为较简单情形。
• 利用谱序列的上同调约束与 Ext-群的消失性排除非平凡扩张，确保 $E_2$-退化。
• 利用 $D_{Z}(X)$ 仅依赖于 $Z$ 的形式邻域这一事实，将问题约化为局部 $A_n$-奇点 $\operatorname{Spec} \mathbb{C}[[x,y,z]]/(x^2 + y^2 + z^{n+1})$。

实验结果

研究问题

• RQ1 对于 $A_n$-奇点的最小解析，自等价群 $\operatorname{Auteq}D_{Z}(X)$ 的完整结构是什么？
• RQ2 是否所有 $D_{Z}(X)$ 的自等价均可表示为傅里叶-穆凯伊变换与球面扭转变换函子的复合？
• RQ3 在 $(-2)$-曲线配置上支持的球面对象如何贡献于自等价群的生成？
• RQ4 在所有对象上作用平凡的自等价子群（正规子群 $N(D_{Z}(X))$）是平凡的还是非平凡的？
• RQ5 球面扭转变换函子、Picard群与 $X$ 的自同构群之间的精确代数关系是什么？

主要发现

• 自等价群 $\operatorname{Auteq}D_{Z}(X)$ 可分解为半直积：$\operatorname{Auteq}D_{Z}(X) = \operatorname{Auteq}^{\text{FM}}D_{Z}(X) \ltimes N(D_{Z}(X))$，其中 $N(D_{Z}(X))$ 是在所有对象上作用平凡的函子的正规子群。
• $\operatorname{Auteq}^{\text{FM}}D_{Z}(X)$ 由球面扭转变换函子 $T_{\alpha_i}$（$1 \leq i \leq n$）、Picard群 $\operatorname{Pic}X$、自同构群 $\operatorname{Aut}X$ 以及移位函子 $[1]$ 生成。
• 由球面扭转变换生成的子群 $B = \langle T_{\alpha_i} \mid 1 \leq i \leq n+1 \rangle$ 满足 $B \cong \mathbb{Z}/(n+1)\mathbb{Z}$，其中 $\alpha_{n+1} = \omega_Z$。
• $B \cap \operatorname{Pic}X$ 由张量积 $\mathcal{O}_X(C_i)$（$1 \leq i \leq n$）生成，表明球面扭转变换不属于 Picard 群。
• 子群 $\left< B, \operatorname{Pic}X \right>$ 同构于 $B \rtimes \mathbb{Z}/(n+1)\mathbb{Z}$，表明存在非平凡的半直积结构。
• 球面扭转变换函子 $T_{\alpha_i}$ 生成了所有球面自等价，且整个 $\operatorname{Auteq}^{\text{FM}}D_{Z}(X)$ 由 $B$、$\operatorname{Pic}X$、$\operatorname{Aut}X$ 与 $[1]$ 生成。