[论文解读] On the existence of $F$-thresholds and related limits

Alessandro De Stefani, Luis Núñez‐Betancourt+1 more|arXiv (Cornell University)|May 11, 2016

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

一句话总结

本文在特征为素数的诺特环中，以普遍方式确立了 $F$-阈值的存在性，解决了长期存在的收敛性问题。此外，本文将 $F$-阈值与 $a$-不变量及卡斯特尔努沃-穆尔福迪正则性联系起来，证明了当 $F$-纯阈值与在极大理想处的 $F$-阈值相等时，蕴含强 $F$-正则性，并在对偶诺特环中给出了 $F$-示性数的下界。

ABSTRACT

The $F$-thresholds are important numerical invariants in prime characteristic, whose existence had been established only under certain assumptions. We show the existence of $F$-thresholds in full generality. We study properties of standard graded algebras over a field for which $F$-pure threshold and $F$-threshold at the irrelevant maximal ideal agree. We also exhibit explicit bounds for the $a$-invariants and Castelnuovo-Mumford regularity of Frobenius powers of ideals in terms of $F$-thresholds and $F$-pure thresholds, obtaining existence of related limits in certain cases.

研究动机与目标

• 解决在特征为素数的诺特环中 $F$-阈值是否普遍存在的开放问题。
• 刻画 $F$-纯阈值与在极大理想处的 $F$-阈值相等的条件。
• 利用 $F$-阈值建立弗罗贝尼乌斯幂的 $a$-不变量与卡斯特尔努沃-穆尔福迪正则性的界。
• 在 $\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ 时，推导出对偶诺特环中 $F$-示性数的下界。

提出的方法

• 使用极限定义 $ c^J(\mathfrak{a}) = \lim_{e \to \infty} \frac{\nu^{J}_{\mathfrak{a}}(p^e)}{p^e} $，其中 $ \nu^{J}_{\mathfrak{a}}(p^e) = \max\{ t \in \mathbb{N} \mid \mathfrak{a}^t \not\subseteq J^{[p^e]} \} $，来定义 $F$-阈值。
• 应用费德勒准则验证特定超曲面环中的 $F$-纯性，从而实现 $F$-纯阈值的计算。
• 依赖 $F$-正则性与强 $F$-正则性的理论，从阈值相等性推导出结构含义。
• 利用反 canonical 覆盖及 Singh-Takagi-Varbaro 的结果，将结果推广至非对偶诺特环。
• 通过 $F$-阈值对 $a$-不变量与正则性的界进行控制，以调控弗罗贝尼乌斯幂的渐近行为。
• 利用 $a_d(R)$ 与 $\operatorname{fpt}(\mathfrak{m})$ 之间的联系，在相等条件下推断出对偶诺特环与强 $F$-正则性。

实验结果

研究问题

• RQ1 对于任意特征为素数的诺特环及满足 $\mathfrak{a} \subseteq \sqrt{J}$ 的理想，$F$-阈值 $c^J(\mathfrak{a})$ 是否存在？
• RQ2 在标准分次环中，$\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ 在何种条件下成立？
• RQ3 能否利用 $F$-阈值来界定弗罗贝尼乌斯幂的 $a$-不变量与卡斯特尔努沃-穆尔福迪正则性？
• RQ4 在 $F$-纯、标准分次对偶诺特环中，$\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ 是否蕴含强 $F$-正则性？
• RQ5 能否利用 $F$-阈值与希尔伯特-萨穆埃尔多重性来获得 $F$-示性数的下界？

主要发现

• 所有特征为素数的诺特环中，$F$-阈值 $c^J(\mathfrak{a})$ 均存在，解决了关键的收敛性问题。
• 在 $F$-纯、标准分次对偶诺特环中，$\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ 蕴含强 $F$-正则性。
• 对于此类环，$F$-示性数满足 $s(R) \geq \frac{e(R)}{d!}$，其中 $e(R)$ 为希尔伯特-萨穆埃尔多重性，$d$ 为维数。
• 当相等性成立时，$a$-不变量 $a_d(R)$ 满足 $\operatorname{fpt}(\mathfrak{m}) = -a_d(R)$。
• 对于对角超曲面环 $R = S/fS$ 且 $f = \sum x_i^b$，在 $p$ 与 $n$ 满足特定条件时，有 $c^{\mathfrak{m}}(\mathfrak{m}) = n - b$，且若 $R$ 为 $F$-纯，则 $\operatorname{fpt}(\mathfrak{m}) = n - b$。
• 当 $e(R) = b$ 且满足 $p$、$n$ 与 $b$ 的条件时，此类环的 $F$-示性数满足 $s(R) \geq \frac{b}{(n-1)!}$。