[论文解读] Derived Categories of Twisted Sheaves on Elliptic Threefolds

Andrei Căldăraru|ArXiv.org|Dec 11, 2000

Algebraic structures and combinatorial models参考文献 8被引用 20

一句话总结

本文建立了无截面的通用椭圆三纤维丛上凝聚层的导出范畴与其中相对雅可比簇的小型解析解消上扭曲层（Azumaya代数上的模）的导出范畴之间的导出等价关系。关键贡献在于：当由于半稳定层与奇点的存在而无法构造普遍层时，通过使用扭曲层构造了一类傅里叶-穆凯型等价。

ABSTRACT

We construct an equivalence between the derived category of sheaves on an elliptic threefold without a section and a derived category of twisted sheaves (modules over an Azumaya algebra) on any small resolution of its relative Jacobian.

研究动机与目标

• 解决无截面椭圆三纤维丛上秩1、度0层的模问题失败的问题，该问题导致普遍层无法存在。
• 在无截面椭圆三纤维丛的导出范畴与其中相对雅可比簇的小型解消上的扭曲层导出范畴之间建立导出等价。
• 通过引入Azumaya代数与Brauer类，将经典傅里叶-穆凯等价推广至非精细模问题。
• 通过证明不存在任何自同构将Brauer类映射为其幂次，表明该等价关系是全局现象而非雅可比簇自同构所诱导。

提出的方法

• 将相对雅可比簇 $ J \to S $ 构造为椭圆纤维丛 $ f: X \to S $ 上秩1、度0半稳定层的模空间，该空间自然具有截面。
• 通过解析的小型解消 $ \bar{J} $ 来消除 $ J $ 的奇点，因为代数的小型解消可能不存在。
• 将普遍层存在的障碍识别为 $ \mathrm{Br}(\bar{J}) $ 中的Brauer类 $ \alpha $，其源于局部普遍层的非唯一性。
• 利用 $ X^k $（即 $ X \to S $ 纤维上秩1、度 $ k $ 层的相对模空间）是精细模问题，因此存在普遍层的事实。
• 通过 $ X \times_S X^k $ 上的普遍层建立等价关系 $ \mathbf{D}_{\mathrm{coh}}^b(X) \cong \mathbf{D}_{\mathrm{coh}}^b(X^k) $，并利用Brauer类 $ \alpha^k $ 将 $ X^k $ 识别为 $ \bar{J} $ 上的扭曲层。
• 证明与 $ X^k $ 对应的Brauer类 $ \beta $ 满足 $ \beta = \alpha^k $ 于 $ \mathrm{Br}(\bar{J}) $，从而得到最终的导出等价 $ \mathbf{D}_{\mathrm{coh}}^b(\bar{J}, \alpha) \cong \mathbf{D}_{\mathrm{coh}}^b(X) $。

实验结果

研究问题

• RQ1 能否在无截面的椭圆三纤维丛与其中相对雅可比簇的解消上的扭曲层导出范畴之间建立导出等价？
• RQ2 当模问题非精细时，其模空间上普遍层不存在的障碍是什么？
• RQ3 由非精细模问题产生的Brauer类 $ \alpha \in \mathrm{Br}(\bar{J}) $ 如何与原始椭圆三纤维丛 $ X $ 的几何结构相关联？
• RQ4 椭圆三纤维丛 $ X $ 与带扭量 $ \alpha $ 的 $ \bar{J} $ 之间的导出等价是否由 $ \bar{J} $ 的自同构诱导？还是其为真正的全局现象？
• RQ5 该等价关系对Calabi-Yau三纤维丛有何影响，特别是在Torelli问题与镜像对称中的意义？

主要发现

• 在无截面的通用椭圆三纤维丛 $ X $ 上，其凝聚层的导出范畴与其中相对雅可比簇的小型解消 $ \bar{J} $ 上以Brauer类 $ \alpha $ 为扭量的扭曲层导出范畴之间存在等价。
• Brauer类 $ \alpha \in \mathrm{Br}(\bar{J}) $ 对应于原始纤维丛 $ X \to S $，当 $ X $ 允许5节时，根据Ogg-Shafarevich理论，其阶为5。
• 等价关系 $ \mathbf{D}_{\mathrm{coh}}^b(X) \cong \mathbf{D}_{\mathrm{coh}}^b(\bar{J}, \alpha) $ 并非由 $ \bar{J} $ 的自同构诱导，因为不存在任何自同构将 $ \alpha $ 映射为 $ \alpha^2 $，从而证明其为全局现象。
• 该等价关系可提升至 $ X^k $（即 $ X \to S $ 纤维上秩1、度 $ k $ 层的相对模空间），得到 $ \mathbf{D}_{\mathrm{coh}}^b(X) \cong \mathbf{D}_{\mathrm{coh}}^b(\bar{J}, \alpha^k) $，且当 $ X $ 为Calabi-Yau时，$ X^k $ 亦为Calabi-Yau。
• 该等价关系蕴含 $ K_{X^k} = 0 $ 且 $ H^{2,0}(X^k) = 0 $，从而确认 $ X^k $ 为Calabi-Yau，为Calabi-Yau三纤维丛的Torelli问题提供了反例。
• 该构造提供了包含Azumaya代数模导出范畴的傅里叶-穆凯变换的明确实例，将经典结果推广至非精细模问题。