[논문 리뷰] Dynamical complexity and controlled operator K-theory

Erik Guentner, Rufus Willett외 1명|arXiv (Cornell University)|2016. 09. 07.

Advanced Operator Algebra Research참고 문헌 30인용 수 11

한 줄 요약

이 논문은 위상적 동역계 시스템에 대한 새로운 성질인 유한 동역계 복잡도를 도입하여, 제어된 K-이론 기법을 통해 교차곱셉 C*-대수의 K-이론을 계산할 수 있도록 한다. 이는 유한 동역계 복잡도를 갖는 작용에 대해 Baum-Connes 추측을 스스로 완전히 증명하는 데에 사용되며, 안정성 구조와 호모토피 불변성을 이용해 장애물 대수의 K-이론이 0이 됨을 보여준다.

ABSTRACT

In this paper, we introduce a property of topological dynamical systems that we call finite dynamical complexity. For systems with this property, one can in principle compute the $K$-theory of the associated crossed product $C^*$-algebra by splitting it up into simpler pieces and using the methods of controlled $K$-theory. The main part of the paper illustrates this idea by giving a new proof of the Baum-Connes conjecture for actions with finite dynamical complexity. We have tried to keep the paper as self-contained as possible: we hope the main part will be accessible to someone with the equivalent of a first course in operator $K$-theory. In particular, we do not assume prior knowledge of controlled $K$-theory, and use a new and concrete model for the Baum-Connes conjecture with coefficients that requires no bivariant $K$-theory to set up.

연구 동기 및 목표

• 제어된 연산자 K-이론 기법을 사용하여 군 작용과 관련된 C*-대수의 K-이론을 계산하기 위한 새로운 프레임워크를 개발한다.
• 가산离산군이 컴acts Hausdorff 공간 위에 작용하는 데 대해 유한 동역계 복잡도의 개념을 정의하고 체계화한다.
• 비단순성과 아벨성 조건이 없는 작용에 대해, 이론적 bivariant K-이론에 의존하지 않고도 유한 동역계 복잡도를 갖는 작용에 대한 Baum-Connes 추측을 스스로 완전히 증명한다.
• Baum-Connes 조립 맵에 나타나는 장애물 대수의 K-이론이 유한 동역계 복잡도 조건 하에서 자명함을 보인다.
• 전통적인 Mayer-Vietoris 방법이 실패하는 비단순 C*-대수에서 K-이론을 직접 계산할 수 있는 전략을 수립한다.

제안 방법

• 에탈레 군oids를 통한 분해를 통해 유한 동역계 복잡도를 정의하며, 기본적으로 유한인 시스템에서 출발하여 국소적 분해에 대해 닫혀 있음을 보장한다.
• bivariant K-이론을 피하고 제어된 K-이론 기법에 의존하는 새로운, 구체적인 Baum-Connes 조립 맵의 모델을 사용한다.
• 호모토피 불변성과 안정성 구조를 적용하여, 특정 토플리츠 유형 대수의 K-이론이 자명함을 보인다.
• 유니터리와 이동을 통해 $*$-호모모르피즘 $\mu_n$과 $\mu$를 구성하여 K-이론에 대해 동일한 사상이 유도되도록 하며, 이를 통해 상쇄 계산을 가능하게 한다.
• 육항 정확수열과 다섯 개의 보조정리(5-lemma)를 사용하여 문제를 $K_*(T_0B)$의 자명성 증명으로 줄인다. 여기서 안정성 구조를 갖는 $C^*$-대수 $B$에 대해 성립한다.
• 이동 호모토피와 등장사상의 이sovecty를 이용하여 $K_*$ 상의 항등사상이 0임을 보이며, 이는 자명한 K-이론을 의미한다.

실험 결과

연구 질문

• RQ1 제어된 K-이론을 사용하여 비단순이고 비아벨성인 군 작용에 대해 교차곱셉 C*-대수의 K-이론을 계산할 수 있는가?
• RQ2 유한 동역계 복잡도는 $C(X)$에 계수를 갖는 작용에 대해 Baum-Connes 추측을 함의하는가?
• RQ3 안정성 구조와 호모토피 불변성을 이용하여 Baum-Connes 조립 맵의 장애물 대수의 K-이론이 자명함을 보일 수 있는가?
• RQ4 bivariant K-이론이나 Dirac-dual-Dirac 방법을 사용하지 않고도 Baum-Connes 추측을 증명할 수 있는가?
• RQ5 유한 동역계 복잡도는 유한 분해 복잡도 또는 동적 점근적 차원과 같은 다른 동역계 유한성 조건과 어떤 관계가 있는가?

주요 결과

• 유한 동역계 복잡도는 컴acts Hausdorff 공간 위에 작용하는 군에 대한 새로운 불변량으로, 더 단순한 기본적으로 유한인 조각들로 분해 가능하게 한다.
• 유한 동역계 복잡도를 갖는 작용에 대해 장애물 대수 $A(\Gamma\curvearrowright X)$의 K-이론이 0이 되며, 이는 Baum-Connes 추측이 성립함을 의미한다.
• K-이론에 유도된 사상에 대한 상쇄 계산을 통해, 안정성 구조를 갖는 임의의 $C^*$-대수 $B$에 대해 $K_*(T_0B) = 0$임을 증명한다.
• 유니터리와 이동을 통해 유도된 사상 $\mu: T_0B \to T_0B$는 $\mu_* = \text{id} + \mu_*$를 만족하며, 이는 $\text{id}_* = 0$임을 강제로 이끌어내며, 결과적으로 자명한 K-이론을 유도한다.
• 유사한 이유로 안정성 구조와 이동 호모모르피즘을 사용하여 대수 $D_L^*$의 K-이론이 자명하다.
• 다이어그램 (B.7)의 상단 수직 사상들은 K-이론에 대해 동형사를 유도하며, $D_L^*/C_L^* \to TD^*/TC^*$ 사상은 $C^*$-대수의 동형사상이다.