[論文レビュー] 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$-値有界連続関数のバナッハ代数 $\text{C}_{\text{bd}}(X,k)$ のバーキホフスペクトルを特徴づけること。
• このスペクトルが、底辺体 $k$ に依存しない、$X$ 上の完全不連結コンパクトハウスドルフ空間の圏における初期対象としての普遍性を確立すること。
• この特徴づけを、自動連続性、体拡張、非アーベルゲルファンド理論への応用に用いること。
• メトリシング可能な非アーベル空間から、一般のトポロジカル空間へ、エスカシュティとマインティの結果を一般化すること。
• 完全不連結コンパクトハウスドルフ空間に対して、古典的ゲルファンド変換対応の非アーベル的類似を提供すること。

提案手法

• トポロジカル空間 $X$ の閉開部分集合のボレル代数上の超フィルターの空間 $\text{UF}(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$ 上の完全不連結コンパクトハウスドルフ空間の完全埋め込みの間の反変函子的一対一対応を確立する。
• 自然な包含 $\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$ がゼロ次元的かつハウスドルフであるときかつそのときに限る。
• 点を分離する $\text{C}_{\text{bd}}(X,k}$ の閉 $k$-部分代数と、$X$ 上の完全埋め込みをもつ完全不連結コンパクトハウスドルフ空間の同値類の間には、反変函手的一対一対応が存在し、非アーベルゲルファンド理論を確立する。