[논문 리뷰] Topology of the spaces of Morse functions on surfaces

Elena Kudryavtseva|arXiv (Cornell University)|2011. 04. 25.

Topological and Geometric Data Analysis인용 수 3

한 줄 요약

이 논문은 닫힘 양측 표면 $ M $ 위의 모어스 함수 공간 $ F $와, 최소한 $ \chi(M)+1 $개의 레이블된 임계점을 가진 경우, $ R \times \widetilde{\mathcal{M}} $로의 호모토피 동치를 확립한다. 여기서 $ R $는 오일러 특성 $ \chi(M) $에 따라 결정되는 다양체이며, 예를 들어 $ \mathbb{R}P^3 $, $ S^1 \times S^1 $, 또는 한 점일 수 있다. $ \widetilde{\mathcal{M}} $는 프레임된 모어스 함수의 보편 모듈리 공간이다. 이 결과는 $ F $의 호모토피적 성질을 $ \widetilde{\mathcal{M}} $의 조합론적 및 계층적 위상수학으로 감소시키며, 그의 베텔리 수에 대한 모어스 유형 부등식을 도출한다.

ABSTRACT

Let $M$ be a smooth closed orientable surface, and let $F$ be the space of Morse functions on $M$ such that at least $χ(M)+1$ critical points of each function of $F$ are labeled by different labels (enumerated). Endow the space $F$ with $C^\infty$-topology. We prove the homotopy equivalence $F\sim R imes{\widetilde{\cal M}}$ where $R$ is one of the manifolds ${\mathbb R}P^3$, $S^1 imes S^1$ and the point in dependence on the sign of $χ(M)$, and ${\widetilde{\cal M}}$ is the universal moduli space of framed Morse functions, which is a smooth stratified manifold. Morse inequalities for the Betti numbers of the space $F$ are obtained.

연구 동기 및 목표

• 닫힘 양측 표면 $ M $ 위의 모어스 함수 공간 $ F $의 호모토피 유형을, 최소한 $ \chi(M)+1 $개의 레이블된 임계점을 가진 경우에 결정하는 것.
• $ F $의 위상적 복잡성을, 프레임된 모어스 함수의 보편 모듈리 공간 $ \widetilde{\mathcal{M}} $의 연구로 감소시키는 것.
• $ \widetilde{\mathcal{M}} $의 계층적 구조를 이용하여 $ F $의 베텔리 수에 대한 모어스 유형 부등식을 도출하는 것.
• $ R $이 $ \chi(M) $의 부호에 따라 의존하는 호모토피 동치 $ F \sim R \times \widetilde{\mathcal{M}} $를 확립하는 것.

제안 방법

• 레이블된 임계점을 가진 모어스 함수 공간 $ F $에 대한 $ C^\infty $-위상의 사용.
• 프레임된 모어스 함수를 통해 보편 모듈리 공간 $ \widetilde{\mathcal{M}} $를 매끄러운 계층적 다양체로 구성하는 것.
• 이전 연구에서 확립된 $ F \sim \mathbb{F} $의 호모토피 동치를 적용하는 것, 여기서 $ \mathbb{F} $는 프레임된 모어스 함수의 공간이다.
• $ \mathbb{F}^1 \approx \mathscr{D}^0 \times \widetilde{\mathcal{M}} $의 위상동형사상 증명, 여기서 $ \mathbb{F}^1 $은 고정된 레이블링을 가진 프레임 함수의 부분공간이다.
• $ \widetilde{\mathcal{M}} $에 자연스러운 계층화와 유도된 이웃 계층화를 적용하여 그 호모로지와 베텔리 수를 분석하는 것.
• $ \widetilde{\mathcal{M}} $의 구조를 통해, 특히 $ M = S^2 $의 경우에 대해 $ F $의 베텔리 수에 대한 모어스 부등식을 유도하는 것.

실험 결과

연구 질문

• RQ1 닫힘 양측 표면 $ M $ 위의 모어스 함수 공간 $ F $의 호모토피 유형은 무엇인가? 이는 최소한 $ \chi(M)+1 $개의 레이블된 임계점을 가진다.
• RQ2 $ F $의 위상은 더 단순한 위상적 불변량으로 어떻게 분해되는가?
• RQ3 $ F $의 베텔리 수에 대한 부등식은 무엇이며, 이는 모듈리 공간 $ \widetilde{\mathcal{M}} $의 구조에서 어떻게 도출되는가?
• RQ4 $ \widetilde{\mathcal{M}} $의 오일러 특성은 $ M $의 위상과 어떻게 관련되어 있는가? 특히 $ M = S^2 $의 경우에 대해.

주요 결과

• 최소한 $ \chi(M)+1 $개의 레이블된 임계점을 가진 닫힘 양측 표면 $ M $ 위의 모어스 함수 공간 $ F $는, $ \chi(M) $의 부호에 따라 $ \mathbb{R}P^3 $, $ S^1 \times S^1 $, 또는 한 점인 $ R $과의 곱공간 $ R \times \widetilde{\mathcal{M}} $로의 호모토피 동치이다.
• 프레임된 모어스 함수의 보편 모듈리 공간 $ \widetilde{\mathcal{M}} $는 매끄러운 계층적 다양체이며, 안장점의 수 $ q $에 대해 차원이 $ 3q $이다.
• $ M = S^2 $의 경우, $ \widetilde{\mathcal{M}} $의 베텔리 수에 대한 모어스 부등식이 도출되었으며, 오일러 특성이 계산되었다.
• 고정된 레이블링을 가진 프레임 함수의 공간 $ \mathbb{F}^1 $은 $ \mathscr{D}^0 \times \widetilde{\mathcal{M}} $와 위상동형이다. 여기서 $ \mathscr{D}^0 $은 미분형식군의 항등성분이다.
• 포함사상 $ F^1 \hookrightarrow F $와 忘却 사상 $ \mathbb{F} \to F $는 모두 호모토피 동치이며, 이는 $ \widetilde{\mathcal{M}} $로의 감소를 정당화한다.
• 이 결과는 $ F $의 완전한 위상적 감소를 $ \widetilde{\mathcal{M}} $의 조합론적 및 계층적 위상수학으로 제공하며, 향후 호모로지 분석을 가능하게 한다.