[论文解读] Smooth shifts along flows

Sergiy Maksymenko|ArXiv.org|Jun 24, 2001

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

本文研究了紧致流形上光滑流的叶状结构保持微分同胚的单位路径分支的同伦型。通过沿轨迹的平移映射，证明在固定点满足弱条件时，该空间要么是可缩的，要么同伦等价于圆周，且平移映射为同胚或具有 ℤ-截面的覆盖映射。

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.

研究动机与目标

• 确定紧致流形上光滑流的叶状结构保持微分同胚的单位路径分支的同伦型。
• 刻画沿轨迹的平移映射的像作为保持流叶状结构的微分同胚子集。
• 建立平移映射为同胚或具有 ℤ-群截面的覆盖映射的条件。
• 分析平移映射下原像集在光滑实值函数空间中的凸性。
• 研究图像和路径分支在 Whitney 拓扑下的闭包性质与拓扑结构。

提出的方法

• 定义平移映射 φ: C∞(M,ℝ) → C∞(M,M)，由 φ(α)(x) = Φ(x, α(x)) 给出，将函数映射为沿流轨迹的微分同胚。
• 证明 φ 的像属于保持流叶状结构的微分同胚空间的单位路径分支，记为 D₀(Φ)。
• 证明原像 φ⁻¹(id_M) 是 C∞(M,ℝ) 中的一个子群 Z_id，且 φ 的纤维是该子群的陪集。
• 在条件 Int(Fix Φ) = ∅ 下，证明 Im φ 上的 Whitney 拓扑与诱导拓扑一致，从而 φ 是同胚或覆盖映射。
• 利用 Γ₊Φ 和 Γ₋Φ（分别映射到保向/反向微分同胚的 C∞(M,ℝ) 子集）的凸性，分析 D₀(Φ) 的结构。
• 应用固定点局部线性化的定理，证明 Im φ = E₀(Φ) 且 φ(Γ₊Φ) = D₀(Φ)，从而得出主要同伦分类结果。

实验结果

研究问题

• RQ1 在何种条件下，保持流的微分同胚空间 D₀(Φ) 是可缩的，或同伦等价于 S¹？
• RQ2 何时平移映射 φ: C∞(M,ℝ) → C∞(M,M) 是同胚或具有 ℤ 作为覆盖截面群的覆盖映射？
• RQ3 平移映射像的拓扑如何与 C∞(M,M) 上的 Whitney 拓扑和紧开拓扑相关联？
• RQ4 平移映射下原像集的凸性与 D₀(Φ) 和 E₀(Φ) 的结构之间有何关系？
• RQ5 当流具有稠密或非闭轨迹时，E₀(Φ) 在光滑映射空间中的闭包性质如何？

主要发现

• 在每个 Φ 的固定点都存在局部线性模型满足 p∘Φ_t = Ψ_t∘p 的条件下，平移映射的像 φ 等于 E₀(Φ)，且 φ 要么是同胚，要么是具有 ℤ 作为覆盖截面群的覆盖映射。
• 原像 φ⁻¹(D₀(Φ)) 在线性空间 C∞(M,ℝ) 中是凸的，且 D₀(Φ) 要么是可缩的，要么同伦等价于 S¹。
• 若 M 是紧致的，且 Φ 存在非闭轨迹，或在某个固定点处的切线线性流是平凡的，则 D₀(Φ) 和 E₀(Φ) 均为可缩的。
• 当且仅当 Fix Φ 的内部为空时，子群 Z_id = φ⁻¹(id_M) 是平凡的或同构于 ℤ。
• 在 n-环面 Tⁿ 上的无固定点无理流情形下，φ 的像是 C∞(Tⁿ,Tⁿ) 中单位路径分支的稠密子集，但尚不清楚 Im φ 的闭包是否等于整个路径分支。
• 对于满足 Int(ω̅) ≠ ∅ 的轨迹 ω，若 f ∈ cl(Im φ) \ Im φ 且 f(z) 不在 z 的轨迹上，则满足 φ(z, t_i) → f(z) 的时间参数 t_i 必须满足 lim t_i = ∞。