[논문 리뷰] On the homotopy type of the space $\mathcal{R}^+(M)$

Vladislav Chernysh|ArXiv.org|2004. 05. 13.

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

한 줄 요약

이 논문은 닫힌 다중체에서 양의 스칼라 곡률 계량의 공간이 코드레인지 ≥3인 부분다중체 근처에서 계량이 고정된 부분공간과 호모토피 동치임을 증명한다. O(k)-대칭 워프드 계량을 사용한 Gromov-Lawson 구성의 매개변수화된 형태를 통해, 저자들은 이러한 고정 계량 부분공간이 약한 변형 재항성임을 보이며, 코드레인지 ≥3에서의 수술이 호모토피 불변성을 유지함을 입증한다.

ABSTRACT

we show that the space of metrics of positive scalar curvature on a manifold is, when nonempty, homotopy equivalent to a space of metrics of positive scalar curvature that restrict to a fixed metric near a given submanifold of codimension greater or equal than 3. Our main tool is a parameterized version of the Gromov-Lawson construction, which was used to show that the existence of a metric of positive scalar curvature on a manifold was invariant under surgeries in codimension greater or equal than 3.

연구 동기 및 목표

• 수술이 코드레인지 ≥3에서 이루어질 때 양의 스칼라 곡률 계량 공간의 호모토피 유형이 어떻게 변화하는지 이해하기.
• 이러한 계량 공간이 코드레인지 ≥3인 부분다중체 근처에서 계량이 고정된 부분공간과 호모토피 동치임을 증명하기.
• 대칭성을 유지하는 매개변수화된 Gromov-Lawson 구성 방식을 확립하여 변형 재항성을 가능하게 하기.
• 코드레인지 ≥3에서의 수술이 양의 스칼라 곡률 공간의 호모토피 유형을 유지함을 보여주기.
• 수술 이론과 호모토피 불변성을 활용하여 양의 스칼라 곡률 계량에 대한 위상수학적 분류 도구를 제공하기.

제안 방법

• 부분다중체의 법선 섬유에서 O(k)-대칭을 유지하는 매개변수화된 Gromov-Lawson 변형 사상 도입.
• 관련된 튜브근처에서의 워프드 곱 계량의 공간 $ W(N,\tau) $ 정의. 이는 Gromov-Lawson 변형에 관해 불변이다.
• 재항성 사상 $ r: \mathcal{R}^+(M) \to \mathcal{R}^+_0(M) $ 구축: $ r \circ i \simeq \mathrm{Id} $ 이고 $ i \circ r \simeq \mathrm{Id} $ 임을 보여, 호모토피 동치성 증명.
• $ \mathcal{R}^+(M) $ 와 $ \mathcal{R}^+_0(M) $ 가 CW複체에 의해 지배되므로, 상대 호모토피 군이 자명함을 보이는 것으로 충분함.
• Gromov-Lawson 구성 적용을 통해 컴act 가족의 계량에 대해 변형이 $ W(N,\tau) $ 내부에 머물고 $ \mathcal{R}^+_0(M) $ 에서 끝남을 보장.
• 고정된 콜라주 근처와 터미네이터 계량의 존재를 활용하여 변형 전반에 걸쳐 양의 스칼라 곡률이 유지됨을 보장.

실험 결과

연구 질문

• RQ1 양의 스칼라 곡률 계량 공간 $ \mathcal{R}^+(M) $ 의 호모토피 유형은 코드레인지 ≥3에서의 수술에 대해 어떻게 행동하는가?
• RQ2 공간 $ \mathcal{R}^+(M) $ 는 코드레인지 ≥3인 부분다중체 근처에서 계량이 고정된 부분공간으로 변형 재항할 수 있는가?
• RQ3 공간 $ \mathcal{R}^+(M) $ 이 비어있지 않은 경우, 포함 사상 $ \mathcal{R}^+_0(M) \to \mathcal{R}^+(M) $ 는 호모토피 동치인가?
• RQ4 Gromov-Lawson 구성은 매개변수화되고 대칭성을 유지하는 형태로 존재하는가? 이는 변형에 대해 불변성을 유지하는가?
• RQ5 양의 스칼라 곡률 공간 $ \mathcal{R}^+(M) $ 의 호모토피 유형은 어느 정도까지 코드레인지 ≥3에서의 수술에 대해 불변인가?

주요 결과

• 공간 $ \mathcal{R}^+(M) $ 가 비어있지 않은 경우 포함 사상 $ i: \mathcal{R}^+_0(M) \to \mathcal{R}^+(M) $ 는 호모토피 동치이다.
• 코드레인지 ≥3인 부분다중체 근처에서 계량이 고정된 공간 $ \mathcal{R}^+_0(M) $ 는 $ \mathcal{R}^+(M) $ 의 약한 변형 재항성이다.
• 매개변수화된 Gromov-Lawson 구성은 O(k)-대칭을 유지하며 변형이 워프드 계량 공간 $ W(N,\tau) $ 내부에 머물도록 보장한다.
• 모든 $ r \geq 1 $ 에 대해 상대 호모토피 군 $ \pi_r(\mathcal{R}^+(M), W(N,\tau)) $ 는 자명하다. 이는 상대 호모토피 클래스가 자명함을 의미한다.
• $ \mathcal{R}^+(M) $ 와 $ \mathcal{R}^+_0(M) $ 의 경로 성분들이 일대일 대응되며, 포함 사상이 성분들 사이에 일대일 대응을 유도함을 확인한다.
• 결과적으로, 코드레인지 ≥3에서의 수술은 양의 스칼라 곡률 공간의 호모토피 유형을 유지한다: $ M_2 $ 가 $ M_1 $ 에서 이러한 수술을 통해 얻어졌을 경우 $ \mathcal{R}^+(M_1) \simeq \mathcal{R}^+(M_2) $ 이다.