[论文解读] Globalizing F-invariants

Alessandro De Stefani, Thomas Polstra+1 more|arXiv (Cornell University)|Aug 30, 2016

Algebraic structures and combinatorial models参考文献 29被引用 3

一句话总结

本文引入并研究了在非局部的正特征环上（不一定是局部环）的全局 Hilbert-Kunz 乘子和全局 F-正则性指标，将经典不变量推广至非局部情形。主要贡献在于证明了这些全局不变量的存在性，并确立其能捕捉局部奇点性质，小值意味着强 F-正则性和 Gorenstein 性等强代数条件。

ABSTRACT

In this paper we define and study the global Hilbert-Kunz multiplicity and the global F-signature of prime characteristic rings which are not necessarily local. Our techniques are made meaningful by extending many known theorems about Hilbert-Kunz multiplicity and F-signature to the non-local case.

研究动机与目标

• 将 Hilbert-Kunz 乘子与 F-正则性指标从局部环推广至非局部正特征环。
• 定义并研究衡量非局部设定下奇点严重程度的全局不变量。
• 确立全局 Hilbert-Kunz 乘子等于所有素理想上局部 Hilbert-Kunz 乘子的上确界。
• 证明全局 Hilbert-Kunz 乘子值较小时蕴含强 F-正则性和 Gorenstein 性等强代数条件。
• 证明全局 Hilbert-Kunz 乘子在忠实平坦扩张下保持不变。

提出的方法

• 将全局 Hilbert-Kunz 乘子定义为 Frobenius 拉回 $ F^e_*R $ 的极小生成元个数与秩之比的极限，并证明其在 F-有限整环上存在。
• 利用 Frobenius 拉回的结构及其自由分量的分解来定义全局 F-正则性指标。
• 应用拟紧空间上半连续函数的统一收敛性来证明极限的存在性及在忠实平坦扩张下的稳定性。
• 利用具有正则纤维且目标为 F-有限的忠实平坦扩张，将全局不变量与局部不变量关联起来。
• 通过使用剩余域的 $ p $-基和局部化技术，将问题约化至完备局部情形。
• 借助局部情形下 Hilbert-Kunz 乘子与 F-正则性指标的已知结果，将其推广至全局情形。

实验结果

研究问题

• RQ1 Hilbert-Kunz 乘子在正特征下是否能在非局部环中存在有意义的全局推广？
• RQ2 全局 Hilbert-Kunz 乘子是否可表示为所有素理想上局部 Hilbert-Kunz 乘子的上确界？
• RQ3 若全局 Hilbert-Kunz 乘子值较小，是否蕴含强代数性质（如强 F-正则性和 Gorenstein 性）？
• RQ4 全局 Hilbert-Kunz 乘子在 F-有限环的忠实平坦扩张下是否非减？
• RQ5 全局 Hilbert-Kunz 乘子与每个素理想处的局部 Hilbert-Kunz 乘子之间有何关系？

主要发现

• 对于任意 F-有限整环 $ R $（即使非局部），全局 Hilbert-Kunz 乘子 $ \operatorname{e_{HK}}(R) = \lim_{e\to\infty} \mu(F^e_*R)/\operatorname{rank}(F^e_*R) $ 存在。
• 全局 Hilbert-Kunz 乘子满足 $ \operatorname{e_{HK}}(R) = \max\{ \operatorname{e_{HK}}(R_P) \mid P \in \operatorname{Spec}(R) \} $，表明其捕捉了最差的局部奇点。
• 环 $ R $ 是正则的当且仅当 $ \operatorname{e_{HK}}(R) = 1 $，这扩展了经典的局部刻画。
• 存在某个正数 $ \delta $，使得若 $ \operatorname{e_{HK}}(R) \leq 1 + \delta $，则 $ R $ 同时为强 F-正则环与 Gorenstein 环。
• 对任意忠实平坦映射 $ R \to T $，其中 $ T $ 为 F-有限环，有 $ \operatorname{e_{HK}}(R) \leq \operatorname{e_{HK}}(T) $，表明在该类扩张下具有单调性。
• 模 $ M $ 在 $ R $ 上的局部 Hilbert-Kunz 乘子 $ \operatorname{e^{loc}_{HK}}(M) $ 等于所有满足 $ Z_T = \operatorname{Spec}(T) $ 的忠实平坦 F-有限扩张 $ T $ 上 $ \operatorname{e_{HK}}(M \otimes_R T) $ 的下确界。