[论文解读] Reconstructing global fields from Dirichlet L-series

Gunther Cornelissen, Bart de Smit+3 more|arXiv (Cornell University)|Jun 14, 2017

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

一句话总结

本文证明了两个整体域同构当且仅当存在其狄利克雷特征群之间的群同构，且该同构保持所有相关的L-级数。证明运用了类域论、谢波泰夫密度定理、格伦瓦尔德-王定理以及表示论——实现了从L-级数数据对整体域的完整重构，对于数域而言，通过伽罗瓦群的单式表示可获得更强的结果。

ABSTRACT

We prove that two global fields are isomorphic if and only if there is an isomorphism of groups of Dirichlet characters that preserves L-series.

研究动机与目标

• 确定整体域是否可从其狄利克雷L-级数中重构。
• 解决当ζ函数或阿贝尔化伽罗瓦群本身不足以区分非同构域时的同构模糊性问题。
• 利用与狄利克雷特征相关的L-级数完整系统，建立整体域的完全不变量。
• 证明当L-级数数据与特征群同构结合时，可唯一确定一个整体域（同构意义下）。
• 通过证明在特征群同构下L-级数的保持性蕴含域同构，拓展已知的算术等价结果。

提出的方法

• 使用类域论将狄利克雷特征与阿贝尔扩张及互惠映射联系起来。
• 在两个整体域的特征群之间构造一个保持L-级数值的群同构。
• 应用谢波泰夫密度定理比较阿贝尔扩张中素数的分裂行为。
• 使用格伦瓦尔德-王定理以确保具有指定伽罗瓦群和分歧性的扩张存在。
• 对于数域，采用表示论：将特征诱导为伽罗瓦表示，并利用阶数≥3的群的单式结构的唯一性。
• 对于函数域，通过互惠映射的核构造同构，类似于乌奇达的方法。

实验结果

研究问题

• RQ1 两个非同构的整体域是否可能具有同构的特征群，并且对所有特征都具有相同的L-级数？
• RQ2 在特征群同构下L-级数的保持性是否蕴含域同构？
• RQ3 从L-级数数据重构整体域还需要哪些额外条件？
• RQ4 为何该方法对阶为2的特征失效？这与具有相同L-级数但非同构的域有何关联？
• RQ5 该重构结果能否推广到未固定有理子域的全局函数域？

主要发现

• 两个整体域同构当且仅当存在其狄利克雷特征群之间的群同构，且该同构保持所有L-级数值。
• 对于数域，存在阶大于2的特征，其L-级数不与任何其他数域的L-级数匹配，从而实现更强的重构。
• 阶数≥3的伽罗瓦群的诱导表示中单式结构的唯一性，确保了L-级数数据可区分数域。
• 在函数域中，同构通过互惠映射的核构造，推广了乌奇达的方法。
• 该方法对阶为2的特征失效，反例如Q(√2)和Q(i√2)表明：它们具有同构的特征群和匹配的L-级数，但并非同构域。
• 本文表明，函数域的L-级数所含算术信息少于数域的L-级数，因为其形式为q−s的多项式。