极小 $\gamma$-层

本文证明了对于正则且 $F$-有限的 $X$，有限生成的单位 $O_X[\sigma]$-模具有极小根（在 [Lyubeznik, F-模] 定义 3.6 的意义下）。该问题由 Lyubeznik 提出，并在 $X=\Spec R$ 为完备局部环的情形下由其本人解答。此结果的一个直接推论是，紧闭理论中的参数检验模与局部化交换。作为本文方法的进一步应用，我们给出了关于 $F$-阈值的离散性与有理性 [arXiv:0705.1210] 以及 $D$-模生成 [arXiv:math/0502405v1] 结果的新证明。这些新证明在稍更一般的设定下成立，从而也部分涵盖了最近在 [arXiv:0706.3028] 中获得的推广结果。