[論文レビュー] Local inverses of shift maps along orbits of flows

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

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

ひとこと要約

この論文は、滑らかな流れの軌道を保存する微分同相群のホモトピー型に関する先行研究を是正・拡張する。線形化可能で、かつ特定の非退化型を含む広範なベクトル場のクラスに対して、ホイットニー $C^r$ 位相（$r \geq 0$）のもとで、軌道を保存する微分同相群の単位成分は、常に可縮または円周 $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$-近傍 $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 どの条件下で、$\mathsf{S}^\infty$ 位相に関してシフト写像 $\varphi$ が局所ホメオモルフィズムであるか？
• RQ2 ホイットニー $C^r$ 位相（$r \geq 0$）のもとで、$\mathcal{D}_{\mathrm{id}}(\mathbf{F})^r$ のホモトピー型は何か？
• RQ3 非自明な軌道挙動が存在する状況において、シフト写像の局所逆写像の連続性推定をどのように是正できるか？
• RQ4 どのクラスのベクトル場に対して、すべての $r$ で $\mathcal{D}_{\mathrm{id}}(\mathbf{F})^r$ が一致し、かつ $S^1$ とホモトピー同値または可縮のままであるか？
• RQ5 是正されたフレームワークは、曲面上のモース関数の研究に用いられた先行結果の有効性を保持するか？

主な発見

• クラス $\mathcal{F}(M)$ のすべてのベクトル場 $F$ に対して、シフト写像 $\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$ の局所的開性と断片化原理を用いて、局所ホメオモルフィズム性をグローバルに拡張する。