[论文解读] Braid group actions on derived categories of coherent sheaves

Paul Seidel, Richard Thomas|ArXiv.org|Jan 7, 2000

Algebraic Geometry and Number Theory被引用 21

一句话总结

该论文通过傅里叶-穆凯伊变换定义的扭转函子，在光滑复射影代数簇的凝聚层有界导出范畴上构造了辫群作用。关键结果是当该簇的维数至少为2时，这些辫群作用总是忠实的，从而为同调镜像对称与共形解析解耦中的辫群对称性提供了范畴化实现。

ABSTRACT

This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when $\dim X \geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities that lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKay correspondence and with exceptional sheaves on Fano manifolds are given. Moreover, the case of an elliptic curve is worked out in some detail.

研究动机与目标

• 在光滑复射影代数簇的有界导出范畴上构造辫群作用。
• 在维数 ≥2 时建立这些作用的忠实性，从而提供辫群对称性的范畴化实现。
• 将这些作用与同调镜像对称联系起来，特别是通过奇点的解析解耦与光滑化之间的镜像对偶性。
• 探讨与 McKay 对应及法诺流形上例外层的关系。
• 作为具体实例，详细分析椭圆曲线的情形。

提出的方法

• 将扭转函子 $ T_{\boldsymbol{\rm E}} $ 定义为使用典范配对 $ \eta: \boldsymbol{\rm E}^\vee \boxtimes \boldsymbol{\rm E} \to \mathcal{O}_\Delta $ 的锥的傅里叶-穆凯伊变换。
• 利用导出范畴 $ D^b(X) $ 和与平移函子相容的正合函子来定义自同构。
• 通过涉及到微分分次代数 $ \mathcal{A}_{m,n} $ 的拟同构，构造从 $ D^b(\mathfrak{S}') $ 到 $ D(\mathcal{A}_{m,n}) $ 的函子 $ \Psi $。
• 利用同调群同构 $ H^*(\mathrm{end}(E')) \cong A_{m,n} $，将自同态代数与阿廷辫群代数联系起来。
• 应用三角范畴公理及包含正合三角形的交换图表，证明同构关系如 $ T_{E_1}(E_1) \cong E_1[1-n] $。
• 使用忠实性判别准则：若辫群元素 $ g $ 固定所有 $ \mathcal{P}_i $，则 $ g $ 必为单位元，从而证明忠实性。

实验结果

研究问题

• RQ1 在何种条件下，光滑射影代数簇的凝聚层导出范畴上会出现辫群作用？
• RQ2 为何当 $ \dim X \geq 2 $ 时，$ D^b(X) $ 上的辫群作用总是忠实的？其几何或范畴论原因是什么？
• RQ3 这些作用如何与镜像对称相关联，特别是在共形解析解耦与奇点光滑化之间的对偶性中？
• RQ4 自同态微分分次代数 $ \mathrm{end}(E') $ 在范畴化实现辫群作用中起何作用？
• RQ5 维度1中非忠实作用是否可由 $ A_{3,1} $ 的非形式性解释？

主要发现

• 对于任意满足 $ \dim X \geq 2 $ 的光滑复射影代数簇 $ X $，通过扭转函子在 $ D^b(X) $ 上构造的辫群作用总是忠实的。
• 扭转函子 $ T_{E_1} $ 满足 $ T_{E_1}(E_1) \cong E_1[1-n] $，且由于 $ n \geq 2 $，有 $ T_{E_1}^r(E_1) \not\cong E_1 $ 当且仅当 $ r \neq 0 $，表明其动力系统非平凡。
• 当 $ \mathrm{Hom}^*(E_{i+1}, E_i) $ 集中于度数 $ d_i $ 时，自同态微分分次代数 $ \mathrm{end}(E') $ 的同调群同构于阿廷辫群代数 $ A_{m,n} $。
• 导出范畴 $ D^b(\mathfrak{S}') $ 与 $ D(\mathcal{A}_{m,n}) $ 等价，且扭转函子在该等价下保持对应关系。
• 复合关系 $ R_{m,n}^g \circ \Psi \cong \Psi \circ R^g $ 成立，表明辫群作用与等价函子相容。
• 维度1中 $ B_4 $ 作用的非忠实性意味着 $ A_{3,1} $ 不是内在形式的，这一点通过 Massey 积计算得以证实。