[論文レビュー] Global Frobenius Betti numbers and F-splitting ratio

Alessandro De Stefani, Thomas Polstra+1 more|arXiv (Cornell University)|Nov 27, 2018

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

ひとこと要約

この論文は、素数標数の非局所的でF-有限な整域へ、Frobeniusベッチ数とF-スプリット比を拡張し、それらの存在を証明するとともに、正則性およびF純粋性を検出するグローバル不変量を確立する。[DSPY16, 問題4.24]を解決し、カルティエ代数$\mathscr{D}$に追加の仮定を課さずに、ペア$(R,\mathscr{D})$の強いF正則性とグローバルFシグネチャの正値性が同値であることを示している。

ABSTRACT

We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair $(R,\mathscr{D})$, where $\mathscr{D}$ is a Cartier algebra, is equivalent to the positivity of the global F-signature ${ m s}(R,\mathscr{D})$ of the pair. This extends a result previously proved by these authors, by removing an extra assumption on the Cartier algebra.

研究の動機と目的

• 素数標数の環におけるFrobeniusベッチ数とF-スプリット比を、局所的からグローバルな設定へ一般化すること。
• 先行研究で強いF正則性をFシグネチャによって特徴づけるために要請されていた、カルティエ代数$\mathscr{D}$に関する追加仮定を除去すること。
• 非局所的整域における正則性およびF純粋性を検出するグローバル不変量を確立すること。
• 局所化と漸近的極限を用いて、非局所的環に対するスプリットレートおよびF-スプリット比を定義・分析すること。

提案手法

• F^e_*R上の正規化されたTor長さの極限を用いて、グローバルFrobeniusベッチ数$\beta_i^F(R)$およびFrobeniusオイラー特徴量$\chi_i^F(R)$を定義する。
• 最小生成元を用いたシンジーギーの生成に関する極小性に基づき、スプリットレート$\operatorname{sr}(R)$をスプリット次元のグローバル拡張として定義する。
• F-有限な環の有限性と漸近的解析を用いて、極限$\beta_i^F(R)$、$\chi_i^F(R)$、$r_F(R)$の存在を証明する。
• 局所化技術を用いてグローバル不変量と局所不変量を関連付け、$\chi_i^F(R) = \max\{\chi_i^F(R_P)\}$および$\operatorname{sr}(R) = \min\{\operatorname{sr}(R_P)\}$を示す。
• F純粋性と$ r_F(R) > 0 $が同値であることを確立し、$(R,\mathscr{D})$の強いF正則性と$\operatorname{s}(R,\mathscr{D}) > 0 $が同値であることを示す。
• F^e_*Rの自由ランクに一様な下界$\varepsilon > 0$が存在することを示すキーレムマを適用し、強いF正則環におけるFシグネチャ極限の正値性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Frobeniusベッチ数とF-スプリット比は、局所的環を越えて、一般のF-有限整域へ意味的に拡張可能だろうか？
• RQ2 カルティエ代数$\mathscr{D}$に追加の仮定を課さずに、ペア$(R,\mathscr{D})$が強いF正則であるときかつそのときに限り、グローバルFシグネチャ$\operatorname{s}(R,\mathscr{D})$が正であるだろうか？
• RQ3 局所化の下で、$\beta_i^F(R)$ や $r_F(R)$ といったグローバル不変量は、それらの局所的対応物とどのように関係するだろうか？
• RQ4 スプリットレート$\operatorname{sr}(R)$は局所化の上に最小性を満たすだろうか？また、$r_F(R)$ はその正値性を局所的挙動から引き継ぐだろうか？
• RQ5 強いF正則な環において、グローバルFシグネチャは一様に下から有界だろうか？これにより、$\operatorname{s}(R,\mathscr{D})$ を定義する極限の収束が保証されるだろうか？

主な発見

• 任意の素数標数のF-有限整域$R$に対して、グローバルFrobeniusベッチ数$\beta_i^F(R)$およびFrobeniusオイラー特徴量$\chi_i^F(R)$が存在する。
• グローバルFrobeniusオイラー特徴量は、$\chi_i^F(R) = \max\{\chi_i^F(R_P) \mid P \in \operatorname{Spec}(R)\}$を満たし、グローバル不変量と局所不変量を結びつける。
• 環$R$が正則であることは、ある$i > 0$に対して$\beta_i^F(R) = 0$であることと同値であり、これは局所的結果をグローバル設定へ一般化する。
• F-スプリット比$r_F(R)$が正であることと$R$がF純粋であることとは同値であり、$r_F(R) = \min\{r_F(R_P) \mid \operatorname{sr}(R) = \operatorname{sr}(R_P)\}$を満たす。これにより、比に対する最小性が確立される。
• グローバルFシグネチャ$\operatorname{s}(R,\mathscr{D})$が正であることと、ペア$(R,\mathscr{D})$が強いF正則であることとは同値であり、[DSPY16, 問題4.24]を$\mathscr{D}$に関する追加仮定なしに解決する。
• すべての$e$に対して$a_e(R) \geq \varepsilon \cdot \operatorname{rank}(F^e_*R)$を満たす一様な下界$\varepsilon > 0$が存在し、これは強いF正則環におけるFシグネチャ極限の正値性を保証する。