그라디언트 벡터장 궤도공간의 위상적 특성

초록

본 논문은 모스 함수에 대한 일반화된 그라디언트 벡터장의 궤도공간을 연구한다. 비하우스도프 성질을 가질 수 있으나, 이러한 궤도공간은 국소적으로 수축가능하고, 관련된 몽타주 사상은 약한 동형동상이며 경로 상승 성질을 만족한다는 것을 증명한다.

상세 분석

논문은 먼저 모스 함수 (f:M\to\mathbb{R})와 그에 대응하는 일반화된 그라디언트 벡터장 (X)를 정의한다. 여기서 일반화된 그라디언트는 전통적인 리만 계량에 의존하지 않고, (df(X)>0)인 모든 비영점에서의 방향성을 보장한다. 저자는 이러한 (X)가 생성하는 흐름 (\varphi_t)의 궤도(즉, 각 점이 흐름에 따라 이동하는 전체 궤적)들을 동치류로 묶어 얻는 궤도공간 (M/X)를 고려한다. 일반적인 경우 (M/X)는 비하우스도프이며, 특히 서로 다른 임계점 사이의 경계가 겹치는 현상이 나타난다. 그러나 저자는 두 가지 핵심 정리를 통해 이 공간이 충분히 제어 가능한 구조를 가진다는 것을 보인다. 첫 번째 정리는 모든 점 (p\in M)에 대해, 그 주변의 작은 열린 이웃 (U)가 존재하여, 그 궤도공간 상의 사상 (\pi:U\to\pi(U))가 동형사상이며 (\pi(U))가 수축가능함을 증명한다. 이는 국소적 계약성(local contractibility)을 의미한다. 두 번째 정리는 전체 몽타주 사상 (\pi:M\to M/X)가 약한 동형동상(weak homotopy equivalence)임을 보인다. 즉, 모든 (n\ge0)에 대해 (\pi_*:\pi_n(M)\to\pi_n(M/X))가 동형이며, 이는 호몰로지와 코호몰로지 수준에서도 동일하게 적용된다. 더불어 (\pi)는 경로 상승(path lifting) 성질을 만족한다. 즉, (M/X)에서 주어진 연속 경로 (\gamma: