[论文解读] On Selmer groups and factoring $p$-adic $L$-functions

Bharathwaj Palvannan|arXiv (Cornell University)|May 3, 2016

Advanced Algebra and Geometry参考文献 19被引用 6

一句话总结

本文建立了塞尔默群与p进L函数分解之间的联系，将达斯古普塔对三变量p进L函数分解为二变量p进L函数与库巴塔-莱普林特p进L函数乘积的结果加以推广。通过特殊化技巧与塞尔默群的控制定理，作者证明了与这些L函数相关的代数结构（塞尔默群）满足与四维、三维及一维伽罗瓦表示的主猜想一致的关系。

ABSTRACT

Haruzo Hida has constructed a 3-variable Rankin Helberg \(p\)-adic \(L\)-function. Two of its variables are "weight" variables and one of its variables is the "cyclotomic" variable. Samit Dasgupta has factored a certain restriction of this 3-variable \(p\)-adic \(L\)-function (when the two weight variables are set equal to each other) into a product of a 2-variable \(p\)-adic \(L\)-function (related to the adjoint representation of a Hida family) and the Kubota-Leopoldt \(p\)-adic \(L\)-function. We prove the corresponding result involving Selmer groups that is predicted by the main conjectures. A key technical input is studying the (height one) specialization of Selmer groups.

研究动机与目标

• 建立达斯古普塔对三变量p进L函数分解为二变量与库巴塔-莱普林特p进L函数乘积的代数对应物。
• 将相关伽罗瓦表示的塞尔默群与分解联系起来，从而为基本猜想提供证据。
• 研究塞尔默群在特殊化下的行为，特别是在Hida族与Iwasawa理论背景下的表现。
• 证明在附加假设下，三维与四维表示的主猜想可由Urban的工作推出。
• 将主猜想重新表述为非初等塞尔默群与初等p进L函数的形式，与Iwasawa理论框架保持一致。

提出的方法

• 以达斯古普塔的分解结果为起点，该结果将三变量p进L函数表示为二变量p进L函数（与Hida族的伴随形式相关）与库巴塔-莱普林特p进L函数的乘积。
• 应用Greenberg的Iwasawa理论框架，将主猜想重新表述为非初等塞尔默群与初等p进L函数的形式。
• 运用控制定理与特殊化技巧，分析塞尔默群从四维表示到三维表示限制下的行为。
• 在Iwasawa代数上的模的正合序列中使用图表追逐法，关联塞尔默群之间映射的核与余核。
• 应用一个群论引理（引理B.1），证明在特定条件下，若模在子群作用下自由，则其在全群作用下也自由，这对模理论控制至关重要。
• 使用交换代数工具（如伪零模、Nakayama引理）分析诺特环与Iwasawa代数背景下塞尔默群及其对偶的结构。

实验结果

研究问题

• RQ1 从四维伽罗瓦表示到三维表示的特殊化过程中，塞尔默群如何演变？
• RQ2 塞尔默群的代数结构能否用于验证其与达斯古普塔对p进L函数分解的一致性？
• RQ3 在Iwasawa主猜想的背景下，非初等塞尔默群与初等塞尔默群之间的确切关系是什么？
• RQ4 在何种条件下，三维与四维表示的主猜想可由现有结果（如Urban的工作）推出？
• RQ5 p进L函数的分解在Iwasawa理论设定下，如何反映伽罗瓦上同调与塞尔默群的结构？

主要发现

• 本文证明了与三变量p进L函数相关的塞尔默群在特殊化下表现出与达斯古普塔分解一致的行为，支持了四维表示的主猜想。
• 证明了三变量p进L函数的非初等塞尔默群的特征理想，等于二变量与库巴塔-莱普林特p进L函数的塞尔默群特征理想的乘积。
• 在附加假设下，作者证明了三维表示的主猜想可由Urban关于Eisenstein理想与控制定理的工作推出。
• 当与塞尔默群的代数结果结合时，四维表示的主猜想与分解保持一致。
• 本文精确比较了非初等塞尔默群与初等塞尔默群的除子，澄清了Iwasawa理论背景下的差异。
• 群论引理（引理B.1）确保：若在开子群作用下的固定子模是自由的，则全群作用下的固定子模也是自由的，这对证明中的模理论控制至关重要。