[論文レビュー] On the perturbation lemma, and deformations

Marius Crainic|ArXiv.org|Mar 16, 2004

Advanced Topics in Algebra参考文献 15被引用数 80

ひとこと要約

本稿はホモロジー代数における摂動補題を再検討し、ホモトピー同値データにおける小さな摂動を扱えるように洗練されたバージョンを導入することで、変形理論への適用範囲を拡張する。適切な条件下で変形された構造が依然としてホモトピー同値のままであることを証明し、これを応用してコンパクトな距離空間 $ M $ 上の連続関数の代数 $ C(M) $ の連続的変形が自明であることを示す——つまり、連続な同型を通じて元の代数と同値である——これにより、コホロロジー的剛性が示される。

ABSTRACT

We have one more look at the (homological) perturbation lemma and we point out some non-standard consequences, including the relevance to deformations.

研究の動機と目的

• 古典的な摂動補題を、特に小さな摂動の文脈において再表現・強化すること。
• 摂動補題が変形理論に与える影響、特に位相的代数の文脈における影響を調査すること。
• コンパクトな距離空間 $ M $ 上の連続関数の代数 $ C(M) $ の連続的変形が自明である、すなわち元の代数と同値であることを示すこと。
• ホッフシュャイルドコホホロジーが次数 2 で消えることにより、$ C(M) $ のコホロロジー的剛性を確立すること。

提案手法

• ホモトピー同値（HE）データに対する洗練された摂動補題を導入し、小さな摂動 $ \bar{\rho} $ を用いて、摂動された写像 $ i_1, p_1, h_1, b_1 $ を定義する。ここで、$ A = (1 - \bar{\rho} h)^{-1} \bar{\rho} $ は解体作用素である。
• 作用素 $ A $ に関連する重要な恒等式を確立する。たとえば $ \delta h A = A - \delta $、$ (1 - \delta h)^{-1} = 1 + A h $、$ A i p A + A b + b A = 0 $ などであり、これらは摂動されたデータが新たな HE を形成することを保証する上で不可欠である。
• ホッフシュャイルド複体の $ C(M) $ に摂動補題を適用し、$ M $ 上の距離 $ \rho $ を用いて定義される連続的コントaction を用いる。次数 2, 3, 4 におけるホモトピー $ h $ の明示的公式を提示する。
• 正規化されたホッフシュャイルド複体 $ N^* $ 上に明示的な連続的コントaction を構成し、次数 2 で連続的ゼロホモトピーが存在することを示す。これにより、その次数におけるホッフシュャイルドコホホロジーが自明であることが導かれる。
• 連続的コントaction の存在を用いて、$ C(M) $ 上の積の $ C^1 $-滑らかな変形が、連続的代数同型を通じて自明な変形と同値であることを証明する。
• 連続係数 $ c_k $ を持つ形式的変形 $ f \star_t g = fg + c_1(f,g)t + \cdots $ に対しても、同様に自明な変形と同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的摂動補題は、非特別な変形リトラクトやより一般的な小さな摂動を扱えるように強化可能か？
• RQ2 摂動補題は、特に $ C(M) $ を含む位相的代数の変形理論にどのような影響を与えるか？
• RQ3 ホッフシュャイルドコホホロジーが次数 2 で消えるか？これは連続的変形における剛性を示唆する。
• RQ4 $ C(M) $ のすべての連続的または形式的変形は、自明な変形と同値か？
• RQ5 距離を用いて、$ C(M) $ の正規化ホッフシュャイルド複体上に明示的な連続的コントaction を構成可能か？

主な発見

• 小さな摂動 $ \delta $ に対して、$ 1 - \delta h $ の可逆性により、$ (L, b_1), (M, b+\delta), i_1, p_1, h_1 $ は新たなホモトピー同値を形成する。
• 重要な恒等式 $ (1 - \delta h)^{-1} = 1 + A h $ が成り立ち、$ A = (1 - \delta h)^{-1} \delta $ である。これは、小さな摂動条件のもとでネウマン級数の収束を保証する。
• 距離 $ \rho $ を用いて、$ C(M) $ の正規化ホッフシュャイルド複体 $ N^* $ 上に明示的な連続的コントaction $ h $ が構成され、次数 2, 3, 4 に対して公式が与えられる。
• この連続的コントaction の存在により、$ C(M) $ のホッフシュャイルドコホホロジーが次数 2 で消えることが示され、連続的変形における代数の剛性が導かれる。
• $ C(M) $ 上の積の $ C^1 $-滑らかな変形 $ \odot_t $ は、$ h_0 = \text{id} $ を満たす連続的代数同型 $ h_t $ を用いて自明な変形と同値である。
• 連続係数 $ c_k $ を持つすべての形式的変形 $ f \star_t g = fg + c_1(f,g)t + \cdots $ は、自明な変形と同値であり、$ C(M) $ のコホロロジー的剛性が確認される。