[论文解读] Classes d'homotopie de champs de vecteurs Morse-Smale sans singularité sur les fibrés de Seifert

Emmanuel Dufraine|ArXiv.org|Dec 5, 2003

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

本文建立了一种针对从闭合、定向的3-流形到2-球面的光滑映射的同伦准则，该准则基于映射相等或相反的集合的同调类与 linking 数。该结果被推广至Seifert 3-流形上的非奇点向量场与Morse-Smale向量场，证明了每个非奇点向量场同伦于一个具有有限个周期轨道的Morse-Smale场，且该结论与向量场的同伦类无关。

ABSTRACT

In the first part of this paper, we consider smooth maps from a compact orientable 3-manifold without boundary to the 2-sphere. We give a geometric criterion to decide whether two given maps are homotopic, based on the sets of points where the maps are equal or antipodal. We extend this criterion to non-singular vector fields (and co-oriented plane fields) on 3-manifolds. In the second part, we make use of this criterion to study non-singular Morse-Smale vector fields on Seifert manifolds, giving a simple proof of a result of Yano.

研究动机与目标

• 为从闭合、定向的3-流形到S²的光滑映射的同伦性提供一个几何准则，基于映射相等与相反的集合。
• 将该准则推广至3-流形上的非奇点向量场与共定向平面场，且不依赖于切丛的平凡化。
• 将该准则应用于Seifert流形上非奇点Morse-Smale向量场的分类，证明每个同伦类中周期轨道的有限性。
• 提供一种新的、初等的证明，证明存在具有有界周期轨道的Morse-Smale代表，且避免使用圆柱柄分解。

提出的方法

• 定义 $C_+(f,g)$ 和 $C_-(f,g)$ 分别为两个映射 $f,g: M \to S^2$ 相等或相反的集合，并在扰动后证明它们是定向的链。
• 使用同调类 $[C_-(f,g)]_{H_1(M)} = 0$ 作为同伦的第一个障碍，意味着 $c_f = c_g$。
• 应用模 $2p$（或对向量场为 $p$）的 linking 数 $\operatorname{Link}(C_+, C_-)$ 作为第二个障碍，其中 $p$ 是类 $c_f$ 的最大因子。
• 通过集合 $C_+(X,Y)$ 和 $C_-(X,Y)$ 将该准则扩展至非奇点向量场，其中向量正比或反比。
• 利用欧拉类 $\mathcal{E}(X)$ 的庞加莱对偶来刻画非奇点向量场的同伦类。
• 通过Wada运算在周期轨道上构造Morse-Smale场，调整框架不变量以实现任意给定的欧拉类。

实验结果

研究问题

• RQ1 何时两个从闭合、定向的3-流形到 $S^2$ 的光滑映射是同伦的？
• RQ2 如何在不依赖于柄分解的情况下对3-流形上非奇点向量场的同伦型进行分类？
• RQ3 每个Seifert 3-流形上的非奇点向量场是否都能同伦为具有有限个周期轨道的Morse-Smale场？
• RQ4 linking 不变量与欧拉类可除性在分类非奇点向量场的同伦类中起什么作用？
• RQ5 Seifert流形上所有可实现的链类型是否都能作为Morse-Smale场的周期轨道链出现？

主要发现

• 两个光滑映射 $f,g: M \to S^2$ 同伦当且仅当 $[C_-(f,g)]_{H_1(M)} = 0$ 且 $\operatorname{Link}(C_+, C_-) \equiv 0 \pmod{2p}$，其中 $p$ 是类 $c_f = [f^{-1}(y)]_{H_1(M)}$ 的最大因子。
• 对于3-流形上非奇点向量场 $X,Y$，同伦等价于 $[C_-(X,Y)]_{H_1(M)} = 0$ 且 $\operatorname{Link}(C_+, C_-) \equiv 0 \pmod{p}$，其中 $p$ 是 $\mathcal{E}(X) = \mathcal{E}(Y)$ 的最大因子。
• 每个Seifert 3-流形上的非奇点向量场都同伦于一个非奇点Morse-Smale向量场，其周期轨道数不超过某个有限数 $n(M)$。
• 对于任意 $c \in H_1(M,\mathbb{Z})$，存在一个Morse-Smale向量场 $X$ 使得 $c_{X\tau} = c$，表明欧拉类的完全可实现性。
• 通过Wada运算的构造确保了在每个同伦类中，只要欧拉类相同，就存在Morse-Smale代表，且通过受控的框架变换实现。
• 最终构造中的 linking 数 $\lambda$ 满足 $\operatorname{Link}(C_+, C_-) = \lambda$，表明该不变量可调节至任意整数，因此该准则是精确的。