[논문 리뷰] On the Assouad dimension and convergence of metric spaces

Yoshito Ishiki|arXiv (Cornell University)|2019. 11. 18.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 4

한 줄 요약

이 논문은 거리공간에서의 탄젠트 및 점점추세 원뿔의 일반화로 가짜 원뿔(pseudo-cones)을 도입하며, 임의의 거리공간의 아소프 차원이 그 가짜 원뿔들의 아소프 차원보다 작을 수 없음을 증명한다. 아소프 차원이 그로모프–하우스도르프 극한과 초극한(limit)에 대해 안정적임을 보이며, 모든 컴팩트 거리공간이 가짜 원뿔로 포함되는 $(\omega_0+1)$-거리공간을 구성함으로써, 이러한 차원 경계의 유사성이 위상적, 하우스도르프, 그리고 동형 하우스도르프 차원에 대해서는 성립하지 않음을 보여준다.

ABSTRACT

We introduce the notion of pseudo-cones of metric spaces as a generalization of both of the tangent cones and the asymptotic cones. We prove that the Assouad dimension of a metric space is bounded from below by that of any pseudo-cone of it. We exhibit a example containing all compact metric spaces as pseudo-cones, and examples containing all proper length spaces as tangent cones or asymptotic cones.

연구 동기 및 목표

• 거리공간 차원을 연구하기 위해 탄젠트 및 점점추세 원뿔의 개념을 가짜 원뿔을 통해 일반화하는 것.
• 가짜 원뿔을 이용해 거리공간의 아소프 차원에 대한 하한을 확립하는 것.
• 그로모프–하우스도르프 수렴과 초극한 구성에 대해 아소프 차원이 유지됨을 보여주는 것.
• 모든 컴팩트 거리공간이 가짜 원뿔로 포함되는 단일 거리공간을 구성하는 것, 그리고 모든 올바른 길이 공간이 탄젠트 또는 점점추세 원뿔로 포함되는 다른 거리공간을 구성하는 것.
• 아소프 차원 경계의 유사성이 위상적, 하우스도르프, 또는 동형 하우스도르프 차원에 대해 성립하지 않음을 보여주는 것.

제안 방법

• 거리공간 $ X $의 스케일링된 부분집합 $ u_i A_i $의 그로모프–하우스도르프 극한으로 가짜 원뿔을 정의하며, $ u_i \in (0,\infty) $이다.
• 거리공간 스케일링에 따른 아소프 차원의 안정성: $ \dim_A(hX) = \dim_A(X) $ for $ h > 0 $를 사용한다.
• 맥케이와 타이슨(2010)의 탄젠트 공간 기법을 응용하여 아소프 차원의 하한을 가짜 원뿔으로 확장한다.
• 통제된 거리와 스케일링 인자 $ a_i $를 갖는 중첩된 집합 $ G_i $를 이용해 수렴 성질이 보장되는 거리공간 $ X $를 구성한다.
• 비주어진 초필터를 통한 초극한을 활용하여 스케일링된 부분집합의 극한 행동을 분석하고, 초극한 가짜 원뿔에 대한 차원 경계를 증명한다.
• 예를 들어 $ \alpha(G_i)/\alpha(G_{i-1}) < 16 $와 같은 조합적 및 기하적 추정치를 활용하여 거리와 수렴 속도를 통제한다.

실험 결과

연구 질문

• RQ1 거리공간에서 탄젠트 및 점점추세 원뿔의 개념을 더 넓은 범주로 포함하는 극한 대상으로 일반화할 수 있는가?
• RQ2 거리공간의 아소프 차원이 그 가짜 원뿔들의 아소프 차원보다 작을 수 있는가?
• RQ3 모든 컴팩트 거리공간이 가짜 원뿔로 포함되는 단일 거리공간을 구성할 수 있는가?
• RQ4 탄젠트 또는 점점추세 원뿔에 기반한 차원 경계가 동형 아소프 차원으로까지 확장되는가?
• RQ5 아소프 차원 경계의 유사성이 위상적, 하우스도르프, 또는 동형 하우스도르프 차원에 대해 성립하는가?

주요 결과

• 임의의 거리공간 $ X $에 대해, 모든 가짜 원뿔 $ P \in \mathrm{PC}(X) $에 대해 $ \dim_A P \leq \dim_A X $를 만족한다.
• 임의의 초극한 $ \lim_{\mathcal{U}}(u_i A_i, a_i) $의 아소프 차원은 $ \dim_A X $ 이하로 bound된다.
• $ (\omega_0+1) $-거리공간 $ X $가 존재하여 $ \mathrm{PC}(X) $가 모든 컴팩트 거리공간을 가짜 원뿔로 포함한다.
• $ (\omega_0+1) $-거리공간 $ X $가 존재하여 모든 올바른 길이 공간이 탄젠트 또는 점점추세 원뿔로 나타난다.
• 모든 $ P \in \mathrm{KPC}(X) $에 대해 동형 아소프 차원이 $ \mathrm{Cdim}_A P \leq \mathrm{Cdim}_A X $를 만족한다.
• 위상적, 하우스도르프, 그리고 동형 하우스도르프 차원은 유사한 하한 경계를 만족하지 않는다: $ \dim_T X < \dim_T P $, $ \dim_H X < \dim_H P $, 및 $ \mathrm{Cdim}_H X < \mathrm{Cdim}_H P $를 만족하는 $ X $와 $ P \in \mathrm{PC}(X) $가 존재한다.