[论文解读] Some remarks on the group of derived autoequivalences

Fabrice Rosay|ArXiv.org|Jul 22, 2009

Algebraic Geometry and Number Theory参考文献 11被引用 5

一句话总结

本文证明了代数闭域上光滑射影概形的导出自同构群的单位连通分支同构于其自同构群的单位连通分支与其佩科德群的单位连通分支的半直积。利用此结构结果，作者证明了与给定概形导出等价的光滑射影概形至多可数，且提出了关于导出等价中核的有界性的猜想。

ABSTRACT

We prove that the neutral component of the group of derived autoequivalences of a smooth projective variety is the semi-direct product of the neutral component of its Picard group and its group of automorphisms. We use this result to prove several results concerning pairs of derived equivalent varieties.

研究动机与目标

• 确定光滑射影概形的有界凝聚层导出范畴的三角自同构群之单位连通分支的结构。
• 将此结构结果应用于理解导出等价概形的有限性性质。
• 重新表述并提供证据支持关于导出等价中傅里叶-穆凯核有界性的猜想。
• 证明与给定概形导出等价的光滑射影概形的数量至多可数。
• 基于其导出自同构群的连通分支，建立导出等价概形同构的判别准则。

提出的方法

• 通过具有完美核的积分变换，构造参数化 $ D(X) $ 的精确自同构的代数群概形 $ \mathrm{Aut}^D_X $。
• 利用积分变换的复合法则，在此类核的模空间上定义群结构。
• 应用 Toën-Vaquié 的框架，证明 $ \mathrm{Aut}^D_X $ 是局部代数群概形。
• 通过将自同构分解为自同构与线丛扭变的组合，证明其单位连通分支 $ (\mathrm{Aut}^D_X)^0 $ 同构于 $ \mathrm{Aut}^\circ(X) \ltimes \mathrm{Pic}^\circ(X) $。
• 利用 [17] 中的有界性准则（命题 3.11），将核的上同调有界性与族的拟紧性联系起来。
• 应用引理 3.6（Favero）证明：若两个概形的 $\mathrm{Aut}^D$ 的连通分支同构且包含由足够正线丛生成的扭变函子，则这两个概形同构。

实验结果

研究问题

• RQ1 光滑射影概形的导出自同构群的单位连通分支具有何种结构？
• RQ2 与给定概形导出等价的光滑射影概形最多有多少个？
• RQ3 在何种条件下可判定两个导出等价的概形同构？
• RQ4 导出等价的概形之间的傅里叶-穆凯变换核在上同调维数上是否可统一有界？
• RQ5 是否存在一个基于核的上同调有界性的猜想性判据，以保证导出等价类的有限性？

主要发现

• 导出自同构群的单位连通分支 $ \mathrm{Aut}^D(X)^0 $ 同构于半直积 $ \mathrm{Aut}^\circ(X) \ltimes \mathrm{Pic}^\circ(X) $，其中作用由线丛的拉回实现。
• 在代数闭域上，与给定光滑射影概形导出等价的光滑射影概形（模同构）至多可数。
• 若两个光滑射影概形 $ Y $ 与 $ Z $ 的导出自同构群的连通分支同构，且均包含由足够正线丛生成的扭变函子，则 $ Y $ 与 $ Z $ 同构。
• 若导出等价核族 $ \mathcal{K}_i^\cdot $ 在上同调有界意义下有界，则其等价于导出等价类的有限性条件。
• 当 $ d \leq 2\dim X $ 时，若 $ \dim \mathbb{H}^j(X, \mathcal{K}_i^\cdot \otimes \mathcal{L}^l) $ 对所有 $ l \in [0,d] $ 有上界，则此类核的数量有限，从而导出等价概形的数量模同构也有限。
• 若存在强生成元 $ \mathcal{L}^\oplus \cdots \oplus \mathcal{L}^{-d} $ 位于 $ D^b_{qc}(X \times X) $ 中，且 $ d \leq 2\dim X $，则有界性准则适用。