[논문 리뷰] The coarse Baum--Connes conjecture and groupoids II

Jean-Louis Tu|arXiv (Cornell University)|2010. 05. 03.

Advanced Operator Algebra Research참고 문헌 18인용 수 9

한 줄 요약

이 논문은 이전 연구에서 제안한 이산 공간의 경우를 일반화하여, 유계 기하를 가진 비이산, 완비 거리형수공간에 대해 군oids $ G(M) $를 도입함으로써 군집의 거시적 바움–콘스 컨제크쳐를 확장한다. 이는 계수를 가진 바움–콘스 컨제크쳐가 닫힌 부분공간에 대해 유전적임을 증명하며, $ G(M) $에 대해 계수를 가진 바움–콘스 컨제크쳐가 성립하면 그 닫힌 부분공간에 대해서도 동일하게 성립함을 보여, 이전 결과를 일반화하고 거시적 호모토피에 대한 불변성에 대한 프레임워크를 제공한다.

ABSTRACT

Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M) is an isomorphism, is hereditary by taking closed subspaces.

연구 동기 및 목표

• 이산적 거리형수공간을 초월하여, 유계 기하를 가진 비이산, 완비 거리형수공간에 대해 계수를 가진 거시적 바움–콘스 컨제크쳐를 일반화하는 것.
• 이러한 공간과 관련된 군oids $ G(M) $를 정의하여, 이전 연구에서 제안한 이산 경우의 구성으로 일반화하는 것.
• 군oids 제약 조건을 통한 닫힌 부분공간에 대한 거시적 바움–콘스 컨제크쳐의 유전성 증명.
• 군oids에 대해 계수를 가진 바움–콘스 컨제크쳐가 성립할 조건을 규명하고, 그 군oids의 닫힌 부분군oids에 대해서도 동일하게 성립함을 보장하는 조건을 설정하는 것.
• 거시적 호모토피 동치에 대한 불변성에 미치는 영향을 탐색하며, 계수 사상으로의 확장을 위한 제약 조건을 규명하는 것.

제안 방법

• 제한된 부분집합을 사용하여, 완비 거리형수공간 $ M $의 유계 기하를 가진 $ M \times M $의 부분집합을 이용해 군oids $ G(M) $를 구성하고, 이를 스톤–체하프 컴acts이션 $ \beta(M \times M) $에 통합한다.
• 이를 통해 $ G(M) $를 이토릭, 국소적으로 컴acts, $ \sigma $-컴팩트 군oids로 구성하여, 이산 경우를 일반화한다.
• 계수를 가진 거시적 바움–콘스 컨제크쳐를 $ G(M) $에 대해 $ \ell^\infty(M, \mathcal{K}) $를 계수로 사용하는 바움–콘스 어셈블리 맵을 통해 정의한다.
• 만약 군oids $ G $에 대해 계수를 가진 바움–콘스 컨제크쳐가 성립한다면, 일반적인 위상적 조건 하에 그 임의의 닫힌 부분군oids $ H \subset G $에 대해서도 동일하게 성립함을 증명한다.
• 차원에 대한 귀납법과 등변 $ K $-이론에서의 정확한 수열을 이용하여 관련 $ KK $-이론 수열의 정확성을 검증한다.
• 오른쪽 다섯 개의 보조정리(5-lemma)를 적용하여, 절단 함수의 존재와 적절한 군oids 작용 조건을 활용해 계수 사례에서 어셈블리 맵의 동형성을 도출한다.

실험 결과

연구 질문

• RQ1 계수를 가진 거시적 바움–콘스 컨제크쳐는 이산 거리형수공간을 초월하여 일반적인 완비 거리형수공간(유계 기하를 가짐)으로 확장될 수 있는가?
• RQ2 군oids $ G(M) $에 대해 계수를 가진 바움–콘스 컨제크쳐가 성립한다면, 그 닫힌 부분군oids에 대해서도 동일하게 성립하는가?
• RQ3 계수를 가진 바움–콘스 컨제크쳐가 닫힌 부분공간으로의 제약 조건에 대해 유지되기 위한 조건은 무엇인가?
• RQ4 거시적 호모토피 동치에 대해 군oids 구조 $ G(M) $는 어떻게 행동하는가? 그리고 계수 사상으로의 확장을 위한 제약 조건은 무엇인가?
• RQ5 계수를 가진 거시적 바움–콘스 맵이 거시적 동치에 대해 어느 정도 불변성을 가지며, 어떤 장애물이 발생하는가?

주요 결과

• 계수를 가진 거시적 바움–콘스 컨제크쳐가 $ G(M) $에 대해 성립하는 것은 $ G(M) $에 대해 계수를 가진 바움–콘스 컨제크쳐가 성립하는 것과 동치이며, 이는 이산 경우를 비이산 완비 거리형수공간으로 일반화한 것이다.
• 컨제크쳐는 계수를 가진 유전적 성질을 가진다: $ G(M) $에 대해 성립한다면, 모든 닫힌 부분군oids $ H \subset G(M) $에 대해서도 성립한다. 이는 약간의 위상적 조건 하에서 성립한다.
• 증명은 적절한 군oids 작용에 대한 절단 함수의 존재와 등변 $ K $-이론에서 수열의 유지성에 기반한다.
• 모든 유한 부분군 $ F \subset \Gamma $에 대해 $ \underline{E}\Gamma $가 $ F $-균일 수축 가능하다면, 계수를 가진 전체 바움–콘스 어셈블리 맵은 $ UC_b(\underline{E}\Gamma, \mathcal{K}) $에서 동형이다.
• 거시적 호모토피에 대해 자연스럽게 계수 사상으로의 확장을 하지 못하는 것은, 거시적 동치에 대해 $ G(X) \to G(Z) $로의 잘 정의된 군oids 준동형사상이 존재하지 않기 때문이다.
• 군oids $ G(M) $가 이토릭, 국소적으로 컴팩트, $ \sigma $-컴팩트임을 보여, 표준적인 $ K $-이론 도구의 적용 가능성을 보장한다.