[论文解读] Quantum Statistical Mechanics, L-series and Anabelian Geometry

Gunther Cornelissen, Matilde Marcolli|arXiv (Cornell University)|Sep 3, 2010

Random Matrices and Applications参考文献 34被引用 30

一句话总结

本文证明了数域的同构等价于其关联的量子统计力学（QSM）系统的同构，这些QSM系统是基于阿廷互反律构造的一参数自同构群的C*-代数。关键结果表明，在阿廷互反律兼容的群同构下，若两个数域的全部L-级数匹配，则其数域同构，从而在非交换几何与阿贝尔几何的背景下推广了Neukirch-Uchida定理。

ABSTRACT

It is known that two number fields with the same Dedekind zeta function are not necessarily isomorphic. The zeta function of a number field can be interpreted as the partition function of an associated quantum statistical mechanical system, which is a C*-algebra with a one parameter group of automorphisms, built from Artin reciprocity. In the first part of this paper, we prove that isomorphism of number fields is the same as isomorphism of these associated systems. Considering the systems as noncommutative analogues of topological spaces, this result can be seen as another version of Grothendieck's "anabelian" program, much like the Neukirch-Uchida theorem characterizes isomorphism of number fields by topological isomorphism of their associated absolute Galois groups. In the second part of the paper, we use these systems to prove the following. If there is an isomorphism of character groups (viz., Pontrjagin duals) of the abelianized Galois groups of the two number fields that induces an equality of all corresponding L-series (not just the zeta function), then the number fields are isomorphic.This is also equivalent to the purely algebraic statement that there exists a topological group isomorphism as a above and a norm-preserving group isomorphism between the ideals of the fields that is compatible with the Artin maps via the other map.

研究动机与目标

• 建立数域同构与其关联的量子统计力学（QSM）系统同构之间的对应关系。
• 通过证明在阿廷互反律兼容的阿贝尔化伽罗瓦群特征群之间，若所有L-级数匹配，则数域同构，从而扩展Neukirch-Uchida定理。
• 通过QSM系统为数域同构提供一种非交换几何解释，类比于格罗滕迪克的阿贝尔几何哲学。
• 探究仅凭L-级数匹配（不假设互反律兼容性）是否足以推出数域同构，并探讨所需的最弱条件。

提出的方法

• 通过从 idele 类群与一参数自同构群构造半直积C*-代数，从数域构建QSM系统。
• 将戴德金ζ函数实现为QSM系统的配分函数，其中KMS态编码算术信息。
• 利用QSM系统的哈密顿量恢复数域的算术等价性与分歧结构。
• 通过庞特里亚金对偶性证明QSM同构蕴含阿贝尔化伽罗瓦群的同构。
• 证明在阿贝尔化伽罗瓦群的特征群之间存在群同构，且所有L-级数匹配时，理想与单位idele同构。
• 通过理想之间的保范同构及与阿廷映射的兼容性，重构数域的乘法与加法结构。

实验结果

研究问题

• RQ1 数域的同构能否通过其关联的量子统计力学系统的同构来表征？
• RQ2 在阿贝尔化伽罗瓦群的特征群之间存在兼容群同构，且所有L-级数匹配时，是否能推出底层数域的同构？
• RQ3 在不假设互反律兼容性的情况下，L-级数本身在多大程度上决定了数域的同构类？
• RQ4 QSM系统如何编码数域的完整算术结构，包括加法与乘法性质？
• RQ5 Neukirch-Uchida定理能否通过QSM系统与L-级数匹配得到加强或重新诠释？

主要发现

• 数域同构等价于其关联QSM系统的同构，为数域同构提供了非交换几何表征。
• 若存在阿贝尔化伽罗瓦群特征群之间的群同构，且该同构诱导出所有L-级数相等，则两个数域同构。
• 此L-级数匹配条件等价于存在两个数域理想之间的保范同构，且该同构通过群同构与阿廷映射兼容。
• QSM同构蕴含单位idele与完整idele群的同构，从而可重构乘法结构。
• 数域的加法结构亦可由QSM同构恢复，从而完成数域同构的重构。
• 结果表明，即使事先不假设互反律兼容性，只要所有L-级数（而不仅ζ函数）在兼容同构下匹配，即可充分确定数域的同构类。