2025-11-19T05:46:13.061275

Noncommutative geometry on the Berkovich projective line

Khalkhali, Tageddine

We construct several $C^*$-algebras and spectral triples associated to the Berkovich projective line $\mathbb{P}^1_{\mathrm{Berk}}({\mathbb{C}_p})$. In the commutative setting, we construct a spectral triple as a direct limit over finite $\mathbb{R}$-trees. More general $C^*$-algebras generated by partial isometries are also presented. We use their representations to associate a Perron-Frobenius operator and a family of projection valued measures. Finally, we show that invariant measures, such as the Patterson-Sullivan measure, can be obtained as KMS-states of the crossed product algebra with a Schottky subgroup of $\mathrm{PGL}_2(\mathbb{C}_p)$.

academic

Noncommutative geometry on the Berkovich projective line

基本信息

论文ID: 2411.02593
标题: Noncommutative geometry on the Berkovich projective line
作者: Masoud Khalkhali (University of Western Ontario), Damien Tageddine (McGill University)
分类: math.FA math.NT math.OA math.QA
发表时间: 2024年11月 (arXiv v2: 2025年10月9日)
论文链接: https://arxiv.org/abs/2411.02593

摘要

本文构造了与Berkovich射影直线 $\mathbb{P}^1_{\mathrm{Berk}}(\mathbb{C}_p)$ 相关联的若干 $C^*$ -代数和谱三元组。在交换设定下，作者将谱三元组构造为有限 $\mathbb{R}$ -树上的直接极限。文中还给出了由部分等距算子生成的更一般的 $C^*$ -代数，并利用它们的表示来关联Perron-Frobenius算子和一族投影值测度。最终证明了不变测度（如Patterson-Sullivan测度）可以作为与 $\mathrm{PGL}_2(\mathbb{C}_p)$ 的Schottky子群的交叉积代数的KMS-态获得。

研究背景与动机

核心问题

本文的主要目标是证明非阿基米德域上的几何为非交换几何提供了自然的例子，特别是以Berkovich射影直线 $\mathbb{P}^1_{\mathrm{Berk}}(\mathbb{C}_p)$ 作为Berkovich理论的基础例子。

重要性

统一框架: 该研究旨在为数论在阿基米德和非阿基米德设定下的非交换几何处理提供统一方法
理论桥梁: 连接了Berkovich几何、非交换几何和数论，特别是通过谱三元组和Bost-Connes系统
新的应用: 为AdS/CFT对应的p-adic版本提供了严格的框架

现有方法的局限性

传统的非交换几何方法主要集中在阿基米德情形，而非阿基米德域上的几何对象（如Berkovich空间）具有独特的树状结构，需要新的技术来处理其"野性"特征。

核心贡献

构造了交换谱三元组: 作为有限R-树上谱三元组的逆极限
建立了非交换C-代数*: 通过将Berkovich射影直线识别为Ważewski万能树状图
引入了动力学结构: 构造了Perron-Frobenius算子和投影值测度族
证明了KMS-态定理: 显示Patterson-Sullivan测度可作为交叉积代数的KMS-态获得
提供了新的无穷图C-代数例子*: 在Berkovich射影直线的势理论和有理映射动力学中出现

方法详解

Berkovich空间的构造

乘性半范数定义

对于完备非阿基米德域 $K$ 和 $K$ -代数 $A$ ，乘性半范数定义为映射 $\|\cdot\|: A \to \mathbb{R}_{\geq 0}$ 满足：

在 $K$ 上限制为绝对值
三角不等式： $\|a+b\| \leq \|a\| + \|b\|$
乘性： $\|ab\| = \|a\| \cdot \|b\|$

Berkovich分类定理

根据嵌套圆盘序列的性质，将 $A^1_{\mathrm{Berk}}(K)$ 中的点分为四类：

I型: 经典点（ $r = 0$ ）
II型: 有理圆盘（ $r \in |K^*|$ ）
III型: 无理圆盘（ $r \notin |K^*|$ ）
IV型: 空交集情形

谱三元组的构造

有限R-树上的谱三元组

对于有限R-树 $\Gamma = (V,E)$ ，构造谱三元组 $(A_\Gamma, H_\Gamma, D_\Gamma)$ ：

代数: $A_\Gamma = C_{\text{Lip}}(\Gamma)$ （Lipschitz连续函数）

希尔伯特空间: $H_\Gamma = \bigoplus_{v \in V} H_v$ ，其中 $H_v = \ell^2(V) \otimes \mathbb{C}^{2n_v}$

表示: $\pi(f)\psi(v) = \bigoplus_{v^+ \sim v} \begin{pmatrix} f(v^+) & 0 \\ 0 & f(v) \end{pmatrix} \psi(v)$

Dirac算子: $D_\Gamma\psi(v) = \bigoplus_{v^+ \sim v} \frac{1}{\rho(v,v^+)} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \psi(v)$

逆极限构造

通过有限树的逆极限系统 $\{(\Gamma_j, r_{j,j+1})\}$ 构造完整的谱三元组：

$\mathbb{P}^1_{\mathrm{Berk}} = \lim_{\leftarrow} (\Gamma_j, r_{j,j+1})$

非交换C*-代数

万能树状图识别

证明了 $\mathbb{P}^1_{\mathrm{Berk}}(\mathbb{C}_p)$ 同构于Ważewski万能树状图，这是唯一的树状图，其分支点稠密且每个分支点有可数无穷个分支。

子移位C*-代数

构造了与可数字母表 $Q_1 = \mathbb{Q} \cap (0,1)$ 相关的子移位C*-代数 $O_{\mathbb{P}^1_{\mathrm{Berk}}(\mathbb{C}_p)}$ ，由部分等距算子 $\{s_q : q \in Q_1\}$ 生成。

动力学结构

半分支系统

定义了映射族 $\{\sigma_q : F(q) \to Z(q)\}_{q \in Q_1}$ ，其中：

$Z(q)$ 是柱集
$F(q)$ 是跟随集
满足测度论条件，特别是Radon-Nikodym导数 $\Phi_{\sigma_q} = 1$

Perron-Frobenius算子

构造了Perron-Frobenius算子： $P_\sigma = \sum_{q \in Q_1} S_q^*$

其中 $S_q$ 是相应的部分等距算子。

实验设置

理论验证

由于这是纯数学理论工作，主要通过以下方式验证：

谱三元组性质验证: 证明构造的对象满足谱三元组的所有公理
C-代数关系验证*: 验证部分等距算子满足Cuntz-Krieger关系
测度不变性: 证明 $\mathrm{PGL}_2(\mathbb{C}_p)$ 作用下测度的不变性

关键定理证明

定理3.1: 逆极限谱三元组的自伴性和紧预解性
定理5.1: C*-代数同构 $O_{\mathbb{P}^1_{\mathrm{Berk}}} \cong O_{H^Q_{\mathrm{Berk}}}$
定理6.5: Patterson-Sullivan测度作为KMS-态的唯一性