[논문 리뷰] A proof of Morse's theorem about the cancellation of critical points

François Laudenbach|arXiv (Cornell University)|2013. 07. 09.

Advanced Topology and Set Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 닫힌 다변량에서 인덱스 $k$와 $k+1$를 가진 비퇴화 임계점 한 쌍에 대한 모어의 취소 정리에 대한 기하적 증명을 제공한다. 문제를 일차원 모델으로 축소하고 의사-기울기 흐름을 사용하여, 기울기 구조를 유지하면서 임계점을 취소하는 명시적인 함수 변형을 구성한다. 이는 불안정 다변량과 안정 다변량의 교차 조건과 궤도 조건이 만족될 경우 취소가 가능하다는 것을 보여준다.

ABSTRACT

In this note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question becomes easy to answer.

연구 동기 및 목표

• 연속된 인덱스를 가진 임계점에 대한 모어의 취소 정리의 기하적이고 시각적인 증명을 제공한다.
• 왜곡의 지지 영역을 명시하여 모어 함수의 변형을 명시적으로 하기 위해 노력한다.
• 일般적인 취소 문제를 분석이 용이한 1차원 경우로 축소한다.
• 의사기울기의 역할과 취소를 가능하게 하는 전이 조건의 역할을 명확히 한다.
• 밀너와 스메일의 결과를 재확인하고 일반화하며, 더 투명하고 기하적인 구성 방식을 제공한다.

제안 방법

• 인덱스 $k$와 $k+1$를 가진 임계점 사이의 흐름선을 분석하여, 취소 문제를 일차원 모델로 축소한다.
• 리아푸노프 조건과 비퇴화 조건을 만족하는 의사기울기 벡터장 $X$를 사용하여 안정 다변량과 불안정 다변량을 정의한다.
• 점 $p$와 $q$ 사이의 연결 궤도 $\ell$의 튜브형 이웃 $\widetilde{W}$를 구성하며, 이는 다변량 $M$ 안의 곡선 $A$ 위로 피브레이션된다.
• 피브레이션의 각 섹션 $\widetilde{D}_u$ 위에 정의된 함수 $f_u$의 집합을 정의하며, 각각은 인덱스 $k$의 단일 임계점을 가진다.
• 레마 2를 적용하여 $f_u$의 임계값을 부드럽게 감소시키면서 의사기울기의 구조를 유지한다.
• 이 변형을 전체 이웃 $U$로 확장하여 쌍 $(p,q)$를 취소한다. 이때 $t=1/2$를 제외하고는 함수는 항상 모어 함수이지만, 이 시점에서 삼차 특이점이 발생한다.

실험 결과

연구 질문

• RQ1 닫힌 다변량 위의 모어 함수에서 연속된 인덱스를 가진 두 임계점은 어떤 기하적 조건 하에서 취소될 수 있는가?
• RQ2 취소 과정을 다변량 내에서 기하적으로 명시적이고 직접적으로 보여줄 수 있는가?
• RQ3 의사기울기의 구조는 임계점의 취소를 어떻게 가능하게 하는가?
• RQ4 일般적인 취소 문제를 분석이 용이한 1차원 모델로 축소할 수 있는가?
• RQ5 불안정 다변량 $W^u(p) \cap W^s(q)$의 전이성과 궤도 구조는 취소 가능성에 어떤 영향을 미치는가?

주요 결과

• 인덱스 $k$와 $k+1$를 가진 두 임계점의 취소는 그들의 불안정 다변량과 안정 다변량이 단일 궤도에서 전이적으로 교차하고, 정규 수준 집합에 대해 전역적 교차 조건을 만족할 경우 가능하다.
• 모어 함수의 변형은 $W^u(p) \cap \{f \geq f(q) - \varepsilon\}$의 클로저의 이웃 $U$에 국한되어 있으며, 이 영역 외부에서는 변화가 없다.
• $t=1/2$ 시점에서 함수 $f_t$는 삼차 특이점을 형성하며, 이는 취소 과정의 중간 단계이다.
• 최종 함수 $f_1$은 $U$ 내부에 임계점을 가지지 않으며, 이는 쌍 $(p,q)$의 성공적인 취소를 확인한다.
• 증명은 취소가 의사기울기의 구조와 호환되며, 전체 변형 과정 동안 흐름 역학이 유지된다는 것을 보여준다.
• 결과는 밀너와 스메일의 기준을 일반화하며, 취소 과정을 구성적으로 기하학적으로 실현한 것이다.