[논문 리뷰] Local inverses of shift maps along orbits of flows

Sergiy Maksymenko|arXiv (Cornell University)|2008. 06. 09.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 6

한 줄 요약

이 논문은 매끄러운 흐름의 궤도를 보존하는 미분동형군의 호모토피 유형에 관한 이전 연구를 수정하고 확장한다. 선형화 가능하고 특정 비퇴화 유형을 포함한 광범위한 벡터장 클래스에 대해, 모든 $ r \geq 0 $ 에서 유클리드 $ C^r $ 위상에 대해 궤도를 보존하는 미분동형군의 항등성분은 수축 가능하거나 원주 $ S^1 $ 과 호모토피 동치임을 입증한다. 주요 진전은 국소 역함수에 대한 정밀한 추정을 통해 이전 작업의 격차를 메운다. 이는 이전 연구에서의 연속성 추정의 격차를 메우며, 이는 이전 연구의 결함을 수정한다.

ABSTRACT

Let $M$ be a smooth manifold and $F$ be a vector field on $M$. My article ["Smooth shifts along trajectories of flows", Topol. Appl. 130 (2003) 183-204, arXiv:math/0106199] concerning the homotopy types of the group of diffeomorphisms preserving orbits of $F$ contains two errors. They imply that the principal statement of that paper holds under additional assumptions on $F$. Unfortunately this result was essentially used in another paper of mine ["Homotopy types of stabilizers and orbits of Morse functions on surfaces" Ann. Glob. Anal. Geom., 29 no. 3, (2006) 241-285, arXiv:math/0310067]. The aim of this article is to expose the results of the first paper in a right way, extend them to a larger class of flows with degenerate singularities, and show that the results of the second paper remain true.

연구 동기 및 목표

• 이전 연구에서 궤도를 보존하는 미분동형에 대한 이동 사상의 국소 역함수에 대한 연속성 추정의 격차를 보완하기 위해.
• 유클리드 $ C^r $ 위상 하에서 흐름에 대해 항등성분 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 의 호모토피 유형을 특성화하기 위해.
• 항등성분 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 이 수축 가능하거나 원주와 호모토피 동치가 되는, 더 넓은 종류의 벡터장 클래스를 확장하기 위해.
• 이러한 결과들이 후속 응용, 예를 들어 표면 위의 모르스 함수 연구에서의 사용이 타당한지 검증하기 위해.

제안 방법

• 특정 국소 정규형 조건을 만족하는 특별한 벡터장 클래스 $ \mathcal{F}(M) $ 를 도입함.
• 전역 흐름 가정을 국소 흐름으로 대체하고, 이동 사상 $ \varphi(\alpha)(x) = \mathbf{F}(x, \alpha(x)) $ 의 정의역을 $ \mathsf{func}(\mathbf{F}) \subset C^\infty(M,\mathbb{R}) $ 로 정의함.
• 분할 원리(정리 8.2)를 적용하여 $ \varphi $ 가 $ \mathsf{S}^\infty $ 위상에 대해 국소 위상동형임을 보임.
• 특이점 및 정칙 궤도 주변의 컴팩트한 $ D $-근방에서 $ \varphi_V $ 의 국소 개방성 결과를 활용함. 이는 선형화 가능 및 비퇴화 벡터장에 대한 이전 결과에 기반함.
• 특이점 집합의 유형에 따라 $ Sh(\mathbf{F}) = \mathcal{E}_{\mathrm{id}}(\mathbf{F})^k $ 를 $ k=0 $ 또는 $ 1 $ 으로 도출함.
• 참고 문헌 [13] 의 호모토피 분류를 적용하여 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 이 수축 가능하거나 원주 $ S^1 $ 과 호모토피 동치임을 결론함.

실험 결과

연구 질문

• RQ1 어떤 조건에서 이동 사상 $ \varphi $ 는 $ \mathsf{S}^\infty $ 위상에 대해 국소 위상동형인가?
• RQ2 유클리드 $ C^r $ 위상 하에서 $ r \geq 0 $ 에 대해 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 의 호모토피 유형은 무엇인가?
• RQ3 비트리비얼 궤도 행동이 존재하는 상황에서 이동 사상의 국소 역함수에 대한 연속성 추정은 어떻게 수정할 수 있는가?
• RQ4 어떤 종류의 벡터장에 대해 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 이 모든 $ r $ 에서 일치하며, $ S^1 $ 과 호모토피 동치이거나 수축 가능한가?
• RQ5 수정된 프레임워크는 이전 연구 결과, 예를 들어 표면 위의 모스 함수 연구에서 사용된 결과들의 타당성을 유지하는가?

주요 결과

• 모든 $ F \in \mathcal{F}(M) $ 에 대해, 이동 사상 $ \varphi $ 는 $ \mathsf{S}^\infty $ 위상에 대해 국소 위상동형이며, 이는 이전 연구의 격차를 해결함.
• 모든 $ F \in \mathcal{F}(M) $ 에 대해, 이미지 $ Sh(\mathbf{F}) $ 는 수축 가능하거나 원주 $ S^1 $ 과 호모토피 동치임.
• $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 는 모든 $ r \geq 0 $ 에 대해 일치하며, 수축 가능하거나 원주 $ S^1 $ 과 호모토피 동치임.
• 참고 문헌 [13] 에서 사용된 결과가 [15] 의 표면 위의 모스 함수 연구에 그대로 적용 가능함.
• $ \mathcal{F}(M) $ 는 선형화 가능한 벡터장과 (L1)′, (L2)′, (L3)′, 또는 (H)′ 유형의 고립된 특이점을 가진 비퇴화 유형을 포함함.
• 증명은 컴팩트한 $ D $-근방에서 $ \varphi_V $ 의 국소 개방성과 분할 원리를 활용하여 국소 위상동형 성질을 전역화함.