[论文解读] Tilting bundles via the Frobenius morphism

Alexander Samokhin|arXiv (Cornell University)|Apr 8, 2009

Algebraic Geometry and Number Theory参考文献 38被引用 7

一句话总结

本文在正特征下计算了某些光滑代数簇上弗罗贝尼乌斯态射下结构层的推前的自同态层的上同调。结果表明，当特征 $ p $ 足够大时，对 toric Fano 代数簇、射影平面的爆破（例如 Del Pezzo 曲面）以及类型 $ A_2 $ 和 $ B_2 $ 的齐次空间，高阶上同调群消失，这意味着在导出范畴中作为生成元的条件下，弗罗贝尼乌斯推前给出了一个 tilting 线丛。

ABSTRACT

We show how to construct tilting bundles for a class of smooth projective varieties using characteristic $p$ methods. Given such a variety $X$, reduce it modulo a prime number and consider the direct image of the structure sheaf under the Frobenius morphism. We prove that under suitable restrictions on the characteristic, these direct images are tilting bundles for some toric Fano varieties, Del Pezzo surfaces, and flag varieties $G/B$ of type $A_2$ and $B_2$.

研究动机与目标

• 确定在正特征下光滑簇上弗罗贝尼乌斯推前的结构层的自同态层的高阶上同调群何时消失。
• 通过验证 $ i > 0 $ 时 $ \mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X)) $ 的消失性，建立 $ \mathcal{F}_*\mathcal{O}_X $ 成为 $ X $ 上 tilting 线丛的条件。
• 验证在非齐次情形（如 Del Pezzo 曲面和 toric Fano 代数簇）中，$ \mathcal{F}_*\mathcal{O}_X $ 是有界导出范畴 $ \mathrm{D}^b(X) $ 中的生成元。
• 通过使用弗罗贝尼乌斯态射和导出局部化定理，将正特征下 tilting 等价的框架扩展到辛簇之外。
• 为存在 tilting 线丛的簇（如 toric 代数簇和齐次空间）上猜想的全强例外集列的存在性提供证据。

提出的方法

• 通过与爆破和弗罗贝尼乌斯拉回相关的谱序列和长正合上同调列计算 $ \mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X)) $。
• 对 $ \mathrm{G}/\mathrm{P} $-齐次空间应用导出局部化定理，证明当 $ p > h $（Coxeter 数）时，$ \mathcal{F}_*\mathcal{O}_{\mathrm{G}/\mathrm{P}} $ 是生成元。
• 在 Del Pezzo 曲面的构造中对爆破次数使用归纳法，分析被例外除子的幂扭的层的上同调。
• 使用 $ \pi_k^* $ 和 $ \pi_{k*} $ 的函子复合的 Grothendieck 谱序列，计算高阶直接像和上同调消失性。
• 分析弗罗贝尼乌斯态射及其对偶 $ \mathcal{F}^{n!} $ 在例外除子上支持的层上的行为，特别是在形式邻域中。
• 应用同构 $ \mathrm{R}^1\pi_{k*}(\mathcal{F}^{n!}(i_*\mathcal{O}_{l_{k+1}}(-1))) = 0 $，以在归纳步骤中推导出上同调群的消失性。

实验结果

研究问题

• RQ1 在正特征下，光滑簇 $ X $ 满足何种条件时，$ \mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X)) $ 对 $ i > 0 $ 消失？
• RQ2 当 $ \mathcal{F}_*\mathcal{O}_X $ 是 $ \mathrm{D}^b(X) $ 中的生成元且高阶上同调消失时，它能否在 $ X $ 上作为 tilting 线丛？
• RQ3 对于哪些类别的簇（如 toric Fano、Del Pezzo 曲面和 $ \mathrm{G}/\mathrm{P} $-齐次空间），在正特征下 $ \mathcal{F}_*\mathcal{O}_X $ 会给出一个 tilting 线丛？
• RQ4 导出局部化定理如何确保当 $ p > h $ 时，$ \mathcal{F}_*\mathcal{O}_{\mathrm{G}/\mathrm{P}} $ 是 $ \mathrm{D}^b(\mathrm{G}/\mathrm{P}) $ 中的生成元？
• RQ5 弗罗贝尼乌斯态射在通过上同调消失性构造 tilting 线丛中起什么作用，特别是在非辛设定下？

主要发现

• 在正特征下，toric Fano 代数簇上，高阶上同调群 $ \mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X)) $ 对 $ i > 0 $ 消失。
• 对于通过爆破 $ \mathbb{P}^2 $ 得到的 Del Pezzo 曲面，上同调 $ \mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X)) $ 对 $ i > 0 $ 消失，这意味着若 $ \mathcal{F}_*\mathcal{O}_X $ 是生成元，则其为 tilting 线丛。
• 在类型为 $ \mathrm{A}_2 $ 和 $ \mathrm{B}_2 $ 的齐次空间 $ \mathrm{G}/\mathrm{P} $ 上，当 $ p > h $ 时，$ \mathcal{F}_*\mathcal{O}_{\mathrm{G}/\mathrm{P}} $ 是 $ \mathrm{D}^b(\mathrm{G}/\mathrm{P}) $ 中的生成元，且高阶上同调的消失性意味着其为 tilting 线丛。
• 在爆破的归纳构造中，$ \mathrm{H}^i(X_k, \mathcal{E}_k \otimes \mathcal{J}_{x_{k+1}}^{p^n - 1}) $ 对 $ i > 0 $ 消失，支持了主要的上同调消失性。
• 对于 $ X_k $ 上的例外除子 $ D_k = l_1 + \dots + l_k $，有 $ \mathrm{Ext}^i(\mathcal{F}^{n}_*\mathcal{O}_{X_k}(D_k), \mathcal{F}^{n}_*\mathcal{O}_{X_k}(D_k)) $ 对 $ i > 0 $ 消失，确认了扭线丛的 tilting 性质。
• 涉及 $ \mathcal{M}_k $ 和 $ \mathcal{J}_{x_{k+2}}^{p^n - 1} $ 的短正合列的谱序列因 $ \mathrm{H}^1 $ 和 $ \mathrm{H}^2 $ 项的消失而坍缩，证明了归纳步骤中的关键上同调消失性。