[논문 리뷰] Morse-Smale 3-diffeomorphisms with saddles of the same unstable manifold dimension

Evgenii Mikhailovich Osenkov, O. V. Pochinka|arXiv (Cornell University)|2023. 10. 12.

Mathematical Dynamics and FractalsMathematics인용 수 3

한 줄 요약

이 논문은 모든 안정성 다발의 차원이 동일한 모어스-스멀 미분동형사상이 존재하는 임의의 닫힘되고 연결된 3차원 다양체는 3차원 구면과 호메오모르픽임을 증명한다. 증명은 안정성 다발의 수에 대한 귀납법을 사용하며, 위상적 접합 기법과 안정성 다발의 구조적 성질을 활용하여, 이러한 시스템이 비구면 3차원 다양체에 존재할 수 없음을 보이며, 원래 리브의 고전적 결과를 일반화한다.

ABSTRACT

In this paper, we consider a class of Morse-Smale diffeomorphisms defined on a closed 3-manifold (non-necessarily orientable) under the assumption that all their saddle points have the same dimension of the unstable manifolds. The simplest example of such diffeomorphisms is the well-known ``source-sink'' or ``north pole - south pole'' diffeomorphism, whose non-wandering set consists of exactly one source and one sink. Such systems, as Reeb showed back in 1946, can be realized only on the sphere. We generalize his result, namely, we show that diffeomorphisms from the considered class also can be defined only on the 3-sphere.

연구 동기 및 목표

• 1946년 리브의 3차원 구면에서의 소스-싱크 미분동형사상에 대한 정리를 더 넓은 범주인 모어스-스멀 미분동형사상으로 일반화하기 위해.
• 3차원 미분동형사상에서 모든 안정성 다발의 차원이 동일할 경우, 그에 따라 야기되는 위상적 제약 조건을 조사하기 위해.
• 이러한 미분동형사상이 3차원 구면 이외의 3차원 다양체에서 존재할 수 있는지 여부를 규명하기 위해.
• 이러한 시스템을 지지하는 유일한 닫힘되고 연결된 3차원 다양체는 3차원 구면임을 입증하기 위해.

제안 방법

• 미분동형사상의 비자연 집합 내 안정성 다발의 수에 대한 귀납법.
• 이종선( heteroclinic ) 교차가 없는 안정성 다발을 순서 정렬 논증을 통해 식별하기.
• 3차원 구면에서의 모델 맵으로부터 올려진 미분동형사를 사용하여 3차원 다양체의 열린 부분집합들을 접합하여 새로운 다양체를 구성하기.
• 위상적 접합 과정을 통해 원래 다양체를 두 개의 3차원 다양체의 연결합으로 분해하기.
• 결과로 얻어진 맵이 연결합 위에서 부드러운 미분동형사상임을 보장하기 위해 붙임 정리( pasting lemma )의 적용하기.
• 위상적 임bedding과 타이밍 성질을 사용하여 접합 후에도 다양체의 구조를 유지하고 부드러움을 보장하기.

Figure 2: The space $\mathcal{L}_{\sigma}.$

실험 결과

연구 질문

• RQ1 3차원 구면 이외의 3차원 다양체에서 모든 안정성 다발의 차원이 동일한 모어스-스멀 미분동형사상이 존재할 수 있는가?
• RQ2 모든 안정성 다발의 차원이 동일할 경우, 그에 따라 야기되는 위상적 제약 조건은 어떤 것이며, 이는 환경 3차원 다양체에 어떤 영향을 미치는가?
• RQ3 이러한 미분동형사상의 존재가 환경 다양체가 3차원 구면과 호메오모르픽임을 강제로 만드는가?
• RQ4 이러한 클래스에서 비자연 집합의 구조는 3차원 다양체의 전반적 위상에 어떤 제약을 가하는가?
• RQ5 다양체의 연결합 분해를 이용하여 이러한 시스템을 귀납적으로 분류할 수 있는가?

주요 결과

• 모든 안정성 다발의 차원이 동일한 모어스-스멀 미분동형사상이 존재하는 임의의 닫힘되고 연결된 3차원 다양체는 3차원 구면과 호메오모르픽이다.
• 증명은 안정성 다발의 수에 대한 귀납법을 통해 진행되며, 기저 사례는 3차원 구면에서의 고전적 소스-싱크 시스템이다.
• 이종선 교차가 없는 안정성 다발의 존재는 다양체의 연결합 분해를 구성할 수 있게 한다.
• 연결합의 각 성분은 더 적은 수의 안정성 다발을 가진 동일한 클래스의 미분동형사상을 지닌다.
• 귀납법에 의해 각 성분은 3차원 구면과 호메오모르픽이므로, 원래 다양체는 3차원 구면들의 연결합이 되며, 따라서 자기 자신이 3차원 구면이다.
• 결과는 리브의 1946년 정리를 일반화하며, 이는 오직 하나의 소스와 하나의 싱크를 가진 시스템에만 적용되었던 원래 정리의 범위를 확장한다.

Figure 3: The orbits space of the sink basin