[论文解读] F-thresholds of graded rings

Alessandro De Stefani, Luis Núñez‐Betancourt|arXiv (Cornell University)|Jul 20, 2015

Commutative Algebra and Its Applications参考文献 22被引用 4

一句话总结

本文建立了 $F$-纯标准分次 $K$-代数中 $a$-不变量、$F$-纯阈值与对角线 $F$-阈值之间的不等式关系，证明了对所有 $i$ 有 $\operatorname{fpt}(R) \leq -a_i(R) \leq c^\mathfrak{m}(R)$，并表明当 $R$ 为 Gorenstein 时有 $\operatorname{fpt}(R) = -a_d(R)$。结果将先前关于强 $F$-正则环的猜想推广至更广泛的 $F$-纯环类，并通过保持 $F$-纯性的正则序列对 $F$-纯阈值提供了新的解释。

ABSTRACT

The a-invariant, the F-pure threshold, and the diagonal F-threshold are three important invariants of a graded K-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly F-regular rings. In this article, we prove that these relations hold only assuming that the algebra is F-pure. In addition, we present an interpretation of the a-invariant for F-pure Gorenstein graded K-algebras in terms of regular sequences that preserve F-purity. This result is in the spirit of Bertini theorems for projective varieties. Moreover, we show connections with projective dimension, Castelnuovo-Mumford regularity, and Serre's condition $S_k$. We also present analogous results and questions in characteristic zero.

研究动机与目标

• 证明 $F$-纯分次环中 $a$-不变量、$F$-纯阈值与对角线 $F$-阈值之间猜想的不等式。
• 将先前关于强 $F$-正则环的结果推广至更一般的 $F$-纯环设定。
• 在 Gorenstein $F$-纯分次环中，通过保持 $F$-纯性的正则序列，为 $F$-纯阈值提供新的解释。
• 为 $F$-纯代数建立上同调维数与 Castelnuovo-Mumford 正则性的界。
• 探索这些结果在特征零的类比，特别是与对数可极化阈值和 $\mathbb{Q}$-Gorenstein 奇点的关系。

提出的方法

• 使用正特征化约化方法，证明特征零中主要结果的类比。
• 应用局部上同调理论与 Frobenius 拆分理论，分析 $a$-不变量与 $F$-阈值。
• 利用 Auslander-Buchsbaum 公式，将上同调维数与理想上同调维数联系起来。
• 利用 $F$-纯正则序列的概念——即线性形式的正则序列，使得其逐次商仍为 $F$-纯——来解释 $F$-纯阈值。
• 应用 Serre 条件 $S_k$ 与维数公式，证明满足 $S_k$ 的 $F$-纯环（$k$ 依赖于生成元的次数）为 Cohen-Macaulay。
• 利用 $R$ 的 $F$-纯性蕴含其在极大理想处的局部化也为 $F$-纯性这一事实，分析上同调消去与深度。

实验结果

研究问题

• RQ1 在不假设强 $F$-正则性的情况下，$F$-纯标准分次 $K$-代数是否对所有 $i$ 都有不等式 $\operatorname{fpt}(R) \leq -a_i(R) \leq c^\mathfrak{m}(R)$ 成立？
• RQ2 Gorenstein $F$-纯分次环的 $F$-纯阈值是否可表征为保持 $F$-纯性的线性形式正则序列的最大长度？
• RQ3 等式 $\operatorname{fpt}(R) = -a_d(R)$ 的逆命题在 $F$-纯环中是否成立，还是仅在更强的条件（如强 $F$-正则性）下成立？
• RQ4 通过约化技术，$F$-纯代数的上同调维数与 Castelnuovo-Mumford 正则性的界是否可推广至特征零？
• RQ5 在何种条件下，满足 Serre 条件 $S_k$ 的 $F$-纯环会成为 Cohen-Macaulay 环？

主要发现

• 在任意 $F$-有限、$F$-纯的标准分次 $K$-代数中，对所有 $i$ 都有不等式 $\operatorname{fpt}(R) \leq -a_i(R)$ 成立。
• 在 $F$-有限、$F$-纯的标准分次 $K$-代数中，对所有满足 $a_i(R) \neq -\infty$ 的 $i$，不等式 $-a_i(R) \leq c^\mathfrak{m}(R)$ 成立。
• 对于 Gorenstein $F$-纯的标准分次 $K$-代数，有 $\operatorname{fpt}(R) = -a_d(R)$，证实了猜想的一个方向。
• 存在长度为 $s = \operatorname{fpt}(R)$ 的正则序列 $\ell_1, \ldots, \ell_s$，使得对所有 $j \leq s$，商环 $R/(\ell_1, \ldots, \ell_j)$ 仍为 $F$-纯，这在 Bertini 定理的精神下提供了几何解释。
• 对于 $F$-纯环 $R = S/I$，其上同调维数满足 $\operatorname{pd}_S(R) \leq \mu_S(I)$，且 Castelnuovo-Mumford 正则性满足 $\operatorname{reg}_S(R) \leq \dim(R) - \operatorname{fpt}(R)$。
• 若 $F$-纯环 $R = S/I$ 满足 Serre 条件 $S_k$，其中 $k$ 依赖于 $I$ 的生成元次数，则 $R$ 为 Cohen-Macaulay。