[论文解读] Congruences between abelian pseudomeasures, II

Jürgen Ritter, Alfred Weiss|arXiv (Cornell University)|Jan 13, 2010

Algebraic Geometry and Number Theory参考文献 7被引用 6

一句话总结

本文将阿贝尔伪测度之间的同余关系推广至全实数域，将先前针对 p-幂阶伽罗瓦群的结果扩展至任意 p-群。通过模形式与 q-展开原理，证明了经转移的伪测度的 Möbius 加权和属于完备群环的迹理想，为等变 Iwasawa 理论提供了关键同余关系。

ABSTRACT

We extend the main result of [Math. Res. Lett. 15 (2008), 715-725] to Galois extensions L/K of totally real number fields of arbitrary odd prime power degree, thereby offering support for the validity of the 'main conjecture' of equivariant Iwasawa theory.

研究动机与目标

• 将 [RW7] 中主同余结果从阶为 p 的群推广至任意有限 p-群，而不仅限于阶为 p 的群。
• 建立一个支持等变 Iwasawa 理论主猜想的伪测度同余关系。
• 通过埃斯库林型 Hilbert 模形式的常数项，为该同余关系提供模形式理论基础。
• 通过引入“特殊尖点”填补早期工作中存在的漏洞，避免对 q-展开系数进行有缺陷的比较。
• 验证同余条件模迹理想成立，从而为 Iwasawa 模理论的应用提供可能。

提出的方法

• 在 p-群 Σ 的子群格上使用 Möbius 函数，对中间域之间伪测度的转移进行加权。
• 将 Deligne 与 Ribet 的 q-展开原理应用于埃斯库林型 Hilbert 模形式，以分析常数项。
• 将命题 4 中的同余关系 (4⋆) 识别为两个尖点处 q-展开常数项之差。
• 利用范数映射与伽罗瓦群之间的转移映射，关联不同扩张中伪测度的关系。
• 利用分圆 Zp-扩张的结构及伽罗瓦群的作用，定义相关伪测度。
• 利用 Zp[[H_S^+]] 中的迹理想表述同余条件，确保与等变 Iwasawa 理论的兼容性。

实验结果

研究问题

• RQ1 在等变 Iwasawa 理论背景下，对阶为 p 的 p-群建立的伪测度同余关系是否可推广至任意有限 p-群？
• RQ2 埃斯库林型 Hilbert 模形式的常数项能否用于验证转移伪测度之间的同余关系？
• RQ3 在缺乏完全模形式性的情况下，特殊尖点如何简化 q-展开系数的比较？
• RQ4 子群格上的 Möbius 函数在构造所需同余关系中起什么作用？
• RQ5 在转移映射下，加权伪测度的和是否属于完备群环的迹理想？

主要发现

• 主定理表明，经 Möbius 加权的转移伪测度之和属于 Zp[[H_S^+]] 的迹理想。
• 对所有 g ∈ G_S 满足 g_F 非平凡地映射到 F 的分圆 Zp-扩张的伽罗瓦群，同余关系成立。
• 证明了 Hilbert 模形式两个 q-展开之差的常数项属于 |St_Σ(ε_L)|Z_(p)，从而推出所需的同余关系。
• 证明依赖于通过引理 10 将 E_γ 的常数项识别为涉及扭曲部分 zeta 函数值与范数的和。
• 利用 [HIÖ] 中的 Möbius 系数性质验证了命题 4 的假设，确保同余条件成立。
• 该结果确认了验证等变 Iwasawa 理论主猜想在 p-初等群情形下的关键一步。