[논문 리뷰] Approximate Homotopy of Homomorphisms from $C(X)$ into a Simple $C^*$-algebra

Huaxin Lin|ArXiv.org|2006. 12. 05.

Advanced Operator Algebra Research참고 문헌 44인용 수 49

한 줄 요약

이 논문은 단위를 가진 $C(X)$에서 단위를 가진 분리 가능하고 단순한 $C^*$-대수 $A$로의 두 단위 호모모르피즘 $C(X) \to A$가 근사적으로 호모토픽이 되기 위한 $K$-이론적 필수 및 필요조건을 확립한다. 이 대수 $A$는 추적 랭크가 0이거나 순수하게 무한한 단순 $C^*$-대수이다. 또한 근사적 호모토피 경로의 길이에 대한 통일된 상한을 제공하며, 이 결과를 근사적으로 곱셈적이고 수축 가능한 완전 양성 선형 사상으로 확장한다. 이는 기본 및 초호모토피 보조정리에 응용된다.

ABSTRACT

Let $X$ be a finite CW complex and let $h_1, h_2: C(X) o A$ be two unital \hm s, where $A$ is a unital C*-algebra. We study the problem when $h_1$ and $h_2$ are approximately homotopic. We present a $K$-theoretical necessary and sufficient condition for them to be approximately homotopic under the assumption that $A$ is a unital separable simple C*-algebra of tracial rank zero, or $A$ is a unital purely infinite simple C*-algebra. When they are approximately homotopic, we also give a bound for the length of the homotopy. Suppose that $h: C(X) o A$ is a monomorphism and $u\in A$ is a unitary (with $[u]=\{0\}$ in $K_1(A)$). We prove that, for any $\ep>0,$ and any compact subset ${\cal F}\subset C(X),$ there exists $\dt>0$ and a finite subset ${\cal G}\subset C(X)$ satisfying the following: if $\|[h(f), u]\|

연구 동기 및 목표

• 단위를 가진 $C^*$-호모모르피즘 두 개가 $C(X)$에서 단순한 $C^*$-대수로 보낼 때, 이들이 근사적으로 호모토픽이 되는 조건을 규명하는 것.
• 근사적 호모토피 경로의 길이에 대한 통일된 상한을 확립하는 것.
• 결과를 근사적으로 곱셈적이고 수축 가능한 완전 양성 선형 사상으로 확장하는 것.
• 호모토피 구성에서 상수 $\delta$와 $\mathcal{G}$의 일반성(일반성)을 조사하는 것.
• 기본 및 초호모토피 보조정리를 AH-대수와 고차원 $X$로 일반화하는 것.

제안 방법

• 추적 랭크가 0이거나 순수하게 무한한 유형의 단순한 $C^*$-대수로의 $C(X)$-호모모르피즘의 근사적 호모토피에 대해 $K$-이론을 필수 및 필요 조건으로 사용하는 것.
• 대수 $A$ 내의 단위원들로 이루어진 연속적이고 직선 경로를 이루는 경로 $\{u_t\}$를 구성하여 $u$에서 $1_A$로 연결하는 것. 이 경로는 모든 $g \in \mathcal{F}$와 $t \in [0,1]$에 대해 $\|[h(g), u_t]\| < \epsilon$을 만족하는 교환자 추정을 만족해야 한다.
• 유한한 부분집합 $\mathcal{G} \subset C(X)$와 임계값 $\delta > 0$을 도입하여, 만약 $\|[h(f), u]\| < \delta$ 이고 Bott 불변량 $\text{Bott}(h,u) = \{0\}$ 이라면, 그 경로가 존재함을 보장하는 것.
• $\dim X \leq 1$ 이거나 $A$가 순수하게 무한한 단순한 경우, $\delta$와 $\mathcal{G}$가 $A$와 $h$에 독립적으로 일반적임을 증명하는 것.
• 추적 랭크가 0인 $C^*$-대수의 구조와 단위원 경로의 분류를 이용하여, 호모토피 길이를 $2\pi + \epsilon$ 이하로 제한하는 것.
• $C(X)$가 AH-대수로 대체되는 경우로 결과를 확장하여, 기본 및 초호모토피 보조정리를 일반화하는 것.

실험 결과

연구 질문

• RQ1 두 개의 단위를 가진 $C^*$-호모모르피즘 $C(X) \to A$가 단순한 $C^*$-대수에서 근사적으로 호모토픽이 되는 조건은 무엇인가?
• RQ2 이러한 호모모르피즘 사이의 근사적 호모토피 경로의 최적 길이는 얼마인가?
• RQ3 만약 $\dim X \leq 1$ 이라면, 호모토피 구성에서 상수 $\delta$와 $\mathcal{G}$를 $A$와 $h$에 독립적으로 선택할 수 있는가?
• RQ4 어떤 조건에서 $\delta$를 $A$나 $h$에 의존하지 않고 측도 분포에만 의존하도록 선택할 수 있는가?
• RQ5 기본 및 초호모토피 보조정리는 어떻게 AH-대수와 고차원 $X$로 일반화할 수 있는가?

주요 결과

• 만약 $A$가 단위를 가진 분리 가능하고 단순한 $C^*$-대수이며 추적 랭크가 0이거나 순수하게 무한한 경우, 두 단위 호모모르피즘 $h_1, h_2: C(X) \to A$가 근사적으로 호모토픽이 되기 위한 $K$-이론적 조건은 필수이자 충분하다.
• 근사적 호모토피 경로의 길이는 $2\pi + \epsilon$ 이하로 제한되며, 이는 호모토피에 대한 정량적 제어를 제공한다.
• $\dim X \leq 1$ 이거나 $A$가 순수하게 무한한 단순한 경우, 상수 $\delta$와 $\mathcal{G}$는 $A$와 $h$에 독립적으로 일반적이며, 이는 기본 호모토피 보조정리를 강화한다.
• $\dim X \geq 2$ 인 경우 $\delta$와 $\mathcal{G}$는 일반적이 될 수 없지만, $\delta$는 $A$나 $h$에 의존하지 않고 측도 분포에만 의존하도록 선택할 수 있으며, 이는 상당한 정밀화이다.
• 결과는 근사적으로 곱셈적이고 수축 가능한 완전 양성 선형 사상으로 확장되어, 더 넓은 범주로의 일반화를 가능하게 한다.
• 기본 호모토피 보조정리는 향상되고 AH-대수로 일반화되었으며, 이러한 설정에서 새로운 형태의 초호모토피 보조정리가 확립되었다.