[論文レビュー] Cohomology and Obstructions I: Geometry of formal Kuranishi theory

Herbert Clemens|ArXiv.org|Jan 20, 1999

Geometry and complex manifolds参考文献 14被引用数 19

ひとこと要約

本稿は、コンパクトなカホーラ多様体の変形理論において、クルネイシデータとガウス＝ミンシン接続の間の幾何的関係を確立し、変形の障害が特定のコホモロジー類（特に周囲のホッジコホモロジーに属するもの）を消滅させることを示している。これにより、障害空間が縮小される。主な貢献は、障害が周囲多様体からのコホモロジー類とペアリングされたときに消えるという統一的枠組みを構築し、K-自明多様体の変形が非障害的であるという古典的結果を一般化することにある。

ABSTRACT

The principle "ambient cohomology of a Kaehler manifold annihilates obstructions" has been known and exploited since pioneering work of Kodaira. This paper extends and unifies many known results in two contexts, abstract deformations of compact Kaehler manifolds and deformations of submanifolds within a given deformation of the ambient manifold.

研究の動機と目的

• コンパクトなカホーラ多様体の変形障害と周囲コホモロジーの関係を明確化し、拡張すること。
• コホモロジカルペアリングを通じて、コンパクトなカホーラ多様体およびその部分多様体の変形に関する結果を統一すること。
• 変形の障害がガウス＝ミンシン接続とクルネイシデータを介して特定のコホモロジー類を消滅させることを確立すること。
• 形式的クルネイシ理論を用いて、障害の消滅の幾何的基礎を構築すること。
• コホモロジカル制約を用いて、K-自明な3次元多様体の非障害的変形に関する既知の結果を一般化すること。

提案手法

• 本稿は、$ A^{0,1}(T_{M_0}) \otimes \mathbb{C}[[t]] $ におけるクルネイシデータを、$ M_0 $ の変形の $ C^\infty $-自明化と同一視し、横断的ファイバーを通じて正則構造に結びつける。
• ガウス＝ミンシン接続を用いて、位相的変形とホッジ理論的変形を比較し、比較データが可積分性条件を符号化することを示す。
• 形式的同型 $ \varphi: B^*(M/\Delta) \to A^*(M_0) \otimes \mathbb{C}[[t]] $ が構成され、クルネイシ作用素 $ \langle \xi | \cdot \rangle $ を通じて $ \partial $-および $ \bar{\partial} $-構造を保存する。
• 可積分性は方程式 $ \bar{\partial}\xi - \frac{1}{2}[\xi, \xi] = 0 $ によって特徴づけられ、これによりほぼ複素構造が正則になる。
• 本稿は、鍵となるペアリングを導出する：$ H^2(T_{M_0}) $ や $ H^1(N_{Y_0\setminus M_0}) $ に属する障害は、それぞれ $ H^{p,q}(M_0) $ や $ K_0^{p,q} $ とペアリングされたときに消える必要がある。
• 障害がホッジ構造の変形の障害を測るペアリングとして消えることの根拠は、デリーニの理論によって示されている。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなカホーラ多様体の変形障害は、周囲多様体のコホモロジーとどのように関係するか？
• RQ2 変形理論におけるクルネイシデータとガウス＝ミンシン接続の間の明確な幾何的関係は何か？
• RQ3 部分多様体の変形障害が、周囲多様体の特定のコホモロジー類をなぜ消滅させるのか？
• RQ4 障害ペアリングの消滅が非障害的変形を示すための条件は何か？
• RQ5 形式的クルネイシ理論を用いて、部分多様体の変形問題における障害空間のサイズをどのように縮小できるか？

主な発見

• コンパクトなカホーラ多様体 $ M_0 $ の変形障害は、ペアリング $ H^2(T_{M_0}) \otimes H^{p,q}(M_0) \to H^{p-1,q+2}(M_0) $ の核に属するため、周囲のホッジコホモロジーを消滅させる。
• 部分多様体 $ Y_0 \subset M_0 $ に対して、変形障害はペアリング $ H^1(N_{Y_0\setminus M_0}) \otimes K_0^{p,q} \to H^{p-1,q+1}(Y_0) $ の核に属する。ここで $ K_0^{p,q} $ は $ H^r(M_0) \to H^r(Y_0) $ の核である。
• すべての正則な canonical バンドルを持つカホーラ多様体は、最初のペアリングが消えることの直接的な系として非障害的である。
• 曲線的変形を伴う相対的設定では、$ Y_S/Y_S' $ の族の延長に関する障害は、ガウス＝ミンシンの消滅が成り立つ限り、$ K_0^{p+q+1,q-1} $ とペアリングされたときに消える。
• 可積分性条件 $ \bar{\partial}\xi - \frac{1}{2}[\xi, \xi] = 0 $ は、実際に正則な変形を導くクルネイシデータを特徴づける。
• 障害と周囲のホッジ類のペアリングが消えるのは、そのペアリングがホッジ構造の変形障害を測るものであり、デリーニの理論によりそれが自明であるからである。