On the Moser trick for Lie subalgebras and foliations

技術要約：リー部分代数およびフォリエーションにおけるモザー・トリックについて

問題提起
本論文は、リー代数（Lie algebroid）の文脈における変形（deformation）の滑らかな自明性（smooth triviality）を特徴付ける問題を扱っている。具体的には、リー代数の二つの極限的なケースである「リー部分代数（Lie subalgebras）」と「フォリエーション（foliations）」に焦点を当てている。リー代数の変形理論は（特にCrainicとMoerdijkによって）確立されているが、著者はこれらの特定のコーナーケースに対して、直接的かつ自己完結的な証明を提供することを目的としている。中心となる問いは、リー部分代数またはフォリエーションの滑らかな変形が「自明」である（すなわち、自己同型写像または微分同相写像による滑らかな一族によって定数変形と等価である）ための必要十分条件を確立することである。特に、フォリエーションにおいて成立する異なる変形複体間の準同型性（quasi-isomorphism）が、一般のリー部分代数においては一般に成立しないという事実を念頭に、これらの結果を一般的なリー部分代数へと拡張することを動機としている。

手法
著者は、シュヴァレー・アイレンベルク複体（Chevalley-Eilenberg complex）および「モザー・トリック」（時間依存型ベクトル場とフローを用いて等価性を構成する手法）に根ざした変形理論的アプローチを用いている。

1. リー部分代数およびイデアル（第2節）：

   • 著者は、リー代数準同型、リー部分代数、またはリーイデアルの滑らかな変形に対して、一族のコサイクルを関連付ける。
   • 変形写像の定義方程式を、変形パラメータ $t$ に関して微分することにより、変形写像の時間微分に関する条件を導出する。
   • 中心的な手法は、関連するリー群またはベクトル空間上の時間依存型ベクトル場を構成することである。特定の微分方程式（変形コサイクルと時間依存型ベクトル場を含む）の解の存在が、変形の自明性と等価であることが示される。
   • 証明は、時間依存型ベクトル場のフローの局所的な存在と、積分曲線の唯一性に依拠している。

2. フォリエーション（第3節）：

   • 論文では、フォリエーションを可積分な分布として扱う。滑らかな変形は、$M \times I$ 上の、スライスに対して接するフォリエーションとして定義される。
   • 著者は、フォリエーションの変形複体、すなわち $(\Omega^\bullet(\mathcal{F}; \nu(\mathcal{F})), d^\nabla)$ （ここで $\nu(\mathcal{F})$ は法束、$\nabla$ はボット接続である）を利用する。
   • 「変形コサイクル」$\sigma_t$ は、フォリエーションへの射影の時間微分として定義される。
   • モザー・トリックは、$M \times I$ 上の時間依存型ベクトル場の構成によって実装される。特定の部分束 $D$（全フォリエーションとベクトル場から構成される）の可積分性は、変形コサイクルのコホモロジーにおける消滅と等価であることが示される。

主要な貢献および結果

• リー部分代数（定理 2.2）： 本論文は、リー部分代数 $(h, \iota) \subset g$ の滑らかな変形の自明性に関するコホモロジー的基準を確立している。変形が $Aut(g)$-自明であるための必要十分条件は、関連する余鎖$\pi_{can} \circ \dot{\iota}t$（包含写像の時間微分の射影）が、変形複体$C^\bullet{\iota_t}(h_t; g/\iota_t(h_t))$ のコホモロジーにおいて消滅することであることを証明している。
• リーイデアル（定理 2.3）： リー代数の短完全列におけるリーイデアルの変形に対する同様の基準が導出されている。変形の自明性は、複体 $C^\bullet_{\pi_t}(g; Hom(h_t, k_t))$ における特定のコサイクルの消滅に関連付けられている。
• フォリエーションのモザー・トリック（定理 3.7）： 著者は、フォリエーションのモザー・トリックの直接的な証明を提供している。主要な結果は、コンパクト多様体 $M$ 上のフォリエーション $(F_t)_{t \in I}$ の滑らかな変形が自明であるための必要十分条件は、変形コサイクル $\sigma_t$ がコホモロジー内で滑らかに消滅すること（すなわち、$[\sigma_t] = 0$ in $H^1(F_t; \nu(F_t))$）であることである。
• 既存の結果の精緻化（補題 3.8）： 本論文は、自明な変形は常に完全な変形コサイクルを与えることを示し、Heitsch [10] の結果を（周囲の多様体上の完備なベクトル場を必要としないという、より弱い仮定の下で）回収している。

意義および主張
本論文は、フォリエーションの変形理論を、より広範なリー代数変形理論の機構を呼び出すのではなく、フォリエーションを可積分な分布と見なす観点から、その変形複体のみに依拠した「直接的な証明」を提供していると主張している。

著者は、リー代数の変形理論（Crainic-Moerdijk）が準同型性を介してフォリエーションの結果を導く一方で、この準同型性は任意のリー部分代数には一般に成立しないことを指摘している。したがって、ここでの手法、特にリー部分代数やイデアルの無限小的なモザー・トリックの性質は、一般的なリー部分代数への自明性結果の拡張のための基礎として意図されている。これは、著者が後続の研究 [1] の主題であると述べている事項である。

本研究の範囲は控えめであり、新しい実験的応用や広範な物理理論を提案することなく、これらの特定の幾何学的設定における自明性の必要十分なコホモロジー的条件を確立することに焦点を当てている。それは、リー代数の変形理論と、より複雑なリー代数（Lie algebroid）の理論との間の技術的な架け橋として機能している。