[논문 리뷰] Cancellation and stable rank for direct limits of recursive subhomogeneous algebras

N. Christopher Phillips|ArXiv.org|2001. 01. 18.

Advanced Operator Algebra Research참고 문헌 22인용 수 10

한 줄 요약

이 논문은 느린 차원 성장 또는 차원 성장 없음 조건 하에서 단위를 가진 재귀적 부분호모제너러스 대수의 직접 극한에 대해 K₀의 취소, 안정적 랭크 1, 그리고 비퍼포레이션을 확립한다. 이러한 결과를 적용하여, 유한 차원 컴팩트 메트릭 공간 위의 최소 호메오모르피즘의 교차곱 C*-대수의 K₀가 비퍼포레이션되며, 블랙더의 두 번째 기본 비교 질문의 K-이론적 판본을 만족함을 보인다.

ABSTRACT

We prove the following results for a unital simple direct limit $A$ of recursive subhomogeneous algebras with no dimension growth: (1) A has stable rank 1. (2) The projections in $M_{\infty} (A)$ satisfy cancellation: if $e \oplus q \sim f \oplus q$, then $e \sim f$. (3) $A$ satisfies Blackadar's Second Fundamental Comparability Question: if $p, q \in M_{\infty} (A)$ are projections such that $τ(p) < τ(q)$ for all normalized traces $τ$ on $A$, then $p$ is equivalent to a subprojection of $q$. (4) $K_0 (A)$ is unperforated for the strict order: if $η\in K_0 (A)$ and there is $n > 0$ such that $n η> 0$, then $η> 0$. The last three of these results hold under certain weaker dimension growth conditions and without assuming simplicity. We use these results to obtain previously unknown information on the ordered K-theory of the crossed product $C^* (Z, X, h)$ obtained from a minimal homeomorphism of an infinite finite dimensional compact metric space $X$. Specifically, $K_0 (C^* (Z, X, h))$ is unperforated for the strict order, and satisfies the following K-theoretic version of Blackadar's Second Fundamental Comparability Question: if $η\in K_0 (A)$ satisfies $τ_* (\et) > 0$ for all normalized traces $τ$ on $A$, then there is a projection $p \in M_{\infty} (A)$ such that $η= [p]$.

연구 동기 및 목표

• 느린 차원 성장 조건 하에서 재귀적 부분호모제너러스 대수의 직접 극한 위의 안정 행렬 대수에서 프로젝션의 취소를 확립하기 위해.
• 차원 성장이 없고 대수가 단순할 경우, 이러한 대수의 위상적 안정적 랭크가 1임을 증명하기 위해.
• 차원 성장이 없고 단순성 조건이 만족될 경우, 이러한 대수의 K₀가 стрict 순서에서 비퍼포레이션임을 보여주기 위해.
• 이러한 대수에 대해 블랙더의 두 번째 기본 비교 질문의 K-이론적 판본을 검증하기 위해.
• 이 결과들을 적용하여, 유한 차원 컴팩트 메트릭 공간 위의 최소 호메오모르피즘에서 유도된 교차곱 C*-대수의 이전에 알려지지 않은 K-이론적 불변량을 계산하기 위해.

제안 방법

• 재귀적 부분호모제너러스 대수의 구조와 그 K-이론적 불변량을 분석하기 위해 직접 극한 기법을 사용함.
• 최소 호메오모르피즘에서 유도된 교차곱의 K-이론을 계산하기 위해 Pimsner-Voiculescu 정확수열을 적용함.
• 트레이스 함수와 호모토피 불변량을 사용하여 자동형사상이 K₀와 K₁에 작용하는 방식을 계산함.
• 위상적 K-이론의 링 구조를 활용하여 자동형사상과의 복합에 의해 유도되는 K₀ 위의 사상 계산함.
• 지수 사상과 로테이션 수를 사용하여 트레이스 값을 K₀ 원소와 연결함으로써, 트레이스 값의 연속성과 정수성을 확보함.
• K₀의 생성자를 교체하여 트레이스 값을 정규화함으로써, 모든 정규화된 트레이스에서 일관성을 확보함.

실험 결과

연구 질문

• RQ1 느린 차원 성장 조건이 만족되는 재귀적 부분호모제너러스 대수의 직접 극한에 대해 프로젝션의 취소 성질이 성립하는가?
• RQ2 차원 성장이 없고 단순한 단위를 가진 재귀적 부분호모제너러스 대수의 직접 극한의 위상적 안정적 랭크가 1인가?
• RQ3 이러한 대수의 K₀가 스트릭트 순서에서 비퍼포레이션을 만족하는가?
• RQ4 블랙더의 두 번째 기본 비교 질문이 이러한 대수의 안정 행렬 대수 내 프로젝션에 대해 성립하는가?
• RQ5 유한 차원 컴팩트 메트릭 공간 위의 최소 호메오모르피즘에서 유도된 교차곱 C*-대수의 K-이론이 이 결과들을 통해 완전히 특징지어질 수 있는가?

주요 결과

• 차원 성장이 없고 단순한 단위를 가진 재귀적 부분호모제너러스 대수의 직접 극한에 대해, 위상적 안정적 랭크는 정확히 1이다.
• 시스템이 엄격한 느린 차원 성장을 만족할 경우, $ M_{ty}(A) $ 내의 프로젝션은 취소 성질을 만족한다.
• 모든 사상이 단사적이고 단위를 가지며, $ A $ 가 단순할 경우, $ K_0(A) $ 는 스트릭트 순서에서 비퍼포레이션된다.
• 이러한 대수에 대해 $ K_0(A) $ 는 블랙더의 두 번째 기본 비교 질문의 K-이론적 판본을 만족한다: 모든 정규화된 트레이스 $ \tau $ 에 대해 $ \tau_*(\eta) > 0 $ 이면, $ \eta = [p] $ 를 만족하는 어떤 프로젝션 $ p \in M_{\infty}(A) $ 가 존재한다.
• 유한 차원 컴팩트 메트릭 공간 $ X $ 와 최소 호메오모르피즘 $ h $ 에 대해 교차곱 $ C^*(\mathbb{Z}, X, h) $ 는 $ K_0 $ 가 비퍼포레이션되며, 비교 조건을 만족한다.
• 교차곱의 K₀ 군은 $ \mathbb{Z}^3 $ 과 동형이며, 양의 원소 집합은 $ \{ (m_1, m_2, m_3) \in \mathbb{Z}^3 : m_1 + m_3\theta > 0 \text{ 또는 } m_1 = m_2 = m_3 = 0 \} $ 으로 주어진다. 여기서 $ \theta $ 는 로테이션 수이다.