[논문 리뷰] Unitary groups and augmented Cuntz semigroups of separable simple Z-stable C*-algebras

Huaxin Lin|arXiv (Cornell University)|2020. 11. 23.

Advanced Operator Algebra Research참고 문헌 33인용 수 4

한 줄 요약

이 논문은 분리 가능한 단순 Z-안정 C*-대수의 단위화된 대수의 유니터리 군이 취소 성질을 가지며, 연속 척도 조건 하에서 단위화된 대수의 보강된 Cuntz 준군이 엄밀한 비교와 약한 취소 성질을 갖는다는 것을 증명한다. 보강된 Cuntz 준군 내의 준동형사상에 대한 새로운 근사 결과를 이용하여, UCT 클래스에 속한 비단위 분리 가능한 약한 아벨 단순 Z-안정 C*-대수의 모든 원소가 유리수 일반화된 추적 차수 최대 1을 가짐을 증명하며, 이는 이전에 안정 차수 1 조건을 필요로 하였던 것을 제거한다.

ABSTRACT

Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${ ilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $ ilde A$ has the strict comparison property and a weak cancellation property. Let $C$ be a 1-dimensional non-commutative CW complex with $K_1(C)=\{0\}.$ Suppose that $λ: { m Cu}^\sim(C) o { m Cu}^\sim(A)$ is a morphism in Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms $ϕ_n: C o A$ such that $\lim_{n o\infty}{ m Cu}^\sim(ϕ_n)=λ.$ This result leads to the proof that every separable amenable simple $C^*$-algebra in the UCT class has rationally generalized tracial rank at most one.

연구 동기 및 목표

• 분리 가능한 단순 Z-안정 C*-대수의 단위화된 대수에서 유니터리 군과 보강된 Cuntz 준군의 취소 및 비교 성질을 확립한다.
• UCT 클래스에 속한 비단위 분리 가능한 약한 아벨 단순 Z-안정 C*-대수의 분류 결과에서 안정 차수 1 조건을 제거한다.
• UCT 클래스에 속한 모든 분리 가능한 약한 아벨 단순 Z-안정 C*-대수의 유리수 일반화된 추적 차수 최대 1을 증명한다.
• Robert의 준동형사상에 대한 Cuntz 준군 분류 결과를 안정 차수 1 조건 없이 비단위 대수로 확장한다.

제안 방법

• 분리 가능한 단순 Z-안정 C*-대수 $A$의 단위화된 대수 $\tilde{A}$의 유니터리 군을 분석하여 $U(\tilde{A})/U_0(\tilde{A}) = K_1(A)$ 임을 보인다.
• 연속 척도 조건 하에서 Cuntz 준군 $\mathrm{Cu}(\tilde{A})$를 조사하여 엄밀한 비교와 약한 취소 성질을 증명한다.
• 새로운 근사 결과를 적용: 1차원 비가환 CW 복합체 $C$에서 $K_1(C)=0$ 이면, 준동형사상 $\lambda: \mathrm{Cu}^\sim(C) \to \mathrm{Cu}^\sim(A)$에 대해 $\mathrm{Cu}^\sim(\varphi_n) \to \lambda$ 임을 만족하는 $\varphi_n: C \to A$ 의 순서를 찾는다.
• Cuntz 준군 내에서 엄밀한 양성 준동형사상 $\lambda$ 가 존재함을 이용하여, 추적 함수열의 약한 수렴과 Cuntz 준군 수렴을 통해 근사 준동형사상을 구성한다.
• $C = \lim_{n\to\infty}(C_n, \iota_n)$ 이며 $C_n \in \mathcal{I}_0$ 인 경우에 적용하여, $L_n: C \to A$ 와 $h_n: C_n \to A$ 의 사상 수열을 구성하고 노름 및 추적 수렴 조건을 만족시킨다.
• 등장사상 $\Gamma: (K_0(C), T(C), r_C) \cong (K_0(A), T(A), r_A)$ 를 이용하여 준동형사상 $\lambda$ 를 올리고 근사 결과를 도출한다.

실험 결과

연구 질문

• RQ1 분리 가능한 단순 Z-안정 C*-대수 $A$ 에 대해 $\tilde{A}$ 의 유니터리 군이 취소 성질을 갖는가?
• RQ2 대수 $A$ 가 연속 척도 조건을 만족할 경우, Cuntz 준군 $\mathrm{Cu}(\tilde{A})$ 는 엄밀한 비교와 약한 취소 성질을 갖는가?
• RQ3 1차원 비가환 CW 복합체 $C$ 에 대해 $K_1(C)=0$ 이고, 준동형사상 $\lambda: \mathrm{Cu}^\sim(C) \to \mathrm{Cu}^\sim(A)$ 가 엄밀한 양성일 경우, $\varphi_n: C \to A$ 의 순서로 근사 가능한가?
• RQ4 비단위 Z-안정 C*-대수의 분류 결과는 안정 차수 1 조건이 없이도 확장 가능한가?
• RQ5 UCT 클래스에 속한 모든 분리 가능한 약한 아벨 단순 Z-안정 C*-대수의 유리수 일반화된 추적 차수 최대 1을 안정 차수 1 조건 없이 만족하는가?

주요 결과

• 모든 분리 가능한 단순 Z-안정 C*-대수 $A$ 에 대해, 안정 차수 1 여부와 관계없이 $U(\tilde{A})/U_0(\tilde{A}) = K_1(A)$ 이다.
• 대수 $A$ 가 연속 척도 조건을 만족할 경우, $\mathrm{Cu}(\tilde{A})$ 는 엄밀한 비교와 약한 취소 성질을 모두 갖는다.
• 모든 엄밀한 양성 준동형사상 $\lambda: \mathrm{Cu}^\sim(C) \to \mathrm{Cu}^\sim(A)$ 에 대해, $\mathrm{Cu}^\sim(\varphi_n) \to \lambda$ 가 약한 위상에서 수렴하는 $\varphi_n: C \to A$ 의 순서가 존재한다.
• 모든 $a \in C$ 에 대해 $\lim_{n\to\infty} \sup_{\tau \in T(A)} |\tau(L_n(a)) - \lambda_T(\tau)(a)| = 0$ 이 성립하여 추적 함수열의 약한 수렴이 보장된다.
• 모든 $a,b \in C$ 에 대해 $\|L_n(ab) - L_n(a)L_n(b)\| \to 0$ 이 성립하여, 곱셈의 근사적 성질이 보장된다.
• 결과적으로, UCT 클래스에 속하고 연속 척도 조건을 만족하는 모든 분리 가능한 약한 아벨 단순 Z-안정 C*-대수 $A$ 는 안정 차수 1 조건 없이도 $A \otimes Q$ 가 일반화된 추적 차수 1을 가짐을 의미한다.