[논문 리뷰] Smooth shifts along flows

Sergiy Maksymenko|ArXiv.org|2001. 06. 24.

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

한 줄 요약

이 논문은 컴act 다중구조에서 매끄러운 플로우의 리브링을 보존하는 미분동형사상의 항등 경로 성분의 호모토피 유형을 조사한다. 궤적을 따라 이동하는 사상(shift-map)을 사용하여, 고정점에 대한 약한 조건 하에서 이 공간이 수축 가능하거나 원주 S¹과 호모토피 동치임을 보이며, 이때 이동사상은 ℤ-슬라이스를 가진 위상수학적 동형사상 또는 코버링 사상임을 밝힌다.

ABSTRACT

Let $Φ$ be a flow on a smooth, compact, finite-dimensional manifold $M$. Consider the subsets $E(Φ)$ and $D(Φ)$ of $C^{\infty}(M,M)$ consisting of smoothh mappings and diffeomorphisms (respectively) of $M$ preserving the foliation of the flow $Φ$. Let also $E_{0}(Φ)$ and $D_{0}(Φ)$ be the identity path components of $E(Φ)$ and $D(Φ)$ with compact-open topology. We prove that under mild conditions on fixed points of $Φ$ the inclusion $D_{0}(Φ) \subset E_{0}(Φ)$ is a homotopy equivalence and these spaces are either contractible or homotopically equivalent to the circle.

연구 동기 및 목표

• 플로우의 리브링을 보존하는 컴팩트 다중구조 위의 매끄러운 플로우에 대해, 그 미분동형사상의 항등 경로 성분의 호모토피 유형을 규명하는 것.
• 궤적을 따라 이동하는 사상의 상을 플로우 리브링을 보존하는 미분동형사상의 부분집합으로 특성화하는 것.
• 이동사상이 ℤ-슬라이스를 가진 위상수학적 동형사상 또는 코버링 사상이 되는 조건을 설정하는 것.
• 이동사상에 대한 역상 집합의 볼록성 구조를 매끄러운 실수값 함수 공간에서 분석하는 것.
• 웨이틀리 위상에서 이미지와 경로 성분의 닫힘 성질 및 위상적 구조를 조사하는 것.

제안 방법

• 이동사상 φ: C∞(M,ℝ) → C∞(M,M)을 φ(α)(x) = Φ(x, α(x))로 정의하여, 함수를 플로우 궤적을 따라 미분동형사상으로 매핑한다.
• φ가 플로우 리브링을 보존하는 미분동형사상 공간의 항등 경로 성분 D₀(Φ)에 값이 있음을 증명한다.
• φ⁻¹(id_M)이 C∞(M,ℝ)의 부분군 Z_id임을 보이며, φ의 섬유들이 이 부분군의 오른쪽 여부를 이룬다.
• Int(Fix Φ) = ∅ 조건 하에서 Im φ 위에 부여된 웨이틀리 위상과 유도된 위상 간의 일致를 확립하여, φ가 위상수학적 동형사상 또는 코버링 사상임을 밝힌다.
• Γ₊Φ와 Γ₋Φ(순서를 유지하거나 뒤집는 미분동형사상으로 매핑되는 C∞(M,ℝ)의 부분집합)의 볼록성을 이용하여 D₀(Φ)의 구조를 분석한다.
• 고정점의 국소 선형화 정리들을 적용하여 Im φ = E₀(Φ) 및 φ(Γ₊Φ) = D₀(Φ)를 증명함으로써 주요 호모토피 분류를 이끌어낸다.

실험 결과

연구 질문

• RQ1 플로우를 보존하는 미분동형사상의 공간 D₀(Φ)가 언제 수축 가능하거나 S¹과 호모토피 동치가 되는가?
• RQ2 이동사상 φ: C∞(M,ℝ) → C∞(M,M)이 언제 위상수학적 동형사상 또는 ℤ를 그룹으로 가진 코버링 사상이 되는가?
• RQ3 이동사상의 이미지 위상은 C∞(M,M)의 웨이틀리 위상과 컴팩트-오퍼ن 위상과 어떻게 관련이 있는가?
• RQ4 φ에 대한 역상 집합의 볼록성과 D₀(Φ), E₀(Φ)의 구조 사이의 관계는 무엇인가?
• RQ5 플로우가 조밀하거나 비닫힌 궤적을 가질 경우, E₀(Φ)의 닫힘 성질에 관해 무엇을 말할 수 있는가?

주요 결과

• Φ의 각 고정점이 p∘Φ_t = Ψ_t∘p 형태의 국소 선형 모델을 갖는 조건 하에서, 이동사상 φ의 상은 E₀(Φ)와 일치하며, φ는 위상수학적 동형사상 또는 ℤ를 그룹으로 가진 코버링 사상이 된다.
• φ⁻¹(D₀(Φ))는 선형 공간 C∞(M,ℝ) 내에서 볼록이며, D₀(Φ)는 수축 가능하거나 S¹과 호모토피 동치이다.
• M이 컴팩트하고, Φ가 비닫힌 궤적을 가지거나 어떤 고정점에서의 접선 선형 플로우가 자명한 경우, D₀(Φ)와 E₀(Φ)는 수축 가능하다.
• Z_id = φ⁻¹(id_M)는 Fix Φ의 내부가 공집일 때만 자명하거나 ℤ와 동형이 된다.
• n-토러스 Tⁿ 위의 무리수 플로우(고정점 없음)의 경우, φ의 상은 C∞(Tⁿ,Tⁿ)의 항등 경로 성분 내에서 조밀하다. 그러나 Im φ의 닫힘 여부가 전체 경로 성분과 일치하는지 여부는 알려져 있지 않다.
• 궤적 ω가 Int(ω̅) ≠ ∅를 만족하고, f ∈ cl(Im φ) \ Im φ 이며 f(z)가 z의 궤적 위에 있지 않은 경우, φ(z, t_i) → f(z)를 만족하는 시간 매개변수 t_i는 lim t_i = ∞ 를 만족한다.