[논문 리뷰] A Hurewicz-type theorem for asymptotic dimension and applications to geometric group theory

G. Bell, Alexander Dranishnikov|ArXiv.org|2004. 07. 25.

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

한 줄 요약

이 논문은 기하군론에서 비슷한 치수에 대한 점점 더 큰 푸르비치 유형 정리를 수립하며, 지오데식 거리공간에서 다른 거리공간으로의 리프시츠 함수 $ f: X \to Y $ 가 존재하고, 그 섬유들이 균일하게 유한한 점점 더 큰 치수를 가질 경우, 도메인의 점점 더 큰 치수는 공역의 점점 더 큰 치수에 섬유 치수를 더한 것보다 작거나 같음을 증명한다. 주요 기여는 군의 확장에 대한 점점 더 큰 치수에 대한 일반적인 확장 정리로, 이는 노르멘트와 폴리사이클릭 군에 대해 그 히르슈 길이를 통해 날카로운 상한을 제공한다.

ABSTRACT

We prove an asymptotic analog of the classical Hurewicz theorem on mappings which lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As applications we find upper bound estimates for the asymptotic dimension of nilpoltent and polycyclic groups in terms of their Hirsch length. We are also able to improve the known upper bounds on the asymptotic dimension of fundamental groups of complexes of groups, amalgamated free products and the hyperbolization of metric spaces possessing the Higson property.

연구 동기 및 목표

• 점점 더 큰 치수에 대한 고전적인 치수 내림 맵에 대한 푸르비치 정리의 점점 더 큰 유사체를 수립하기 위해.
• 유한 생성 군에 대해 점점 더 큰 치수의 군 확장에 대한 일반적인 확장 정리를 개발하여 기존의 상한을 향상시키기 위해.
• 이 정리를 이용하여 노르멘트, 폴리사이클릭, 그리고 병합 자유곱 군의 점점 더 큰 치수를 계산하거나 상한을 구하기 위해.
• 히그슨 성질을 가진 초구형 거리공간과 군의 복합체로 결과를 확장하기 위해.
• 히르슈 길이와 같은 대수적 불변량을 통해 점점 더 큰 치수에 대한 날카로운 상한을 제공하기 위해.

제안 방법

• 점점 더 큰 푸르비치 정리 증명: 리프시츠 함수 $ f: X \to Y $ 가 존재하고, 모든 $ y $ 에 대해 $ \operatorname{asdim} f^{-1}(B_R(y)) \leq n $ 이면, $ \operatorname{asdim}X \leq \operatorname{asdim}Y + n $ 를 증명한다.
• 이 정리를 이용해 확장 정리 유도: $ \phi: G \to H $ 가 전사이고, 근 $ K $ 를 가질 경우, $ \operatorname{asdim}G \leq \operatorname{asdim}H + \operatorname{asdim}K $ 를 유도한다.
• 폴리사이클릭 군의 중심 시리즈를 이용해 이 정리를 반복 적용하여, $ \operatorname{asdim}\mathbb{Z} = 1 $ 과 $ \operatorname{asdim}\mathbb{R}^n = n $ 을 사용한다.
• 등변 거리계수와 유클리드 공간으로의 거칠게 동형 사상(코arse isomorphism)을 이용해 노르만트 리 군에 대해 일반화한다.
• 프로젝션 $ \pi: \mathcal{H}(X) \to \mathbb{R} $, $ \pi(B_t(x)) = \ln t $ 에 푸르비치 정리를 적용하여, $ X $ 가 히그슨 성질을 가질 경우 $ \operatorname{asdim}\mathcal{H}(X) = \operatorname{asdim}X + 1 $ 이 성립함을 보인다.
• 히그슨 성질을 이용해 균일하게 유계이고, 다중도가 유계이며, 메쉬가 제어된 커버의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 거칠은 기하학적 설정에서 점점 더 큰 치수에 대한 푸르비치 유형 정리를 수립할 수 있는가?
• RQ2 섬유 치수와 공역 치수를 사용하여 군의 확장에 대한 점점 더 큰 치수에 대해 어떤 상한을 확립할 수 있는가?
• RQ3 자기합성 자유곱의 점점 더 큰 치수는 요소들의 점점 더 큰 치수와 합성 부분군의 점점 더 큰 치수와 어떻게 관련이 있는가?
• RQ4 히그슨 성질을 가진 초구형 거리공간의 점점 더 큰 치수는 무엇인가?
• RQ5 노르멘트 및 폴리사이클릭 군의 점점 더 큰 치수는 그 히르슈 길이로 정확하게 상한을 제시할 수 있는가?

주요 결과

• 점점 더 큰 푸르비치 정리가 성립한다: 지오데식 거리공간 사이의 리프시츠 함수 $ f: X \to Y $ 가 존재하고, 모든 $ y $ 에 대해 $ \operatorname{asdim} f^{-1}(B_R(y)) \leq n $ 이면, $ \operatorname{asdim}X \leq \operatorname{asdim}Y + n $ 이다.
• 전사 군 준동형사상 $ \phi: G \to H $ 가 존재하고, 근이 $ K $ 라면, 확장 정리는 $ \operatorname{asdim}G \leq \operatorname{asdim}H + \operatorname{asdim}K $ 를 제공한다.
• 유한 생성 폴리사이클릭 군 $ \Gamma $ 에 대해 $ \operatorname{asdim}\Gamma \leq h(\Gamma) $ 이며, 여기서 $ h(\Gamma) $ 는 히르슈 길이다.
• 유한 생성 노르멘트 군 $ \Gamma $ 에 대해 $ \operatorname{asdim}\Gamma \leq h(\Gamma) $ 이며, 단순 연결된 노르멘트 리 군의 경우 등호가 성립한다.
• 히그슨 성질을 가진 거리공간 $ X $ 에 대해 $ \operatorname{asdim}\mathcal{H}(X) = \operatorname{asdim}X + 1 $ 이며, 여기서 $ \mathcal{H}(X) $ 는 특정 거리계수를 가진 $ X $ 의 공집합이다.
• 하이퍼볼릭 공간 $ \mathbb{H}^n $ 의 점점 더 큰 치수는 $ n $ 이며, $ \mathbb{H}^n \cong O(n,1)_+ / O(n) $ 이고, 연결 리 군 $ G $ 와 최대 컴acts부분군 $ K $ 에 대해 $ \operatorname{asdim}(G/K) = \dim(G/K) $ 이다.