[论文解读] Orthogonally spherical objects and spherical fibrations

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|Nov 2, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 5

一句话总结

本文在纤维化簇的导出范畴中引入并刻画了‘正交球面对象’，将 Seidel-Thomas 的球面对象推广至相对设定。证明了 D(Z × X) 中的对象在 Z 上为球面对象当且仅当其满足类似于原始球面对象定义的上同调条件，并表明当纤维为 Gorenstein 且相对 canonical 线丛行为适当适当时，Z 上的平坦纤维化满足这些条件，从而为通过球面扭转实现自同构提供了几何准则。

ABSTRACT

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z) and D(X) in a certain natural way. Most known examples come from subschemes of X fibred over Z. This categorifies to the notion of an object of D(Z x X) orthogonal over Z. We prove that such an object is spherical over Z if and only if it has certain cohomological properties similar to those in the original definition of a spherical object. We then interpret this geometrically in the case when our objects are actual flat fibrations in X over Z.

研究动机与目标

• 将 [ST01] 中球面对象的概念推广至以基概形 Z 为基准的相对、纤维化设定。
• 通过类似于原始球面对象公理的上同调条件，定义并刻画 D(Z × X) 中的‘在 Z 上的球面对象’。
• 建立当 X 上关于 Z 的平坦纤维化诱导 D(X) 自同构时的几何准则，通过球面扭转函子实现。
• 证明球面扭转函子为自同构当且仅当核对象在基 Z 上满足正交性与上同调条件。

提出的方法

• 将 D(Z × X) 中的相对球面对象定义为：其关联的傅里叶–穆凯伊函子 Φ_E : D(Z) → D(X) 为球面函子，即其上同调扭转为自同构，且伴随关系满足自然同构。
• 利用谱序列将 D(X) 中同调复形的上同调与纤维的上同调联系起来，特别分析 RHom_X(ξ_*O_W, ξ_p^*O_{W_p})，其中 π: W → Z 为一纤维化。
• 应用相对对偶定理，将 ω_W/X 与 π^*L ⊗ ω_W/Z 联系起来，其中 L 为 Z 上的线丛，从而将 canonical 线丛与纤维化结构联系起来。
• 证明球面扭转的核为两个傅里叶–穆凯伊核之间态射的锥，利用导出范畴中锥的非函子性。
• 利用谱序列论证，表明高阶上同调的消失性与在度数 0 和 dim X − dim Z 处的秩 1 条件蕴含纤维的连通性与 Gorenstein 性。
• 验证球面条件成立当且仅当所有纤维均为连通 Gorenstein 概形，且相对 canonical 线丛满足 ω_W/X ≃ π^*L ⊗ ω_W/Z。

实验结果

研究问题

• RQ1 当一个参数化于基 Z 的 D(X) 中对象族通过球面扭转函子诱导出 D(X) 的自同构时，其成立的条件是什么？
• RQ2 何种上同调条件可确保 D(Z × X) 中的对象 E 使得其关联的傅里叶–穆凯伊函子在 Z 上为球面函子？
• RQ3 如何将经典球面对象的概念推广至涉及基概形 Z 上纤维化的相对设定？
• RQ4 何种几何条件可确保 X 中关于 Z 的平坦纤维化 W → Z 使得结构层 ξ_*O_W 在 Z 上为球面对象？
• RQ5 在何种条件下，球面扭转函子的核在 D(Z × X) 中不与它的上同调层的直和 quasi-isomorphic？

主要发现

• D(Z × X) 中的对象 E 在 Z 上为球面对象当且仅当其上同调扭转 FE 为 D(Z) 的自同构，且自然变换 Φ_E^radj → FE ∘ Φ_E^ladj [1] 为同构。
• 对于 X 中的平坦纤维化 π: W → Z（其中 W ⊂ X），结构层 ξ_*O_W 在 Z 上为球面对象当且仅当所有纤维 W_p 均为连通 Gorenstein 概形，且 ω_W/X ≃ π^*L ⊗ ω_W/Z，其中 L ∈ Pic(Z)。
• 复形 RHom_X(ξ_*O_W, ξ_p^*O_{W_p}) 的上同调同构于 k ⊕ k[−(dim X − dim Z)]，这蕴含了纤维的连通性与正确的对偶行为。
• 当核为正交球面对象但非纤维化结构层时（如 D_2n 中的 S_2n 的例子），球面扭转函子的核不与它的上同调层的直和 quasi-isomorphic。
• 相对球面条件等价于除度数 0 和 dim X − dim Z 外所有上同调群的消失性，且在这些度数中秩为 1。
• 在格罗滕迪克–斯普林格的解析中，函子 S_2n : D_2n−2 → D_2n 同构于 R ∘ S_1 或 R^{−1} ∘ S_{2n−1}，其核为正交球面对象但非纤维化结构层，表明此类对象不一定是纤维化。