[논문 리뷰] Homotopy lifting property of an $e^ε$-Lipschitz and co-Lipschitz map

Shicheng Xu|arXiv (Cornell University)|2012. 11. 26.

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

한 줄 요약

이 논문은 곡률이 아래로 유계인 아르케소프 공간의 맥락에서, 메트릭 공간 간의 $e^\epsilon$-립시츠 및 코-립시츠 사상에 대해 호모토피 올림 성질을 확립한다. 특히, 이러한 사상은 온건한 조건 하에서 투르에비치 올림이 되며, 곰보-하우스도르프 수렴에서의 특이한 극한으로까지 올림 정리의 범위를 확장한다. 이는 호모토플리프의 장점 있는 정렬 시퀀스와 거의 음이 아닌 곡률을 가진 공간의 기본군에 대한 노르멘트성 결과를 가능하게 한다.

ABSTRACT

An $e^ε$-Lipschitz and co-Lipschitz map, as a metric analogue of an $ε$-Riemannian submersion, naturally arises from a sequence of Alexandrov spaces with curvature uniformly bounded below that converges to a space of only weak singularities. In this paper we prove its homotopy lifting property and its homotopy stability in Gromov-Hausdorff topology. Due to an overlook in the previous version, the part for bounding intrinsic distance of fibers will be talked about in the coming papers.

연구 동기 및 목표

• 메트릭 기하학 및 아르케소프 공간의 맥락에서 $e^\epsilon$-립시츠 및 코-립시츠 사상에 대해 호모토피 올림 성질을 확립하는 것.
• 곰보-하우스도르프 수렴 하에서 아르케소프 공간의 붕괴 수열의 특이한 극한으로 올림 정리를 확장하는 것.
• 특히 기본군의 부분군에 대한 노르멘트성 결과를 거의 음이 아닌 곡률을 가진 아르케소프 공간으로 일반화하는 것.
• 유일한 수평 이송이 없는 상황에서도 리만 서브머전의 메트릭 동반체를 유지하는 호모토플리프 제어를 가능하게 하는 메트릭 해석학적 동반체를 제공하는 것.

제안 방법

• 거리 함수의 반복 기울기 변형을 통한 이웃 영역의 수축 $\varphi_p$ 를 사용하여, 유일한 수평 이송을 대체한다.
• 아르케소프 공간 내의 $(n,\delta)$-스트레인저를 통해 국소적인 거의 등거리 변환을 적용하여, 점 근처의 국소 기하를 모델링한다.
• 곡률가 아래로 유계인 아르케소프 공간 수열의 수렴을 분석하기 위해 곰보-하우스도르프 위상 구조를 적용한다.
• 정의에 기반한 $e^\epsilon$-LcL 사상: 모든 $r>0$ 에 대해 $B_{e^{-\epsilon}r}(f(p)) \subseteq f(B_r(p)) \subseteq B_{e^{\epsilon}r}(f(p))$ 를 만족하여, 메트릭 제어를 확보한다.
• 스트레인저-정규 점의 국소적 거의 등거리 구조를 활용하여 전역 올림 문제를 국소적 성질로 환원한다.
• 붕괴 공간 내 기본군의 구조에 관해 페르멜란, 카포비치-페트루닌-트레쉬만의 결과를 응용한다.

실험 결과

연구 질문

• RQ1 메트릭 공간 간의 $e^\epsilon$-립시츠 및 코-립시츠 사상이 호모토피 올림 성질을 만족하는가?
• RQ2 리만 서브머전에서와 같이 유일한 수평 이송이 없는 상황에서 이러한 사상이 올림으로서 기능할 수 있는가?
• RQ3 리만 서브머전에 대한 올림 정리가 아르케소프 공간의 특이한 극한으로까지 어떻게 일반화되는가?
• RQ4 붕괴하는 아르케소프 공간 수열의 곰보-하우스도르프 극한 하에서 어떤 호모토플리프 및 기본군의 구조가 유지되는가?
• RQ5 거의 음이 아닌 곡률을 가진 아르케소프 공간에서 기본군의 노르멘트성이 균일하게 유계가 되는가?

주요 결과

• 유계된 곡률을 가진 $n$-차원 리만 다양체 $B$ 에로 향하는 유한 차원 아르케소프 공간 $X$ 에서의 올바른 $(1.023)$-LcL 사상 $f: X \to B$ 는 투르에비치 올림이다.
• 모든 $n$ 에 대해 $\delta_0(n)$ 이 존재하여, $B$ 가 $n$-차원이고 각 점이 $(n,\delta)$-스트레인된 상태이며 $\delta < \delta_0(n)$ 이면, $f$ 는 투르에비치 올림이다.
• 이러한 사상의 호모토플리프는 호모토플리프 군에서 장점 있는 정렬 시퀀스를 갖으며, $l \geq 1$ 에 대해 $f_*$ 는 $\pi_l(X_i, F_i, x_i) \to \pi_l(X, x)$ 에 대해 동형을 유도한다.
• 호모토플리프의 기본군은 오직 차원 $n$ 에만 의존하는 보편 상수 $C(n)$ 에 의해 유계된 지수를 가진 노르멘트 부분군을 포함한다.
• 결과는 거의 음이 아닌 곡률을 가진 아르케소프 공간으로까지 확장된다: $\operatorname{diam}(M)^2 \cdot \kappa > -\epsilon(n)$ 이면 $\pi_1(M)$ 은 지수 $\leq C(n)$ 인 노르멘트 부분군을 가진다.
• 곡률가 아래로 유계인 아르케소프 공간 수열의 곰보-하우스도르프 극한 조건 하에서도 올림의 구조가 유지되며, 극한이 약한 특이성을 가질 경우에도 성립한다.