[论文解读] Noncommutative geometry on trees and buildings

Gunther Cornelissen, Matilde Marcolli+2 more|ArXiv.org|Apr 5, 2006

Advanced Operator Algebra Research被引用 9

一句话总结

本文通过使用稳定化的图 C*-代数和高阶 Cuntz–Krieger 代数，对基于树和建筑物的非交换几何中的 theta-summable 构造进行细化，构建了有限可和的谱三元组。关键贡献在于为 Mumford 曲线和高阶建筑物构造了一个有限可和的谱三元组，从而可通过 Connes–Moscovici 指标公式实现 zeta 函数不变量。

ABSTRACT

We describe the construction of theta summable and finitely summable spectral triples associated to Mumford curves and some classes of higher dimensional buildings. The finitely summable case is constructed by considering the stabilization of the algebra of the dual graph of the special fiber of the Mumford curve and a variant of the Antonescu-Christensen spectral geometries for AF algebras. The information on the Schottky uniformization is encoded in the spectral geometry through the Patterson-Sullivan measure on the limit set. Some higher rank cases are obtained by adapting the construction for trees.

研究动机与目标

• 通过图 C*-代数的稳定化，将 Mumford 曲线的 theta-summable 谱三元组改进为有限可和的版本。
• 将非交换几何从树和 Kleinian 群推广至高阶欧几里得和双曲建筑物。
• 建立一个框架，通过 zeta 函数和 Connes–Moscovici 局域指标公式提取几何不变量。
• 将谱三元组构造扩展至与 Bruhat–Tits 建筑物类型 $\tilde{A}_2$ 相关的高阶 Cuntz–Krieger 代数。
• 证明与建筑物相关的 AF 代数的稳定化可产生有限可和的谱三元组，推广了单位元情形。

提出的方法

• 将 Antonescu 和 Christensen 针对 AF 代数提出的非单位元构造方法适配至稳定化的图 C*-代数设定，以实现有限可和性。
• 使用半直积代数 $\mathcal{A} = C(\Lambda_\Gamma) \rtimes \Gamma$ 表示作用于极限集的 Schottky 群，将其识别为 Cuntz–Krieger 代数 $O_A$。
• 定义希尔伯特空间 $\mathcal{H} = \mathcal{L} \oplus \mathcal{L}$ 和狄拉克算子 $\mathcal{D} = FD$，其中 $F$ 为交换副本的翻转算子。
• 通过作用于 $\gamma'_v(x)^{1/2}$ 的酉算子 $T_{\gamma^{-1}}$ 在 $\mathcal{H}$ 上构造 $\mathcal{A}$ 的表示，保持代数子代数 $\mathcal{A}_0$ 不变。
• 通过 $\mathcal{S}_T = (\mathcal{S} \times \mathbb{R}) / \mathbb{Z}$ 的同伦商构造计算上同调，并验证谱三元组公理。
• 通过使用 $r$-维词和转移矩阵 $A_j$，将框架推广至高阶建筑物，从而导出高阶 Cuntz–Krieger 代数 $O_{A_1,\ldots,A_r}$。

实验结果

研究问题

• RQ1 能否通过图 C*-代数的稳定化，将 Mumford 曲线的 theta-summable 谱三元组升级为有限可和的版本？
• RQ2 如何将树上的非交换几何推广至高阶欧几里得和双曲建筑物？
• RQ3 高阶 Cuntz–Krieger 代数在实现 $\tilde{A}_2$ 型建筑物的有限可和谱三元组中起什么作用？
• RQ4 Connes–Moscovici 局域指标公式能否应用于由算术曲面和建筑物产生的非交换空间的不变量？
• RQ5 在高阶设定中，转移矩阵上的相容性条件 (H0)–(H3) 在多大程度上能确保存在定义良好的谱三元组？

主要发现

• 本文构建了 Mumford 曲线特殊纤维的对偶图的稳定化图 C*-代数的有限可和谱三元组。
• 通过稳定与图相关的 AF 代数，实现了有限可和性，从而可应用 Connes–Moscovici 指标公式。
• 谱三元组通过半直积 $\mathcal{A^} = \mathcal{B} \rtimes \Gamma$ 实现，其中 $\mathcal{B}$ 为极限集上局部常值函数的代数。
• 对于 $\tilde{A}_2$ 型的高阶建筑物，代数 $C(\Lambda) \rtimes \Gamma$ 同构于满足相容性条件的高阶 Cuntz–Krieger 代数 $O_{A_1,A_2}$。
• AF 代数 $\overline{\mathcal{F}}_{A_1,\ldots,A_r}$ 的稳定化产生一个非单位元 AF 代数，其支持有限可和谱三元组。
• 所有 $a \in \mathcal{A}_0$ 的交换子 $[D, a]$ 有界，验证了非单位元设定下的谱三元组公理。