[論文レビュー] F-thresholds and Bernstein-Sato polynomials

Mircea Mustaţă, Shunsuke Takagi+1 more|ArXiv.org|Nov 8, 2004

Commutative Algebra and Its Applications参考文献 21被引用数 101

ひとこと要約

本稿では、正標数におけるF閾値を、標数0における倍乗イデアルのジャンピング係数の類似物として、フロベニウス準同型を用いて定義する。F閾値を標数pでのものとし、その根が Bernstein-Sato 多項式の根と関係することを示し、大規模なpに対してF閾値νₐ^J(p^e)がbₐ,₀(s)の根をpを法として与えることを示す。さらにディリクレの定理を用いることで、これらの根が実際に有理数根であることが示される。

ABSTRACT

We introduce and study invariants of singularities in positive characteristic called F-thresholds. They give an analogue of the jumping coefficients of multiplier ideals in characteristic zero. We discuss the connection between the invariants of an ideal in characteristic zero and the invariants of the different reduction mod p of this ideal. Our main point is that this relation depends on arithmetic properties of p. We also describe a new connection between invariants mod p and the roots of the Bernstein-Sato polynomial.

研究の動機と目的

• 正標数における特異点の不変量としてF閾値を定義・研究し、標数0における倍乗イデアルのジャンピング係数と類似させる。
• F閾値が素数pに依存する算術的性質を調査し、特にpを法としての還元が標数0における不変量とどのように関係するかを明らかにする。
• F閾値と Bernstein-Sato 多項式bₐ,₀(s)の根の間の新しい関係を確立し、特定のF閾値がpを法として与えることにより、多項式の実際の有理数根が得られることを示す。

提案手法

• F閾値c^J(𝔞)を、lim_{e→∞} νₐ^J(p^e)/p^e として定義する。ここでνₐ^J(p^e) = max{r | 𝔞^r ⊄ J^{[p^e]}} である。
• HaraとYoshidaによる一般化されたテストイデアルを用いて、正標数におけるこれらのイデアルのジャンピング係数としてF閾値が与えられることを示す。
• すべての十分大きなpとすべてのeに対して、Bernstein-Sato多項式がbₐ,₀(νₐ^J(p^e)) ≡ 0 (mod p) を満たすことを証明する。
• 算術的進歩における素数に関するディリクレの定理を適用し、P_i(p) = νₐ^J(p^e) かつ p ≡ i (mod N) のとき、P_i(0) がbₐ,₀(s)の有理数根であることを導く。
• 滑らかな超曲面や楕円曲線を定義する斉次多項式などの具体例を分析し、F閾値を計算し、局所コホロジーにおけるフロベニウス作用の幾何的性質と関連付ける。
• H^{n-1}_𝔪(R/f_p)におけるフロベニウスの単射性を用いて、滑らかな超曲面に対してc(f_p) = 1 が成り立つ条件を特徴づけ、これと還元Y_pの超特異性を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 標数pでの還元におけるF閾値は、標数0における元のイデアルの対数正則閾値とどのように関係するか？
• RQ2 Bernstein-Sato多項式bₐ,₀(s)の根は、pを法としてのF閾値νₐ^J(p^e)から回復可能か？
• RQ3 すべての十分大きなpに対してc(𝔞_p) = lc₀(𝔞) が成り立つような、pに関する一様な算術的条件（例えば、Nを法としての合同）は存在するか？
• RQ4 F閾値c(𝔞_p)が対数正則閾値lc₀(𝔞)に等しくなる条件は何か？また、この等式はどの程度の頻度で成立するか？
• RQ5 固定されたeに対してpをNを法として変化させるとき、F閾値νₐ^J(p^e)が有理関数として表されるという構造を用いて、Bernstein-Sato多項式の根を再構成可能か？

主な発見

• すべての十分大きな素数pに対して、νₐ^J(p^e) は bₐ,₀(νₐ^J(p^e)) ≡ 0 (mod p) を満たし、F閾値と Bernstein-Sato多項式との直接的な関係を確立する。
• νₐ^J(p^e) がp ≡ i (mod N) のとき有理関数P_i(p)で与えられるならば、P_i(0) はbₐ,₀(s)の有理数根であり、-9/20、-11/20、…、-27/20 といった根が回復可能である。
• 斉次多項式で定義される滑らかな超曲面に対して、c(f_p) = 1 であることは、H^{n-2}(Y_p, O_{Y_p})におけるフロベニウス作用が単射であることと同値である。
• 楕円曲線の場合、c(f_p) = 1 であることは、還元Y_pが超特異でないことに同値であり、これはℓ-torsion点を添加して得られる体Kで完全に分解するすべてのpに対して成り立つ。
• p mod 20 に応じてν₁(p^e)の明示的公式を構成し、c(f_p)が常に1/pの有理関数でないことを示す。例えば、p ≡ 19 (mod 20) のとき、c(f_p) = (9p - 11)/(20(p - 1)) である。
• 楕円曲線に複素乗法が存在しない場合、c(f_p) ≠ 1 となる素数の集合の密度は0であるが、複素乗法が存在する場合には、エリクスの定理により無限個の超特異素数が存在するため、無限個のpに対してc(f_p) ≠ 1 となる。