[论文解读] A vanishing theorem for sheaves of small differential operators in positive characteristic

Alexander Samokhin|arXiv (Cornell University)|Jul 6, 2007

Algebraic Geometry and Number Theory参考文献 18被引用 4

一句话总结

本文在正特征 p 下，对类型 A_n 的交错簇（部分旗簇）和光滑二次曲面，建立了小微分算子层的消去定理，证明当 p 超过 Coxeter 数时，结构层的 Frobenius 拉回的自同态层的高阶上同调群消失。通过导出局部化与上同调技巧，证明在此条件下 Frobenius 拉回是 tilting 线丛，从而将正特征下的 D-仿射性与导出等价性理论推广至更一般情形。

ABSTRACT

Let $X$ be a smooth variety over an algebraically closed field $k$ of positive characteristic, ${ m D}_X$ the sheaf of PD-differential operators, and ${\bar D}_X$ its central reduction, the sheaf of small differential operators. In this paper we show that if $X$ is a line-hyperplane incidence variety (a partial flag variety of type $(1,n,n+1)$) or a quadric of arbitrary dimension (in this case the characteristic is supposed to be odd) then ${ m H}^{i}(X,{\bar D}_X)=0$ for $i>0$. Using this vanishing result and the derived localization theorem for crystalline differential operators (\cite{BMR}) we show that the Frobenius pushforward of the structure sheaf is a tilting bundle on these varieties, provided that $p>h$, the Coxeter number of the corresponding group.

研究动机与目标

• 在正特征下，为特定齐次空间上的小微分算子层建立上同调消去性。
• 将 D-仿射性与导出局部化理论推广至正特征情形。
• 证明当 p > h 时，结构层的 Frobenius 拉回在交错簇与光滑二次曲面上是 tilting 线丛。
• 为小微分算子层在齐次空间 G/P 上的上同调消去性提供更广泛猜想的证据。

提出的方法

• 证明在正特征 p > 0 下，对交错簇 X = F_{1,n,n+1} 与光滑二次曲面 Q_n，其自同态层 End_{O_X^p}(O_X) 的高阶上同调群 H^i(X, End_{O_X^p}(O_X)) 消去。
• 应用晶体微分算子的导出局部化定理，将自同态层的上同调与 D-模的导出范畴联系起来。
• 利用 G/P 的余切丛上线丛的消去定理，控制微分算子层的上同调。
• 运用 Frobenius 拉回与上推函子，借助 Cartier 下降，关联 X 与 X′ 上的上同调条件。
• 应用伴随关系与导出范畴技巧，证明 F_*O_X 生成导出范畴，从而蕴含 tilting 性质。
• 依赖于对二次曲面与旗簇的例外族已知结果，从范畴角度解释 tilting 性质。

实验结果

研究问题

• RQ1 在正特征下，部分旗簇 F_{1,n,n+1} 上的小微分算子层是否具有高阶上同调消去性？
• RQ2 当 p 为奇数且 p > h 时，光滑二次曲面 Q_n 上的小微分算子层是否具有高阶上同调消去性？
• RQ3 在正特征下，Frobenius 拉回 F_*O_X 在齐次空间 G/P 上成为 tilting 线丛的条件是什么？
• RQ4 导出局部化定理是否可用于从自同态层的上同调消去性推导出 tilting 性质？
• RQ5 是否存在 D-模在 G/P 上的 Beilinson–Bernstein 局部化定理在特征 p 下的类比？

主要发现

• 当 X 为交错簇 F_{1,n,n+1} 且 p > n+1 时，H^i(X, End_{O_X^p}(O_X)) = 0 对所有 i > 0 成立。
• 当 Q_n 为光滑二次曲面且 p 为奇数且 p > n - (-1)^n 时，H^i(Q_n, End_{O_{Q_n}^p}(O_{Q_n})) = 0 对所有 i > 0 成立。
• 当 p > n+1 时，F_*O_X 是交错簇 F_{1,n,n+1} 上的 tilting 线丛。
• 当 p > n - (-1)^n 时，F_*O_{Q_n} 是光滑二次曲面 Q_n 上的 tilting 线丛。
• 当上同调消去性成立时，导出局部化定理表明 F_*O_X 生成导出范畴 D^b(X)。
• 结果支持一个猜想：对所有 i > 0 且足够大的 p，有 H^i(G/P, End_{O_{G/P}^p}(O_{G/P})) = 0。