[论文解读] Local inverses of shift maps along orbits of flows

Sergiy Maksymenko|arXiv (Cornell University)|Jun 9, 2008

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

一句话总结

本文修正并拓展了关于光滑流保持轨道的微分同胚群同伦型的早期工作。它证明了对于一大类向量场（包括可线性化的以及某些非退化类型），在所有 $ r \geq 0 $ 的Whitney $ C^r $ 拓扑下，保持轨道的微分同胚群的单位连通分支要么是可缩的，要么同伦等价于圆周。关键进展在于通过局部逆的精细估计，证明了平移映射是局部同胚，从而弥补了先前工作中存在的漏洞。

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.

研究动机与目标

• 修复先前关于保持轨道的微分同胚工作中，平移映射局部逆的连续性估计中的漏洞。
• 刻画在Whitney $ C^r $ 拓扑下，流 $ \mathbf{F} $ 的单位连通分支 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 的同伦型。
• 将 $ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 为可缩或同伦等价于圆周的向量场类别的范围进一步扩展。
• 验证这些结果在后续应用中的有效性，例如在曲面上Morse函数的研究中。

提出的方法

• 引入一类新的向量场 $ \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 在Whitney $ C^r $ 拓扑下，$ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $（$ r \geq 0 $）的同伦型是什么？
• RQ3 当存在非平凡轨道行为时，如何修正平移映射局部逆的连续性估计？
• RQ4 对于哪些类别的向量场，$ \mathcal{D}_{\mathrm{id}}(\mathbf{F})^r $ 在所有 $ r $ 下保持一致，并且同伦等价于 $ S^1 $ 或为可缩？
• RQ5 修正后的框架是否保持了早期结果的有效性，例如在曲面上Morse函数研究中所用的结果？

主要发现

• 对于类 $ \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 $。
• 在 [15] 中用于曲面上Morse函数研究的 [13] 的结果，在修正后的框架下依然有效。
• 类 $ \mathcal{F}(M) $ 包括可线性化向量场以及某些非退化类型，如具有孤立奇点的 (L1)′、(L2)′、(L3)′ 或 (H)′ 类型。
• 证明依赖于 $ \varphi_V $ 在紧致 $ D $-邻域上的局部开性，以及分解原理，从而将局部同胚性质推广至整体。