[논문 리뷰] An etale approach to the Novikov conjecture

Alexander Dranishnikov, Steven C. Ferry외 1명|ArXiv.org|2005. 09. 27.

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

한 줄 요약

이 논문은 군 $\Gamma$ 가 유한한 점근적 차원을 가지면, $B\Gamma$ 의 Higson 컴actsation이 모든 소수 $p$ 에 대해 mod $p$ 약성임을 증명함으로써 노비코프 추측에 대한 새로운 에탈 방법을 수립한다. 이 약성은 정수 계수의 노비코프 추측이 해당 군들에 대해 성립함을 시사하며, C*-대수적 방법에 대한 위상수학적 대안을 제공하고, 소수 2에서의 장애를 유한 소수 약성으로 해결한다.

ABSTRACT

We show that the rational Novikov conjecture for a group $Γ$ of finite homological type follows from the mod 2 acyclicity of the Higson compactifcation of an E$Γ$. We then show that for groups of finite asymptotic dimension the Higson compactification is mod p acyclic for all p, and deduce the integral Novikov conjecture for these groups.

연구 동기 및 목표

• 이전에 유리수 코homology에서의 약성 부재로 인해 부적절하다고 여겨졌던 Higson 컴actsation 방법을 노비코프 추측에 재활용하기 위해.
• 유리수 코homology에서 Higson 컴actsation이 약성 부재임을 보완하기 위해 유한 소수 계수(mod $p$)를 사용함으로써 이를 극복하기 위해.
• 군의 점근적 차원이 유한할 경우 $B\Gamma$ 의 Higson 컴actsation이 mod $p$ 약성임을 증명함으로써 정수 계수의 노비코프 추측을 확립하기 위해.
• 유한한 점근적 차원을 가진 군들에 대해 Higson 컴actsation이 모든 $p$ 에 대해 mod $p$ 약성임을 보여주어 L-이론에서 정수 계수 결과를 도출할 수 있도록 하기 위해.

제안 방법

• 저자들은 $E\Gamma$ 와 $B\Gamma$ 의 Higson 컴actsation을 사용하며, 이는 유계 연속 함수 공간에서의 변동이 감소하는 함수들의 닫힘으로 정의된다.
• 그들은 이 컴actsation의 경계로 Higson 코로나를 정의하고, 균일 유한 호모로지의 유사성에 기반해 그 코homological 성질을 분석한다.
• 점근적 다면체와 리프시츠 사상 등의 정량적 대수적 위상수학 기법을 적용하여, Eilenberg-MacLane 공간으로의 사상의 기하학적 구조를 제어한다.
• Higson 확장 조건 (*) 를 사용하여 $X$ 에서 Higson 코로나로의 사상을 확장함으로써 컴actsation 위에서의 호모토피 확장을 보장한다.
• 모든 $K(\mathbb{Z}_p, n)$ 로의 사상이 Higson 컴actsation 위에서 영 호모토피임을 보이기 위해 $\epsilon$-근접 근사와 유한한 호모토피 군을 이용한다.
• Lemma 3.2 를 적용하여, 리프시츠 사상 공간의 컴acts성에 기반해 상수 사상으로의 $\lambda$-리프시츠 호모토피를 구성한다.

실험 결과

연구 질문

• RQ1 Higson 컴actsation이 모든 소수 $p$ 에 대해 mod $p$ 약성이라면, 이는 노비코프 추측을 증명하는 데 사용될 수 있는가?
• RQ2 군 $\Gamma$ 가 유한한 점근적 차원을 가진다면, $B\Gamma$ 의 Higson 컴actsation이 모든 $p$ 에 대해 mod $p$ 약성인가?
• RQ3 Higson 컴actsation의 mod $p$ 약성은 L-이론에서 정수 계수의 노비코프 추측을 유도하는 데 사용될 수 있는가?
• RQ4 표준적인 Higson 컴actsation은 왜 유리수 코homology에서 실패하고, 유한 소수 계수는 이를 복구할 수 있는가?
• RQ5 특히 정수 계수 결과를 얻기 위해, C*-대수적 방법에 대한 위상수학적 대안은 존재하는가?

주요 결과

• 군 $\Gamma$ 가 유한한 점근적 차원을 가지며 $B\Gamma$ 가 유한 복합체이면, $B\Gamma$ 의 Higson 컴actsation은 모든 $p$ 에 대해 mod $p$ 약성이다.
• 이러한 군들에 대해 정수 계수의 암시 맵 $H_*(B\Gamma; \mathbf{L}) \to L_*(\mathbb{Z}\Gamma)$ 는 단사적이다.
• E\Gamma 의 Higson 컴actsation의 mod 2 약성은 소수 2에서의 노비코프 추측을 암시한다.
• 메트릭 공간 $X$ 가 유한한 점근적 차원을 가진다면, 모든 $n > 0$ 과 모든 $p$ 에 대해 $\check{H}^n(\bar{X}; \mathbb{Z}_p)$ 는 영이다.
• 이 증명은 $K(\mathbb{Z}_p, n)$ 으로의 사상에 대한 $\epsilon$-근접 근사와 유한한 호모토피 군을 이용해 영 호모토피를 보장함으로써 이루어진다.
• 이 방법은 Baum-Connes 추측에 의존하지 않으며, 유한한 점근적 차원을 가진 군들에 대해 정수 계수의 노비코프 추측을 위한 새로운 위상수학적 경로를 제공한다.