[論文レビュー] 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$-threshold が一般に存在することを確立し、長年の収束問題を解決する。さらに、$F$-threshold と $a$-invariants、およびカステルヌオヴォ＝マウムフォード正則性を結びつけ、最大イデアルにおける $F$-純度閾値と $F$-threshold が等しい場合、強い $F$-正則性が成立し、ゴレンシュタイン環における $F$-signature の下界が得られることを証明する。

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$-threshold が普遍的に存在するかどうかという未解決問題を解決すること。
• 最大イデアルにおける $F$-純度閾値と $F$-threshold が一致する条件を同定すること。
• Frobenius巾の $a$-invariants およびカステルヌオヴォ＝マウムフォード正則性を $F$-threshold を用いて境界づけること。
• Gorenstein環において $\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ が成り立つ場合、$F$-signature の下界を導出すること。

提案手法

• 極限定義 $ 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$-threshold を定義する。
• フェッダの基準を適用して、特定の超曲面環における $F$-純度を検証し、$F$-純度閾値の計算を可能にする。
• $F$-正則性および強い $F$-正則性の理論を用いて、閾値の等価性から生じる構造的帰結を導出する。
• 反標準的被覆およびシンガ－タカギ＝ヴァルバロの結果を用いて、ゴレンシュタイン環を超えた結果を拡張する。
• $F$-threshold を用いた $a$-invariants および正則性の境界を適用し、Frobenius巾の漸近的挙動を制御する。
• $a_d(R)$ と $\operatorname{fpt}(\mathfrak{m})$ の関係を活用し、等号成立条件下でゴレンシュタイン性および強い $F$-正則性を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の素数の特徴を持つネーター環およびイデアル $\mathfrak{a} \subseteq \sqrt{J}$ に対して、$F$-threshold $c^J(\mathfrak{a})$ は存在するか？
• RQ2 標準的次数付き環において、$\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ が成り立つ条件は何か？
• RQ3 $F$-threshold を用いて、Frobenius巾の $a$-invariants およびカステルヌオヴォ＝マウムフォード正則性を境界づけることができるか？
• RQ4 $F$-純度で、標準的次数付きゴレンシュタイン環において、$\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ ならば強い $F$-正則性が成立するか？
• RQ5 $F$-threshold およびヒルベルト＝サミュエル多重度を用いて、$F$-signature を下から境界づけることができるか？

主な発見

• すべての素数の特徴を持つネーター環において、$F$-threshold $c^J(\mathfrak{a})$ が存在し、重要な収束問題が解決された。
• $F$-純度で、標準的次数付きゴレンシュタイン環において、$\operatorname{fpt}(\mathfrak{m}) = c^{\mathfrak{m}}(\mathfrak{m})$ ならば強い $F$-正則性が成立する。
• このような環において、$F$-signature は $s(R) \geq \frac{e(R)}{d!}$ を満たす。ここで $e(R)$ はヒルベルト＝サミュエル多重度、$d$ は次元である。
• 等号成立時、$a$-invariant $a_d(R)$ は $\operatorname{fpt}(\mathfrak{m}) = -a_d(R)$ を満たす。
• $f = \sum x_i^b$ である対角的超曲面 $R = S/fS$ に対して、$p$ および $n$ に関する特定の条件下で $c^{\mathfrak{m}}(\mathfrak{m}) = n - b$ であり、$R$ が $F$-純度ならば $\operatorname{fpt}(\mathfrak{m}) = n - b$ である。
• この種の環の $F$-signature は、$e(R) = b$ かつ $p$、$n$、$b$ に関する条件を満たすとき $s(R) \geq \frac{b}{(n-1)!}$ を満たす。