[论文解读] Refined abelian Stark conjectures and the equivariant leading term conjecture of Burns

Takamichi Sano|arXiv (Cornell University)|Jun 18, 2014

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文提出了一个改进的阿贝尔斯塔克猜想，推广了达蒙的精细类数公式，通过高阶范数构造和局部互惠映射，将其与巴恩斯的等变首项猜想联系起来。在附加猜想成立的前提下，证明了达蒙猜想（除2-部分外）可由首项猜想推出，从而为马祖尔与鲁宾利用科利瓦金系统首次证明的结果提供了新证明。

ABSTRACT

We formulate a conjecture which generalizes Darmon's "refined class number formula". We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and Rubin.

研究动机与目标

• 将达蒙的精细类数公式推广至阿贝尔斯塔克理论中的更广泛猜想框架。
• 在改进的阿贝尔斯塔克猜想与巴恩斯的等变首项猜想之间建立精确的代数关系。
• 通过等变塔加瓦数猜想（ETNC）为达蒙猜想的‘除2-部分’提供替代证明。
• 通过识别自然的高阶范数构造和局部互惠映射的单射性，澄清并强化猜想的表述。

提出的方法

• 提出一个新猜想（猜想3），将鲁宾-斯塔克单位的高阶范数与由局部互惠同构构造的映射等同起来。
• 引入辅助猜想（猜想2和5），以弥合改进斯塔克猜想与巴恩斯首项猜想之间的鸿沟。
• 利用鲁宾-斯塔克猜想在阿贝尔扩张中定义鲁宾-斯塔克单位，并构造一个受达蒙的theta-元素构造启发的高阶范数映射。
• 应用外幂理论与伽罗瓦模结构理论，分析塔特动机背景下行列式与范数。
• 依赖于首项猜想在秩1情形下的已知真值（由巴恩斯、格赖瑟、弗拉赫证明），推导出对改进斯塔克猜想的结论。
• 采用单位群模挠的正合序列的分裂论证，以计算行列式并将其与特殊值关联。

实验结果

研究问题

• RQ1 达蒙的精细类数公式能否在阿贝尔斯塔克理论中推广至更广泛的猜想框架？
• RQ2 改进的阿贝尔斯塔克猜想与巴恩斯的等变首项猜想之间存在何种代数关系？
• RQ3 等变塔加瓦数猜想是否蕴含达蒙精细类数公式的‘除2-部分’？
• RQ4 鲁宾-斯塔克单位的高阶范数构造是否等价于阿贝尔扩张中局部互惠映射？
• RQ5 局部互惠映射的单射性能否用于强化斯塔克型猜想中的现有表述？

主要发现

• 在猜想5成立的前提下，猜想3（达蒙精细类数公式的推广）成立当且仅当猜想2和4成立。
• 首项猜想蕴含了猜想4的大部分内容，因此在猜想2和5成立的前提下，猜想3可由首项猜想推出。
• 在秩1情形下，猜想2和5已得验证，因此猜想3可由首项猜想推导而出。
• 阿贝尔扩张中塔特动机的ETNC蕴含达蒙猜想的‘除2-部分’，从而为马祖尔与鲁宾的结果提供了新证明。
• 本文澄清了[MR13]中的映射$\mathbf{j}_{L/K}$是单射的，使得当前猜想3的表述比[MR13]中更强。
• 行列式计算表明$e_{\chi}R_{L,n} = 2^{\nu_{-}-1}R_{\mathbb{Q},n}e_{\chi}R_V(u_0 \wedge \cdots \wedge u_{\nu_+})$，确认了证明中的关键恒等式。