[논문 리뷰] Cohomological approach to asymptotic dimension

Alexander Dranishnikov|ArXiv.org|2006. 08. 09.

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

한 줄 요약

이 논문은 유계 코hom로지와 함께 점점 커지는 차원에 대한 코homological 접근법을 제안하며, 유계 기하학을 갖는 유한한 점점 커지는 차원을 가진 올바른 메트릭 공간에서 표준적인 점점 커지는 차원과 일치하는 점점 커지는 코homological 차원을 정의한다. 주요 기여는 점점 커지는 Morita 추측을 반박하는 반례를 구성한 것으로, $X \times \mathbb{R}$의 점점 커지는 차원이 $X$와 같을 수 있음을 보여주며, 이는 굵은 코homological 차원이 점점 커지는 차원보다 стрictly 작을 수 있음을 보여준다.

ABSTRACT

We introduce the notion of asymptotic cohomology based on the bounded cohomology and define cohomological asymptotic dimension $\as_{\Z} X$ of metric spaces. We show that it agrees with the asymptotic dimension $\as X$ when the later is finite. Then we use this fact to construct an example of a metric space $X$ of bounded geometry with finite asymptotic dimension for which $\as(X imes\R)=\as X$. In particular, it follows for this example that the coarse asymptotic dimension defined by means of Roe's coarse cohomology is strictly less than its asymptotic dimension.

연구 동기 및 목표

• 점점 커지는 차원 이론에서 고전적인 코homological 차원 이론과 유사한 코homological 프레임워크를 개발하는 것.
• 특히 유한 생성된 군에 대해 $\operatorname{asdim}(\Gamma \times \mathbb{Z}) = \operatorname{asdim}\Gamma + 1$인가에 대한 열린 질문을 해결하는 것.
• Roe의 굵은 코homology 이론의 맥락에서 점점 커지는 차원과 굵은 코homological 차원 간의 관계를 명확히 하는 것.
• 유계 기하학을 갖는 올바른 메트릭 공간에서 $\operatorname{asdim}_{\mathbb{Z}}X = \operatorname{asdim}X$가 성립하는 조건을 설정하는 것.
• 유한 차원을 갖는 토크션 없는 유한 생성된 표현 군에 대해 $\operatorname{asdim}\Gamma = cd(\Gamma)$가 성립하는지 탐색하는 것.

제안 방법

• 유계 코hom로지와 $\mathbb{Z}$ 계수를 사용하여 점점 커지는 코homological 차원 $\operatorname{asdim}_{\mathbb{Z}}X$를 정의한다.
• 표준적인 점점 커지는 차원과 일치함을 증명한다. 즉, $\operatorname{asdim}X < \infty$일 때, 유계 기하학을 갖는 올바른 메트릭 공간에서 $\operatorname{asdim}_{\mathbb{Z}}X = \operatorname{asdim}X$가 성립하며, 이는 Alexandroff 정리의 점점 커지는 유사체를 확립한다.
• 단순체계의 직접 극한과 단순체계에서 단순체계로의 경량 사상의 조합을 통해 대규모 프랙탈 유사 공간 $Y$를 구성한다.
• 경량 사상 $\chi_k: M_k \to \Delta^n$과 단순체계 근사법을 사용하여 $n$차원 단순체계 $M_k$의 수열을 구성하고, 이로부터 $Y$를 만든다.
• $Y_k$를 $M_k \to M_{k+1,k} \to \cdots$의 직접 극한으로 정의하고, $\{\phi^1_k: Y \to Y_k\}$ 가 정규 anti-Čech 근사가 되도록 보여준다.
• $\operatorname{asdim}(Y \times \mathbb{R}) = \operatorname{asdim}Y = 2$임을 증명하기 위해 메쉬가 점점 줄어드는 사상의 수열을 구성하고, 단순체계 근사의 성질을 활용한다.

실험 결과

연구 질문

• RQ1 유계 기하학을 갖는 올바른 메트릭 공간에서 유한한 점점 커지는 차원을 가진 모든 공간에 대해 점점 커지는 Morita 정리 $\operatorname{asdim}(X \times \mathbb{R}) = \operatorname{asdim}X + 1$가 성립하는가?
• RQ2 표준적인 점점 커지는 차원과 일치하는 점점 커지는 차원에 대한 코homological 접근법을 개발할 수 있는가?
• RQ3 유계 기하학을 갖는 올바른 메트릭 공간 맥락에서 점점 커지는 Morita 추측에 대한 반례가 존재하는가?
• RQ4 Roe의 굵은 코homology 이론은 Brown의 표현 가능성 조건을 만족하는가, 아니면 점점 커지는 차원을 표현하지 못하는가?
• RQ5 유한 생성된 군에 대해 $\operatorname{asdim}_{\mathbb{Z}}\Gamma = \operatorname{asdim}_{\mathbb{Z}_p}\Gamma$가 성립하는가? 이는 잠재적인 $\operatorname{asdim}\Gamma = cd(\Gamma)$ 공식을 뒷받침할 수 있다.

주요 결과

• 표준적인 점점 커지는 차원 $\operatorname{asdim}X$와 일치하는 점점 커지는 코homological 차원 $\operatorname{asdim}_{\mathbb{Z}}X$가, $\operatorname{asdim}X < \infty$일 때 유계 기하학을 갖는 올바른 메트릭 공간에서 정의되며, 이는 Alexandroff 정리의 점점 커지는 유사체를 확립한다.
• 반례로 $\operatorname{asdim}(Y \times \mathbb{R}) = \operatorname{asdim}Y = 2$임을 구성하여, 점점 커지는 Morita 추측이 일반적으로 유계 기하학을 갖는 올바른 메트릭 공간에서 성립하지 않음을 보여준다.
• Roe의 굵은 코homology를 통해 정의된 굵은 코homological 차원은 구성된 예에서 점점 커지는 차원보다 반드시 작을 수 있음을 보여주며, 이 두 불변량 간의 일치 실패를 입증한다.
• 유한 계수 $F$에 대해, 유계 코hom로지가 표준 코호몰로지와 일치하며, $\operatorname{asdim}_F Y = \operatorname{dim}_F Y$가 성립함을 보여, 점점 커지는 맥락에서 코homological 공식의 잠재적 타당성을 뒷받침한다.
• 직접 극한을 통해 단순체계의 수열로 구성된 공간 $Y$는 Lebesgue 수가 무한으로 향하는 정규 anti-Čech 근사를 갖는다. 이는 그의 대규모 기하학적 구조가 잘 정의되어 있음을 확인한다.
• 만약 단계별로 $s_k$가 경계를 피한다면, $Y$의 경계는 $S^1$과 위상동형이며, 이는 대규모 위상 기하학적 구조가 잘 정의되어 있음을 나타낸다.