[논문 리뷰] Slow ultrafilters and asymptotic cones of proper metric spaces

Lars Scheele|arXiv (Cornell University)|2010. 10. 08.

Geometric and Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 느린 초수렴을 사용하여 적절한 거리 공간의 점 游근을 구성하며, 임의의 적절한 거리 공간이 다른 적절한 거리 공간의 점 근으로서 나타날 수 있음을 증명한다. 이는 드루차와 사피르가 제기한 질문을 해결하며, 빠르게 증가하는 수열을 통해 얻은 점 근도 느린 초수렴을 통해 동일한 기하학적 구조를 유지하는 비-리프시츠 사상(상수 1에 수렴)을 통해 실현될 수 있음을 보여준다.

ABSTRACT

In this paper I present an elementary construction to prove that any proper metric space can arise as the asymptotic cone of another proper metric space. Furthermore I answer a question of Drutu and Sapir concerning slow ultrafilters.

연구 동기 및 목표

• 임의의 적절한 거리 공간이 다른 적절한 거리 공간의 점 근으로서 실현될 수 있음을 보이기.
• 드루차와 사피르가 제기한, 느린 초수렴을 통해 유도된 점 근이 서로 다른지 여쭤보는 질문에 응답하기.
• 빠르게 증가하는 수열을 사용해 구성된 점 근도 느린 초수렴을 통해 동일하게 실현될 수 있으며, 기하학적 성질이 유지됨을 보여주기.
• 비표준 해석을 피한 초수렴과 초곱을 이용한 점 근의 원시적 구성 제공하기.

제안 방법

• 초수렴과 초곱을 사용해 점 근을 정의하고, Łoś의 정리를 활용해 일阶 논리 전이를 수행한다.
• 박기 집합과 그 여집합을 포함하는 필터를 구성한 후, 조른의 보조정리에 의해 이를 느린 초수렴으로 확장한다.
• 특정 간격에 따라 인덱싱된 수열을 사용해 점 근 사이의 사상 정의로 비-리프시츠 조건 제어를 확보한다.
• 수렴값 1에 수렴하는 상수 $ L_k \to 1 $의 수열을 사용해 사상이 극한에서 등장하는 등장사상임을 보인다.
• 사상 $ \varphi $ 가 잘 정의되어 있으며, 거리가 상수 $ L_k $ 의 요소로 유지됨을 보여주며, 이 상수가 1에 수렴함을 증명한다.
• 집합 $ X_{L,I} $ 와 그 여집합이 빠르게 증가하지 않는다는 성질을 활용해 필터 구성의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 모든 적절한 거리 공간이 다른 적절한 거리 공간의 점 근으로서 실현될 수 있는가?
• RQ2 빠르게 증가하는 수열을 통해 얻은 점 근도 느린 초수렴을 통해 실현될 수 있는가?
• RQ3 점 근 사이에 극한에서 등장사상이 되는 비-리프시츠 사상이 존재하는가?
• RQ4 느린 초수렴만으로 유한 생성 군의 모든 가능한 점 근을 생성할 수 있는가?
• RQ5 점 근의 구성이 빠르게 증가하는 척도 수열에 의존하지 않게 만들 수 있는가?

주요 결과

• 임의의 적절한 거리 공간은 다른 적절한 거리 공간의 점 근으로서 실현 가능하며, 이 구성은 반복적이다.
• 빠르게 증가하는 수열에 의한 공간의 점 근도 느린 초수렴을 통해 실현 가능하다.
• 상수 $ L_k \to 1 $ 인 비-리프시츠 사상 $ \varphi $ 가 점 근 사이에 존재하며, 이는 극한에서 등장사상이 됨을 의미한다.
• 구성은 $ \varphi $ 에 의한 수열의 상이 초수렴 $ \mu' $ 에 대해 잘 정의되어 있으며, 점 근의 구조를 유지한다.
• $ \mathcal{F}_{L_k} $ 는 상승 체인을 이루며, 조른의 보조정리에 의해 초수렴 $ \mu' $ 로 확장 가능하다.
• 결과적으로, 서로 홈오모르픽이 아닌 점 근을 가진 군의 예는 오직 느린 초수렴만으로도 구성 가능하며, 이는 드루차와 사피르의 질문을 해결한다.