[論文レビュー] A generalized Poincaré-Hopf index theorem

Benoît Jubin|ArXiv.org|Mar 4, 2009

Geometric Analysis and Curvature Flows参考文献 1被引用数 9

ひとこと要約

この論文は、境界を持つ多様体に対するポincare-Hopf指数定理を、ベクトル場が境界で外向きを向いていることを要請しない形で一般化し、境界上の零点に対して新たな指数定義を導入する。二重化技術と一般性の議論を用いて、内部指数と境界指数の和がオイラー特性に等しいことを証明し、古典的結果を拡張するとともに、境界を持つ多様体上のベクトル場理論における空白を解消する。

ABSTRACT

We state and prove a generalization of the Poincaré-Hopf index theorem for manifolds with boundary. We then apply this result to non-vanishing complex vector fields.

研究の動機と目的

• 境界を持つ多様体に対するPoincaré-Hopf指数定理を、ベクトル場が境界で外向きを向いていることを要件としない形で一般化すること。
• コラールを用いて、境界上に孤立した零点をもつベクトル場のための一貫した指数を、接成分と法成分を用いて定義すること。
• 内部指数と境界指数の和が、多様体のオイラー＝ポincare特性に等しいことを証明すること。
• 一般化された定理を複素ベクトル場に適用し、先行研究で発表された結果（非零の複素ベクトル場が存在する場合、オイラー特性が消える）を確認すること。
• Morse, Pugh, Gottliebらによる境界付き多様体上の指数定理の先行 formulations を統一的に明らかにし、それらが新しい定式化と同値であることを示すこと。

提案手法

• 境界の周りにコラール近傍を導入し、ベクトル場の接成分と法成分を定義する。
• ベクトル場 φ-t-tame とは、境界上で零点を持たず、その接成分が 0-横断的（ゼロ切断に対して横断的）であると定義する。
• 二重化技術を用いて多様体とベクトル場を境界を越えて拡張し、標準的なPoincaré-Hopf定理の適用を可能にする。
• 一般性の議論を用いて、t-tame ベクトル場がベクトル場の空間において稠密であることを示し、一般の場合同に指数が適切に定義されることを保証する。
• 0-横断的ベクトル場の集合が稠密な開集合をなすという事実を用いて、境界指数が小さな摂動に対して不変であることを証明する。
• 境界指数を内向き・外向き成分の指数の差の半分として表現することで、一般化された指数公式と以前のバージョン（例：Morseの公式）との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 境界を持つ多様体に対して、ベクトル場が境界で外向きを向いていることを要件としない形で、Poincaré-Hopf指数定理を拡張できるか？
• RQ2 多様体の境界上に孤立した零点をもつベクトル場の指数は、どのように定義すべきか？
• RQ3 一般化された指数公式と、Morseの指数公式のような先行の定式化との関係は何か？
• RQ4 一般化された指数定理により、非零の複素ベクトル場をもつコンパクトな向き付け可能多様体は、オイラー特性がゼロでなければならないと結論づけられるか？
• RQ5 Morse, Pugh, Gottliebらによる境界付き多様体上の指数定理のさまざまな先行定式化は、新しい一般化された公式と同値であるか？

主な発見

• 任意のコンパクトな ∂-多様体と孤立した零点をもつ任意のベクトル場に対して、一般化されたPoincaré-Hopf指数定理が成り立つ：内部指数と境界指数の和は、オイラー＝ポincare特性に等しい。
• 境界指数は、境界上のベクトル場の接成分に基づいて定義され、t-tame である限り、小さな摂動に対して不変である。
• t-tame ベクトル場の空間は、すべてのベクトル場の空間において開かつ稠密であるため、一般の場合同に指数が適切に定義される。
• 一般化された定理により、コンパクトで向き付け可能な多様体が非零の複素ベクトル場をもつならば、そのオイラー＝ポincare特性はゼロでなければならないことが示される。
• 一般化された指数公式は、Morseの指数公式と同値であり、境界指数は内向き成分と外向き成分の指数の差の半分として表現できる。
• この結果により、先行研究の主張が裏付けられる：コンパクトで向き付け可能な多様体に非零の複素ベクトル場が存在するならば、オイラー特性は消える。