[논문 리뷰] AF-embedding of the crossed products of AH-algebras by finitely generated abelian groups

Huaxin Lin|ArXiv.org|2007. 06. 15.

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

한 줄 요약

이 논문은 단위를 가진 AH-C*-대수와 유한 생성 아벨 군의 외적곱이 단위를 가진 단순 AF-C*-대수에 통합될 수 있는 필요충분조건을 확립한다: 이러한 통합이 존재하는 것은 군 작용 하에서 C가 충실한 불변 추적 상태를 갖는 것과 정확히 동치이다. 증명은 점진적 응용과 AF-C*-대수로의 단형사상에 대한 점근적 유니터리 동치 및 K-이론 기법에 기반한다.

ABSTRACT

Let $X$ be a compact metric space and let $Λ$ be a $\Z^k$ ($k\ge 1$) action on $X.$ We give a solution to a version of Voiculescu's problem of AF-embedding: The crossed product $C(X) times_Λ\Z^k$ can be embedded into a unital simple AF-algebra if and only if $X$ admits a strictly positive $Λ$-invariant Borel probability measure. Let $C$ be a unital AH-algebra, let $G$ be a finitely generated abelian group and let $Λ: G o Aut(C)$ be a monomorphism. We show that $C times_Λ G$ can be embedded into a unital simple AF-algebra if and only if $C$ admits a faithful $Λ$-invariant tracial state.

연구 동기 및 목표

• 유한 생성 아벨 군에 의한 AH-C*-대수의 외적곱에 대한 보이쿨레스쿠의 AF-통합 문제의 한 형태를 해결하기 위해.
• 외적곱 $ C \rtimes_\Lambda G $ 가 단위를 가진 단순 AF-C*-대수에 통합될 수 있는 정확한 조건을 규명하기 위해.
• 이전의 $ \mathbb{Z} $-작용에 대한 AF-통합 가능성 결과를 고차원 아벨 군 작용으로 일반화하기 위해.
• AF-C*-대수로의 단형사상에 대한 점근적 유니터리 동치에 대한 K-이론적 프레임워크를 구축하여, 점진적 구성 가능성을 보장하기 위해.

제안 방법

• 아벨 군의 질량 $ k $ 에 대한 귀납적 접근을 사용하여, $ C \rtimes_\Lambda \mathbb{Z}^k $ 에서 단위를 가진 단순 AF-C*-대수로의 단형사상을 구축한다.
• 베르그 기법의 변형을 사용하고, 로크린 성질을 결합하여 AF-C*-대수로의 점근적 유니터리 동치 단형사상을 구성한다.
• $ C \rtimes_\alpha \mathbb{Z} $ 에서 단위를 가진 단순 AF-C*-대수로의 단형사상에 대한 점근적 유니터리 동치의 $ K $-이론적 특성화를 적용한다.
• 외적곱에 대한 기본 호모토피 보조정리를 사용하여, $ \mathbb{Z} $-작용에서부터 $ \mathbb{Z}^k $-작용으로의 결과를 순차적 확장으로 확장한다.
• 그린의 정리를 적용하여 $ G = \mathbb{Z}^k \oplus G_0 $ 로 분해하고, 문제를 $ \mathbb{Z}^k $-작용으로 줄이며 컴팩트 연산자와의 텐서곱을 수행한다.
• 단위를 가진 단형사상 $ \varphi_k: C \rtimes_\Lambda \mathbb{Z}^k \to A_k $ 를 단위를 가진 단순 AF-C*-대수 $ A_k $ 로 구성하며, 유일한 추적 상태 $ \tau_k $ 가 모든 생성자 $ \alpha_i $ 에 대해 $ \tau_k \circ \varphi_k = \tau_k \circ \varphi_k \circ \alpha_i $ 를 만족시킨다.

실험 결과

연구 질문

• RQ1 단위를 가진 AH-C*-대수 $ C $ 와 유한 생성 아벨 군 $ G $ 의 외적곱 $ C \rtimes_\Lambda G $ 가 단위를 가진 단순 AF-C*-대수에 통합될 수 있는 조건은 무엇인가?
• RQ2 그러한 통합이 존재하도록 보장하는 작용 $ \Lambda $ 에 대한 정확한 동역학적 조건은 무엇인가?
• RQ3 점근적 유니터리 동치 기법은 어떻게 $ \mathbb{Z} $-작용에서 고차원 아벨 군 작용으로 확장될 수 있는가?
• RQ4 충실한 $ \Lambda $-불변 추적 상태의 존재는 외적곱의 AF-통합 가능성에서 어떤 역할을 하는가?
• RQ5 $ C(X) \rtimes_\Lambda \mathbb{Z}^k $ 의 AF-통합 문제는 $ X $ 에 대한 측도 이론적 조건으로 줄일 수 있는가?

주요 결과

• 외적곱 $ C \rtimes_\Lambda G $ 가 단위를 가진 단순 AF-C*-대수에 통합될 수 있는 것은 $ C $ 가 군 작용 하에서 충실한 불변 추적 상태를 갖는 것과 정확히 동치이다.
• $ C = C(X) $ 인 경우, 외적곱 $ C(X) \rtimes_\Lambda \mathbb{Z}^k $ 가 단위를 가진 단순 AF-C*-대수에 통합될 수 있는 것은 $ X $ 가 엄격한 양의 $ \Lambda $-불변 Borel 확률 측도를 갖는 것과 정확히 동치이다.
• 증명은 단위를 가진 단형사상 $ \varphi_k: C \rtimes_\Lambda \mathbb{Z}^k \to A_k $ 를 단위를 가진 단순 AF-C*-대수 $ A_k $ 로 구성하며, 유일한 추적 상태 $ \tau_k $ 가 모든 $ i $ 에 대해 $ \tau_k \circ \varphi_k = \tau_k \circ \varphi_k \circ \alpha_i $ 를 만족시킨다.
• 귀납적 구성은 AF-C*-대수로의 단형사상에 대한 점근적 유니터리 동치에 대한 $ K $-이론 조건의 존재에 기반하며, $ \mathbb{Z} $-작용의 결과를 일반화한다.
• 브라운과 마투이의 $ \mathbb{Z} $ 및 $ \mathbb{Z}^2 $-작용에 대한 이전 작업을 임의의 유한 생성 아벨 군으로 확장한다.
• 통합은 $ A \otimes \mathcal{K} $ 로의 단형사상의 조합을 통해 달성되며, 여기서 $ A $ 는 단위를 가진 단순 AF-C*-대수이고, 이미지가 $ A \otimes \mathcal{K} $ 에서 전방위적 프로젝션임으로써, 그 자체로도 단위를 가진 단순 AF-C*-대수이다.