[论文解读] A Remark on Rigidity of BN-sheaves

Rainer Weissauer|arXiv (Cornell University)|Nov 25, 2011

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

一句话总结

该论文证明了在代数闭域上的阿贝尔簇上，有界构造层导出范畴中的每个复形在卷积积下都是刚性的，其对偶通过负号自同态下 Verdier 对偶的拉回显式给出。证明使用了恰当基变换定理以及导出直接像复形之间的函子性同构。

ABSTRACT

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.

研究动机与目标

• 推广 [BN, 推论6] 中关于阿贝尔簇导出范畴中层刚性的结果。
• 确立 $ D_{c}^{b}(X,\Lambda) $ 中每个对象在卷积积下都是刚性的。
• 给出对偶对象的显式公式，以 Verdier 对偶和负号态射表示。
• 使用导出范畴技术，证明卷积函子 $ K \mapsto K*M $ 的伴随函子的存在性。

提出的方法

• 通过群运算 $ a: X \times X \to X $ 定义卷积积 $ K*L = Ra_*(K \boxtimes L) $。
• 利用导出范畴 $ \mathbf{D} = D_{c}^{b}(X,\Lambda) $ 的对称张量结构来分析刚性。
• 通过 Verdier 对偶和导出函子，构造 $ \mathrm{Hom}(K*M, N) $ 与 $ \mathrm{Hom}(K, M^\vee * N) $ 之间的函子性同构。
• 应用恰当基变换定理，将沿差值态射 $ f(x,y) = y - x $ 和群运算的直接像联系起来。
• 在 $ X \times X \times X $ 上利用恒等式 $ f \circ (a \times \mathrm{id}) = f \circ (\mathrm{id} \times f) $，诱导两个复形之间的同构。
• 通过对角嵌入 $ \Delta $ 识别原点处的截面，证明 $ L_0 \cong R_0 $，从而得到所需的伴随同构。

实验结果

研究问题

• RQ1 阿贝尔簇上构造层有界导出范畴中的每个对象在卷积积下是否都是刚性的？
• RQ2 给定复形 $ M $ 在此卷积结构下，其对偶对象的显式形式是什么？
• RQ3 能否使用导出范畴工具和基变换定理，建立 $ K \mapsto K*M $ 与 $ N \mapsto M^\vee * N $ 之间的伴随关系？
• RQ4 态射 $ a $、$ f $ 和 $ \Delta $ 如何相互作用，以实现所需同构的构造？
• RQ5 对偶关系 $ M^\vee = (-\mathrm{id}_X)^*D(M) $ 是否满足对称张量范畴 $ (\mathbf{D}, *) $ 中刚性的伴随条件？

主要发现

• 有界导出范畴 $ D_{c}^{b}(X,\Lambda) $ 中的每个复形 $ M $ 在对称张量范畴 $ (\mathbf{D}, *) $ 中都是刚性的，即函子 $ K \mapsto K*M $ 存在右伴随。
• 函子 $ K \mapsto K*M $ 的右伴随为 $ N \mapsto M^\vee * N $，其中 $ M^\vee = (-\mathrm{id}_X)^*D(M) $。
• 伴随同构 $ \mathrm{Hom}(K*M, N) \cong \mathrm{Hom}(K, M^\vee * N) $ 通过导出函子和 Verdier 对偶构造而成。
• 该同构通过恰当基变换定理应用于对角嵌入 $ \Delta: X \to X \times X $ 建立，从而识别出原点处的截面。
• 关键几何恒等式 $ f \circ (a \times \mathrm{id}) = f \circ (\mathrm{id} \times f) $ 在 $ X \times X \times X $ 上诱导出两个导出直接像复形之间的自然同构。
• 由此得到的同构 $ \psi_{A,C}: L_0 \to R_0 $ 关于 $ A $ 和 $ C $ 是函子性的，从而提供了所需的伴随数据。