[论文解读] Functorial Test Modules

Manuel Blickle, Axel Stäbler|arXiv (Cornell University)|May 31, 2016

Algebraic Geometry and Number Theory参考文献 21被引用 3

一句话总结

本文通过修改定义以考虑非极小关联素理想，在正特征代数几何中引入了函子性和加法性的测试模变体，确保与推出和拉回的兼容性。主要贡献在于为光滑态射建立了自然同构 $ f^! \tau \cong \tau f^! $，并为准有限态射建立了自然变换 $ \tau f_* \to f_* \tau $，从而解决了先前定义中函子性和加法性方面的问题。

ABSTRACT

In this article we introduce a slight modification of the definition of test modules which is an additive functor $τ$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X o Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ τ\cong τ\circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $τ\circ f_* o f_* \circ τ$.

研究动机与目标

• 解决在 Cartier 模理论中原始测试模定义缺乏加法性和函子性的问题。
• 开发一种修正的测试模定义，使其在光滑和准有限态射下保持直和并与基变换交换。
• 在 $ F $-有限概形的背景下，建立 $ \tau $ 与推出和拉回函子之间的自然变换。
• 确保与奇异性的测试理想和乘子理想现有构造的兼容性。
• 通过简化到正则环境环，为在奇异或非约环上研究测试模提供一个框架。

提出的方法

• 将测试模 $ \tau(M,\mathcal{C}) $ 重新表述为最小的 $ \mathcal{C} $-子模 $ N \subseteq M $，使得对 $ M $ 的每个关联素理想 $ \eta $，都有 $ H^0_\eta(N_\eta) \to H^0_\eta(M_\eta) $ 是一个幂零同构。
• 使用 $ \eta $-幂零挠函子 $ H^0_\eta $ 检测所有关联素理想处的幂零行为，而不仅限于极小关联素理想。
• 通过证明与 $ f^! $ 和 $ f_* $ 函子的基变换兼容性，证明新定义具有加法性和函子性。
• 利用 $ f^! $ 与局部上同调及幂零同构的兼容性，为光滑态射 $ f: X \to Y $ 建立自然同构 $ f^! \circ \tau \cong \tau \circ f^! $。
• 通过将准有限态射分解为开浸入和有限态射，并利用自然包含映射，构造准有限态射的自然变换 $ \tau \circ f_* \to f_* \circ \tau $。
• 利用 Zariski 主定理对准有限态射进行分解，并将开浸入和有限态射的自然变换复合，从而获得所需的函子性。

实验结果

研究问题

• RQ1 是否存在一种修正的测试模定义，使其在凝聚 Cartier 模范畴中既具有加法性又具有函子性？
• RQ2 能否通过自然同构和自然变换将 $ \tau $ 的函子性扩展到光滑和准有限态射？
• RQ3 在 $ F $-有限概形的背景下，$ \tau $ 在 $ f^! $ 和 $ f_* $ 的基变换下行为如何，特别是其兼容性如何？
• RQ4 新定义是否与奇异性的测试理想和乘子理想现有构造兼容？
• RQ5 修正后的定义是否解决了原始定义中观察到的加法性和函子性失效问题，例如在直和与模包含中的表现？

主要发现

• 将 $ \tau(M,\mathcal{C}) $ 的修正定义为最小的 $ \mathcal{C} $-子模，使得对所有关联素理想 $ \eta $，都有 $ H^0_\eta(N_\eta) \to H^0_\eta(M_\eta) $ 是幂零同构，从而确保了加法性和函子性。
• 对于光滑态射 $ f: X \to Y $，存在自然同构 $ f^! \circ \tau \cong \tau \circ f^! $，这推广了测试模在基变换下的行为。
• 对于准有限有限型态射 $ f: X \to Y $，存在自然变换 $ \tau \circ f_* \to f_* \circ \tau $，其构造通过分解为开浸入和有限态射实现。
• 对于开浸入 $ j $，自然变换 $ \tau j_* \to j_* \tau $ 由自然包含给出，且一般不是同构，如 $ k[x,x^{-1}] $ 的反例所示。
• 该结果可推广到分次情形：当 $ f $ 为准有限时，存在自然变换 $ \mathrm{Gr}(f_* -, \mathfrak{a}^t) \to f_* \mathrm{Gr}(-, (\mathfrak{a} \cdot \mathcal{O}_X)^t) $，与测试模的滤子相容。
• 在准有限情形下，该构造与因子分解的选择无关，从而保证了自然变换的良定义性。