[論文レビュー] An integrability condition for fields of nilpotent endomorphisms

Charles Boubel|arXiv (Cornell University)|Mar 4, 2010

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

ひとこと要約

この論文は、滑らかな冪等自己準同型の場の可積分性の必要十分条件を確立する：Nijenhuisのテンソルが消え、各核分布 $\ker A^p$ が可換的であること。証明はCauchy-Lipschitz定理と微分積分学に依拠し、ほぼ複素構造の古典的可積分条件を冪等自己準同型へ一般化し、不変因子と関連核の可換性を用いて任意の自己準同型場へ拡張される。

ABSTRACT

We give a necessary and sufficient condition on the 1-jet of a field of nilpotent endomorphisms to be integrable. Together with the well known corresponding condition for an almost complex structure, the nullity of its Nijenhuis tensor, this gives an integrability condition for any field of endomorphisms.

研究の動機と目的

• 滑らかな冪等自己準同型場の局所的可積分性の必要十分条件を特定すること。
• ほぼ複素構造の古典的可積分基準（Nijenhuisのテンソルが消えること）を冪等自己準同型場へ拡張すること。
• 不変因子、Nijenhuisのテンソルの消えること、および核分布の可換性を用いて、一般の滑らかな自己準同型場の可積分性を特徴づけること。
• 特に $C^{n-1}$ の正則性条件が冪等自己準同型場の可積分性に果たす役割を明確にすること。

提案手法

• 証明は、冪等自己準同型構造に由来するベクトル場の積分にCauchy-Lipschitz定理を用いる。
• 可換な自己準同型場に対して、Nijenhuis型の変種テンソル $\mathcal{N}'_{A,B}$ を導入し、像および核分布の可積分性を分析する。
• 冪零指数 $n$ に関する帰納法を用い、核と像のフラッグに沿ったベクトル場のフローを段階的に構成することで、積分座標を構築する。
• $\ker A^p$ の可換性が、定数行列表現を与える可換フレーム場の存在にとって不可欠であることを示す。
• 楕円型偏微分方程式を避ける代わりに、Frobeniusの定理に類似した常微分方程式の解として座標を構成する。
• 一般の自己準同型場への拡張は、それらを不変因子に分解し、各成分に冪零条件を適用することで達成される。

実験結果

リサーチクエスチョン

• RQ1 Nijenhuisのテンソルが消えるという条件に加えて、冪等自己準同型場の可積分性に必要な追加条件は何か？
• RQ2 なぜNijenhuisのテンソルが消えるだけでは、複素構造の場合とは異なり、冪等自己準同型場の可積分性を保証しないのか？
• RQ3 核分布 $\ker A^p$ は、自己準同型が定数行列になるような局所座標の存在にどのように影響するか？
• RQ4 冪等自己準同型場が可積分であるために必要な最小の正則性は何か？ なぜこの条件が必要不可欠なのか？
• RQ5 一般の自己準同型場の可積分条件は、その不変因子および関連核分布に関する条件に還元可能か？

主な発見

• 自己準同型場 $A$ が可積分であるための必要十分条件は、その不変因子が定数であること、Nijenhuisのテンソル $\mathcal{N}_A$ が消えること、および各分布 $\ker A^p$ が可換的であることである。
• Nijenhuisのテンソルが消えるだけでは可積分性は保証されず、$\ker A^p$ の可換性は必要かつ独立な条件である。
• $C^\infty$ または解析的場の場合、積分座標が存在し、その正則性は同じである。$n-1 \leq r < \infty$ の $C^r$ 場の場合、座標は少なくとも $C^{r-n+2}$ の正則性を有する。
• 正則性条件 $C^{n-1}$ は本質的であり、$A$ に関連する構造群の非再帰的性質と関連している。
• 結果は任意の自己準同型場へ一般化可能である：可積分性が成り立つのは、不変因子が定数であり、$\mathcal{N}_A = 0$ であり、各不変因子 $P$ に対して $\ker P(A)$ が可換的であるときである。
• 具体例により、$\mathcal{N}_A = 0$ が $\ker A^p$ の可換性を意味しないこと、逆に $\ker A^p$ の可換性が $\mathcal{N}_A = 0$ を意味しないことが示され、これらの条件が独立であることが確認された。