[论文解读] 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阈值，作为特征零下乘子理想跳跃系数的类比，利用弗罗贝尼乌斯态射。它建立了模p的F阈值与伯恩斯坦-萨托多项式根之间的深刻联系，表明当p足够大时，F阈值νₐ^J(p^e)模p给出bₐ,₀(s)的根，且通过狄利克雷定理，这些根是伯恩斯坦-萨托多项式的实际有理根。

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阈值作为奇点的不变量，类比于特征零下乘子理想的跳跃系数。
• 探索F阈值对素数p的算术依赖性，特别是模p约化与特征零不变量的关系。
• 建立F阈值与伯恩斯坦-萨托多项式bₐ,₀(s)根之间全新的联系，表明模p下某些F阈值值可推出多项式的实际有理根。

提出的方法

• 将F阈值c^J(𝔞)定义为极限lim_{e→∞} νₐ^J(p^e)/p^e，其中νₐ^J(p^e) = max{r | 𝔞^r ⊄ J^{[p^e]}}。
• 利用哈拉与吉田的广义测试理想，证明F阈值是正特征下这些理想在跳跃点处的系数。
• 证明对所有足够大的p和所有e，伯恩斯坦-萨托多项式满足bₐ,₀(νₐ^J(p^e)) ≡ 0 (mod p)。
• 应用狄利克雷定理（关于算术级数中的素数），推导出P_i(0)是bₐ,₀(s)的根，其中P_i(p) = νₐ^J(p^e)且p ≡ i (mod N)。
• 分析具体例子，如定义光滑超曲面的齐次多项式及椭圆曲线，计算F阈值，并将其与局部上同调上弗罗贝尼乌斯作用的几何性质联系起来。
• 利用H^{n-1}_𝔪(R/f_p)上弗罗贝尼乌斯的单射性，刻画光滑超曲面满足c(f_p) = 1的条件，将其与约化Y_p的超奇异性质联系起来。

实验结果

研究问题

• RQ1 模p约化下的F阈值与特征零下原理想对数可去阈值之间有何关系？
• RQ2 伯恩斯坦-萨托多项式bₐ,₀(s)的根能否从模p的F阈值νₐ^J(p^e)中恢复？
• RQ3 是否存在关于p的统一算术条件（如模N同余），使得对所有满足该条件的足够大的p，有c(𝔞_p) = lc₀(𝔞)？
• RQ4 在何种条件下F阈值c(𝔞_p)等于对数可去阈值lc₀(𝔞)，且该等式成立的频率如何？
• RQ5 F阈值νₐ^J(p^e)作为p的有理函数（固定e且p模N变化）的结构，能否用于重构伯恩斯坦-萨托多项式的根？

主要发现

• 对所有足够大的素数p，νₐ^J(p^e)的值满足bₐ,₀(νₐ^J(p^e)) ≡ 0 (mod p)，建立了F阈值与伯恩斯坦-萨托多项式之间的直接联系。
• 当νₐ^J(p^e)由有理函数P_i(p)给出（其中p ≡ i (mod N)），则P_i(0)是有理函数bₐ,₀(s)的根，从而恢复如-9/20、-11/20、…、-27/20等根。
• 对于由次数为n的齐次多项式定义的光滑超曲面，c(f_p) = 1当且仅当H^{n-2}(Y_p, O_{Y_p})上弗罗贝尼乌斯作用是单射。
• 对于椭圆曲线，c(f_p) = 1当且仅当约化Y_p不是超奇异的，且当p在通过添加ℓ-挠点得到的域K中完全分裂时成立。
• 本文构造了ν₁(p^e)的显式公式，其依赖于p mod 20，表明c(f_p)不总是1/p的有理函数，例如当p ≡ 19 (mod 20)时，c(f_p) = (9p - 11)/(20(p - 1))。
• 当椭圆曲线无复乘时，满足c(f_p) ≠ 1的素数p的密度为零；但当其有复乘时，由于埃尔基斯关于超奇异素数的定理，该集合为无限集。