[论文解读] Large subalgebras

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

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

一句话总结

本文引入並系統研究了無限維簡單單位 C*-代數中的大子代數與穩定大子代數，統一了如 ℤ-作用交叉積中的軌道破壞子代數等構造。研究證明，此類子代數繼承了關鍵結構性質——簡單性、無窮性，以及穩定有限性或純無窮性，同時保持了迹態、歸一化的 2-擬跡與比較半徑，且在移除非零投影類後，其 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-擬跡之間的關係，特別是在包含關係下的雙射性。
• 研究 B 與 A 的 Cuntz 平面的行為，特別是在移除非零投影類之後。
• 確定當 A 穩定有限時，比較半徑是否在 B 與 A 之間保持不變。

提出的方法

• 在無限維簡單單位 C*-代數的背景下定義大子代數與穩定大子代數。
• 以 ℤ-作用交叉積中的軌道破壞子代數構造作為基礎範例，其中 B 由 C(X) 及滿足在閉子集 Y 上消失的函數 f u 生成。
• 證明若 Y 與每條 h-軌道的交集至多為一點，則 B 是 C*(ℤ, X, h) 中的大子代數。
• 證明包含關係 B ⊂ A 導出 A 與 B 的跡態之間的雙射對應。
• 透過移除所有非零投影類，分析 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-擬跡到 B 上的歸一化 2-擬跡的限制映射，皆為雙射。
• 當 A 穩定有限時，包含關係 B ⊂ A 導出從 A 與 B 的 Cuntz 平面中移除所有非零投影類後的剩餘半群之間的同構。
• 當 A 穩定有限時，A 與 B 的比較半徑相等。
• 該理論將多種構造（包括 ℤ-作用交叉積中的軌道破壞子代數）統一於大子代數的一般框架之下。