[論文レビュー] Globalizing F-invariants

Alessandro De Stefani, Thomas Polstra+1 more|arXiv (Cornell University)|Aug 30, 2016

Algebraic structures and combinatorial models参考文献 29被引用数 3

ひとこと要約

この論文は、局所でない素性特異数の環に対しても、グローバルなヒルベルト＝クンツ多重度およびグローバルなFシグネチャを導入し、研究する。古典的な不変量を非局所な設定へと拡張する。主な貢献は、これらのグローバル不変量の存在を証明し、それらが局所的な特異性の性質を捉えていることを示したことである。特に、小さな値は強い代数的条件（強F正則性やゴレンシュタイン性）を意味する。

ABSTRACT

In this paper we define and study the global Hilbert-Kunz multiplicity and the global F-signature of prime characteristic rings which are not necessarily local. Our techniques are made meaningful by extending many known theorems about Hilbert-Kunz multiplicity and F-signature to the non-local case.

研究の動機と目的

• ヒルベルト＝クンツ多重度およびFシグネチャを局所な環から非局所な素性特異数の環へと拡張すること。
• 非局所な設定における特異性の深刻さを測るグローバル不変量を定義し、研究すること。
• グローバルなヒルベルト＝クンツ多重度が、すべての素イデアルにおける局所的ヒルベルト＝クンツ多重度の上界に等しいことを確立すること。
• 小さなグローバルなヒルベルト＝クンツ多重度が、強F正則性およびゴレンシュタイン性といった強い代数的性質を意味することを示すこと。
• グローバルなヒルベルト＝クンツ多重度が、忠実平坦な拡張に関して保存されることを証明すること。

提案手法

• F-有限な整域に対して、Frobenius押し出し $ F^e_*R $ の生成元の最小数とランクの比の極限としてグローバルなヒルベルト＝クンツ多重度を定義し、その存在を証明する。
• Frobenius押し出しの構造とその自由部分加群への分解を用いて、グローバルなFシグネチャを定義する。
• 準連続関数の擬連続空間上での一様収束を用いて、極限の存在と忠実平坦な拡張に関する安定性を証明する。
• 正則なファイバーとF-有限な終域を持つ忠実平坦な拡張を用いて、グローバル不変量と局所不変量を関連付ける。
• 残留体の $ p $-基底と局所化技術を用いて、完全局所的設定に帰着する。
• 局所的状況におけるヒルベルト＝クンツ多重度およびFシグネチャの既知の結果を活用し、それをグローバルに拡張する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト＝クンツ多重度は、素性特異数の非局所環においても意味的なグローバル拡張を許容するか？
• RQ2 グローバルなヒルベルト＝クンツ多重度は、すべての素イデアルにおける局所的ヒルベルト＝クンツ多重度の上界として表現可能か？
• RQ3 小さなグローバルなヒルベルト＝クンツ多重度は、強F正則性やゴレンシュタイン性といった強い代数的性質を意味するか？
• RQ4 F-有限な環の忠実平坦な拡張に関して、グローバルなヒルベルト＝クンツ多重度は非減少か？
• RQ5 グローバルなヒルベルト＝クンツ多重度は、各素イデアルにおける局所的ヒルベルト＝クンツ多重度とどのように関係するか？

主な発見

• 任意のF-有限整域 $ R $ に対して、$ \operatorname{e_{HK}}(R) = \lim_{e\to\infty} \mu(F^e_*R)/\operatorname{rank}(F^e_*R) $ としてグローバルなヒルベルト＝クンツ多重度が存在する。これは局所でない場合でも成り立つ。
• グローバルなヒルベルト＝クンツ多重度は $ \operatorname{e_{HK}}(R) = \max\{ \operatorname{e_{HK}}(R_P) \mid P \in \operatorname{Spec}(R) \} $ を満たし、最悪の局所的特異性を捉えていることが示された。
• 環 $ R $ が正則であることは、$ \operatorname{e_{HK}}(R) = 1 $ であることと同値であり、これは古典的な局所的特徴付けを拡張する。
• ある正の $ \delta $ が存在し、$ \operatorname{e_{HK}}(R) \leq 1 + \delta $ ならば、$ R $ は強F正則かつゴレンシュタインである。
• 任意の忠実平坦な写像 $ R \to T $ で $ T $ がF-有限であるとき、$ \operatorname{e_{HK}}(R) \leq \operatorname{e_{HK}}(T) $ が成り立ち、このような拡張に関して単調性が保証される。
• 環 $ R $ 上の加群 $ M $ の局所的ヒルベルト＝クンツ多重度 $ \operatorname{e^{loc}_{HK}}(M) $ は、$ Z_T = \operatorname{Spec}(T) $ を満たすすべての忠実平坦F-有限拡張 $ T $ に対して $ \operatorname{e_{HK}}(M \otimes_R T) $ の下界に等しい。