[论文解读] On the generic vanishing theorem of Cartier modules

Alan Marc Watson, Yuchen Zhang|arXiv (Cornell University)|Apr 10, 2014

Advanced Topics in Algebra参考文献 12被引用 3

一句话总结

本文使用凝聚层的逆系统与导出范畴技术，将一般性消失定理推广至正特征情形。它建立了GV-逆系统的等价条件，拓展了Ha and Patakfalvi 的结果，并揭示了正特征下的病态现象，例如上同调支集的余维数界失败以及非闭支集。

ABSTRACT

We generalize the Generic Vanishing theorem by Hacon and Patakfalvi in the spirit of Pareschi and Popa. We give several examples illustrating the pathologies appearing in the positive characteristic setting.

研究动机与目标

• 通过凝聚层的逆系统，将Ha and Patakfalvi 的一般性消失定理推广至正特征情形。
• 研究在特征零情形下等价的条件（例如上同调支集的余维数界）是否可推广至正特征情形。
• 识别正特征情形下的病态现象，如余维数界失败及上同调支集中的非闭支集。
• 通过导出极限与傅里叶-穆凯伊变换，建立正特征下M-正则性与一般性消失的框架。
• 阐明Mittag-Leffler条件在确保逆极限与上同调群在导出范畴中相容性中的作用。

提出的方法

• 通过逆极限与导出范畴的同伦极限，引入凝聚层GV-逆系统的概念。
• 利用傅里叶-穆凯伊变换 $ R ilde{S} $ 及其对偶 $ R ilde{S}(D_A(ullet)) $，将上同调消失与支集条件联系起来。
• 应用Mittag-Leffler条件，以确保在导出范畴中逆极限与上同调群的相容性。
• 利用涉及 $ H^i(A, ullet imes L^lat) $ 的谱序列与同构，分析在充分线丛下的消失行为。
• 利用对偶性与基变换定理，将 $ H^i(A, ilde{igwedge}_e imes L^lat) $ 与 $ H^i( ilde{A}, R ilde{S}( ilde{igwedge}_e) imes L^lat) $ 联系起来。
• 应用Pareschi与Popa关于M-正则性与IT条件的结果，以在与局部自由层张量时保持消失性。

实验结果

研究问题

• RQ1 特征零情形下，上同调消失、支集余维数界与M-正则性之间的等价性能否推广至正特征？
• RQ2 在正特征下，上同调支集 $ V^i(\bullet) $ 中出现何种病态现象，特别是关于闭性与余维数？
• RQ3 在何种条件下，逆系统 $ \big\bracevert \tilde{\bigwedge}_e \big\bracevert $ 满足Mittag-Leffler条件，且其对导出极限行为有何影响？
• RQ4 在与局部自由层张量时，IT₀条件的保持性是否可推广至GV-逆系统？
• RQ5 在正特征下，$ \text{im}(R^i\tilde{S}(\tilde{\bigwedge}) \to R^i\tilde{S}(\tilde{\bigwedge}_e)) $ 的支集是否总是闭集？

主要发现

• 本文建立了GV-逆系统的四个条件等价：$ \tilde{\bigwedge} \times L^\flat $ 的上同调消失、导出傅里叶-穆凯伊变换中 $ \tilde{\bigwedge} $-上同调的消失、支集余维数界，以及逆极限相容性。
• 若 $ \tilde{\bigwedge}_e $ 是Cartier模，则 $ \tilde{\bigwedge}_e $ 满足定理1.3的条件，从而推广了Ha and Patakfalvi的结果。
• 一个例子（例3.4）表明，链式包含 $ V^0(\tilde{\bigwedge}) \triangleright V^1(\tilde{\bigwedge}) \triangleright \text{等} $ 在正特征下可能不成立。
• 另一个例子（例3.2）表明，$ \text{im}(R^i\tilde{S}(\tilde{\bigwedge}) \to R^i\tilde{S}(\tilde{\bigwedge}_e)) $ 的支集不一定是闭集，从而否定了余维数论证。
• 本文证明：若 $ \tilde{\bigwedge}_e $ 是GV-逆系统且 $ H $ 满足IT₀，则 $ \tilde{\bigwedge} \times H $ 满足IT₀。
• 若 $ \tilde{\bigwedge}_e $ 是GV-逆系统且 $ \tilde{\bigwedge} $ 满足一般性消失条件，则 $ \tilde{\bigwedge}_e \times \tilde{\bigwedge} $ 是GV-逆系统。