[논문 리뷰] Index Theory and the Baum-Connes conjecture

Thomas Schick|arXiv (Cornell University)|2016. 08. 15.

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

한 줄 요약

이 논문은 C*-대수적 K-이론을 통해 다양체 위의 임의의 이론과 Baum-Connes 추측 사이의 깊은 연결고리를 확립한다. 특히, 타원형 연산자의 해석적 지수(analytic index)가 다양체의 코탄젠트 배ndl과 관련된 C*-대수의 K-이론에 자연스럽게 속한다는 것을 보여준다. 주요 기여는 Baum-Connes 추측이 참일 경우 노비코프 추측이 성립하고, 연산자 대수 기법을 통해 고차원 서명의 위상적 불변성을 이해할 수 있는 프레임워크를 제공한다는 점이다.

ABSTRACT

These notes are based on lectures on index theory, topology, and operator algebras at the "School on High Dimensional Manifold Theory" at the ICTP in Trieste, and at the Seminari di Geometria 2002 in Bologna. We describe how techniques coming from the theory of operator algebras, in particular $C^*$-algebras, can be used to study manifolds. Operator algebras are extensively studied in their own right. We will focus on the basic definitions and properties, and on their relevance to the geometry and topology of manifolds. The link between topology and analysis is provided by index theorems. Starting with the classical Atiyah-Singer index theorem, we will explain several index theorems in detail. Our point of view will be in particular, that an index lives in a canonical way in the K-theory of a certain $C^*$-algebra. The geometrical context will determine, which $C^*$-algebra to use. A central pillar of work in the theory of $C^*$-algebras is the Baum-Connes conjecture. Nevertheless, it has important direct applications to the topology of manifolds, it impliese.g. the Novikov conjecture. We will explain the Baum-Connes conjecture and put it into our context. Several people contributed to these notes by reading preliminary parts and suggesting improvements, in particular Marc Johnson, Roman Sauer, Marco Varisco und Guido Mislin. I am very indebted to all of them. This is an elaboration of the first chapter of the author's contribution to the proceedings of the above mentioned "School on High Dimensional Manifold Theory" 2001 at the ICTP in Trieste.

연구 동기 및 목표

• C*-대수와 K-이론이 Atiyah-Singer 지수 정리 및 그 일반화에서 수행하는 역할를 명확히 하기.
• 타원형 연산자의 지수가 다양체와 관련된 C*-대수의 K-이론에 자연스럽게 속하는 원소임을 설명하기.
• Baum-Connes 추측을 연산자 대수적 위상수학의 핵심 기둥으로 제시하고, 노비코프 추측에 대한 영향을 설명하기.
• 실수 C*-대수와 실수 K-이론으로의 프레임워크 확장을 포함하여, 8주기적 Bott 주기성과 실수 Baum-Connes 조립 사상(assembly map)을 다루기.

제안 방법

• 타원형 미분 연산자의 심볼 맵을 사용하여 상대 K-이론 $K^0(DT^*M, ST^*M)$에 속하는 원소를 정의하기.
• 다양체 $M$의 기본 커버 $\tilde{M}$의 축소 C*-대수 $C^*_{\text{r}}\tilde{M}$의 K-이론을 통해 해석적 지수를 구성하기.
• Atiyah-Singer 지수 정리를 사용하여 C*-대수 K-이론의 맥락에서 위상적 지수와 해석적 지수를 연결하기.
• 복소수 C*-대수의 기법을 실수 C*-대수로 확장하여 실수 힐버트 공간과 8주기적 Bott 동형을 활용하기.
• 실수 Baum-Connes 조립 사상 $\mu_n: KO_n^\Gamma(E(\Gamma,\text{fin})) \to KO_n(C^*_{\mathbb{R},r}\Gamma)$의 제작 및 복소수 사례와의 관계를 규명하기.
• K-이론의 장점 정렬과 5-보조정리를 사용하여 복소수와 실수 설정 간의 Baum-Connes 사상의 단사성과 전사성의 관계를 규명하기.

실험 결과

연구 질문

• RQ1 다양체 위의 타원형 연산자의 지수가 자연스럽게 어떤 C*-대수의 K-이론에 포함되는가?
• RQ2 Baum-Connes 추측이 노비코프 추측을 확립하는 데 정확히 어떤 역할을 하는가?
• RQ3 C*-대수 이론과 K-이론이 복소수 계수에서 실수 계수로 확장될 때, Bott 주기성은 어떻게 변화하는가?
• RQ4 실수 Baum-Connes 조립 사상은 등변 KO-호모로지와 실수 K-이론과 어떤 관계를 맺는가?
• RQ5 Baum-Connes 사상의 단사성과 전사성에 관한 기존 결과들이 복소수와 실수 설정 간에 어떻게 이행되는가?

주요 결과

• 타원형 연산자의 해석적 지수는 다양체 $M$의 기본 커버의 축소 C*-대수 $C^*_{\text{r}}\tilde{M}$의 K-이론에 자연스럽게 속하는 원소이다.
• Baum-Connes 추측이 참일 경우 노비코프 추측이 성립하며, 이는 고차원 서명의 호모토피 불변성을 연구하는 강력한 도구를 제공한다.
• 실수 C*-대수의 경우, Bott 주기성이 8주기로, 2주기로는 아니며, 이는 8주기적 K-이론 프레임워크를 이끈다.
• 실수 Baum-Connes 조립 사상 $\mu_n: KO_n^\Gamma(E(\Gamma,\text{fin})) \to KO_n(C^*_{\mathbb{R},r}\Gamma)$가 동형사상임은 복소수 사례가 동형일 때에만 성립한다. 이는 5-보조정리와 증명의 호환성 때문이며.
• 실수 C*-대수의 K-이론 장점 정렬은 8주기적 구조로 인해 24항의 순환 정렬이 된다.
• 타원형 연산자의 심볼 구성은 $K^0(DT^*M, ST^*M)$에 잘 정의된 원소를 제공하며, K-이론을 통해 기하학과 위상수학을 연결한다.