[论文解读] Stability and deformation of F-singularities

Alessandro De Stefani, Ilya Smirnov|arXiv (Cornell University)|Feb 1, 2020

Algebraic Geometry and Number Theory参考文献 25被引用 6

一句话总结

本文建立了 F-奇点的 $\mathfrak{m}$-adic 稳定性，证明了 F-正则性在非零因子的 $\mathfrak{m}$-adic 拓扑下对小扰动是稳定的，并表明稳定性比变形更强。关键结果是对 F-正则性特征的定量界，确保 F-正则性在原元素的邻域内保持不变。

ABSTRACT

We study the problem of $\mathfrak{m}$-adic stability of F-singularities, that is, whether the property that a quotient of a local ring $(R,\mathfrak{m})$ by a non-zero divisor $x \in \mathfrak{m}$ has good F-singularities is preserved in a sufficiently small $\mathfrak{m}$-adic neighborhood of $x$. We show that $\mathfrak{m}$-adic stability holds for F-rationality in full generality, and for F-injectivity, F-purity and strong F-regularity under certain assumptions. We show that strong F-regularity and F-purity are not stable in general. Moreover, we exhibit strong connections between stability and deformation phenomena, which hold in great generality.

研究动机与目标

• 研究 F-奇点（如 F-正则性、F-纯性、F-注入性）在非零因子的小 $\mathfrak{m}$-adic 扰动下是否保持稳定。
• 澄清 $\mathfrak{m}$-adic 稳定性与代数几何中经典奇点变形之间的关系。
• 确定强 F-正则性和 F-纯性在何种条件下稳定，并提供稳定性邻域大小的构造性界。
• 探讨一般情况下变形是否蕴含 $\mathfrak{m}$-adic 稳定性，并研究其他 F-奇点（如 F-满和 F-反幂零）的行为。

提出的方法

• 使用 F-正则性特征 $\operatorname{s_{rat}}(R)$ 作为数值不变量来量化 F-正则性，证明其在小 $\mathfrak{m}$-adic 扰动下连续。
• 应用紧闭理论和 Frobenius 作用的技术，特别是分析局部上同调中 Frobenius 幂和零化子的行为。
• 采用尖锐 F-纯性的概念，并显式构造 Frobenius 相关元素的提升，以证明当 $\delta$ 较小时 $(R, (x+\delta)^t)$ 仍为尖锐 F-纯。
• 依赖于 Hilbert–Kunz 乘子和判别式 $\mathfrak{m}$-adic 序的界，以控制稳定性成立的邻域大小 $N$。
• 利用局部上同调模中 $\mathfrak{m}$-次级分量的结构，并将其与正则环上的 Ext 模联系，以估计所需的 $N$。
• 证明在温和假设下，稳定性蕴含变形，且变形一般不蕴含稳定性，尽管逆命题仍为开放问题。

实验结果

研究问题

• RQ1 F-正则性是否 $\mathfrak{m}$-adic 稳定，即 $R/(x)$ F-正则是否蕴含对小 $\delta$ 有 $R/(x+\delta)$ F-正则？
• RQ2 $\mathfrak{m}$-adic 稳定性是否蕴含变形，且一般情况下逆命题是否成立？
• RQ3 强 F-正则性和 F-纯性在 $\mathfrak{m}$-adic 扰动下是否稳定，且在何种条件下成立？
• RQ4 其他 F-奇点（如 F-满或 F-反幂零奇点）是否满足 $\mathfrak{m}$-adic 稳定性？
• RQ5 能否利用上同调数据使稳定性邻域大小 $N$ 的界更明确或更优？

主要发现

• F-正则性是 $\mathfrak{m}$-adic 稳定的：对任意 $\varepsilon > 0$，存在 $N > 0$，使得对所有 $\delta \in \mathfrak{m}^N$，有 $|\operatorname{s_{rat}}(R/(x)) - \operatorname{s_{rat}}(R/(x+\delta))| < \varepsilon$。
• 当 $R$ 为 Gorenstein 时，F-正则性特征与 F-特征重合，因此定理 A 扩展了 [PS20, 定理 3.12] 到更广泛的情形。
• F-纯性和强 F-正则性一般不具有稳定性，反例涉及正则序列。
• 稳定性比变形更强：若某性质可变形且满足定理 2.4 的条件，则其为 $\mathfrak{m}$-adic 稳定。
• 对于 $\mathbb{Q}$-Gorenstein 环，强 F-正则性是稳定的，提示在类似假设下 F-纯性稳定性可能成立。
• 对 $N$ 的界是构造性的，依赖于 Hilbert–Kunz 乘子、$R/(\underline{x})$ 的扩展次数，以及局部上同调中 $\mathfrak{m}$-次级分量的零化子。