[논문 리뷰] A proof of Reidemeister-Singer's theorem by Cerf's methods

François Laudenbach|arXiv (Cornell University)|2012. 02. 06.

Geometric and Algebraic Topology인용 수 6

한 줄 요약

이 논문은 Cerf의 Morse 함수의 일차 파라미터 가중치 이론을 사용하여 Reidemeister-Singer 정리의 새로운 증명을 제시한다. Heegaard 분할을 3차원 다각형 위의 순서가 매겨진 Morse 함수로 변환함으로써, Cerf의 기법—특히 삼각형 꼬리 레미나와 일반 경로 변형—을 적용하여, 임의의 두 Heegaard 분할이 안정화된 후에는 동치가 됨을 보이며, 핸들 슬라이드와 취소는 함수 공간 내의 통제된 경로 변형을 통해 실현된다.

ABSTRACT

Heegaard splittings and Heegaard diagrams of a closed 3-manifold M are translated into the language of Morse functions with Morse-Smale pseudo-gradients defined on M. We make use in a very simple setting of techniques which Jean Cerf developed for solving a famous pseudo-isotopy problem. In passing, we show how to cancel the supernumerary local extrema in a generic path of functions when dim M>2. The main tool that we introduce is an elementary swallow tail lemma which could be useful elsewhere.

연구 동기 및 목표

• Cerf 이론을 사용하여 Reidemeister-Singer 정리의 현대적, 함수 이론적 증명을 제공한다.
• Heegaard 분할과 핸들 슬라이드와 같은 위상적 개념을 Morse 함수와 의사-기울기의 언어로 번역한다.
• 닫힌 3차원 다각형 위의 임의의 두 순서가 매겨진 Morse 함수가 제어된 탄생 및 취소 사건을 포함하는 일반 경로로 연결됨을 보여준다.
• Heegaard 분할의 안정화가 이러한 경로를 따라 인덱스 1과 2의 취소 쌍인 임계점을 추가하는 것으로 해석됨을 확립한다.
• 차원 >2에서 함수의 일반 경로를 단순화하기 위한 핵심 기술 도구로 간단한 삼각형 꼬리 레미나를 도입하고 적용한다.

제안 방법

• 닫힌 3차원 다각형 위의 순서가 매겨진 Morse 함수로 Heegaard 분할을 표현하며, 인덱스 1과 2의 임계값을 분리하는 수준 집합이 분할 표면을 정의한다.
• 두 순서가 매겨진 Morse 함수를 연결하는 일반 경로를 사용하며, 유한한 개수를 제외한 모든 함수가 Morse 함수이면서, 임계점의 변화가 탄생 또는 취소 사건을 통해 발생하도록 보장한다.
• Cerf 이론을 적용하여 경로를 변형함으로써, 모든 비-Morse 점이 삼차형(계수 1의 헤시안)이 되도록 하며, 삼각형 꼬리 특이점은 탄생 및 취소 사건을 표시한다.
• 경로 중간의 수준 집합에 인덱스 1과 2의 취소 쌍을 추가하며, 이는 콜라주 주변을 통해 탄생 실린더의 기초를 통제한다.
• 삼각형 꼬리 레미나를 사용하여 삼각형 꼬리 및 립 특이점을 제거하고, 매번 하나씩 추가 최소값의 수를 줄인다.
• Cerf의 레미나에서 차원 >1에서 탄생 사건의 유일성을 이용하여, 새로운 복잡성 없이 취소를 수행할 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 Cerf의 일차 파라미터 가중치 이론을 사용하여 Reidemeister-Singer 정리를 재증명할 수 있는가?
• RQ2 Heegaard 분할과 핸들 슬라이드는 어떻게 일반 경로를 따라 Morse 함수의 언어로 체계적으로 표현할 수 있는가?
• RQ3 삼각형 꼬리 특이점과 그들의 취소는 차원 >2에서 함수의 일반 경로를 단순화하는 데 어떤 역할을 하는가?
• RQ4 Heegaard 분할의 안정화는 제어된 경로를 따라 인덱스 1과 2의 취소 쌍을 추가하는 것으로 실현될 수 있는가?
• RQ5 Cerf 이론의 일반 경로 변형 기법은 3차원 다각형에 어떻게 적용되어 Morse 이론적 언어로 동치 문제를 해결할 수 있는가?

주요 결과

• 닫힌 3차원 다각형 위의 임의의 두 순서가 매겨진 Morse 함수는 모든 비-Morse 점이 삼차형이며, 탄생 및 취소 사건이 제어된 간격에서 발생하는 일반 경로로 연결된다.
• 이러한 경로의 중간 함수의 수준 집합은 인덱스 1과 2의 임계값을 분리하며, 초기 및 최종 함수로부터 유도된 Heegaard 분할의 공통 안정화를 이룬다.
• 경로를 따라 인덱스 1과 2의 취소 쌍을 추가하는 것은 Heegaard 분할의 안정화에 해당하며, 이러한 쌍은 경로의 제어된 변형을 통해 도입될 수 있다.
• 삼각형 꼬리 레미나를 통해 Cerf 도형 내의 삼각형 꼬리 및 립 특이점을 제거할 수 있으며, 이는 경로를 더 적은 추가 최소값을 가진 것으로 변형할 수 있게 한다.
• 변형 후의 최종 경로는 원래 경로보다 하나 적은 추가 최소값을 가지며, 이는 안정화가 제어된 함수 변형의 연속을 통해 달성될 수 있음을 보여준다.
• 일반적인 경우는 등급화와 재스케일링를 통해 특수한 경우(H)로 감소되며, 이는 초깃값과 최종값의 최소값과 최대값을 매칭시켜 변형 논증의 가정을 충족시킨다.