[論文レビュー] Existence of common zeros for commuting vector fields on $3$-manifolds

Christian Bonatti, Bruno Santiago|arXiv (Cornell University)|Apr 23, 2015

Geometric and Algebraic Topology参考文献 4被引用数 4

ひとこと要約

本稿は、3次元多様体上の可換な $ C^1 $ ベクトル場 $ X $ と $ Y $ が、Poincaré-Hopf の指数 $ \operatorname{Ind}(X,U) \neq 0 $ である任意のコンパクト領域 $ U $ において共通零点をもつことを確立する。ただし、$ X $ と $ Y $ が平行となる点の集合が滑らかな曲面に含まれるものとする。この結果は、従来の解析的結果を $ C^1 $ の設定に拡張し、正則性が弱くても指数による位相的障害が存続することを確認する。

ABSTRACT

In $64$ E. Lima proved that commuting vector fields on surfaces with non-zero Euler characteristic have common zeros. Such statement is empty in dimension $3$, since all the Euler characteristics vanish. Nevertheless, \cite{Bonatti_analiticos} proposed a local version, replacing the Euler characteristic by the Poincaré-Hopf index of a vector field $X$ in a region $U$, denoted by $\operatorname{Ind}(X,U)$; he asked: \emph{Given commuting vector fields $X,Y$ and a region $U$ where $\operatorname{Ind}(X,U) eq 0$, does $U$ contain a common zero of $X$ and $Y$?} \cite{Bonatti_analiticos} gave a positive answer in the case where $X$ and $Y$ are real analytic. In this paper, we prove the existence of common zeros for commuting $C^1$ vector fields $X$, $Y$ on a $3$-manifold, in any region $U$ such that $\operatorname{Ind}(X,U) eq 0$, assuming that the set of collinearity of $X$ and $Y$ is contained in a smooth surface. This is a strong indication that the results in \cite{Bonatti_analiticos} should hold for $C^1$-vector fields.

研究の動機と目的

• 1992年にボナッティが提起した、3次元多様体上の可換な $ C^1 $ ベクトル場の共通零点の存在に関する長年の未解決問題を解決すること。
• 曲面におけるリマの古典的結果（非ゼロのオイラー特性が共通零点を強制する）を、Poincaré-Hopf の指数を局所的位相不変量として用いることで、3次元多様体へと拡張すること。
• 3次元多様体における実解析的ベクトル場の共通零点に関する解析的結果が、平行性に関する幾何的条件の下で $ C^1 $ の設定へと拡張可能であることを示すこと。
• グローバルなオイラー特性がゼロであっても、ある領域における1つのベクトル場の指数に基づく位相的障害を提供すること。

提案手法

• コンパクト領域 $ U $ において $ X $ の零点の存在を検出するための局所的位相不変量として、Poincaré-Hopf の指数 $ \operatorname{Ind}(X,U) $ を用いる。ただし、境界 $ \partial U $ と $ X $ の零点集合の交わりは空とする。
• 指数を、$ U $ 内の孤立した零点上の局所的指数の和として定義するためのベクトル場のホモトピーと摂動の構成を行い、小刻みな $ C^1 $-摂動のもとで不変性を保証する。
• 曲線の接ベクトルの方向を制御する空間 $ \mathcal{I}(\Delta, \mathcal{P}) $ を導入し、軌道のモデル化と角度変化の分析に用いる。
• 曲線に沿った接ベクトルの回転を追跡するための変動写像 $ \operatorname{Var}(I) $ 及びその整数部 $ [\operatorname{var}](I) $ を定義・使用し、ホモトピーのもとで不変性を保証する。
• シリンダーの万有被覆へのリフトの応用により、変動指数の同型不変性を証明し、同じ初期点を持つ曲線の比較を可能にする。
• 固定点近傍におけるPoincaré写像 $ \mathcal{P} $ の微分を用いて、$ n \to \infty $ のとき、軌道セグメントの接ベクトルが固定方向にほぼ平行になることを示し、$ [\operatorname{var}](I_n) = 0 $ を満たす適切な曲線 $ I_n \in \mathcal{I}(\Delta, \mathcal{P}) $ の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体内のコンパクト領域 $ U $ に対して $ \operatorname{Ind}(X,U) \neq 0 $ が成り立つとき、可換な $ C^1 $ ベクトル場 $ X $ と $ Y $ が共通零点を必ずもつのか。ただし、$ X $ と $ Y $ が平行となる点の集合が滑らかな曲面に含まれると仮定する。
• RQ2 3次元多様体における可換な実解析的ベクトル場の共通零点に関する解析的結果が、平行性に関する幾何的正則性条件の下で $ C^1 $ の設定へと拡張可能か。
• RQ3 軌道セグメントに沿った接ベクトルの変動は、Poincaré-Hopf の指数に埋め込まれた位相的障害とどのように関係するか。
• RQ4 $ \operatorname{Ind}(X,U) \neq 0 $ が、平行性が制御されている場合の $ C^1 $ のカテゴリーにおいて共通零点の存在を十分条件として満たすか。

主な発見

• 任意のコンパクト領域 $ U $ に対して、$ \operatorname{Ind}(X,U) \neq 0 $ であり、可換な $ C^1 $ ベクトル場 $ X $ と $ Y $ が与えられたとき、$ X $ と $ Y $ が平行となる点の集合が滑らかな曲面に含まれるならば、共通零点が存在する。
• $ \mathcal{I}(\Delta, \mathcal{P}) $ に属する曲線 $ I $ に対して、接ベクトルの変動 $ \operatorname{Var}(I) $ は、$ \operatorname{Var}(I) - 2\pi[\operatorname{var}](I) \in \left[-\frac{1}{100}, \frac{1}{100}\right] $ を満たし、$ [\operatorname{var}](I) $ は局所的に定数であり、固定初期点をもつホモトピーのもとで不変である。
• 2つの曲線 $ I, J \in \mathcal{I}(\Delta, \mathcal{P}) $ が点 $ x_0 $ の近傍 $ O $ で同じ初期点を持ち、それらの $ \Gamma $ 上への射影が単純閉曲線であるならば、$ [\operatorname{var}](I) = [\operatorname{var}](J) $ が成り立つ。
• 十分に大きな $ n $ に対して、$ \mathcal{P}^n(x) $ を出発点とする曲線 $ I_n \in \mathcal{I}(\Delta, \mathcal{P}) $ が存在し、$ [\operatorname{var}](I_n) = 0 $ かつその $ \Gamma $ 上への射影が単純曲線である。
• 軌道セグメント $ J_n $ における変動 $ \operatorname{Var}(J_n) $ は $ n \to \infty $ のとき 0 に近づく。これは、端点における接ベクトルのなす角度が無視できるほど小さくなることを意味する。
• $ \mathcal{P}(I_n) $ が $ I_n $ と終点以外で交わらないこと、および $ \mathcal{P}(I_n) $ 上で関数 $ \nu $ が厳密に減少することにより、$ I_n $ の $ \Gamma $ 上への射影は十分大きな $ n $ に対して単純曲線である。