[논문 리뷰] Operator algebras and topology

Thomas Schick|ArXiv.org|2002. 09. 13.

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

한 줄 요약

이 논문은 고차원 다양체 위상수학에 있어 연산자 대수 기법—특히 C*-대수와 Baum-Connes 추측—을 강력한 도구로 도입한다. 인덱스 이론, L²-불변량, 그리고 양의 스칼라 곡률과 같은 기하학적 문제 사이의 연결 고리를 확립하며, Baum-Connes 추측이 노비코프 추측과 안정적인 Gromov-Lawson-Rosenberg 추측을 함의한다는 것을 증명한다. 또한 브레인 군과 토퍼션을 가진 군에 대한 Atiyah 추측을 진전시킨다.

ABSTRACT

These notes cover the contents of three survey lectures held at the ICTP Trieste Summer school on High dimensional manifold theory 2001. They introduce techniques coming from the theory of operator algebras. We will focus on the basic definitions and properties, and on their relevance to the geometry and topology of manifolds. An central pillar of work in the theory of C*-algebras is the Baum-Connes conjecture. It implies the Novikov conjecture. In the first talk, the Baum-Connes conjecture will be explained and put into our context. One application of the Baum-Connes conjecture is to the positive scalar curvature question. It implies the so called ``stable Gromov-Lawson-Rosenberg conjecture''. The unstable version of this conjecture said that, given a closed spin manifolds M, a certain obstruction, living in a certain (topological) K-theory group, vanishes if and only M admits a Riemannian metric with positive scalar curvature. It turns out that this is wrong, and counterexamples will be presented in the second talk. The third talk introduces $L^2$-cohomology, $L^2$-Betti numbers and other $L^2$-invariants. These invariants, their basic properties, and the central questions about them are introduced.

연구 동기 및 목표

• 고차원 다각체 이론과 연산자 대수 기법, 특히 C*-대수와 K이론 사이의 다리를 놓는 것.
• Baum-Connes 추측이 위상수학에서 주요 추측들—노비코프 추측과 안정적인 Gromov-Lawson-Rosenberg 추측—을 함의하는 방식을 설명하는 것.
• 특히 근사 기법과 군 완비화를 통해 토퍼션을 가진 군과 브레인 군에 대한 Atiyah 추측의 타당성을 조사하는 것.
• 다양체와 군 작용에 대한 불변량으로서 L²-Betti 수와 L²-코homology를 도입하고 분석하는 것.
• 연산자 대수의 맥락에서 대수적 K이론과 위상수학적 K이론 간의 관계를 명확히 하고 기하학적 응용에 기여하는 것.

제안 방법

• 타원형 연산자와 그 기호를 코타angent 번들의 자료로 정의하기 위해 Atiyah-Singer 인덱스 정리를 기초로 한다.
• 상대 K이론을 적용하여 타원형 연산자의 기호를 $K^0(DT^*M, ST^*M)$의 원소에 대응시켜 분석과 위상수학을 연결한다.
• Baum-Connes 추측을 군의 축소 C*-대수의 K이론과 그 적절한 작용에 대한 동치 K이론 사이의 등급사상으로 도입한다.
• 유한 몫군 $\Gamma/\Gamma_k$를 통한 연산자 핵의 근사 기법을 활용하여 $\dim_\Gamma(\ker A) = \lim_{k\to\infty} \dim_{\Gamma/\Gamma_k}(\ker A_k)$ 를 보인다.
• 완전히 분리된 완비화의 갈로아 코hom로를 활용하여 브레인 군과 그 토퍼션 없는 유한 확장군이 클래스 $\mathcal{D}$에 속함을 증명함으로써, 이러한 군들에 대한 Atiyah 추측을 가능하게 한다.
• L²-불변량 이론, 즉 L²-Betti 수와 L²-인덱스 정리를 적용하여 스펙트럼 성질과 위상수학적 차단 조건을 연구한다.

실험 결과

연구 질문

• RQ1 Baum-Connes 추측은 노비코프 추측과 양의 스칼라 곡률 문제와 어떻게 관련이 있는가?
• RQ2 L²-cohomology와 L²-Betti 수는 다각체와 군 작용의 위상수학적 불변량을 감지하는 데 어떤 역할을 하는가?
• RQ3 어느 정도의 군 클래스에 대해 Atiyah 추측이 성립하는가, 특히 토퍼션을 가진 군에 대해서는 어떻게 되는가?
• RQ4 유한 몫군을 통한 L²-불변량의 근사 기법을 대수적 계수를 초월해 일반화할 수 있는가?
• RQ5 클래스 $\mathcal{D}$는 브레인 군과 그 확장군에 대한 Atiyah 추측과 제로 제수 추측의 맥락에서 어떤 의미를 갖는가?

주요 결과

• Baum-Connes 추측은 노비코프 추측을 함의하며, 비가환 기하학과 고차원 위상수학 사이의 깊은 연결 고리를 제공한다.
• 안정적인 Gromov-Lawson-Rosenberg 추측은 Baum-Connes 추측에 의해 함의되며, 양의 스칼라 곡률 메트릭에 대한 K이론적 장벽을 제공한다.
• 비안정적인 Gromov-Lawson-Rosenberg 추측에 대한 반례가 존재하며, K이론적 장벽의 소멸이 양의 스칼라 곡률을 위한 충분조건이 되지 않음을 보여준다.
• 브레인 군 $B_n$은 클래스 $\mathcal{D}$에 속하며, 이는 Atiyah 추측이 $B_n$에 대해 성립함을 의미한다. 이는 중첩된, 토퍼션 없는 정규부분군이 존재하고 그 교차가 자명하기 때문이다.
• 대수적 계수에 대해 $\dim_\Gamma(\ker A) = \lim_{k\to\infty} \dim_{\Gamma/\Gamma_k}(\ker A_k)$ 근사 결과가 성립하며, 이는 Atiyah 추측의 극한에서의 타당성을 뒷받침한다.
• 토퍼션을 가진 군에 대해 $Fin^{-1}(\Gamma)$ 가 이산적이라면, 환 $D_K\Gamma$ 는 준단순 아르틴 환이 되며, 이는 토퍼션 존재하더라도 Atiyah 추측의 일반화된 형태를 허용한다.