[论文解读] Test ideals via algebras of $p^{-e}$-linear maps

Manuel Blickle|arXiv (Cornell University)|Dec 11, 2009

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

一句话总结

本文通过 $p^{-e}$-线性映射的代数提出了一套统一的测试理想框架，证明了 $F$-纯模——即在这些算子作用下稳定的模——具有有限长度。这一结构性结果确保了在广泛情形下（包括非约化环）测试模的存在性，并给出了仿射 $k$-代数在 $F$-有限域上跳跃数离散性的初等证明。

ABSTRACT

Continuing ideas of a recent preprint of Schwede arXiv:0906.4313 we study test ideals by viewing them as minimal objects in a certain class of $F$-pure modules over algebras of p^{-e}-linear operators. This shift in the viewpoint leads to a simplified and generalized treatment, also allowing us to define test ideals in non-reduced settings. In combining this with an observation of Anderson on the contracting property of p^{-e}-linear operators we obtain an elementary approach to test ideals in the case of affine k-algebras, where k is an F-finite field. It also yields a short and completely elementary proof of the discreteness of their jumping numbers extending most cases where the discreteness of jumping numbers was shown in arXiv:0906.4679.

研究动机与目标

• 将测试理想理论推广至非约化环和 $\mathbb{Q}$-Gorenstein 之外的设定，使用 $p^{-e}$-线性算子。
• 在 $F$-纯模的范畴中，确立测试模作为最小 $\mathcal{C}$-子模的存在性。
• 为仿射 $k$-代数在 $F$-有限域上的测试理想提供跳跃数离散性的初等证明。
• 通过强调 $p^{-e}$-线性映射与 Cartier 代数的作用，统一并简化现有测试理想的方法。
• 将理论扩展至非约化环，并探索其与特征零下乘子理想的关系。

提出的方法

• 将 $F$-纯 $\mathcal{C}$-模定义为子模 $N \subseteq M$，使得 $\mathcal{C}_+N = N$，其中 $\mathcal{C}_+$ 是 $R$-Cartier 代数 $\mathcal{C}$ 的正度部分。
• 利用 $p^{-e}$-线性映射及其代数理论，将测试模构造为与 $M$ 在一般意义下相等的最小 $\mathcal{C}$-子模。
• 借助 $F$-纯模的有限长度性质，确保在关键情形（如 $M \subseteq R$，$\mathcal{C}$ 为单生成，或 $R$ 是 $F$-有限域上的有限型）下测试模的存在性。
• 应用 Anderson 关于 $p^{-e}$-线性算子的压缩性质，导出跳跃数离散性的初等证明。
• 将 $F$-正则性和 $F$-纯性的概念推广至任意诺特 $F$-有限环上的 $\mathcal{C}$-模设定。
• 利用 $F$-纯模的有限长度性质，分析简单 $F$-纯模 $M$ 和 $N$ 的 $\operatorname{Hom}_{\mathcal{C}}(M,N)$ 的结构。

实验结果

研究问题

• RQ1 在 $F$-有限诺特环 $R$ 上，对有限生成的 $\mathcal{C}$-模 $M$，测试模 $\tau(M,\mathcal{C})$ 在何种条件下存在？
• RQ2 模 $M$ 的 $F$-纯 $\mathcal{C}$-子模范畴是否为诺特范畴，且是否在一般情况下满足有限长度条件？
• RQ3 能否通过 $p^{-e}$-线性映射，在仿射 $k$-代数在 $F$-有限域上的情形下，初等证明测试理想的跳跃数离散性？
• RQ4 对于有界指数 $t_i$，是否存在有限多个不同的测试理想 $\tau(M,\mathcal{C},\mathfrak{a}^{t_1} \cdots \mathfrak{a}^{t_m})$？
• RQ5 在特征零下，$F$-纯 $\mathcal{C}$-模的对应物是什么，特别是其与乘子理想及最大非 $F$-纯理想的关系如何？

主要发现

• 有限生成 $\mathcal{C}$-模 $M$ 的 $F$-纯 $\mathcal{C}$-子模范畴具有有限长度，当且仅当对所有 $\mathcal{C}$-子模 $N \subseteq M$，测试模 $\tau(N,\mathcal{C})$ 均存在。
• 当 $M \subseteq R$，或 $\mathcal{C}$ 为单生成，或 $R$ 是 $F$-有限域上的有限型时，测试模 $\tau(M,\mathcal{C})$ 存在。
• $F$-纯模的有限长度性质意味着不存在此类子模的无限链，为理论提供了结构性基础。
• 在仿射 $k$-代数于 $F$-有限域上的情形下，获得了测试理想跳跃数离散性的初等证明，其适用范围已超越 $\mathbb{Q}$-Gorenstein 情形。
• 该理论可推广至非约化环，为先前定义失效的情形提供了测试理想的候选。
• 该框架使得测试理想的处理更加简化与统一，包括通过模 $p$ 约化与乘子理想的联系。