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

Berkovich射影直線上の非可換幾何

基本情報

論文ID: 2411.02593
タイトル: Noncommutative geometry on the Berkovich projective line
著者: Masoud Khalkhali (ウェスタンオンタリオ大学)、Damien Tageddine (マギル大学)
分類: 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-進版に対して厳密な枠組みを提供する

既存方法の限界

従来の非可換幾何的方法は主にアルキメデス情形に集中しており、非アルキメデス体上の幾何対象（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)$ 内の点を4つのクラスに分類する：

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連続関数）

Hilbert空間: $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-状態としての一意性

主要結果

スペクトラル三つ組の構成

可換スペクトラル三つ組 $(C_{\text{Lip}}(\mathbb{P}^1_{\mathrm{Berk}}), \ell^2(\mathbb{P}^1_{\mathrm{Berk}}), D)$ を有限スペクトラル三つ組の帰納極限として構成することに成功した。ここでDirac作用素はコンパクト予解を有する。