[論文レビュー] Zero sets of Lie algebras of analytic vector fields on real and complex 2-manifolds

Morris W. Hirsch|arXiv (Cornell University)|Sep 30, 2013

Advanced Differential Equations and Dynamical Systems被引用数 4

ひとこと要約

本稿では、2次元の実または複素多様体上の解析的ベクトル場のリー代数が共通零点を持つための条件を確立し、非可換なベクトル場へのボナティの定理の拡張を示している。ベクトル場 $X$ が本質的零点ブロック $K$（非ゼロのポincare-hopf指数）を持つとき、もう一つのベクトル場 $Y$ が $X$ を追跡する（すなわち、連続関数 $f$ を用いて $[Y,X] = fX$）ならば、$Y$ は $K$ 上でどこかで消える。この結果は、$X$ を追跡する有限次元超可解リー代数へ一般化され、それらの共通零点集合が $K$ と交わることを保証する。

ABSTRACT

Let X be an analytic vector field on a real or complex 2-manifold, and K a compact set of zeros of X whose fixed point index is not zero. Let A denote the Lie algebra of analytic vector fields Y on M such that at every point of M the values of X and [X,Y] are linearly dependent. Then the vector fields in A have a common zero in K. Application: Let G be a connected Lie group having a 1-dimensional normal subgroup. Then every action of G on M has a fixed point.

研究の動機と目的

• 可換な解析的ベクトル場の共通零点に関するボナティの定理を非可換系へ一般化すること。
• 固定されたベクトル場 $X$ を追跡する解析的ベクトル場のリー代数の零点集合の交差性を調査すること。
• このようなリー代数の共通零点集合が本質的 $X$-ブロック $K$ と交わるための条件を確立すること。
• 追跡関係を用いて、非コンパクトな設定へのポincare-hopf指数理論の拡張を図ること。
• 非ゼロのオイラー標数を持つ2次元多様体上での超可解リー群の解析的作用に対して、固定点の存在を証明すること。

提案手法

• 連続関数 $f$ を用いて $[Y,X] = fX$ と定義される「追跡」を、弱い可換関係を符号化するものとして定義する。
• 本質的 $X$-ブロック $K$ のポincare-hopf指数 $\mathsf{i}_K(X)$ を用いて、非自明な零点集合を検出する。
• もし $Y$ が $X$ を追跡し、$K$ が本質的 $X$-ブロックであれば、局所的な解析的および位相的議論により $\mathsf{Z}(Y) \cap K \neq \varnothing$ を証明する。
• リー代数 $\mathcal{G}$ に対して、次元に関する帰納法と超可解性条件を用いて、問題を低次元部分代数に還元する。
• $M$ が複素多様体の場合、複素解析幾何を活用し、 genus 1 のコンパクトリーマン面における正則ベクトル場が恒等的に消えることを利用することで、結果が超可解性なしに成り立つことを示す。
• 指数の安定性と摂動に対する不変性を応用し、零点集合の交差性のロバスト性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル場 $Y$ が $[Y,X] = fX$ によって $X$ を追跡するとき、本質的 $X$-ブロック $K$ に零点を持つための条件は何か？
• RQ2 有限次元リー代数 $\mathcal{G}$ が $X$ を追跡する解析的ベクトル場の族であるとき、共通零点集合 $\mathsf{Z}(\mathcal{G})$ は本質的 $X$-ブロック $K$ と交わるか？
• RQ3 実リー代数 $\mathcal{G}$ の超可解性または $M$ の複素構造が、$K$ 内に共通零点の存在を保証するために果たす役割は何か？
• RQ4 追跡関係下でのベクトル場の零点集合の検出に、ポincare-hopf指数が果たす役割は何か？
• RQ5 オイラー標数 $\chi(M) \neq 0$ を持つ2次元多様体上で、超可解リー群の有効な解析的作用は、固定点を必ず持つか？

主な発見

• もし $Y$ が $X$ を追跡し、$K \subset \mathsf{Z}(X)$ が本質的 $X$-ブロック（すなわち $\mathsf{i}_K(X) \neq 0$）であれば、$\mathsf{Z}(Y) \cap K \neq \varnothing$ である。
• 有限次元超可解リー代数 $\mathcal{G}$ が $X$ を追跡する解析的ベクトル場の族であれば、共通零点集合 $\mathsf{Z}(\mathcal{G})$ は任意の本質的 $X$-ブロック $K$ と交わる。
• $M$ が複素多様体の場合、超可解性は不要であり、コンパクトリーマン面の genus 1 における正則ベクトル場が恒等的に消えるという事実に依拠して、結果は成り立つ。
• 証明は $\mathcal{G}$ の次元に関する帰納法を用い、問題を低次元のイデアルに還元し、$\mathcal{G}$ の作用における零点集合の不変性を利用している。
• $\mathsf{i}_K(X)$ は $C^1$ の摂動に対して安定であり、$X$ の時間 $t$ フローの固定点指数に等しくなる。これにより、力学的および位相的不変量が結びつけられる。
• 結果は変換群に対しても適用可能である：超可解リー群が $\chi(M) \neq 0$ を持つ2次元多様体上に有効かつ解析的に作用するならば、その作用は固定点を持つ。