[论文解读] KMS states and complex multiplication

Alain Connes, Matilde Marcolli+1 more|ArXiv.org|Jan 24, 2005

Algebraic structures and combinatorial models参考文献 12被引用 7

一句话总结

该论文基于虚二次域 K 的 1 维 K-格的通约类构造了一个量子统计力学系统，其在零温下的 KMS 态实现了 K 的最大阿贝尔扩张的完整伽罗瓦作用。该系统的配分函数为 Dedekind zeta 函数 ζ_K(β)，其对称性——通过自同态和 adelic 群实现——完全包含了 K 的显式类域论，推广了 BC 系统，并通过复乘法自然嵌入到 GL₂ 系统中。

ABSTRACT

We construct a quantum statistical mechanical system which generalizes the Bost-Connes system to imaginary quadratic fields K of arbitrary class number and fully incorporates the explict class field theory for such fields. This system admits the Dedekind zeta function as partition function and the Idele class group as group of symmetries. The extremal KMS states at zero temperature intertwine this symmetry with the Galois action on the values of the states on the arithmetic subalgebra. We also give an interpretation of the original BC system and of the GL(2) system in terms of Shimura varieties, which motivates the construction for imaginary quadratic fields. The geometric notion underlying the construction is that of commensurability of K-lattices.

研究动机与目标

• 将量子统计力学的框架扩展至实现虚二次域 K 的显式类域论。
• 构造一个 C*-动力系统，其 KMS 态编码了虚二次域 K 的最大阿贝尔扩张。
• 通过证明新系统既是 BC 系统在 K 上的推广，又是 GL₂ 系统在复乘椭圆曲线上的特化，统一 BC 系统与 GL₂ 系统。
• 通过自同态作用，建立极端 KMS 态上的伽罗瓦作用与系统 adelic 对称性之间的精确对应。
• 利用 K-格和 K 上的希米拉簇，为类域论提供非交换几何解释。

提出的方法

• 使用虚二次域 K 的 1 维 K-格定义量子统计力学系统，并考虑其通约类。
• 构造可观测量的 C*-代数及时间演化 σ_t，使得配分函数为 Dedekind zeta 函数 ζ_K(β)。
• 将 idele 类群 𝔸_K^*/K^* 的作用作为系统的对称性，与伽罗瓦群 Gal(K^ab/K) 兼容。
• 通过类群 Cl(𝒪) 和单位群 𝔸_K^*/𝒪^* 实现自同态对称性，这些群作用于 KMS 态。
• 证明在 β=∞ 处的极端 KMS 态由 𝔸_K^*/K^* 参数化，且其在有理子代数上的取值为代数数并具有伽罗瓦不变性。
• 证明该系统与 K 上的 BC 系统 Morita 同构，并作为子群胚嵌入到 CM 椭圆曲线的 GL₂ 系统中。

实验结果

研究问题

• RQ1 如何利用量子统计力学实现虚二次域 K 的显式类域论？
• RQ2 复乘在构造实现 K 的最大阿贝尔扩张上伽罗瓦作用的 KMS 态中起什么作用？
• RQ3 K-格的自同态如何与该系统中 KMS 态的对称性及伽罗瓦群相关联？
• RQ4 新系统以何种方式推广 BC 系统并通过对称性嵌入到 GL₂ 系统中？
• RQ5 能否证明该系统的 KMS 态以类似于 BC 系统的方式实现伽罗瓦作用与 adelic 对称性的交织？

主要发现

• 该系统的配分函数为 Dedekind zeta 函数 ζ_K(β)，其推广了 BC 系统中的 Riemann zeta 函数。
• 在 β=∞ 处的极端 KMS 态由 adelic 商 𝔸_K^*/K^* 参数化，该商分类了 K-格的通约类。
• 伽罗瓦群 Gal(K^ab/K) 通过类域论同构作用于极端 KMS 态，且该作用通过 idele 类群实现。
• 类群 Cl(𝒪) 和单位群 𝔸_K^*/𝒪^* 对 KMS 态的作用实现了希尔伯特类域及其阿贝尔扩张的完整伽罗瓦群。
• 该系统与 K 上的 BC 系统 Morita 同构，其结构源自 CM 椭圆曲线的 GL₂ 系统的特化。
• KMS 态在有理子代数上的取值为代数数，且伽罗瓦作用通过 adelic 对称性实现，从而确认了算术与动力学之间的交织。