[论文解读] On the Gross-Stark Conjecture

Samit Dasgupta, Mahesh Kakde+1 more|arXiv (Cornell University)|May 26, 2016

Advanced Algebra and Geometry参考文献 11被引用 5

一句话总结

本文证明了Gross关于完全偶特征的完全实数域上Deligne–Ribet p进L函数在s=0处的首项系数的猜想。通过上同调方法、Hida族以及利用伽罗瓦上同调类计算的p进正规化子，作者证明了该解析首项系数等于由该特征截取的ray类域中单位的p进正规化子，从而解决了Iwasawa理论与p进L函数中一个长期悬而未决的猜想。

ABSTRACT

In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne--Ribet $p$-adic $L$-function associated to a totally even character $ψ$ of a totally real field $F$. The conjecture states that after scaling by $L(ψω^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $ψω^{-1}$. In this paper, we prove Gross's conjecture.

研究动机与目标

• 证明Gross于1980年提出的关于完全实数域上完全偶特征的Deligne–Ribet p进L函数在s=0处首项系数的猜想。
• 建立Stark猜想的精确p进类比，将p进L函数的首项系数与阿贝尔扩张中单位的p进正规化子联系起来。
• 通过构建并分析来自Hida族的上同调类以编码正规化子数据，解决Iwasawa理论中的一个关键开放问题。
• 通过引入新的c-上链构造，完整证明所有情况，包括特征及其逆的解析秩不同的微妙情形。

提出的方法

• 通过Hida族与p进模形式，具体通过Hida Hecke代数在尖点形式上的作用，构造伽罗瓦上同调类。
• 使用从Hecke代数到完备群环的同态φ，将上同调类与p进L函数关联起来。
• 应用上同调正交性论证，将上同调类与单位群关联，利用单位群的负部分与伽罗瓦模结构。
• 利用p进对数与p进赋值映射在p进单位上的作用定义p进正规化子，并通过行列式计算将其与L函数的首项系数关联。
• 分析上同调类在p上素数处的局部行为，根据特征在p处是否无害或有害区分情形。
• 通过对偶性论证与Hecke代数中的同余关系，证明正规化子映射的行列式与解析首项系数一致，即使χ与χ⁻¹的解析秩不同。

实验结果

研究问题

• RQ1 Gross猜想中，Deligne–Ribet p进L函数在s=0处的首项系数是否等于由ψω⁻¹截取的阿贝尔扩张中单位的p进正规化子？
• RQ2 能否通过涉及Hida族与伽罗瓦上同调类的上同调方法计算p进正规化子？
• RQ3 当χ与χ⁻¹的解析秩不同时，特别是当r_an(χ) > r_an(χ⁻¹)时，该猜想的行为如何？
• RQ4 是否存在一种上同调构造，能统一处理所有情形（包括p上素数的有害与无害情形），涵盖正规化子与解析L函数值？
• RQ5 能否通过c-上链而非b-上链填补[8]中定理4.4证明中的缺失情形？

主要发现

• 本文完整证明了Gross猜想：对于任意完全实数域F的完全偶特征χ，p进L函数L_p(χω, s)在s=0处的首项系数等于p进正规化子R_p(χ)。
• 在所有情形下，包括当r_an(χ) ≠ r_an(χ⁻¹)时，等式L_an(χ⁻¹) = R_p(χ⁻¹)均成立，解决了先前工作的漏洞。
• 证明通过Hida族构造伽罗瓦上同调类，并使用c-上链处理χ⁻¹的解析秩小于χ的情形。
• 通过上同调类计算的正规化子映射的行列式，与解析首项系数一致，至多相差Hecke代数中的单位，从而确认了猜想。
• 该构造表明，即使在非挠情形下，p进正规化子也由单位群在p进对数与赋值映射下的像所捕获。
• 该结果对所有素数p（包括p=2）成立，将猜想的有效性范围扩展至早期分析证明的范围之外。