[論文レビュー] Stability of compact actions of the Heisenberg group

Tania M. Begazo, Nicolau C. Saldanha|ArXiv.org|Dec 27, 2004

Advanced Differential Equations and Dynamical Systems参考文献 7被引用数 3

ひとこと要約

本稿は、4次元多様体上のヘイゼンベルク群のコンパクト作用の$C^1$安定性を検討し、特に均一な水平作用に注目する。作用の安定性—ヘイゼンベルクの交換関係を満たすベクトル場の$C^1$摂動によって定義される—は、構造行列$A^\sharp(0)$の微分に強く依存する：べき零性は$L$不安定性を、非ゼロの行列式は$L$安定性を、実固有値の不在は$T$安定性をもたらす。これは、べき零な設定において安定性概念が同値でないことを示している。

ABSTRACT

Let G be the Heisenberg group of real lower triangular 3x3 matrices with unit diagonal. A locally free smooth action of G on a manifold M^4 is given by linearly independent vector fields X_1, X_2, X_3 such that X_3 = [X_1,X_2] and [X_1,X_3] = [X_2, X_3] = 0. The C^1 topology for vector fields induces a topology in the space of actions of G on M^4. An action is compact if all orbits are compact. Given a compact action $θ$, we investigate under which conditions its C^1 perturbations $ ildeθ$ are guaranteed to be compact. There is more than one interesting definition of stability, and we show that in the case of the Heisenberg group, unlike for actions of R^n, the definitions do not turn out to be equivalent.

研究の動機と目的

• 4次元多様体上のヘイゼンベルク群のコンパクト作用に対する$C^1$-小な摂動が、常にコンパクトのままである条件を同定すること。
• べき零群作用の文脈において、$L$安定性（局所不安定性）と$T$安定性（全安定性）という2つの安定性概念の違いを明確にすること。
• $G$をヘイゼンベルク群、$H$を離散的でコ compact な部分群とするとき、$M = (G/H) \times (-\epsilon, \epsilon)$ 上の均一な水平作用を分析すること。
• 構造行列$A(z)$の$z=0$における微分$A^\sharp(0)$を用いて、軌道$(G/H) \times \{0\}$の安定性を特徴づけること。
• ヘイゼンベルク群では、$\mathbb{R}^n$の場合とは異なり、$L$安定性と$T$安定性の概念が同値でないことを証明すること。

提案手法

• ヘイゼンベルク群$G$の微分可能族$\phi_z$による自己同型のモデル化により、$M = (G/H) \times (-\epsilon, \epsilon)$ 上の均一な水平作用を構成する。
• $\phi_z$を行列$A(z)$で表現し、$a_{13}(z) = a_{23}(z) = 0$および$a_{33}(z) = \det A^\sharp(z)$を満たす。ここで$A^\sharp(z)$は$2\times 2$の左上ブロックである。
• ヘイゼンベルクの交換関係$[X_1,X_2] = X_3$, $[X_1,X_3] = [X_2,X_3] = 0$を満たす生成ベクトル場$X_1, X_2, X_3$の$C^1$摂動を用いて$C^1$-安定性を定義する。
• ホロノミーのアーベル化写像$\tau_{\operatorname{Ab},p}(v)$を導入し、軌道に沿った漸近的ドリフトを測定し、その定数性または変動性を用いて非コンパクト性を検出する。
• 垂直線に沿った$\operatorname{Ab}'(\tilde{\tau}_p(v))$の積分を用いて、非ゼロのドリフトを検出し、摂動がコンパクト性を保つならば矛盾を導く。
• 第4節の特定のベクトル場の一意的エルゴード性と、ファイブレーションに関する位相的議論を用いて、摂動下での軌道の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 構造行列の微分$A^\sharp(0)$について、どのような条件下で軌道$(G/H) \times \{0\}$は、作用の$C^1$摂動に対して$L$安定性を示すか？
• RQ2 すべての近傍の$C^1$-摂動がコンパクトな軌道を生じる場合、軌道はいつ$T$安定性を示すか？
• RQ3 ヘイゼンベルク群では、$\mathbb{R}^n$作用とは異なり、$L$安定性と$T$安定性の概念が同値でないのはなぜか？
• RQ4 $A^\sharp(0)$に実固有値が存在するか、べき零性がある場合、軌道の安定性にどのような影響を与えるか？
• RQ5 アーベル化ホロノミー写像$\tau_{\operatorname{Ab},p}(v)$は、非コンパクトな摂動軌道を検出するためにどのように機能するか？

主な発見

• もし$A^\sharp(0)$がべき零であれば、軌道は$L$不安定である：任意に小さい$C^1$-摂動によって非コンパクトな軌道が生じ得る。
• もし$A^\sharp(0)$の行列式が非ゼロであれば、軌道は$L$安定である：十分に小さいすべての$C^1$-摂動がコンパクトな軌道を生じる。
• もし$A^\sharp(0)$に実固有値がなければ、軌道は$T$安定である：ベクトル場のすべての$C^1$-摂動がコンパクトな軌道を生じる。
• $A^\sharp(0) = \operatorname{diag}(-\lambda, 2\lambda, \lambda)$（$\lambda \neq 0$）の場合、軌道は$L$安定だが$T$不安定であり、安定性概念の非同値性を示している。
• アーベル化ホロノミー写像$\tau_{\operatorname{Ab},p}(v)$は、コンパクトな軌道の補集合の連結成分上で定数であり、垂直線に沿った変動が非コンパクト性を検出する。
• 証明は、$A^\sharp(z)$が可逆かつ非退化であれば、ホロノミー写像の微分の積分がゼロにならないことを示すことに依拠しており、非コンパクトな軌道の存在と矛盾する。