[논문 리뷰] A Characterization of Bi-Lipschitz Embeddable Metric Spaces in Terms of Local Bi-Lipschitz Embeddability

Jeehyeon Seo|arXiv (Cornell University)|2011. 05. 12.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 3

한 줄 요약

이 논문은 유클리드 공간으로의 비라프스치 임베딩을 허용하는 균일하게 완전하고 완비적이며 두배되는 거리공간의 특성에 대해 다루며, 이러한 임베딩이 존재하는 것은 물론이고, 해당 공간이 두배 측도를 지니고 있고, 닫힌 부분집합에 대한 여집합이 일관된 국소적 비라프스치 임베딩을 가진다는 것과 동치임을 보여준다. 핵심 기여는 웨이트니 유형의 분해와 공라프스치 조건 검증을 통해 국소 데이터로부터 전역 임베딩 결과를 도출한 것으로, 그 응용으로 그루신 평면이 처음으로 이러한 임베딩을 갖는 것으로 밝혀졌다.

ABSTRACT

We characterize uniformly perfect, complete, doubling metric spaces which embed bi- Lipschitzly into Euclidean space. Our result applies in particular to spaces of Grushin type equipped with Carnot-Carathéodory distance. Hence we obtain the first example of a sub-Riemannian mani- fold admitting such a bi-Lipschitz embedding. Our techniques involve a passage from local to global information, building on work of Christ and McShane. A new feature of our proof is the verification of the co-Lipschitz condition. This verification splits into a large scale case and a local case. These cases are distinguished by a relative distance map which is associated to a Whitney-type decom- position of an open subset Ω of the space. We prove that if the Whitney cubes embed uniformly bi-Lipschitzly into a fixed Euclidean space, and if the complement of Ω also embeds, then so does the full space.

연구 동기 및 목표

• 유클리드 공간으로의 비라프스치 임베딩을 허용하는 균일하게 완전하고 완비적이며 두배되는 거리공간을 특성화하는 것.
• 웨이트니 유형의 큐브들에 대한 균일한 국소적 임베딩과 공라프스치 조건에 기반한 전역 비라프스치 임베딩 가능성의 충분조건을 설정하는 것.
• 그루신 평면이 유클리드 공간으로 비라프스치로 임베딩 가능한지 여부에 대한 열린 문제를 해결하는 것.
• 크리스트와 매크셰인의 프레임워크를 확장하여, 대규모 및 국소적 케이스의 구분을 통해 공라프스치 조건을 검증하는 것.

제안 방법

• 균일하게 완전하고 두배 측도의 존재에 기반한 거리공간의 열린 부분집합 Ω에 대한 웨이트니 유형의 분해를 활용한다.
• 모든 웨이트니 큐브 Q**에 대해 일관된 상수를 갖는 국소 비라프스치 임베딩을 구성한다.
• 중첩된 큐브를 다루기 위해 색상 맵을 적용하고, 파artition of unity를 통해 전역 임베딩에 대한 균일한 제어를 확보한다.
• 상대적 거리 함수에 기반한 대규모 케이스와 국소 케이스로 나누어 분석함으로써 공라프스치 조건을 검증한다.
• Ω의 여집합과 닫힌 부분집합 Y를 유클리드 공간으로 임베딩한 결과를 조합하여 전역 비라프스치 임베딩을 구성한다.
• 그루신 평면과 수평 분포가 단항식 벡터장으로 정의된 더 일반적인 그루신 유형의 공간에 이 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 균일하게 완전하고 완비적이며 두배되는 거리공간이 유클리드 공간으로 비라프스치로 임베딩 가능한가의 조건은 무엇인가?
• RQ2 카르노-카라테오도리 거리로 장비된 그루신 평면이 유클리드 공간으로 비라프스치로 임베딩 가능한가?
• RQ3 국소에서 전역으로 비라프스치 임베딩으로 넘어갈 때 공라프스치 조건의 역할은 무엇인가?
• RQ4 크리스트 유형의 국소 임베딩을 어떻게 균일하게 제어하여 전역 임베딩을 얻을 수 있는가?
• RQ5 부하위리만다이프 매니폴드에 대해 비라프스치 임베딩 가능성을 보장하는 충분한 기하학적 및 분석적 조건은 무엇인가?

주요 결과

• 균일하게 완전하고 완비적이며 두배되는 거리공간이 유클리드 공간으로 비라프스치로 임베딩 가능할 조건은, 그 공간이 두배 측도를 지니고 있고, 닫힌 부분집합에 대한 여집합이 척도에 독립적인 일관된 국소 비라프스치 상수를 갖는다.
• 카르노-카라테오도리 거리로 장비된 그루신 평면은 어떤 유클리드 공간으로도 비라프스치로 임베딩 가능하며, 이는 이러한 성질을 갖는 서브리만다이프 매니폴드의 첫 번째 예시이다.
• 공라프스치 조건은 웨이트니 분해와 관련된 상대적 거리 함수를 활용하여 대규모 케이스와 국소 케이스로 나누어 검증된다.
• 웨이트니 큐브 Q**에서의 균일한 국소 비라프스치 임베딩은 Ω의 여집합의 임베딩과 결합될 경우 전역 비라프스치 임베딩 가능성을 암시한다.
• 임베딩 차원과 비라프스치 상수는 측도의 두배 상수, 차원 M₁과 M₂, 그리고 국소 비라프스치 상수에 따라 달라진다.
• 이 결과는 수평 분포가 단항식으로 정의된 더 일반적인 그루신 유형의 공간으로 확장되며, 더 넓은 범위의 서브리만다이프 매니폴드가 이러한 임베딩을 갖을 수 있음을 시사한다.