[論文レビュー] C*-crossed products and shift spaces

Toke Meier Carlsen, Sergei Silvestrov|arXiv (Cornell University)|Dec 21, 2005

Advanced Operator Algebra Research参考文献 35被引用数 21

ひとこと要約

この論文は、エクセルのクロスドプロダクトフレームワークを用いて、片側シフト空間に対する普遍的 C*-代数の構成を導入し、これがカントツ＝クリーガー代数を一般化することを示し、符号化不変量としての K-理論不変量（K₀ および K₁）を提供する。この構成は、先行研究における矛盾を解消し、忠実な表現、核的性、単純性、UCT 条件を用いて、シフト空間の正しい普遍的対象としての代数を確立する。

ABSTRACT

In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and possesses properties indicating that it can be thought of as the universal C*-algebra associated to a shift space. We also consider its representations, relationship to other C*-algebras associated to shift spaces, show that it can be viewed as a generalization of the universal Cuntz-Krieger algebra, discuss uniqueness and a faithful representation, provide conditions for it being nuclear, for satisfying the UCT, for being simple, and for being purely infinite, show that the constructed algebras and thus their K-theory, $K_0$ and $K_1$, are conjugacy invariants of one-sided shift spaces, present formulas for those invariants, and also present a description of the structure of gauge invariant ideals.

研究の動機と目的

• Matsumoto (2000f:46084) における誤った構成に起因する、シフト空間の C*-代数構成における矛盾を解消すること。
• 移行作用素を用いたエクセルのクロスドプロダクト構成を用いて、片側シフト空間に関連する普遍的 C*-代数を定義すること。
• 構成された C*-代数が [MR2091486] で定義された代数の商であることを示し、Matsumoto が彼の代数について主張した性質を備えていること。
• K₀ および K₁ がシフト空間の符号化不変量であることを確立し、それらの明示的な公式を提供すること。
• ゲージ不変イデアルを特徴づけ、核的性、UCT、単純性、純粋無限性の条件を決定すること。

提案手法

• 移行作用素を用いたエクセルの C*-クロスドプロダクト構成を用いて、任意の片側シフト空間に C*-代数を関連付ける。
• クロスドプロダクトの普遍的性質を適用し、関数とシフト作用素の間の共変関係によってシフトダイナミクスを符号化する C*-代数を定義する。
• シフト空間のインシデント行列を用いて、ℤΛ₀ から ℤΛ₁ への線形写像 B を構成し、K-理論不変量を計算する。
• 射影から標準基底ベクトルへの明示的写像を用いて、同型 K₀(𝒪Λ) ≅ ℤΛ₀ / BℤΛ₁ および K₁(𝒪Λ) ≅ ker(B) を確立する。
• ゲージ不変イデアルを、シフト空間の不変部分集合とコア C*-代数におけるイデアルとの関係を通じて分析する。
• シフト空間の組合せ的構造と関連行列に基づいて、核的性、UCT、単純性、純粋無限性のための基準を適用する。

実験結果

リサーチクエスチョン

• RQ1 片側シフト空間に対して、先行研究の構成における矛盾を解消する普遍的 C*-代数を構成できるか？
• RQ2 構成された C*-代数の K₀ および K₁ 群は、シフト空間の符号化不変量か？
• RQ3 構成された C*-代数はカントツ＝クリーガー代数を一般化し、その主要な性質を継承するか？
• RQ4 構成された C*-代数が核的である、UCT を満たす、単純である、または純粋無限であるための条件は何か？
• RQ5 C*-代数のゲージ不変イデアルは、シフト空間の構造に基づいてどのように分類できるか？

主な発見

• シフト空間が有限型であるとき、構成された C*-代数は普遍的カントツ＝クリーガー代数と同型である。
• 代数の K₀ 群は ℤΛ₀ / BℤΛ₁ に同型であり、ここで B は長さ l と l+1 のシリンダー間のインシデント行列である。
• K₁ 群はインシデント行列 B の核に同型である：K₁(𝒪Λ) ≅ ker(B)。
• K-理論群 K₀ および K₁ は、片側シフト空間の符号化不変量であり、完全な代数的不変量を提供する。
• 代数が核的であるための必要十分条件は、インシデント構造に特定の有限範囲条件が満たされることである。
• 代数が UCT を満たすための必要十分条件は、インシデント行列 B の成分が ℤ に属し、かつシフト空間がソフィックであることであり、K-理論は行列 B を用いて計算可能である。