[論文レビュー] 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正則性の境界を確立すること。
• 特徴標数0における類似結果を検討し、特に対数正則閾値および$\mathbb{Q}$-Gorenstein特異点と関連づけること。

提案手法

• 特徴標数0における主な結果の類似を示すために、正標数への還元法を用いる。
• 局所コホホロジーおよびフォビニウスの分裂理論を用いて、$a$-不変量と$F$-閾値を分析する。
• Auslander-Buchsbaumの公式を用いて、射影次元をイデアルのコホモロジー次元と関連付ける。
• $F$-純正則列（$F$-純性を保つ一次形式の正則列）の概念を用いて、$F$-純正閾値を解釈する。
• Serreの条件$S_k$および次元公式を用いて、生成子の次数に依存する$k$に対して$S_k$を満たす$F$-純環がCohen-Macaulayであることを示す。
• $R$の極大イデアルにおける局所化の$F$-純性が$R$の$F$-純性を保証することを活用し、コホモロジーの消滅および深さを分析する。

実験結果

リサーチクエスチョン

• RQ1 強$F$-正則性を仮定せず、すべての$F$-純正標数$K$-代数において不等式$\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正則性の境界が、還元法を用いて特徴標数0へと拡張可能か。
• RQ5 Serreの$S_k$条件を満たす$F$-純環が、生成子の次数に依存する$k$に対して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)$が成り立つ。これは予想の一方の方向を確認した。
• すべての$j \leq s$に対して$R/(\ell_1, \ldots, \ell_j)$が$F$-純性を保つような、$s = \operatorname{fpt}(R)$個の一次形式からなる正則列が存在する。これは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)$を満たす。
• 生成子の次数に依存する$k$に対して、$S_k$条件を満たす$F$-純環$R = S/I$はCohen-Macaulayである。