[论文解读] Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous Functions

Tomoki Mihara|arXiv (Cornell University)|Mar 2, 2013

Advanced Topics in Algebra参考文献 11被引用 5

一句话总结

本文建立了赋值完备域 $k$ 上拓扑空间 $X$ 上有界连续函数的巴拿赫代数的伯克维奇谱与 $X$ 上超滤子的斯通空间之间的自然同胚，证明了该谱作为 $X$ 上完全不连通紧致豪斯多夫空间范畴中的初始对象具有普遍性。该结果表明其与 $k$ 无关，为自动连续性、域扩张以及非阿基米德斯的盖尔范德理论提供了应用。

ABSTRACT

For a complete valuation field k and a topological space X, we prove the universality of the underlying topological space of the Berkovich spectrum of the Banach k-algebra Cbd(X,k) of bounded continuous k-valued functions on X. This result yields three applications: a partial solution to an analogue of Kaplansky conjecture for the automatic continuity problem over a local field, comparison of two ground field extensions of Cbd(X,k), and non-Archimedean Gel'fand theory.

研究动机与目标

• 刻画拓扑空间 $X$ 上取值于完备赋值域 $k$ 的有界连续 $k$-值函数的巴拿赫代数 $\text{C}_{\text{bd}}(X,k)$ 的伯克维奇谱。
• 建立该谱作为 $X$ 上完全不连通紧致豪斯多夫空间范畴中初始对象的普遍性，且独立于基域 $k$。
• 将该刻画应用于自动连续性、域扩张以及非阿基米德斯盖尔范德理论。
• 将埃斯卡修与马伊内蒂关于度量超度量空间的结果推广至任意拓扑空间。
• 为完全不连通紧致豪斯多夫空间提供经典盖尔范德变换对应关系的非阿基米德斯类比。

提出的方法

• 将斯通空间 $\text{UF}(X)$ 构造为 $X$ 的紧开子集代数上的超滤子空间，配备斯通拓扑。
• 通过乘法半范数与超滤子之间的自然对应，证明伯克维奇谱 $\text{BSC}_k(X)$ 与 $\text{UF}(X)$ 同胚。
• 利用 $\text{C}_{\text{bd}}(X,k)$ 中闭素理想的最大性，证明每个乘法半范数均来自紧开代数上的超滤子。
• 借助 $\text{UF}(X)$ 作为 $X$ 上完全不连通紧致豪斯多夫空间范畴中初始对象的普遍性质，推导出 $\text{BSC}_k(X)$ 的普遍性。
• 应用非阿基米德斯斯通-魏尔斯特拉斯定理，建立 $\text{C}_{\text{bd}}(X,k)$ 的闭 $k$-子代数（分离 $X$ 的点）与 $X$ 上全忠实的完全不连通紧致豪斯多夫空间之间的反变函子一一对应。
• 比较两种基域扩张的构造：自然包含映射 $\text{C}_{\text{bd}}(X,k) \hookrightarrow \text{C}_{\text{bd}}(X,K)$ 与完备张量积 $K \hat{\otimes}_k \text{C}_{\text{bd}}(X,k)$，表明二者在一般情况下不同。

实验结果

研究问题

• RQ1 对于任意拓扑空间 $X$，$\text{C}_{\text{bd}}(X,k)$ 的伯克维奇谱是否自然同胚于某个已知的拓扑空间？
• RQ2 $\text{BSC}_k(X)$ 是否满足一个独立于基域 $k$ 的普遍性质？
• RQ3 该结果能否用于证明当 $k$ 为局部域时，巴拿赫 $k$-代数的弱自动连续性定理？
• RQ4 在伯克维奇谱中，$\text{C}_{\text{bd}}(X,k)$ 上的两种自然基域扩张构造如何比较？
• RQ5 完全不连通紧致豪斯多夫空间的非阿基米德斯类比盖尔范德理论是什么？

主要发现

• $\text{C}_{\text{bd}}(X,k)$ 的伯克维奇谱 $\text{BSC}_k(X)$ 自然同胚于 $X$ 的紧开子集代数上的超滤子的斯通空间 $\text{UF}(X)$。
• 该同胚表明 $\text{BSC}_k(X)$ 是 $X$ 上完全不连通紧致豪斯多夫空间范畴中的初始对象，因此其构造与完备赋值域 $k$ 的选择无关。
• 当 $k$ 为局部域时，每个具有闭像的 $k$-代数同态 $\varphi: \text{C}_{\text{bd}}(X,k) \hookrightarrow \mathscr{A}$ 均为连续，从而给出一个弱自动连续性结果。
• 对于任意完备赋值域扩张 $K/k$，由包含映射 $\text{C}_{\text{bd}}(X,k) \hookrightarrow \text{C}_{\text{bd}}(X,K)$ 导出的映射 $\text{BSC}_K(X) \to \text{BSC}_k(X)$ 是同胚。
• 映射 $X \to \text{UF}(X)$ 是其像上的同胚当且仅当 $X$ 是零维且豪斯多夫的。
• 存在一个反变函子一一对应，连接 $X$ 上全忠实的完全不连通紧致豪斯多夫空间的等价类与 $\text{C}_{\text{bd}}(X,k)$ 的分离点的闭 $k$-子代数，从而建立起非阿基米德斯盖尔范德理论。