[논문 리뷰] Homomorphisms from AH-algebras

Huaxin Lin|arXiv (Cornell University)|2011. 02. 22.

Advanced Operator Algebra Research참고 문헌 16인용 수 19

한 줄 요약

이 논문은 일반적인 단위항등원을 가진 AH-C*-대수에서 단위항등원을 가진 단순 C*-대수로의 단위항등원을 가진 단사형 사상에 대해 완전한 분류 기준을 수립한다. 이는 두 사상이 KL-이론에서 일치하고, 추적 상태 공간 위에서 연속적인 애핀 함수를 유도하며, K₁에 대해 같은 준동형사를 유도하는 것과 필요충분조건으로 약한 단위유니터리 동치임을 증명한다.

ABSTRACT

Let $C$ be a general unital AH-algebra and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. Suppose that $ϕ, ψ: C o A$ are two unital monomorphisms. We show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if \beq[ϕ]&=&[ψ] { m in} KL(C,A), ϕ_{\sharp}&=&ψ_{\sharp} and ϕ^†&=&ψ^†, \eneq where $ϕ_{\sharp}$ and $ψ_{\sharp}$ are continuous affine maps from tracial state space $T(A)$ of $A$ to faithful tracial state space $T_{ m f}(C)$ of $C$ induced by $ϕ$ and $ψ,$ respectively, and $ϕ^‡$ and $ψ^‡$ are induced homomorphisms from $K_1(C)$ into $\Aff(T(A))/\bar{ρ_A(K_0(A))},$ where $\Aff(T(A))$ is the space of all real affine continuous functions on $T(A)$ and $\bar{ρ_A(K_0(A))}$ is the closure of the image of $K_0(A)$ in the affine space $\Aff(T(A)).$ In particular, the above holds for $C=C(X),$ the algebra of continuous functions on a compact metric space. An approximate version of this is also obtained. We also show that, given a triple of compatible elements $κ\in KL_e(C,A)^{++},$ an affine map $γ: T(C) o T_{ m f}(C)$ and a \hm $\af: K_1(C) o \Aff(T(A))/\bar{ρ_A(K_0(A))},$ there exists a unital monomorphism $ϕ: C o A$ such that $[h]=κ,$ $h_{\sharp}=γ$ and $ϕ^†=\af.$

연구 동기 및 목표

• 일반적인 단위항등원을 가진 AH-C*-대수에서 단위항등원을 가진 단순 C*-대수로의 단위항등원 단사형 사상들을 완전히 분류하는 불변량의 집합을 제공하는 것.
• 이전의 결과를 공통 C(X) 또는 특수한 AH-대수로 국한된 바를 벗어나, 느린 차원 성장 조건 없이 일반적인 단위항등원을 가진 AH-대수로 확장하는 것.
• 일치하는 데이터가 KL-이론, 추적 상태 사상, K₁ 준동형사상에 대해 주어졌을 때 이를 실현하는 단위항등원 단사형 사상이 존재한다는 실현 정리를 수립하는 것.
• 차원 성장이 없는 국소 AH-대수의 분류에 오랫동안 지속된 기술적 장벽을 극복하기 위해, 공병의 분해 정리를 거의 곱셈형 사상으로 일반화하는 것.
• 단위항등원을 가진 단순 국소 AH-대수에서 느린 차원 성장을 만족할 경우 에lliott 불변량에 의해 분류 가능하다는 것을 증명하기 위한 기초를 마련하는 것.

제안 방법

• AH-대수의 귀납적 극한 구조 $C = \lim_{\to} (B_n, \psi_n)$ 를 사용하며, 여기서 각 $B_n$ 은 유한 CW 복합체 위의 행렬 대수의 고유 부분대수이다.
• 각 유한 단계 $C_n \subset C$ 에서의 단위항등원 단사형 사상 $\varphi_n: C_n \to A$ 를 구성하며, $\kappa_n = \kappa \circ [\imath_{n,\infty}]$, $\gamma_n = \gamma \circ (\imath_{n,\infty})_\sharp$, 및 $\alpha_n = \alpha \circ \imath_{n,\infty}^\ddagger$ 의 호환성에 기반한다.
• 편미분 결과(보조정리 6.10)를 적용하여, $\mathrm{Ad}\,u_n \circ \varphi_n$ 가 증가하는 유한 집합 $\mathcal{F}_n$ 에서 균일하게 가까워지도록 하는 유니터리 $u_n$ 을 생성한다.
• 한계 준동형사상 $h(f) = \lim_{n\to\infty} \mathrm{Ad}\,u_n \circ \varphi_{n+1} \circ \imath_n(f)$ 를 정의하여, $h$ 가 원하는 불변량을 가진 단위항등원 단사형 사상임을 보장한다.
• $\kappa$, $\gamma$, 및 $\alpha$ 의 호환성 조건을 이용하여 귀납적 극한 전체에서 일致성을 확보하고, 결과적으로 $h$ 가 $[h] = \kappa$, $h_\sharp = \gamma$, 및 $h^{\ddagger} = \alpha$ 를 만족함을 검증한다.
• $\mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ 와 $T(A)$ 에서 $T_f(C)$ 로의 연속적인 애핀 함수들을 이용하여 추적 및 K-이론 데이터를 제어한다.

실험 결과

연구 질문

• RQ1 두 단위항등원 단사형 사상 $\varphi, \psi: C \to A$ 가 단위항등원을 가진 단순 C*-대수 $A$ 로에서, $TR(A) \leq 1$ 를 만족할 때, 언제 약한 단위유니터리 동치가 되는가?
• RQ2 이러한 사상들을 분류하는 데 필요한 KL-이론 이외의 완전한 불변량 집합은 무엇인가?
• RQ3 KL(C,A)^{++}, 추적 상태 사상, K₁ 준동형사상에 주어진 일치하는 데이터를 실현하는 단위항등원 단사형 사상이 존재하는가?
• RQ4 공병의 분해 정리를 거의 곱셈형 사상으로 확장하여, 차원 성장이 없는 국소 AH-대수의 분류를 가능하게 할 수 있는가?
• RQ5 추적 상태 사상과 K₁ 자료는 C*-대수 준동형사상의 분류에서 KL-이론을 얼마나 정교하게 개선하는가?

주요 결과

• 두 단위항등원 단사형 사상 $\varphi, \psi: C \to A$ 는 $KL(C,A)$ 에서 $[\varphi] = [\psi]$ 이며, $\varphi_\sharp = \psi_\sharp$ 이고, $\varphi_\rho = \psi_\rho$ 일 때 약한 단위유니터리 동치이다. 여기서 $\varphi_\sharp$ 는 $T(A)$ 에서 $T_f(C)$ 로의 사상이며, $\varphi_\rho$ 는 $K_1(C)$ 에서 $\mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ 로의 사상이다.
• 결과는 이전 연구에서 제한된 공통 C(X) 또는 느린 차원 성장 조건을 만족하는 경우에만 성립했던 바를 초월하여, 모든 단위항등원을 가진 AH-대수에 대해 성립함을 보여, 이전 연구에서 제기된 핵심 기술적 제약을 제거한다.
• 실현 정리가 증명된다: 주어진 $\kappa \in KL_e(C,A)^{++}$, 애핀 함수 $\gamma: T(A) \to T_f(C)$, 및 준동형사상 $\alpha: K_1(C) \to \mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ 가 호환될 경우, $[h] = \kappa$, $h_\sharp = \gamma$, 및 $h^{\ddagger} = \alpha$ 를 만족하는 단위항등원 단사형 사상 $h: C \to A$ 가 존재한다.
• 유니터리 코어전을 통한 귀납적 극한 접근 방식을 사용하여, 밀도집합에서 균일 수렴을 보장함으로써 잘 정의된 한계 준동형사상을 얻는다.
• 핵심적인 기술적 진전은 공병의 분해 정리를 거의 곱셈형 사상으로 일반화한 것으로, 단위항등원을 가진 단순 국소 AH-대수에서 차원 성장이 없을 경우의 분류를 가능하게 한다.
• 이 결과들은 단위항등원을 가진 단순 국소 AH-대수에서 느린 차원 성장을 만족할 경우 에lliott 불변량에 의해 분류 가능하다는 것을 증명하기 위한 기초 단계를 제공한다.