[論文レビュー] On K-theoretic invariants of semigroup C*-algebras from actions of congruence monoids

Chris Bruce, Xin Li|arXiv (Cornell University)|Jun 2, 2019

Advanced Operator Algebra Research参考文献 38被引用数 4

ひとこと要約

本稿は、数体における合同モナドから生じる半群C*-代数のK理論的不変量を研究し、これらの不変量が深い数論的情報を符号化することを示している。C*-代数の同型は、数体の算術的同値性およびそれらに関連する類体のクロネッカー同値性を示すことが確立されており、ガロア条件を満たす場合には追加の構造的制約が生じる。

ABSTRACT

We study semigroup C*-algebras of semigroups associated with number fields and initial data arising naturally from class field theory. Using K-theoretic invariants, we investigate how much information about the initial number-theoretic data is encoded in our semigroup C*-algebras.

研究の動機と目的

• 数体における合同モナドから構成された半群C*-代数のK理論的不変量を分析すること。
• C*-代数の構造から回復可能な数論的データ、特に数体そのものとその関連する類体の程度を特定すること。
• 既存のax+b-半群C*-代数に関する結果を拡張し、単位根の個数や類群構造といった新たな不変量を抽出すること。
• C*-代数の同型が数体およびその類体の算術的同値性またはクロネッカー同値性を示す条件を確立すること。
• ガロア仮定の下で、C*-代数の同型が対応する数体および類体の完全な同型を示すことを証明すること。

提案手法

• 数体 $ K $ の整数環 $ R $ と、法 $ \mathfrak{m} $ に関する剰余群 $ \Gamma $ を持つ合同モナド $ R_{\mathfrak{m},\Gamma} $ を用いて、半直積 $ R \rtimes R_{\mathfrak{m},\Gamma} $ から半群C*-代数を構成する。
• 左正則表現を用いてC*-代数 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ を生成し、そのK理論的構造に注目する。
• 最小の原始的イデアルによる商における恒等射の射影の $ K_0 $ 群とねじれ不変量を分析し、数論的データを抽出する。
• C*-代数の分類計画を応用し、C*-代数の同型と数論的同値性の関係を関連付ける。
• 合同モナドの素イデアルスペクトルとそのノルムの間の双対性を用いて、分解型と分岐の性質を比較する。
• 類体論の結果を活用し、類体 $ K(\mathfrak{m})^{\bar{\Gamma}} $ をC*-代数的不変量と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 C*-代数 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ は、数体 $ K $ 及びその関連類体 $ K(\mathfrak{m})^{\bar{\Gamma}} $ をどの程度符号化しているか。
• RQ2 数体 $ K $ の単位根の個数は、半群C*-代数のK理論的不変量から回復可能か。
• RQ3 C*-代数の同型が数体の算術的同値性を示すための条件は何か。
• RQ4 C*-代数の同型が類体のクロネッカー同値性または算術的同値性を示すのはどのような場合か。
• RQ5 C*-代数が同型である場合、合同モナドおよび類群にどのような構造的制約が生じるか。

主な発見

• C*-代数 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ と $ C^*_{\lambda}(S \rtimes S_{\mathfrak{n},\Lambda}) $ の同型は、$ K $ と $ L $ が算術的同値であり、$ K(\mathfrak{m})^{\bar{\Gamma}} $ と $ L(\mathfrak{n})^{\bar{\Lambda}} $ がクロネッカー同値であることを示す。
• 類体 $ K(\mathfrak{m})^{\bar{\Gamma}} $ と $ L(\mathfrak{n})^{\bar{\Lambda}} $ が $ \mathbb{Q} $ 上ガロアであれば、類数は $ \#\text{Cl}_{\mathfrak{m}}^{\bar{\Gamma}} = \#\text{Cl}_{\mathfrak{n}}^{\bar{\Lambda}} $ を満たす。
• もし $ K $ または $ L $ がガロアであれば、$ K = L $ であり、ガロア性質はC*-代数の同型のもとで保存される。
• もし $ K $ と $ L $ がともにガロアであり、かつその類体が $ \mathbb{Q} $ 上ガロアであれば、$ K = L $、$ K(\mathfrak{m})^{\bar{\Gamma}} = L(\mathfrak{n})^{\bar{\Lambda}} $ であり、合同モナドは $ \langle \pm 1 \rangle R_{\mathfrak{m},\Gamma} = \langle \pm 1 \rangle R_{\mathfrak{n},\Lambda} $ を満たす。
• C*-代数が同型であり、ガロア条件が成立する場合、類群 $ \text{Cl}_{\mathfrak{m}}^{\bar{\Gamma}} $ と $ \text{Cl}_{\mathfrak{n}}^{\bar{\Lambda}} $ はアーベル群として同型である。
• 本稿は[28]における未解決問題を解決し、整数環に含まれる単位根の個数がC*-代数のK理論的不変量から回復可能であることを示している。