[논문 리뷰] A Note on the Topology of a Generic Subspace of Riem

Henrique Gomes|ArXiv.org|2009. 09. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 5

한 줄 요약

이 논문은 비자명한 등장이 없는 컴act한 3차원 다양체 위의 리만계량 공간($\mathcal{M}'$)이 스트라타 성분의 축적 조건이 없을 경우(topological condition $\mathcal{C}$)에 대해 수축 가능하다는 것을 증명한다. 무한차원의 톰의 일반성과 에빈-팔라이 슬라이스 정리의 응용을 통해 $\mathcal{M}'$이 전체 계량 공간 $\mathcal{M}$의 자명한 호모토피 군을 물려받음을 보이며, 이는 $\mathcal{M}'/\mathrm{Diff}(M)$의 잘 다뤄지는 몫공간을 갖는다. 따라서 기하역학적 분석에 있어 $\mathcal{M}'$은 접근 가능하고 잘 정의된 환경을 제공한다.

ABSTRACT

For Riem(M) the space of Riemannian metrics over a compact 3-manifold without boundary $M$, we study topological properties of the dense open subspace Riem'(M) of metrics which possess no Killing vectors. Given the stratification of Riem(M), we work under the condition that, in a sense defined in the text, the connected components of each stratum do not accumulate. Given this condition we find that one of the most fundamental results regarding the topology of Riem(M), namely that it has trivial homotopy groups, would still be true for Riem'(M). This would make the topology of Riem'(M) completely understood. Coupled with the fact that for Riem'(M), we have a proper principal fibration with the group of diffeomorphisms, which makes Riem'(M)/Diff(M) a proper manifold (as opposed to Riem(M)/Diff(M)), we would have that the homotopy groups of the quotient are given by the homotopy groups of Diff(M), which reflects the topology of $M$. These results would render the space of metrics with no symmetries subject to the above condition, as an ideal setting for geometrodynamical analysis.

연구 동기 및 목표

• 비자명한 등장이 없는 컴 pact한 3차원 다각형 $M$ 위의 리만계량 공간 $\mathcal{M}'$의 위상적 구조를 이해하는 것.
• 대칭군으로 인한 특이점으로 인해 전체 기하공간 $\mathcal{S} = \mathcal{M}/\mathrm{Diff}(M)$가 다양체가 되지 않는 문제를 다루는 것.
• 전체 계량 공간 $\mathcal{M}$의 수축 가능성이 $\mathcal{M}'$으로 확장될 수 있는 조건을 확립하는 것.
• $\mathcal{M}'$이 $\mathcal{S}' = \mathcal{M}'/\mathrm{Diff}(M)$ 위에 주기저층 구조를 지닌다는 것을 보여, $\mathcal{S}'$가 적절한 무한차원 다양체가 되도록 하는 것.

제안 방법

• $\mathrm{Diff}(M)$의 $\mathcal{M}$ 위 작용에 대해 局부 슬라이스를 구성하기 위해 에빈-팔라이 슬라이스 정리를 사용하여 몫의 국소적 자명성을 확보한다.
• 무한차원 바나흐 공간의 톰의 일반성 정리의 응용을 통해 $\mathcal{M}'$ 내의 $n$-구는 대칭 스트라타로의 일반성에 의해 수축 가능하다는 것을 보인다.
• 조건 $\mathcal{C}$를 도입: 각 스트라타의 연결 성분이 축적되지 않도록 하여, 일반성 조건이 공집합 교차를 암시하게 한다.
• $\mathcal{M}$이 수축 가능하고 $\mathcal{M}'$이 일반적이라는 사실을 활용하여, 조건 $\mathcal{C}$ 하에서 이 성질을 $\mathcal{M}'$으로 확장한다.
• 주기저층 $\mathrm{Diff}(M) \to \mathcal{M}' \to \mathcal{S}'$의 장기 호모토피 수열을 사용하여 $\pi_n(\mathcal{S}')$과 $\pi_{n-1}(\mathrm{Diff}(M))$ 간의 관계를 규명한다.
• 무한차원 분리 가능한 힐버트 다양체의 분류 정리에 의존: 자명한 호모토피 군은 수축 가능성을 암시한다.

실험 결과

연구 질문

• RQ1 스트라타의 위상적 조건이 $\mathcal{M}$에서 $\mathcal{M}'$의 수축 가능성을 보장하는가?
• RQ2 전체 공간 $\mathcal{M}$의 수축 가능성은 비등장이 없는 계량의 일반 부분공간 $\mathcal{M}'$으로 확장될 수 있는가?
• RQ3 주기저층 구조 $\mathrm{Diff}(M) \to \mathcal{M}' \to \mathcal{S}'$는 $\mathcal{S}'$의 호모토피 유형에 어떤 영향을 미치는가?
• RQ4 조건 $\mathcal{C}$ 하에서 $\mathcal{S}'$의 위상은 $\mathrm{Diff}(M)$의 위상에 얼마나 의존하는가?
• RQ5 $\mathcal{M}'$은 잘 다뤄지는 위상과 몫 구조 덕분에 기하역학적 분석에 적합한 환경인가?

주요 결과

• 조건 $\mathcal{C}$ 하에서 $\mathcal{M}'$의 모든 호모토피 군은 자명하므로, $\mathcal{M}'$은 수축 가능하다.
• $\mathcal{S}' = \mathcal{M}'/\mathrm{Diff}(M)$는 $\mathrm{Diff}(M)$의 호모토피 유형을 물려받으며, $\pi_n(\mathcal{S}') \cong \pi_{n-1}(\mathrm{Diff}(M))$이다.
• $\mathcal{M}'$은 잘 정의된 주기저층 구조를 지닌다. 이는 $\mathcal{S}'$가 적절한 무한차원 다양체임을 보여준다.
• $\mathcal{M}'$의 수축 가능성은 조인트 고정화 절차(예: 조화 슬라이싱)에서 그리보프 모호성의 부재를 보장한다.
• 결과적으로 $\mathrm{Diff}(M)$ 자체가 수축 가능할 경우, $\mathcal{M}'$은 $\mathcal{S}' \times \mathrm{Diff}(M)$와 미분동형임을 암시한다.
• $\mathcal{S}'$의 의존성은 $M$의 위상에 의해 $\pi_{n-1}(\mathrm{Diff}(M))$에 의해 표현되며, 이는 호모토피 동치이지만 위상동형이 아닌 3차원 다각형 간의 구별 가능성을 암시한다.