[论文解读] Integral Eisenstein cocycles on GLn, I : Sczech's cocycle and p-adic L-functions of totally real fields

Pierre Charollois, Samit Dasgupta|arXiv (Cornell University)|Jun 14, 2012

Algebraic Geometry and Number Theory参考文献 11被引用 8

一句话总结

该论文通过在素数 ℓ 处进行光滑化操作，构建了 GLₙ(Q) 上 Sczech 的埃斯特别尔上循环的整数版本，证明了全实域在非正整数处的光滑部分 zeta 函数的整性，并通过上同调方法给出了 p-进 L-函数的新构造。该研究证明了这些 p-进 L-函数在 s=0 处的零点阶数至少达到预期值，从而通过 Spiess 的形式化方法证实了 Gross 的一个猜想。

ABSTRACT

We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as conjectured by Gross. This result was already known from Wiles' proof of the Iwasawa Main Conjecture.

研究动机与目标

• 通过在素数 ℓ 处进行光滑化操作，为 GLₙ(Q) 上的 Sczech 埃斯特别尔上循环提供一个整数精化版本。
• 证明与全实域的射类扩张相关联的光滑部分 zeta 函数在非正整数处的整性。
• 通过上同调方法构造 p-进 L-函数，并研究其在 s=0 处的首项。
• 验证这些 p-进 L-函数在 s=0 处的零点阶数与预期值一致，从而证实 Gross 的一个猜想。

提出的方法

• 在素数 ℓ 处对 GLₙ(Q) 上的原始埃斯特别尔上循环 Ψ 进行光滑化，得到具有更好整性性质的新上循环 Ψₗ。
• 利用 Ψₗ 与同调类之间的上同调配对，提取 zeta 函数的特殊值。
• 应用 Spiess 的 p-进 L-函数形式化方法，分析 s=0 处的零点阶数。
• 证明 Cₚ^♭(Fₚ) 是 ℂₚ[T]-模，从而支持谱序列论证以进行上同调计算。
• 通过在对数项中单项式的次数上使用归纳法，证明某些特征函数属于上链复形中的理想 I。
• 利用诱导模的结构及 Hochschild–Serre 谱序列，推导出自由性与退化性质。

实验结果

研究问题

• RQ1 光滑后的埃斯特别尔上循环 Ψₗ 是否在非正整数处对全实域的部分 zeta 函数的特殊值给出整数值？
• RQ2 能否通过此整数上循环，以同调方法构造与全实域射类扩张相关的 p-进 L-函数？
• RQ3 这些 p-进 L-函数在 s=0 处的零点阶数是多少？是否与猜想值一致？
• RQ4 在 ℓ 处的光滑化操作相比原始上循环，如何改善其整性性质？
• RQ5 该同调构造是否足以证明 Gross 所预测的零点阶数最小性？

主要发现

• 光滑后的 zeta 函数 ζ_f,ₖ(𝔞,s) 在非正整数 s 处取值于 ℤ[1/ℓ]，证明了光滑化后的整性。
• 插值这些值的 p-进 L-函数 ζ_f,ₖ,p(𝔞,s) 通过光滑上循环 Ψₗ 与上同调配对构造而成。
• p-进 L-函数在 s=0 处的零点阶数至少等于预期值，从而证实了 Gross 的一个猜想。
• 上链复形 Cₚ^♭(Fₚ) 是 ℂₚ[T]-模，这意味着 Hochschild–Serre 谱序列在 E² 项退化。
• 在适当条件下，上链复形中的理想 I 包含所有单项式 ℓ(x)^n，其中 |n| ≤ k 且 |R| > |n|。
• 该构造为 zeta 函数特殊值的整性提供了新证明，扩展了 Deligne–Ribet 与 Cassou-Noguès 的结果。