[論文レビュー] Partial crossed product description of the C*-algebras associated with integral domains

Giuliano Boava, Ruy Exel|arXiv (Cornell University)|Oct 5, 2010

Advanced Operator Algebra Research参考文献 12被引用数 5

ひとこと要約

この論文は、有限な商を持つ整域 R に関連する C*-代数 𝔄[R] が、K ⋊ K× という群の部分交叉積に同型であることを確立する。ここで K は R の分数体である。著者たちは、関連する部分作用が位相的に自由かつ極小であること、および K ⋊ K× のアメーナブル性を示すことにより、𝔄[R] が単純であることを証明し、Cuntz と Li の結果を部分交叉積理論を用いて再解釈する。

ABSTRACT

Recently, Cuntz and Li introduced the C^*-algebra A[R] associated to an integral domain R with finite quotients. In this paper, we show that A[R] is a partial group algebra of the group $K times K^x$ with suitable relations, where K is the field of fractions of R. We identify the spectrum of this relations and we show that it is homeomorphic to the profinite completion of R. By using partial crossed product theory, we reconstruct some results proved by Cuntz and Li. Among them, we prove that $\ar$ is simple by showing that the action is topologically free and minimal.

研究の動機と目的

• 整域 R に関連する C*-代数 𝔄[R] を部分交叉積理論を用いて新たな記述を提供すること。
• 交叉積における可換 C*-代数のスペクトルが、R のプロフィニート完備化 ̂R に位相的に同相であることを特徴づけること。
• 関連する部分作用が位相的に自由かつ極小であること、および群のアメーナブル性を用いて、𝔄[R] の単純性を再証明すること。
• Cuntz の 𝒬ℤ および 𝒬ℕ 代数の理解を拡張し、それらがそれぞれ Q ⋊ Q× および Q ⋊ Q×₊ による部分交叉積として生じることを示すこと。

提案手法

• K が R の分数体であるとき、群 K ⋊ K× による部分作用 θ を、R のプロフィニート完備化 ̂R_K 上に構成する。
• Cuntz–Li の関係式に基づく関係を有する、K ⋊ K× の部分群代数を定義する。
• 部分交叉積構成の基盤として、可換 C*-代数 C(̂R_K) のスペクトルを用いる。
• 開集合と固定点集合を用いて、R が体でない場合に限り、部分作用 θ が位相的に自由であることを示す。
• 群 K ⋊ K× 内の平行移動を用いて、すべての軌道が ̂R_K 内で稠密であることを示し、部分作用の極小性を証明する。
• K ⋊ K× のアメーナブル性を活用し、全交叉積と減少交叉積が一致することを示し、これにより交叉積が単純であることを結論づけ、結果として 𝔄[R] も単純であることを導く。

実験結果

リサーチクエスチョン

• RQ1 整域 R に関連する C*-代数 𝔄[R] は、部分交叉積として記述可能か？
• RQ2 𝔄[R] の部分交叉積構成における可換 C*-代数のスペクトルの位相的構造は何か？
• RQ3 K ⋊ K× の部分作用は、スペクトル上で位相的に自由かつ極小か？
• RQ4 部分作用の極小性と位相的自由性に加え、群のアメーナブル性を組み合わせることで、𝔄[R] の単純性が導かれるか？
• RQ5 この部分交叉積記述により、Cuntz の 𝒬ℤ および 𝒬ℕ 代数はどのように再解釈されるか？

主な発見

• C*-代数 𝔄[R] は、R のプロフィニート完備化 ̂R_K に対して、*-同型として C(̂R_K) ⋊_α (K ⋊ K×) に同型である。
• 交叉積における可換 C*-代数のスペクトルは、R のプロフィニート完備化 ̂R に位相的に同型である。
• 部分作用 α は、R が体でない場合に限り、位相的に自由である。これは、非恒等元の固定点集合が空集合の内部を持つことと同値である。
• 部分作用は極小である。これは、すべての軌道が ̂R_K 内で稠密であることを意味し、R が体でない場合に成り立つ。
• 群 K ⋊ K× はアメーナブルであるため、全交叉積と減少交叉積が一致し、これにより交叉積が単純であることが示される。
• その結果、𝔄[R] は単純であり、𝔄[R] ≅ 𝔄_r[R] が成り立つ。