[논문 리뷰] The Morse Complex for a Morse Function on a Manifold with Corners

David G. C. Handron|ArXiv.org|2004. 06. 23.

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

한 줄 요약

이 논문은 경계가 있는 고정점이 있는 컴팩트하고 옹태적인 다양체에 고전적 모스 이론을 확장하기 위해 수정된 기울기 흐름을 사용하여 모스 복합체를 구성한다. 결과적으로 경계 사상이 임의의 임계점 간의 기울기 궤적의 부호화된 수로 정의된 대수적 복합체가 기하학적 복합체와 동형임을 증명함으로써, 모스 지수로 색인화된 세포를 가진 CW-복합체와 다양체 사이의 호모토피 동치성을 확립한다.

ABSTRACT

A Morse function f on a manifold with corners M allows the characterization of the Morse data for a critical point by the Morse index. In fact, a modified gradient flow allows a proof of the Morse theorems in a manner similar to that of classical Morse theory. It follows that M is homotopy equivalent to a CW-complex with one cell of dimension λfor each essential critical point of index λ. The goal of this article is to determine the boundary maps of this CW-complex, in the case where M is compact and orientable. First, the boundary maps are defined in terms of the modified gradient flow. Then a transversality condition is imposed which insures that the attaching map is non-degenerate in a neighborhood of each critical point. The degree of this map is then interpreted as a sum of trajectories connecting two critical points each counted with a multiplicity determined by a choice of orientations on the tangent spaces of the unstable manifold at each critical point.

연구 동기 및 목표

• 고전적 모스 이론을 임계점이 여전히 단일 모스 지수로 분류되는 경계가 있는 다양체로 일반화하기.
• 비특이성을 보장하기 위해 횡단 조건을 만족시키는 수정된 기울기 흐름의 궤적을 사용하여 모스 복합체의 경계 사상을 정의하기.
• 접속 맵의 차수를 불변 다발의 방향성 선택에 의해 결정되는 부호화된 궤적의 합으로 해석하기.
• 임계점과 연결 궤적의 부호화된 수로 구성된 대수적 복합체가 다양체의 CW-구조에서 유도된 기하학적 복합체와 동형임을 증명하기.
• 모스 복합체의 호몰로지가 다양체의 특별한 호몰로지와 일치함을 증명하여 고전적 모스이론 결과를 경계가 있는 다양체의 맥락으로 확장하기.

제안 방법

• 경계와 모서리의 구조를 다루기 위해 수정된 기울기 흐름을 도입하여 임계점 근처에서 궤적이 잘 행동하도록 보장한다.
• 각 임계점 근처에서 세포의 접속 맵이 비특이적이 되도록 수정된 기울기 흐름에 횡단 조건을 적용한다.
• 경계 사상 ∂k는 k-세포의 경계에서 (k−1)-스켈레톤으로의 접속 맵의 차수로 정의되며, 정상치의 역상 수로 계산된다.
• 접속 맵의 차수는 인덱스 k와 k−1인 임계점 간의 궤적을 통해 합산되며, 각 궤적이 방향성의 호환성에 따라 ±1의 기여를 한다.
• Vj는 인덱스 j를 가진 임계점 위의 자유 아벨 군으로 구성된 대수적 복합체이며, 경계 사상은 연결 궤적의 부호화된 수로 정의된다.
• 기하학적 복합체와 대수적 복합체 사이의 동형사상 h는 경계 사상이 ∂k = h_{k−1}^{-1} ∘ ∂′k ∘ hk 를 만족함을 보여주어 체인 동형성을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 기울기 흐름의 가정이 붕괴되는 경계가 있는 다양체에서 모스 이론을 어떻게 확장할 수 있는가?
• RQ2 수정된 기울기 흐름을 구성하여 경계가 있는 다양체 위에 잘 정의된 CW-구조를 유도할 수 있는가?
• RQ3 경계가 있는 다양체에 대한 모스 복합체에서 경계 사상의 정의는 무엇이며, 어떻게 계산할 수 있는가?
• RQ4 비특이 다발의 방향성이 경계 사상에서 궤적 기여의 부호에 어떻게 영향을 미치는가?
• RQ5 결과적으로 얻어진 대수적 모스 복합체는 다양체의 분할 구조에서 유도된 기하학적 복합체와 동형인가?

주요 결과

• 콤팩트하고 옹태적인 경계가 있는 다양체 위의 모스 함수에 대해 모스 복합체는 다양체의 특별한 호몰로지와 동형이며, 고전 결과를 일반화한다.
• 대수적 복합체의 경계 사상은 인접한 지수를 가진 임계점 간의 궤적의 부호화된 합으로 정의되며, 부호는 방향성 호환성에 의해 결정된다.
• 각 세포의 접속 맵의 차수는 해당 임계점 간의 궤적 기여의 부호의 합으로 계산되며, 이는 기하학적 복합체와 일관성을 유지한다.
• 횡단 조건은 각 임계점 근처에서 접속 맵이 비특이적이 되게 하여 잘 정의된 차수 계산을 가능하게 한다.
• 기하학적 복합체와 대수적 복합체 사이의 동형성은 경계 구조를 유지하는 체인 사상 h를 통해 확립되며, 이는 대수적 복합체가 정확한 호몰로지를 계산함을 증명한다.
• 일반적으로 임계점의 내림 집합이 디스크와 호메오멀피하지 않더라도, 이 구성은 여전히 타당한 CW-구조와 다양체와의 호모토피 동치를 유도한다.