[논문 리뷰] Realizing the analytic surgery group of Higson and Roe geometrically, Part I: The geometric model

Robin J. Deeley, Magnus Goffeng|arXiv (Cornell University)|2013. 08. 27.

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

한 줄 요약

이 논문은 하이슨과 로의 분석적 수술군에 대해 바움-드류클라스 유형 기하 순환을 사용하여 기하 모델을 구축하며, 분석적 경우와 유사한 여섯 항의 정확수열을 수립한다. 주요 기여는 동일한 랭크를 가진 유니터리 표현에 대해 실수로 가는 $\eta$-형 불변량으로부터 기하적 실현을 이룬 것이다.

ABSTRACT

We construct a geometric analog of the analytic surgery group of Higson and Roe for the assembly mapping for free actions of a group with values in a Banach algebra completion of the group algebra. We prove that the geometrically defined group, in analogy with the analytic surgery group, fits into a six term exact sequence with the assembly mapping and also discuss mappings with domain the geometric group. In particular, given two finite dimensional unitary representations of the same rank, we define a map in the spirit of $η$-type invariants from the geometric group (with respect to assembly for the full group $C^*$-algebra) to the real numbers.

연구 동기 및 목표

• 분석적 K-호모로지에 의존하지 않고, 바움-드류클라스 유형의 기하 순환을 사용하여 히슨과 로의 분석적 수술군에 대한 기하적 유사체를 개발하기 위해.
• 오직 기하적 자료만을 사용하여, 특히 $\eta$-형 불변량을 포함한 보조 불변량에 대한 기하적 프레임워크를 제공하기 위해.
• Banach 대수의 K-이론에 값이 있는 어셈블리 맵으로의 일반화를 통해 더 넓은 응용을 가능하게 하기 위해.
• 분석적 경우와 유사한 여섯 항의 정확수열을 기하적 수술군에 대해 수립하기 위해.
• 동일한 랭크를 가진 유니터리 표현에 대해 실수로 가는 $\eta$-불변량의 정신을 따르는 기하적 수술군에서의 사상 정의하기 위해.

제안 방법

• 유한 CW-복합체 $X$로의 사상이 있는 컴팩트한 스피너$^c$ 다양체와 함께, 유한 생성 프로젝티브 $B$-모듈의 스무스 범주를 갖는 기하 순환을 사용하여 기하적 수술군 $K_*^{geo}(X;B)$를 구성하기 위해.
• 직접 합/직접 합, 벡터 번들 수정, 경계를 통한 동치 관계를 정의하여 군의 구조를 형성하기 위해.
• C*-대수의 짧은 정확수열에서 유도된 여섯 항의 정확수열을 사용하기 위해: $0 \to C^*_{\Gamma,\epsilon}(\tilde{X}) \to D^*_{\Gamma,\epsilon}(\tilde{X}) \to D^*_{\Gamma,\epsilon}(\tilde{X})/C^*_{\Gamma,\epsilon}(\tilde{X}) \to 0$.
• $K_*(D^*_{\Gamma,\epsilon}(\tilde{X})/C^*_{\Gamma,\epsilon}(\tilde{X})) \cong K_*(X)$ 와 $K_*(C^*_{\Gamma,\epsilon}(\tilde{X})) \cong K_*(C^*_{\epsilon}(\Gamma))$ 를 식별하여 기하군을 분석적 수술군과 연결하기 위해.
• 스핀$^c$-디라크 연산자와 컷오프 함수 $\chi$를 사용하여 기하적 지표 사상 $\mathrm{ind}^a_{X,B}: K_*^{geo}(X;B) \to KK^{ban}(C_0(X), B)$ 를 정의하기 위해.
• 만일 $KK^{ban}(-,B)$ 가 $C_0(X)$ 에 대해 반정확하다면, 기하적 지표 사상이 동형사상임을 증명하여 기하 모델의 타당성을 입증하기 위해.

실험 결과

연구 질문

• RQ1 히슨과 로의 분석적 수술군이 바움-드류클라스 순환에 기반한 기하 모델로 완전히 실현될 수 있는가?
• RQ2 기하적 수술군은 분석적 경우와 유사한 여섯 항의 정확수열에 포함되는가?
• RQ3 기하적 수술군에서 실수로 가는 $\eta$-형 불변량을 기하적으로 정의할 수 있는가?
• RQ4 기하적 지표 사상이 동형사상이 되는 조건은 무엇이며, 분석적 지표와의 관계는 어떠한가?
• RQ5 기하 모델은 군 대수의 Banach 대수 완비화로 어떻게 일반화되며, 이는 보조 불변량의 새로운 소멸 정리 증명에 어떻게 기여하는가?

주요 결과

• 기하적 수술군 $K_*^{geo}(X;B)$ 는 경계, 직접 합, 벡터 번들 수정에 대해 모odulo된 기하 순환의 아벨 군으로 구성된다.
• 기하적 수술군은 분석적 수술 정확수열과 동형인 여섯 항의 정확수열에 포함되며, 그 끝은 $K_*(X)$ 와 $K_*(C^*_{\epsilon}(\Gamma))$ 로 이루어져 있다.
• 동일한 랭크를 가진 두 유한 차원 유니터리 표현에 대해, 기하적 수술군에서 실수로 가는 사상이 정의되며, 이는 $\eta$-불변량의 개념을 일반화한다.
• 반정확성 조건이 $C_0(X)$ 에 대해 성립할 경우, 기하적 지표 사상 $\mathrm{ind}^a_{X,B}: K_*^{geo}(X;B) \to KK^{ban}(C_0(X), B)$ 는 잘 정의되어 있으며 동형사상이다.
• 이 구성은 군 대수의 Banach 대수 완비화로 일반화되며, 보조 불변량의 소멸 정리 증명에 있어서도 다양한 응용이 가능하게 한다.
• 기하 모델은 분석적 K-호모로지가 필요 없이도 보조 불변량을 순수 기하적 프레임워크로 제공하며, 분석적 수술군의 본질적 구조를 유지한다.