[论文解读] Phase transitions on Hecke C*-algebras and class-field theory over Q

Marcelo Laca, Machiel van Frankenhuijsen|ArXiv.org|Oct 13, 2004

Advanced Operator Algebra Research参考文献 16被引用 14

一句话总结

该论文从数域中代数整数子环的Hecke C*-代数构造了一个规范的C*-动力系统，表明对于类数为1的域，低温KMS态表现出自发对称性破缺，其对称性群同构于最大阿贝尔扩张的伽罗瓦群——尽管该对称性仅在域为ℚ时与算术Hecke代数值上的伽罗瓦作用相匹配。

ABSTRACT

We associate a canonical Hecke pair of semidirect product groups to the ring inclusion of the algebraic integers $\oo$ in a number field $\kk$, and we construct a C*-dynamical system on the corresponding Hecke C*-algebra, analogous to the one constructed by Bost and Connes for the inclusion of the integers in the rational numbers. We describe the structure of the resulting Hecke C*-algebra as a semigroup crossed product and then, in the case of class number one, analyze the equilibrium (KMS) states of the dynamical system. The extreme KMS$_β$ states at low-temperature exhibit a phase transition with symmetry breaking that strongly suggests a connection with class field theory. Indeed, for purely imaginary fields of class number one, the group of symmetries, which acts freely and transitively on the extreme KMS$_\infty$ states, is isomorphic to the Galois group of the maximal abelian extension over the field. However, the Galois action on the restrictions of extreme KMS$_\infty$ states to the (arithmetic) Hecke algebra over $\kk$, as given by class-field theory, corresponds to the action of the symmetry group if and only if the number field $\kk$ is $\Q$.

研究动机与目标

• 通过一个规范的Hecke C*-代数构造，将Bost-Connes系统推广至任意数域。
• 分析所得C*-动力系统的平衡态（KMS态），特别是低温下的情况。
• 研究KMS态的对称性群是否与数域的最大阿贝尔扩张的伽罗瓦群相对应。
• 确定对称性群作用于极端KMS ∞ 态时，与算术Hecke代数值上的伽罗瓦作用相匹配的条件。
• 阐明单位群及其投影紧化在简化Hecke代数及其动力学结构中的作用。

提出的方法

• 通过数域的主积分理想半群作用于交换C*-代数，构造Hecke C*-代数为半群交叉积。
• 将交换C*-代数实现为单位群作用于𝒦/𝒪的群代数的固定点代数，或等价地，作为𝒦/𝒪对偶上的连续函数代数。
• 通过单位群𝒪*的投影紧化定义紧致轨道空间，从而实现良好的C*-代数结构。
• 通过一参数自同构群在Hecke C*-代数上定义自然动力学，以模拟热力学平衡。
• 分析β > 1时的KMS态，通过群作用聚焦于极端态及其对称性质。
• 通过阿廷映射，将KMS ∞ 态上的对称性群作用与算术Hecke代数值上的伽罗瓦作用进行比较。

实验结果

研究问题

• RQ1 对于β > 1的极端KMS β 态，其对称性群是否与数域的最大阿贝尔扩张的伽罗瓦群相对应？
• RQ2 在何种条件下，对称性群作用于极端KMS ∞ 态在算术Hecke代数上的限制，与伽罗瓦作用相匹配？
• RQ3 当类数为1时，Hecke C*-代数的结构如何简化？单位群在此简化过程中起什么作用？
• RQ4 为何伽罗瓦作用于KMS态值仅在数域为ℚ时与对称性群作用相吻合？
• RQ5 通过完整ax+b群的规范构造Hecke C*-代数，是否能避免先前工作中由任意截面引入的技术问题？

主要发现

• 对于类数为1的数域，Hecke C*-代数同构于交换C*-代数与主积分理想半群的交叉积。
• 对于β > 1，对称性群在极端KMS β 态上自由且可递地作用；对于纯虚数域，该群同构于最大阿贝尔扩张的伽罗瓦群。
• 对称性群仅当域为ℚ时同构于最大阿贝尔扩张的伽罗瓦群；否则，其缺少对应于实嵌入上复共轭的{±1}因子。
• 极端KMS ∞ 态在算术Hecke代数上的取值为代数数，但通过阿廷映射的伽罗瓦作用与对称性群作用仅在扩张次数为1时一致。
• 在ℚ中，对称性群作用于KMS ∞ 态与伽罗瓦作用于值完全匹配，确认了Bost-Connes模型中观察到的完全相容性。
• 单位群𝒪*的投影紧化使得Hecke C*-代数的规范描述成为可能，并通过消去单位群作用简化了平衡态的计算。