[论文解读] Bost-Connes-Marcolli systems for Shimura varieties. I. Definitions and formal analytic properties

Eugene Ha, Frédéric Paugam|ArXiv.org|Jul 5, 2005

Advanced Algebra and Geometry参考文献 9被引用 8

一句话总结

本文引入了一类广义的量子统计力学系统，称为Bost-Connes-Marcolli（BCM）系统，适用于任意的希米达数据$(G,X)$，将原始的针对$\mathbb{Q}$的Bost-Connes系统以及Connes-Marcolli针对$\mathrm{GL}_2$的系统推广至更一般情形。该系统通过$\mathbb{Q}$-格点上$G$-结构的共轭类构造一个群丛，进而构建一个$C^*$-代数，通过哈密顿量定义时间演化，并建立与希米达簇$L$-函数匹配的配分函数，且在低温下通过伽罗瓦对称性对KMS态进行分类。

ABSTRACT

We construct a quantum statistical mechanical system $(A,s)$ analogous to the systems constructed by Bost-Connes and Connes-Marcolli in the case of Shimura varieties. Along the way, we define a new Bost-Connes system for number fields which has the ``correct'' partition function and the ``correct'' symmetries. We give a formalism that applies to general Shimura data $(G,X)$. The object of this series of papers is to show that these systems exhibit phase transitions with spontaneous symmetry breaking, and to classify their KMS states, at least for low temperature.

研究动机与目标

• 将Bost-Connes与Connes-Marcolli的量子统计力学系统从$\mathrm{GL}_2$推广至任意希米达数据$(G,X)$。
• 针对任意希米达数据，利用$\mathbb{Q}$-格点上$G$-结构的共轭类，定义一个规范的BCM系统。
• 构造一个时间演化与配分函数，其解析结构与关联希米达簇的$L$-函数相匹配。
• 对系统的KMS态进行分类，尤其在低温下，识别其对称性与类域的伽罗瓦群之间的关系。
• 通过基于堆栈群丛与包络半群的形式化方法，解决定义配分函数时的技术难题。

提出的方法

• 从$\mathbb{Q}$-格点上$G$-结构的共轭关系构造一个群丛$\mathcal{U}$，作为$C^*$-代数$A$的基础。
• 通过源自$G$-结构度数的哈密顿量，定义$A$上的时间演化$\sigma_t$，推广原始Bost-Connes的动力学。
• 引入配分函数$\zeta(\beta) = \mathrm{Tr}(e^{-\beta H})$，使其与希米达簇$\mathrm{Sh}(G,X)$的$L$-函数相匹配。
• 利用包络半群，特别是Chevalley半群，定义系统的代数结构，并确保配分函数的非退化性。
• 应用KMS条件$\Phi(ab) = \Phi(\sigma_{i\beta}(b)a)$来表征平衡态，并对低温下的极端KMS态进行分类。
• 建立低温下$\mathrm{KMS}_\beta$态集合与希米达簇$\mathrm{Sh}(G,X)$复点之间的自然双射。

实验结果

研究问题

• RQ1 如何将Bost-Connes系统从$\mathrm{GL}_1$推广至任意希米达数据$(G,X)$？
• RQ2 与一般希米达簇相关联的量子统计力学系统的正确$C^*$-代数结构与动力学结构是什么？
• RQ3 该系统的配分函数如何与希米达簇的$L$-函数相关联？
• RQ4 对称性在KMS态中起什么作用？它们与类域的伽罗瓦群有何关系？
• RQ5 该形式化方法能否通过类似构造推广至狄利克雷特征与希尔伯特模形式？

主要发现

• 系统通过$\mathbb{Q}$-格点上$G$-结构的共轭类群丛定义，从而得到一个良定义的$C^*$-代数$A$。
• 时间演化$\sigma_t$由$G$-结构的度数构造，推广了原始Bost-Connes的哈密顿量。
• 配分函数$\zeta(\beta)$与希米达簇$\mathrm{Sh}(G,X)$的$L$-函数相匹配，建立了与算术几何的直接联系。
• 在低温下（$\beta > 1$），极端KMS态的集合与希米达簇$\mathrm{Sh}(G,X)$的复点之间存在自然双射。
• 低温下KMS态的对称性同构于$G$的反射域的极大阿贝尔扩张的伽罗瓦群，推广了原始Bost-Connes的结果。
• 对于伴随希米达数据，通过使用非平凡的包络半群（如Chevalley半群）确保了配分函数非零，从而解决了关键的技术障碍。