[論文レビュー] Reconstructing the Bost--Connes semigroup actions from K-theory

Yosuke Kubota, Takuya Takeishi|arXiv (Cornell University)|Sep 11, 2017

Computability, Logic, AI Algorithms参考文献 11被引用数 4

ひとこと要約

本稿は、Bost–Connes C*-代数の分類を完成させ、2つの代数が同型であるための必要十分条件が、それらの類群空間上の半群作用が共軌道的であることであることを証明する。K-理論的不変量——特に境界準同型を伴う順序付き K₀-群——を用いて、元の数体の算術的構造を再構成し、Bost–Connes系が数体の同型を除いて完全に分類することを示している。

ABSTRACT

We complete the classification of Bost--Connes systems. We show that two Bost--Connes C*-algebras for number fields are isomorphic if and only if the original semigroups actions are conjugate. Together with recent reconstruction results in number theory by Cornelissen--de Smit--Li--Marcolli--Smit, we conclude that two Bost--Connes C*-algebras are isomorphic if and only if the original number fields are isomorphic.

研究の動機と目的

• 数体に対するBost–Connes C*-代数の分類を完成させること。
• Bost–Connes C*-代数の同型類が、元の数体を同型を除いて決定することを示すこと。
• K-理論的データから純粋に半群作用と元の数体の構造を再構成すること。
• フィルター付き K₀-群と境界準同型の族が数体の完全不変量をなすことの確立。
• R作用やKMS状態のデータがなくても、Bost–Connes系が数体の完全不変量であることを証明すること。

提案手法

• Bost–Connes C*-代数の標準的構造を、$2^{\tilde{\rho}_K}$ 上の C*-代数として用い、ここで $\tilde{\rho}_K$ は素イデアルの集合である。
• 特に、有限部分集合 $F \subset \mathcal{P}_K$ に対する不可約部分商 $B_K^F$ の順序付き K₀-群を用いたフィルター付き K-理論の理論を適用する。
• 数体の算術的構造を符号化する境界準同型 $\partial_K^{F,\mathfrak{p}}$ を、フィルター付き K₀-群の間で構成する。
• 接行列によって誘導される写像の帰納的極限を通じて、自由アーベル群 $\widehat{\Sigma}$ のプロファイント完成を K-理論的データから再構成する。
• 構造写像 $M_n^t$ を持つ $\Sigma \to \Sigma \to \cdots$ の帰納的極限の同型型を用いて、$\widehat{\Sigma}$ を回復する。
• 商 $T/i(\Sigma)$ の双対が $\varprojlim_n \Sigma / (\Sigma \cap \Gamma_n)$ に同型であることを示し、これにより単位群のねじれを除いたプロファイント完成を回復する。

実験結果

リサーチクエスチョン

• RQ1 Bost–Connes C*-代数の K-理論的不変量から、類群空間上の半群作用を再構成できるか？
• RQ2 順序付き K₀-群と境界準同型の族は、数体の完全不変量か？
• RQ3 Bost–Connes C*-代数の同型類が、元の数体を同型を除いて決定するか？
• RQ4 R作用やKMS状態のデータを使わずに、C*-代数の K-理論から元の数体の算術的構造を回復できるか？
• RQ5 フィルター付き K-理論データから、位相空間 $Y_K$ と $I_K$ の作用を標準的に再構成できるか？

主な発見

• Bost–Connes C*-代数 $A_K$ と $A_L$ が同型であるための必要十分条件は、元の半群作用 $Y_K \curvearrowleft I_K$ と $Y_L \curvearrowleft I_L$ が共軌道的であることである。
• Bost–Connes C*-代数の同型は、$\mathcal{P}_K \cong \mathcal{P}_L$ の双対写像と、$A_K$ と $A_L$ 間の $\mathrm{KK}(2^{\mathcal{P}_K})$-同値性（順序付き）の存在を示す。
• 境界準同型 $\partial_K^{F,\mathfrak{p}}$ と $\partial_L^{F,\mathfrak{p}}$ を交換させるような、$\mathrm{K}_*(B_K^F) \to \mathrm{K}_*(B_L^F)$ の順序付き同型 $\varphi^F$ の族が、数体の完全不変量をなす。
• 自由アーベル群 $\widehat{\Sigma}$ のプロファイント完成は、写像 $M_n^t$ の帰納的極限を通じて K-理論的データから再構成される。
• $T/i(\Sigma)$ は $\varinjlim_n \widehat{\Sigma / (\Sigma \cap \Gamma_n)}$ に同型であり、これにより $\widehat{\Sigma}$ のプロファイント完成が回復される。
• その結果、2つの Bost–Connes C*-代数が同型であるための必要十分条件は、それらの元の数体が同型であることであることが示され、分類が完全に完成する。