[论文解读] Autoequivalences of derived categories of elliptic surfaces with non-zero Kodaira dimension

Hokuto Uehara|arXiv (Cornell University)|Jan 27, 2015

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

本文分类了具有非零 Kodaira 维数的光滑射影椭圆曲面的导出范畴的自同构群，表明其可嵌入一个短正合列，其中涉及 $(-2)$-曲线上的扭转函子、与纤维正交的线丛的张量积、曲面的自同构，以及由纤维次数 $\lambda_S$ 确定的 $\mathrm{SL}(2,\mathbb{Z})$ 的一个同余子群。该结果将 K3 曲面和椭圆曲线的已知结构推广至具有奇点纤维的高维椭圆曲面。

ABSTRACT

We study the group of autoequivalences of the derived categories of coherent sheaves on smooth projective elliptic surfaces with non-zero Kodaira dimensions. We find a description of it when each reducible fiber is a cycle of $(-2)$-curves.

研究动机与目标

• 确定光滑射影椭圆曲面 $S$ 满足 $\kappa(S) \neq 0$ 时的自同构群 $\operatorname{Auteq}D(S)$ 的结构。
• 将关于 K3 曲面和椭圆曲线的自同构已知结果推广至具有非平凡奇点纤维的椭圆曲面。
• 阐明 $(-2)$-曲线上的扭转函子以及与稳定层模空间相关的傅里叶–穆凯变换在生成非标准自同构中的作用。
• 描述作用同态 $\Theta$ 在偶上同调上的像，将其与同余子群 $\Gamma_0(\lambda_S)$ 联系起来。

提出的方法

• 使用与 $S$ 上稳定纯层的精细模空间 $J_S(a,b)$ 相关的傅里叶–穆凯变换，特别是当 $J_S(b) \cong S$ 时。
• 为纤维分量中的 $(-2)$-曲线 $G$ 构造扭转函子 $T_{\mathcal{O}_G(a)}$，推广了曲面奇点的结果。
• 分析自同构在偶上同调 $H^0(S,\mathbb{Z}) \oplus H^2(S,\mathbb{Z}) \cong \mathbb{Z}^2$ 上的作用，导出同态 $\Theta$ 至 $\mathrm{SL}(2,\mathbb{Z})$。
• 通过谱序列和对对象支撑长度的归纳法简化问题，利用球形对象的上同调层的性质。
• 应用球形对象及其变异的分类，以控制自同构群的结构。
• 使用纤维次数 $\lambda_S$ 作为关键不变量，定义同态 $\Theta$ 的像中的同余子群 $\Gamma_0(\lambda_S)$。

实验结果

研究问题

• RQ1 对于具有非零 Kodaira 维数和可约纤维的椭圆曲面 $S$，自同构群 $\operatorname{Auteq}D(S)$ 的结构是什么？
• RQ2 在 $(-2)$-曲线上作用的扭转函子和来自稳定层模空间的傅里叶–穆凯变换如何共同生成非标准自同构？
• RQ3 记录自同构在 $S$ 的偶上同调上作用的同态 $\Theta$ 的像是什么？
• RQ4 当纤维上秩为 1、次数为 $b$ 的层的模空间 $J_S(b)$ 同构于 $S$ 时，何时产生非标准自同构？
• RQ5 不变量 $\lambda_S$（即纤维次数的最大公因数）如何限制 $\Theta$ 的像？

主要发现

• 自同构群 $\operatorname{Auteq}D(S)$ 嵌入一个短正合列，其中包含由 $(-2)$-曲线上的扭转函子、与纤维交积为零的线丛的张量积、$S$ 的自同构和移位函子生成的群。
• 当 $J_S(b) \cong S$ 时，同态 $\Theta$ 的像是同余子群 $\Gamma_0(\lambda_S)$ 与满足 $b \equiv \pm 1 \pmod{\lambda_S}$ 的矩阵集合的交集。
• 对于具有四条奇点纤维（类型分别为 $\mathrm{I}_7$、$\mathrm{I}_2$、$\mathrm{II}$ 和 $\mathrm{I}_1$）且多重纤维的重数 $m > 2$ 的有理椭圆曲面，有 $H_S = \{\pm 1\}$，因此 $\operatorname{Im}\Theta = \{ \gamma \in \Gamma_0(m) \mid b \equiv \pm 1 \pmod{m} \}$。
• $\operatorname{Auteq}D(S)$ 由标准自同构和 $(-2)$-曲线上的扭转函子生成，非标准部分来源于当 $J_S(b) \cong S$ 时的傅里叶–穆凯变换。
• 自同构群 $\operatorname{Auteq}D(S)$ 的结构完全由纤维次数 $\lambda_S$ 和同构 $J_S(b) \cong S$ 的存在性决定，推广了椭圆曲线和曲面奇点的结果。
• 证明依赖于对对象支撑长度的归纳法以及谱序列论证，将问题约化为已知情形，特别利用了球形对象及其变异的结构。