On $F$-thresholds of differential power filtrations

技术摘要：关于微分幂过滤的 F-阈值

问题陈述
本文探讨了 F-阈值的计算与存在性。F-阈值是交换代数与奇异性理论中的一种数值不变量，用于衡量特征为 $p > 0$ 的素特征下的奇异性行为。虽然对于常幂理想（比较 $I^t$ 与 Frobenius 幂 $J^{[p^e]}$）而言，F-阈值是定义良好的，但 Koley 和 Kumar 最近的工作将这一概念扩展到了理想的过滤（如符号幂）。然而，微分幂过滤的 F-阈值行为在研究中仍较少被触及。微分幂由 Dao 等人引入，它推广了符号幂，但在非完美域上的环中，其表现与符号幂有所不同。核心问题在于确定单项式理想的微分幂过滤的 F-阈值是否存在，并为该值建立显式界限。

方法论
作者采用了特征 $p$ 下微分算子理论以及单项式理想组合性质的技术。

1. 定义与框架： 本文利用了关于理想 $J$ 的过滤 $\mathfrak{a}_\bullet$ 的 F-阈值定义，该定义通过比率 $\nu_J^{\mathfrak{a}_\bullet}(p^e)/p^e$ 的极限来定义，其中 $\nu$ 衡量了使得 $\mathfrak{a}_t \not\subseteq J^{[p^e]}$ 的最大幂次 $t$。
2. 微分算子： 研究依赖于 $K$-线性微分算子环 $D_R$ 以及第 $n$ 阶微分幂 $I\langle n \rangle = \{f \in R \mid \delta(f) \in I \text{ 对于所有 } \delta \in D_R^{n-1}\}$ 的定义。
3. 单项式情形分析： 本文将分析限制在特征为 $p$ 的多项式环 $R = K[x_1, \dots, x_d]$ 上。研究重点是单项式理想 $I$。
4. 关键引理： 一个关键步骤是证明对于单项式素理想 $\mathfrak{p}$，微分幂 $\mathfrak{p}\langle n \rangle$ 与常幂 $\mathfrak{p}^n$ 相一致。此外，作者确立了对于足够大的 $N$（具体为 $N \geq \mu(\mathfrak{p})$），有 $\mathfrak{p}\langle N p^e \rangle \subseteq \mathfrak{p}^{[p^e]}$。
5. 过滤性质： 本文证明了对于多项式环中的任何理想 $I$，序列的微分幂 $\{I\langle i \rangle\}_{i \geq 0}$ 构成一个有效的过滤（满足 $I\langle n \rangle I\langle m \rangle \subseteq I\langle n+m \rangle$），从而允许应用 Koley 和 Kumar 的存在性定理。

主要贡献与结果
主要贡献是建立了单项式理想的微分幂过滤的 F-阈值的存在性及其上界。

• 定理 A (定理 3.6)： 令 $I \subseteq J \subseteq R$ 为非零真理想，其中 $I$ 是单项式理想且 $J$ 是根理想。则 F-阈值 $C_J(I\langle \bullet \rangle)$ 存在。此外，它由 $I$ 的极小素理想的极大高度上界约束：
  $$C_J(I\langle \bullet \rangle) \leq \max\{\text{ht}(\mathfrak{p}) \mid \mathfrak{p} \in \text{Min}(I)\}.$$
  证明过程依赖于将单项式理想分解为其极小素理想，并利用包含关系 $\mathfrak{p}\langle N p^e \rangle \subseteq \mathfrak{p}^{[p^e]}$ 来限制过滤相对于 Frobenius 幂的增长。

• 推论 3.7： 作为特定应用，本文计算了极大理想 $\mathfrak{m} = (x_1, \dots, x_d)$ 的微分幂过滤的 F-阈值。结果表明 $C_{\mathfrak{m}}(\mathfrak{m}\langle \bullet \rangle) = d$，这与多项式环的维数一致。这是通过证明下界等于维数，并利用定理 3.6 提供上界来完成的。

意义
本文将微分幂过滤置于 F-阈值的更广泛框架内，有效地将微分算子技术与素特征下的不变量联系起来。通过证明单项式理想微分幂的存在性，这项工作将已知可计算 F-阈值的范畴从符号幂扩展了出去。关于极大理想的微分幂过滤的 F-阈值恢复了环境环的维数这一结果，作为一个一致性检查，使其与经典的几何预期相符。该工作提供了一个依赖于极小素理想高度的具体上界，为在单项式情形下估计这些不变量提供了工具，而无需对每种情况都进行显式的极限计算。