[论文解读] Some extensions of Hilbert-Kunz multiplicity

Neil Epstein, Yongwei Yao|arXiv (Cornell University)|Mar 24, 2011

Commutative Algebra and Its Applications参考文献 16被引用 3

一句话总结

本文将希尔伯特-昆恩重数推广至相对情形，以建立在特征为素数的环中嵌套理想或子模具有相同紧密闭包的数值判别准则。通过引入基于0阶局部上同调与广义j-重数的相对度量，作者建立了充分条件，且在某些情况下为必要条件——特别是通过弗罗贝尼乌斯幂的长度的liminf与limsup极限——来判断紧密闭包等价性。关键结果表明，在F-正则性与约化性假设下，等价性成立。

ABSTRACT

Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite length. In this paper, we develop various sufficient numerical criteria for when the tight closures of these ideals (or submodules) match. For some of the criteria we only prove sufficiency, while some are shown to be equivalent to the tight closures matching. We compare the various numerical measures (in some cases demonstrating that the different measures give truly different numerical results) and explore special cases where equivalence with matching tight closure can be shown. All of our measures derive ultimately from Hilbert-Kunz multiplicity.

研究动机与目标

• 将希尔伯特-昆恩重数推广至任意嵌套理想对或子模对的相对情形，即使其商模不具有有限长度。
• 基于希尔伯特-昆恩理论与j-重数，构造可检测紧密闭包等价性的数值不变量。
• 利用弗罗贝尼乌斯幂长度的极限，建立紧密闭包等价性的充分条件，且在特殊情况下为必要条件。
• 探讨紧密闭包与局部化之间的关系，尤其关注数值消失条件的语境。
• 通过局部化数值不变量，为所有素理想提供紧密闭包等价性的全局判别准则。

提出的方法

• 基于 $ \lambda(H^0_{\mathfrak{m}}(M^{[q]}_N / L^{[q]}_N)) / q^d $ 的极限，定义新的相对不变量 $ u_N(L,M) $，推广希尔伯特-昆恩重数。
• 引入limsup与liminf的变体 $ u^+_N(L,M) $ 与 $ u^-_N(L,M) $，以分析弗罗贝尼乌斯幂的渐近行为。
• 利用涉及0阶局部上同调模的正合列，控制商模 $ I^{[q]}/J^{[q]} $ 的长度，从而导出涉及 $ f_n(I) $ 与 $ f_n(J) $ 的不等式。
• 应用紧致闭包版本的永田引理，推导出不依赖于局部上同调的紧密闭包等价性判别准则。
• 在第7节构造一个受j-重数启发的不变量，用于刻画商模具有有限长度时的理想之紧密闭包等价性。
• 通过在素理想处局部化，并利用完备化下的F-正则性与约化性假设，证明全局等价性结果。

实验结果

研究问题

• RQ1 在诺特局部环中，对于嵌套子模 $ L \subseteq M \subseteq N $，在何种数值条件下有 $ M \subseteq L^*_N $ 成立？
• RQ2 是否可以将 $ M^{[q]}_N / L^{[q]}_N $ 的归一化长度的liminf用作紧密闭包等价性的充要条件？
• RQ3 基于局部上同调、j-重数与弗罗贝尼乌斯幂的不同数值不变量，在检测紧密闭包等价性方面如何比较？
• RQ4 在何种情况下，全局数值不变量 $ f^{-}(J_{\mathfrak{p}}, I_{\mathfrak{p}}) $ 的消失性可推出所有局部化处的紧密闭包等价性？
• RQ5 当紧密闭包不与局部化交换时，这些数值准则在多大程度上仍保持等价？

主要发现

• 在完全稳定弱测试元素与约化完备化假设下，相对希尔伯特-昆恩测度的liminf版本 $ u^-_N(L,M) $ 当且仅当 $ M \subseteq L^*_N $ 时为零。
• 对于满足 $ \lambda(I/J) < \infty $ 的理想 $ J \subseteq I $，条件 $ \liminf_{n \to \infty} \frac{\lambda(I^{[p^n]}/J^{[p^n]})}{p^{nd}} = 0 $ 与 $ I^* = J^* $ 等价，推广了霍斯特-哈尼克的结果。
• 在F-正则性与约化性假设下，对所有素理想 $ \mathfrak{p} $ 有 $ f^{-}(J_{\mathfrak{p}}, I_{\mathfrak{p}}) \leq 0 $，则对所有极大理想 $ \mathfrak{m} $ 有 $ (I_{\mathfrak{m}})^* = (J_{\mathfrak{m}})^* $。
• 第7节中受j-重数启发的不变量在 $ \lambda(I/J) < \infty $ 时提供了紧密闭包等价性的充要条件，且与其他数值度量不同。
• 作者证明了j-重数型不变量与基于局部上同调的不变量通常不同，表明不同数值不变量可能产生不同结果。
• 在穿孔谱为F-正则环的情形下，对所有 $ \mathfrak{p} $ 有 $ f^{-}(J_{\mathfrak{p}}, I_{\mathfrak{p}}) \leq 0 $ 的全局条件，等价于所有局部化处的紧密闭包等价性。