[논문 리뷰] Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory

Daniel A. Ramras, Romain Tessera외 1명|arXiv (Cornell University)|2011. 11. 30.

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

한 줄 요약

이 논문은 유한 분해 복잡도(FDC)와 유한 CW 분류 공간을 갖는 군에 대해 고차 대수적 K-이론의 적분 노비코프 추측을 증명함으로써 이를 확립한다. K-이론적 조립 사상이 분리 가능 임베딩임을 보이며, 유한 분해 복잡도를 갖는 유계 기하 구조를 가진 메트릭 공간에서 연속적으로 통제된 K-이론에 대한 퇄소 정리(반드시 0이 되는 정리)를 사용하여, 선형 군과 기하학적으로 유한한 군에 대한 이전 결과를 일반화한다.

ABSTRACT

Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of the K-theoretic assembly map, for groups with finite decomposition complexity and finite CW models for their classifying spaces. By work of Guentner, Tessera, and Yu, this includes all (geometrically finite) linear groups.

연구 동기 및 목표

• 유한 분해 복잡도(FDC)와 유한 CW 분류 공간을 갖는 군에 대해 적분 K-이론적 노비코프 추측을 확립하는 것.
• 유한 점근적 차원을 갖는 군에 대한 이전의 노비코프 추측 결과를 더 넓은 FDC 군의 범주로 확장하는 것.
• 유한 분해 복잡도를 갖는 유계 기하 구조를 가진 메트릭 공간에서 연속적으로 통제된 K-이론에 대한 퇴화 결과를 증명하여 주요 단사성 결과를 가능하게 하는 것.
• 유한 분해 복잡도 메트릭 공간에 대해 고차 대수적 K-이론으로의 안정적 보렐 추측과 유계 보렐 추측을 일반화하는 것.
• 칼슨-페더슨의 곱셈 정리에 기반하여, 이전 증명의 결함을 보완하고 L-이론적 유사물에 대해 정확하고 완전한 추론을 제공하는 것.

제안 방법

• 유계 기하 구조와 유한 분해 복잡도를 갖는 메트릭 공간에 대해 연속적으로 통제된 K-이론을 도입하고 활용하는 것.
• 퇴화 정리 증명: $\operatorname*{colim}_{s}K^{c}_{*}(P_{s}X)=0$ for all $*\in\mathbb{Z}$, 여기서 $X$ 는 유계 기하 구조와 FDC를 갖는다.
• Rips 복합체 위의 제어된 범주에 대한 열의 함수적 동형사상과 개별 구성 요소 위의 열의 곱 사이의 관계를 구축하는 것.
• 카르슨의 정리(즉, K-이론이 무한 곱과 가환함)를 적용하여 문제를 개별 구성 요소로 환원하는 것.
• FDC의 귀납적 구조를 이용하여 공간을 제어된 전파를 갖는 조각들로 분해함으로써, 사상에 대한 귀납적 제어를 가능하게 하는 것.
• 제어된 범주 내의 사상과 스케일링 함자 $\eta_{s,s'}$에 의한 이미지 사이의 대응 관계를 확립하여 함자성과 가역성을 보장하는 것.

실험 결과

연구 질문

• RQ1 유한 분해 복잡도와 유한 CW 분류 공간을 갖는 군에 대해 K-이론적 조립 사상이 여전히 분리 가능 단사임이 보장되는가?
• RQ2 유한 분해 복잡도를 갖는 유계 기하 구조를 가진 메트릭 공간에서 연속적으로 통제된 K-이론의 퇴화가 확립될 수 있는가?
• RQ3 제어된 K-이론 프레임워크는 L-이론으로 얼마나 일반화될 수 있으며, 곱셈 가환성에 대해 어떤 가정이 필요한가?
• RQ4 유한 분해 복잡도 메트릭 공간에 대해 $K_*(\mathcal{A})=0$ 이 $*<<0$ 일 때를 가정하지 않고도 고차 대수적 K-이론의 유계 보렐 추측을 확립할 수 있는가?
• RQ5 노비코프 추측의 맥락에서 FDC 조건은 어떻게 유한 점근적 차원 조건을 일반화하는가?

주요 결과

• 유한 분해 복잡도를 갖는 군 $\Gamma$와 유한 CW 복합체인 $B\Gamma$에 대해 모든 $*\in\mathbb{Z}$ 에 대해 K-이론적 조립 사상 $H_*(B\Gamma;\mathbb{K}(R)) \to K_*(R[\Gamma])$ 는 분리 가능 단사임이 입증된다.
• 모든 유계 기하 구조를 갖는 메트릭 공간 $X$ 에 대해 유한 분해 복잡도를 갖는 경우 $\operatorname*{colim}_{s}K^{c}_{*}(P_{s}X)=0$ 이 성립한다.
• 모든 $*<<0$ 에 대해 $K_*(\mathcal{A})=0$ 이라는 가정 하에 칼슨과 페더슨의 곱셈 정리를 활용하여 L-이론적 맥락으로도 결과가 확장된다.
• 이전 버전의 논문에서 제7.9정리의 진술에 오류가 있었음을 보완하였으며, 특히 L-이론적 맥락에서의 오류를 수정하였다.
• 제어된 K-이론 프레임워크는 점근적 차원이 유한한 군에 대한 이전 결과를 FDC 군의 더 넓은 범주로 성공적으로 일반화한다.
• K-이론의 곱셈 가환성에 기반하여 $\prod_r \operatorname*{colim}_{\mathbf{s}} K_*(\mathcal{A}_c(P_{s_r}(\{Z^r_\alpha\}_\alpha))) \cong \operatorname*{colim}_{\mathbf{s}} K_*(\prod_r \mathcal{A}_c(P_{s_r}(\{Z^r_\alpha\}_\alpha)))$ 의 동형사상이 확립된다.