[논문 리뷰] Simple stably projectionless C*-algebras with generalized tracial rank one

George A. Elliott, Guihua Gong외 2명|arXiv (Cornell University)|2017. 11. 03.

Advanced Operator Algebra Research참고 문헌 34인용 수 7

한 줄 요약

이 논문은 단순한 안정적으로 프로젝션 없는 C*-대수에 대해 일반화된 트레이스 랭크 일의 비단위 원형을 도입하고 연구하며, 엄밀한 비교, 안정적 랭크 일, 준대각선성, 그리고 ${\cal Z}$-안정성과 같은 구조적 성질을 확립한다. 주요 기여는 유한 핵심 차원과 자명한 K-이론을 가진 분리 가능하고 단순하며 애매한 안정적으로 프로젝션 없는 C*-대수들이 ${\cal D}_0$ 클래스에 속함을 증명함으로써, 분류 프로그램을 비단위 설정으로 확장하는 것이다.

ABSTRACT

We study a class of stably projectionless simple C*-algebras which may be viewed as having generalized tracial rank one in analogy with the unital case. Some structural question concerning these simple C*-algebras are studied. The paper also serves as a technical support for the classification of separable stably projectionless simple amenable Jiang-Su stable C*-algebras.

연구 동기 및 목표

• 단위 원형에서 비단위 원형으로 일반화된 트레이스 랭크 일의 개념을 확장하는 것.
• 이 대수의 클래스에 대해 엄밀한 비교, 안정적 랭크 일, 준대각선성, 그리고 ${\cal Z}$-안정성과 같은 구조적 성질을 확립하는 것.
• 유한 핵심 차원과 자명한 K-이론을 가진 분리 가능하고 단순하며 애매한 안정적으로 프로젝션 없는 C*-대수가 ${\cal D}_0$ 클래스에 속함을 증명하고, 엘리엇 불변량을 통한 분류를 가능하게 하는 것.
• 이러한 대수가 장강-수 대수 ${\cal W}$와 텐서곱을 취할 경우 ${\cal D}_0$가 되며, 비단위 설정에서의 분류 그림을 완성하는 것.

제안 방법

• 페더슨 이상수의 점별 수렴 위상과 조밀 이상수 위의 측도를 사용하여 일반화된 트레이스 랭크 일의 비단위 원형을 도입한다.
• 측도 공간 $\widetilde{T}(A)$ 와 그 약한* 컴actification인 $\overline{T(A)}^w$ 를 사용하여 차원-랭크 비율을 정의하고 양의 원소들을 비교한다.
• 브라운의 정리를 적용하여 $A$ 를 $A_1 \otimes {\cal K}$ 의 고유한 부분 C*-대수로 표현한다. 여기서 $A_1 = \overline{aAa}$ 이고 $a$ 는 엄밀히 양의 원소이며, $A_1 = \mathrm{Ped}(A_1)$ 를 이용해 측도 분석을 단순화한다.
• 완전히 양의 콘tractive 사상 $\varphi_n: A \to {\cal W}$ 를 사용하여 $\varphi_n(a_0)$ 가 엄밀히 양의 원소이고 $\tau(a) = \lim_n \tau_{\cal W}(\varphi_n(a))$ 를 만족하도록 측도를 근사한다.
• ${\mathrm{K}}_0({\cal W}) = 0$ 이고 ${\cal W}$ 가 안정적 랭크 일임을 이용하여, $\mathrm{M}_k({\widetilde{\cal W}})$ 내의 프로젝션들이 그 측도가 일치하면 동치임을 보이고, 이는 12.2번 보조정리의 증명에서 모순을 이끌어낸다.
• ${\cal W}$ 로의 사상 $h_n: B_n \to {\cal W}$ 를 구성하기 위해 [44], [25], [42] 의 결과를 응용하며, $h_n(b_n)$ 이 엄밀히 양의 원소임을 보장하여 측도 근사를 가능하게 한다.

실험 결과

연구 질문

• RQ1 일반화된 트레이스 랭크 일의 개념을 비단위 원형이면서 안정적으로 프로젝션 없는 C*-대수로 의미 있게 확장할 수 있는가?
• RQ2 이러한 대수들은 엄밀한 비교, 안정적 랭크 일, 준대각선성, 그리고 ${\cal Z}$-안정성과 같은 규칙적인 성질을 보이는가?
• RQ3 유한 핵심 차원과 자명한 K-이론을 가진 모든 분리 가능하고 단순하며 애매한 안정적으로 프로젝션 없는 C*-대수들이 클래스 ${\cal D}_0$ 에 속하는가?
• RQ4 이러한 대수들이 장강-수 대수 ${\cal W}$ 와 텐서곱을 취할 경우 반드시 ${\cal D}_0$ 에 속하게 되는가? 이를 통해 분류가 가능해지는가?

주요 결과

• 일반화된 트레이스 랭크 일의 비단위 원형은 잘 정의되어 있으며, 양의 원소에 대해 엄밀한 비교를 보이는 대수를 도출한다.
• 이러한 모든 대수는 안정적 랭크 일을 가지며 준대각선적이며, 모든 준측도가 측도임을 보인다.
• 유한 핵심 차원과 자명한 K-이론을 가진 모든 분리 가능하고 단순하며 애매한 안정적으로 프로젝션 없는 C*-대수들은 ${\cal Z}$-안정성을 가진다.
• 이러한 대수들이 연속 척도를 가지며, 모든 고유한 부분대수가 트레이스적으로 근사적으로 나누어질 수 있다면 $A \in {\cal D}_0$ 를 만족한다.
• 모든 분리 가능하고 단순하며 애매하고 안정적으로 프로젝션 없는 C*-대수들이 유한 핵심 차원과 비어 있지 않은 측도 공간을 가진다면, ${\cal W}$ 와 텐서곱을 취할 경우 $A \otimes {\cal W} \in {\cal D}_0$ 가 된다.
• 측도 공간 $\overline{T(A)}^w$ 는 약한* 컴act이며, $A^*$ 내의 $T(A)$ 의 약한* 클로처와 위상동형이며, 이는 ${\cal W}$ 로의 사상의 수열을 통한 측도 근사를 가능하게 한다.