[论文解读] Approximate Unitary Equivalence in Simple C^*-algebras of Tracial Rank One

Huaxin Lin|arXiv (Cornell University)|Jan 18, 2008

Advanced Operator Algebra Research参考文献 28被引用 3

一句话总结

本文對具有性質 (J) 的酉 AH-代數到具有至多一階跡秩的酉分離簡單 C*-代數的酉單射的近似酉等價性建立了完整的特徵化。關鍵結果表明，兩個這樣的同態當且僅當它們在 KL-群中誘導出相同的元素、在跡空間上一致，且在酉群的換位子群模的商群上誘導出相同的同態時，為近似酉等價。

ABSTRACT

Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple C*-algebra with tracial rank no more than one. Suppose that $ϕ, ψ: C o A$ are two unital monomorphisms. With some restriction on $C,$ we show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if [ϕ]=[ψ] in KL(C,A) τ\circ ϕ=τ\circ ψfor all tracial states of A and ϕ^‡=ψ^‡, here ϕ^‡ and ψ^‡ are homomorphisms from $U(C)/CU(C) o U(A)/CU(A) induced by ϕand ψ, respectively, and where CU(C) and CU(A) are closures of the subgroup generated by commutators of the unitary groups of C and B.

研究动机与目标

• 確定兩個從具有性質 (J) 的酉 AH-代數到至多一階跡秩的酉簡單 C*-代數的酉單射同態近似酉等價的必要與充分條件。
• 將有限維與無限維設定下經典的酉等價結果，拓展至具有跡秩一的穩定有限 C*-代數設定。
• 提出一個實用的、近似的判別準則，利用有限組測試元素與跡和酉像的統一控制，實現近似酉等價性。
• 透過整合跡資料與酉群結構，統一並推廣先前在 KK-理論與 BDF-理論中的結果，以分類同態。

提出的方法

• 使用 KL-群（Kasparov 的 KK-理論）作為主要不變量，以分類同態在近似酉等價下的性質。
• 利用目標 C*-代數的跡空間作為必要不變量，要求同態與任何跡態的複合結果一致。
• 引入酉群模換位子群的商群 $U(A)/CU(A)$ 上的誘導同態，以捕捉 K-理論與拓撲資料。
• 應用有限逼近技術，使用 AH-代數 $C$ 的遞增有限子代數 $C_n$，將問題簡化為有限維或矩陣代數設定。
• 利用 AH-代數 $C$ 的性質 (J)，確保同態可被具有良好譜與 K-理論資料控制的同態逼近。
• 應用一個穩定性結果（定理 11.5），允許透過酉共軛對齊 $ heta$-映射下投影的像，從而將問題簡化為單一分量。

实验结果

研究问题

• RQ1 當 $C$ 為具有性質 (J) 的酉 AH-代數，$A$ 為至多一階跡秩的酉簡單 C*-代數時，兩個酉單射同態 $φ, ψ: C → A$ 何時為近似酉等價？
• RQ2 在 $KL(C,A)$、跡空間 $T(A)$ 和酉群商 $U(A)/CU(A)$ 中，哪些不變量是分類此類同態在近似酉等價下的必要與充分條件？
• RQ3 如何透過 $C$、$A$ 和酉元素的有限子集的有限逼近，使分類變得有效？
• RQ4 在何種情況下，$K_0$-資料與跡資料的一致性可推出近似酉等價？何時酉群商映射 $φ^{†}$ 是不可或缺的？
• RQ5 分類結果能否從 AH-代數推廣至更一般的滿足 UCT 的至多一階跡秩 C*-代數？

主要发现

• 兩個酉單射同態 $φ, ψ: C → A$ 近似酉等價當且僅當在 $KL(C,A)$ 中 $[φ] = [ψ]$，對所有 $A$ 上的跡態 $τ$ 有 $τ ∘ φ = τ ∘ ψ$，且 $φ^{†} = ψ^{†}$ 在 $U(C)/CU(C)$ 上。
• 對於具有性質 (J) 的酉 AH-代數，建立了一個實用的有限逼近準則：若同態在有限組 $K$-理論生成元、酉像與跡上一致，則它們在給定 $ε$ 下對有限子集為近似酉等價。
• 該結果在 $A$ 至多具有跡秩一的假設下成立，此條件確保穩定秩一，並使酉群商映射有良好定義。
• 特徵化結果精確且推廣了有限維與 Calkin 代數設定下的經典結果，適用於更廣泛的簡單 C*-代數類別，其跡秩為一。
• 證明依賴於利用 $C$ 的歸納極限結構將問題簡化為有限維矩陣代數，並結合對譜測度與酉共軛的控制。
• 推論 11.8 將結果推廣至所有滿足 UCT 的分離簡單酉 C*-代數且跡秩 ≤1，顯示相同的不變量可分類近似酉等價。