[논문 리뷰] Controlled KK-theory, and a Milnor exact sequence

Rufus Willett, Guoliang Yu|arXiv (Cornell University)|2020. 11. 22.

Advanced Operator Algebra Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 분리 가능한 C*-대수 A와 B에 대해 제어된 KK이론 군을 도입한다. 이 군은 A의 유한부분집합과 오차 ε 이내로 거의 가환하는 멱등원의 경로성분으로 정의된다. 주요 결과로는 제어된 이론 군과 카스파로프의 KK이론을 연결하는 밀놀의 정확열 시퀀스를 확립하며, 레르담의 KL군이 제어된 KK이론 군의 역극한임을 규명한다. 이는 UCT 및 초핵심 C*-대수의 분류에 응용될 잠재력이 있다.

ABSTRACT

We introduce controlled $KK$-theory groups associated to a pair $(A,B)$ of separable $C^*$-algebras. Roughly, these consist of elements of the usual $K$-theory group $K_0(B)$ that approximately commute with elements of $A$. Our main results show that these groups are related to Kasparov's $KK$-groups by a Milnor exact sequence, in such a way that Rørdam's $KL$-group is identified with an inverse limit of our controlled $KK$-groups. In the case that the $C^*$-algebras involved satisfy the UCT, our Milnor exact sequence agrees with the Milnor sequence associated to a $KK$-filtration in the sense of Schochet, although our results are independent of the UCT. Applications to the UCT will be pursued in subsequent work.

연구 동기 및 목표

• 제어된 연산자 가환성에 대한 제어를 통합하는 새로운 KK이론 프레임워크를 개발하여 C*-대수 이론에서 더 민첩한 계산을 가능하게 한다.
• 표준 KK이론과 연결되는 밀놀 유형의 정확열 시퀀스를 제어된 KK이론 군에 대해 수립하여, UCT에 의존하지 않고도 기존 결과를 일반화한다.
• 레르담의 KL군이 제어된 KK이론 군의 역극한임을 규명함으로써 이 불변량에 대한 새로운 해석을 제공한다.
• 미래의 UCT 및 초핵심 C*-대수의 분류에 응용하기 위해 제어된 K이론 기법을 기반으로 한 기초를 마련한다.
• 유니탈로 흡수하는 표현과 통합 기법을 통해 제어된 KK이론 구성의 표현에 대한 독립성을 확보한다.

제안 방법

• 유한부분집합 $X \subset A$ 와 오차 $\epsilon$ 에 대해, $M_2(M(B\otimes\mathcal{K}))$ 내의 멱등원의 경로성분으로 제어된 KK이론 군 $KK_\epsilon(X,B)$ 를 정의한다.
• 감소하는 오차 파arameter $(\epsilon_n) \to 0$ 과 내재된 유한부분집합의 수열 $(X_n)$ 을 사용하여 역극한 $\varprojlim KK_{\epsilon_n}(X_n,B)$ 와 $\varprojlim^1 KK_{\epsilon_n}(X_n,SB)$ 을 구성한다.
• 밀놀 정확열 시퀀스를 구성한다: $0 \to \varprojlim^1 KK_{\epsilon_n}(X_n,SB) \to KK(A,B) \to \varprojlim KK_{\epsilon_n}(X_n,B) \to 0$.
• 유니탈로 흡수하는 표현을 통해 $KL(A,B)$ 와 제어된 KK이론 군의 역극한 간의 동형을 확립한다.
• 레마 A.15에서 유도된 유니터리 통합 기법을 사용하여 제어된 KK이론 구성의 표현 독립성을 증명한다.
• 공역 등위 공간의 경로연결성과 유니터리 호모토피를 이용하여, 제어된 KK이론 내 특정 클래스가 표준 멱등원과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 카스파로프의 KK이론은 어떻게 연산자 가환성에 대한 제어를 통해 보다 민첩한 계산이 가능하도록 개선될 수 있는가?
• RQ2 밀놀 유형의 정확열 시퀀스를 통해 제어된 KK이론 군과 고전적 KK이론 군 간의 정확한 관계는 무엇인가?
• RQ3 제어된 KK이론 군의 역극한은 레르담의 KL군과 어떻게 관련되어 있으며, 이를 통해 이 불변량에 대한 새로운 특성화가 가능할까?
• RQ4 제어된 KK이론 프레임워크는 특히 유니탈로 흡수하는 표현의 선택에 대해 독립적으로 만들 수 있는가?
• RQ5 밀놀 시퀀스 내의 $\varprojlim^1$-군은 $KK(A,B)$ 내에서 0의 폐쇄와 어떻게 관련되어 있으며, 그 역할은 무엇인가?

주요 결과

• 제어된 KK이론 군 $KK_\epsilon(X,B)$ 는 $X \subset A$ 와 오차 $\epsilon$ 내에서 가환하는 $K_0(B)$ 의 원소들로 구성된 부분군과 동형이다.
• 유니탈 초핵심 $A$ 에 대해, 정확한 시퀀스 $0 \to \varprojlim^1 KK_{\epsilon_n}(X_n,SB) \to KK(A,B) \to \varprojlim KK_{\epsilon_n}(X_n,B) \to 0$ 가 성립하며, 제어된 이론과 표준 이론을 연결한다.
• 레르담의 $KL$-군은 자연스럽게 $\varprojlim KK_{\epsilon_n}(X_n,B)$ 와 동형이 되며, 이는 이 불변량에 대한 새로운 해석을 제공한다.
• 밀놀 시퀀스 내의 $\varprojlim^1$-군은 $KK(A,B)$ 내에서 0의 폐쇄, 즉 $\overline{\{0\}}$ 과 동형이다.
• 레마 A.15의 유니터리 통합 기법을 통해 제어된 KK이론 구성이 유니탈로 흡수하는 표현의 선택에 관계없이 독립적임을 보였다.
• 유니탈 초핵심 $A$ 에 대해, 등식 $KL(A,B) \cong \varprojlim KK_{\epsilon_n}(X_n,B)$ 가 성립하며, 밀놀 시퀀스는 UCT 경우에 쇼케치의 $KK$-필터링과 일치하지만, 결과는 UCT에 의존하지 않는다.