[論文レビュー] Large subalgebras

N. Christopher Phillips|arXiv (Cornell University)|Aug 24, 2014

Advanced Operator Algebra Research参考文献 32被引用数 7

ひとこと要約

この論文は、無限次元的単位的単純C*-代数における大規模かつ安定的大規模な部分代数を導入し、それらを体系的に研究する。特に、ℤによる交叉積における軌道破壊部分代数のような構成を統一する。このような部分代数は、単純性、無限性、安定的ファイニットネスまたは純粋無限性といった主要な構造的性質を継承するが、トレース状態、正規化された2クasiトレース、および比較半径は保存され、非ゼロ射影類を除いたCuntz半群は同型となる。

ABSTRACT

We define and study large and stably large subalgebras of simple unital C*-algebras. The basic example is the orbit breaking subalgebra of a crossed product by Z, as follows. Let X be an infinite compact metric space, let h be a minimal homeomorphism of X, and let Y be a closed subset of X. Let u be the standard unitary in C* (Z, X, h). The Y-orbit breaking subalgebra is the subalgebra of C* (Z, X, h) generated by C (X) and all elements f u for f in C (X) such that f vanishes on Y. If intersects each orbit of h at most once, then the Y-orbit breaking subalgebra is large in C* (Z, X, h). Large subalgebras obtained via generalizations of this construction have appeared in a number of places, and we unify their theory in this paper. We prove the following results for an infinite dimensional simple unital C*-algebra A and a stably large subalgebra B of A: B is simple and infinite dimensional. If B is stably finite then so is A, and if B is purely infinite then so is A. The restriction maps from the tracial states of A to the tracial states of B and from the normalized 2-quasitraces on A to the normalized 2-quasitraces on B are bijective. When A is stably finite, the inclusion of B in A induces an isomorphism on the semigroups that remain after deleting from the Cuntz semigroups of A and B all the classes of nonzero projections. B and A have the same radius of comparison.

研究の動機と目的

• さまざまなC*-代数の構成にわたる大規模かつ安定的大規模な部分代数の理論を統一的かつ一般化すること。
• 単純性、無限性、安定的ファイニットネスといった構造的性質が、安定的大規模部分代数Bから周囲のC*-代数Aにどのように保存されるかを調査すること。
• BとAのトレース状態および正規化された2クasiトレースの関係、特に包含写像による双対性を分析すること。
• BとAのCuntz半群の振る舞いを調べ、特に非ゼロ射影類を除いた後の挙動に注目すること。
• Aが安定的ファイニットである場合に、比較半径がAとBの間で保存されるかどうかを特定すること。

提案手法

• 無限次元的単位的単純C*-代数の文脈において、大規模かつ安定的大規模な部分代数を定義する。
• ℤによる交叉積における軌道破壊部分代数の構成を基礎例として用いる。ここでBはC(X)と、閉部分集合Y上で消える関数fを用いたf uによって生成される。
• Yが各h-軌道と高々1点で交わるならば、BはC*(ℤ, X, h)において大規模であることを示す。
• 包含写像B ⊂ Aが、AとBのトレース状態および正規化された2クasiトレースの間で双対的対応を誘導することを証明する。
• 非ゼロ射影類をすべて除いたAとBのCuntz半群を分析し、包含写像が残りの半群に沿って同型を誘導することを示す。
• Aが安定的ファイニットである場合、AとBの比較半径が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Aが無限次元的単位的単純C*-代数であり、BがAにおいて安定的大規模であるとき、Bは単純かつ無限次元的である性質を継承するか？
• RQ2 BがAにおいて安定的大規模であるとき、Aのトレース状態からBのトレース状態への制限写像は双対的か？
• RQ3 B ⊂ Aの包含写像が、非ゼロ射影類を除いたAとBのCuntz半群に同型を誘導するか？
• RQ4 Bが安定的ファイニットであれば、Aも安定的ファイニットでなければならないし、Bが純粋無限であれば、Aも純粋無限でなければならないか？
• RQ5 Aが安定的ファイニットである場合、比較半径がAとBの間で保存されるか？

主な発見

• Aが無限次元的単位的単純C*-代数であり、BがAにおいて安定的大規模である限り、部分代数Bは単純かつ無限次元的である。
• Bが安定的ファイニットであれば、Aも安定的ファイニットでなければならない。Bが純粋無限であれば、Aも純粋無限である。
• Aのトレース状態からBのトレース状態への制限写像、およびAの正規化された2クasiトレースからBの正規化された2クasiトレースへの制限写像の両方が双対的である。
• Aが安定的ファイニットである場合、非ゼロ射影類をすべて除いたAとBのCuntz半群から得られる半群の間で、包含写像B ⊂ Aが同型を誘導する。
• Aが安定的ファイニットである場合、AとBの比較半径は等しい。
• この理論は、ℤによる交叉積における軌道破壊部分代数を含む、さまざまな構成を、大規模部分代数の一般的枠組みの下で統一する。