[논문 리뷰] Cancellation for inclusions of C*-algebras of finite depth

Ja A Jeong, Hiroyuki Osaka외 2명|arXiv (Cornell University)|2007. 04. 27.

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

한 줄 요약

이 논문은 인덱스-유한 유형의 조건 기대를 가진 유한 깊이의 C*-대수 포함관계에 대해 취소를 확립한다. 만약 단위를 가진 C*-대수 $A$가 위상적 안정적 차수 1을 갖고 Property (SP)를 만족한다면, $A \to B$가 유한 깊이의 포함관계이자 인덱스-유한 유형의 조건 기대를 갖는다면 $B$는 취소를 가진다. 핵심 결과는 교차곱으로 확장된다: 단위를 가진 단순 C*-대수 $A$에 대해 $\mathrm{tsr}(A)=1$ 이고 Property (SP)를 만족할 경우, 유한군 작용에 의한 교차곱 $A \rtimes_\alpha G$는 취소를 가지며, $K_0$-작용이 자명한 외부 $\mathbb{Z}$-작용에 대해서도 $A \rtimes_\alpha \mathbb{Z}$는 취소를 가진다.

ABSTRACT

Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies sr (B) \leq sr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank one and Property (SP), then B has cancellation. In particular, if A is a simple unital C*-algebra with stable rank one and Property (SP), and a finite group G acts on A, then the crossed product has cancellation. Separately, if the group is the integers, we obtain cancellation under the additional hypotheses that the group action is outer and is trivial on K_0 (A).

연구 동기 및 목표

• 인덱스-유한 유형의 조건 기대를 가진 유한 깊이의 C*-대수 포함관계에 대해 $B$의 취소를 확립한다.
• 단순 단위를 가진 $A$에 대해 $\mathrm{tsr}(A)=1$ 이고 Property (SP)를 만족할 경우, 유한군 작용에 의한 교차곱 $A \rtimes_\alpha G$에 대한 취소 결과를 확장한다.
• 외부 $\mathbb{Z}$-작용에 대해 $K_0$-작용이 자명할 경우, $A \rtimes_\alpha \mathbb{Z}$에 대한 취소를 증명한다. 이는 Rokhlin 성질이 없더라도 성립한다.
• 포함관계에 대해 특정한 구조 조건이 만족될 경우, 위상적 안정적 차수의 경계가 취소를 유도함을 보인다.

제안 방법

• 위상적 안정적 차수의 경계를 확립한다: 단위 포함관계 $A \subset B$에 대해 조건 기대가 인덱스-유한 유형이고 $n$-원소의 준기저를 가질 경우, $\mathrm{tsr}(B) \leq \mathrm{tsr}(A) + n - 1$ 이다.
• 블랙더의 기준을 사용한다: 단순 C*-대수 $B$가 임의로 작은 스펙트럴 프로젝션을 갖는 비영인 프로젝션의 집합 $P$를 포함하고, $\mathrm{tsr}(pBp)$가 균일하게 유계이면 $B$는 취소를 가진다.
• 위의 $\mathrm{tsr}(B)$ 경계를 적용하여, $M_\infty(A)$ 내의 프로젝션 $p$에 대해 $\sup_{p \in P} \mathrm{tsr}(pBp) < \infty$ 를 보이고, 블랙더의 조건을 만족시킨다.
• $\mathbb{Z}$-교차곱의 경우, $K_0(A)$에서 $\alpha_*$의 자명성을 이용해 자기 동형을 유니터리로 공액화하여 문제를 통제 가능한 교차곱의 구조로 환원한다.
• AH 대수와 UHF 대수에 대한 $\mathrm{tsr}$ 및 실수 차수에 대한 알려진 결과를 활용하여 $A$에 대한 조건을 검증한다.
• 교차곱의 구조와 Rokhlin 유형의 분해를 이용하여 $\mathrm{tsr}(pBp)$를 2 이내로 경계함으로써, 취소를 위해 필요한 균일한 경계를 확보한다.

실험 결과

연구 질문

• RQ1 단위 포함관계 $A \subset B$ 가 인덱스-유한 유형의 조건 기대를 갖는 경우, 어떤 조건에서 $B$가 취소를 가지는가?
• RQ2 단순 단위를 가진 $A$에 대해 $\mathrm{tsr}(A) = 1$ 이고 Property (SP)를 만족할 경우, 유한군 작용 $\alpha$에 의한 교차곱 $A \rtimes_\alpha G$는 취소를 가지는가?
• RQ3 외부 $\mathbb{Z}$-작용 $\alpha$에 대해 $K_0(A)$에서 $\alpha_*$가 항등사상일 경우, $A \rtimes_\alpha \mathbb{Z}$에 대해 취소를 확립할 수 있는가? 이는 Rokhlin 성질이 없더라도 가능한가?
• RQ4 단위를 가진 $A$가 $\mathrm{tsr}(A) = 1$ 이고 Property (SP)를 만족할 경우, 유한 깊이 포함관계에서도 취소가 유지되는가?
• RQ5 위상적 안정적 차수 경계 $\mathrm{tsr}(B) \leq \mathrm{tsr}(A) + n - 1$ 는 유한 깊이 포함관계에서 취소를 도출하는 데 사용될 수 있는가?

주요 결과

• 단위 포함관계 $A \subset B$ 에 대해 충실한 조건 기대가 인덱스-유한 유형이고 $n$-원소 준기저를 가질 경우, $\mathrm{tsr}(B) \leq \mathrm{tsr}(A) + n - 1$ 이다.
• 만약 $A$가 단순하고 단위를 가지며 $\mathrm{tsr}(A) = 1$ 이고 Property (SP)를 만족한다면, $A \subset B$가 유한 깊이이고 인덱스-유한 유형의 조건 기대를 갖는다면 $B$는 취소를 가진다.
• 단순 단위를 가진 $A$에 대해 $\mathrm{tsr}(A) = 1$ 이고 Property (SP)를 만족할 경우, 임의의 유한군 작용 $\alpha$에 대해 교차곱 $A \rtimes_\alpha G$는 취소를 가진다.
• 외부 $\mathbb{Z}$-작용 $\alpha$에 대해 $K_0(A)$에서 $\alpha_* = \mathrm{id}$ 라면, 교차곱 $A \rtimes_\alpha \mathbb{Z}$는 취소를 가진다.
• 만약 $A$가 실수 차수 0과 느린 차원 성장 조건을 만족하는 단순 단위를 가진 AH 대수이면, 임의의 유한군 작용 $\alpha$에 대해 $A \rtimes_\alpha G$는 취소를 가진다.
• $A \rtimes_\alpha \mathbb{Z}$의 경우 $K_0(A)$에서 $\alpha_*$가 자명할 경우, 모든 비영인 프로젝션 $p \in M_\infty(A)$에 대해 $\mathrm{tsr}(pBp) \leq 2$ 이며, 이는 취소를 위한 균일한 경계를 보장한다.