[論文レビュー] Canonical Infinitesimal Deformations

Ziv Ran|ArXiv.org|Oct 7, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 10

ひとこと要約

本稿では、正則ベクトル場をもたないコンパクト複素多様体の普遍形式的変形の標準的構成を、層のリー代数 $g$ に関連する多変数ヤコビ複体 $J(g)$ を用いて提示する。普遍変形の底環は $\mathbb{C} \oplus H^0(J(g))^*$ であることが示され、加法的ファンクターを用いたコホロロジー的内在的記述が得られる。

ABSTRACT

This paper gives a canonical construction, in terms of additive cohomological functors, of the universal formal deformation of a compact complex manifold without vector fields (more generally of a faithful $g$-module, where $g$ is a sheaf of Lie algebras without sections). The construction is based on a certain (multivariate) Jacobi complex $J(g)$ associatd to $g$: indeed ${\mathbb C}\oplus {\mathbb H}^0(J(g))^*$ is precisely the base ring of the universal deformation.

研究の動機と目的

• 正則ベクトル場をもたないコンパクト複素多様体の普遍形式的変形を、標準的かつコホモロジー的内在的に構成すること。
• 複素多様体に限らない枠組みに変形理論を一般化し、$g$ がグローバルセクションを持たない層のリー代数であるような忠実な $g$-加群を含めること。
• 多変数ヤコビ複体のコホモロジーを用いて、普遍変形の底環の明確な代数的記述を確立すること。
• 関手的かつ加法的コホモロジー的枠組みに埋め込むことで、既存の変形理論的構成を統一的かつ拡張すること。

提案手法

• 構成は、層のリー代数 $g$ に関連する多変数ヤコビ複体 $J(g)$ に依存しており、これは無限小対称性および変形の障害を符号化する。
• 普遍変形の底環は、$H^0(J(g))^*$ を表す $\mathbb{C} \oplus H^0(J(g))^*$ として特定される。
• 変形プロセスを形式化するために加法的コホモロジー的ファンクターが用いられ、構成の関手的および自然性が保証される。
• この枠組みは、$g$ がグローバルセクションを持たない任意の忠実な $g$-加群に一般化可能であり、複素多様体を越えてより広範な幾何的・代数的設定に拡張可能である。
• ヤコビ複体の使用により、障害や無限小自己同型を含む変形データの体系的な符号化が可能となる。
• 構成は補助的選択に依存しないため、標準的であり、グローバル幾何的応用に適している。

実験結果

リサーチクエスチョン

• RQ1 正則ベクトル場をもたないコンパクト複素多様体の普遍形式的変形を、標準的かつコホモロジー的内在的にどのように構成できるか？
• RQ2 普遍変形の底環の正確な代数的構造は、コホモロジー的データの観点からどのように記述できるか？
• RQ3 多変数ヤコビ複体 $J(g)$ は、リー代数層 $g$ の変形理論的データをどのように符号化するか？
• RQ4 複素多様体の変形理論は、グローバルセクションを持たないリー代数層 $g$ の忠実な $g$-加群に一般化可能か？
• RQ5 加法的コホモロジー的ファンクターは、変形構成の関手的および自然性を保証するために果たす役割は何か？

主な発見

• 普遍形式的変形の底環は、リー代数層 $g$ に関連する多変数ヤコビ複体 $J(g)$ を用いて、$\mathbb{C} \oplus H^0(J(g))^*$ として標準的に特定される。
• 構成は完全に標準的かつ関手的であり、補助的選択に依存せず、加法的コホモロジー的ファンクターおよび $J(g)$ のコホモロジーにのみ依存する。
• 正則ベクトル場をもたないコンパクト複素多様体に対しては、この方法により、$H^0(J(g))^*$ に完全に依存する普遍形式的変形が得られる。
• この枠組みは、複素多様体を越えて、$g$ がグローバルセクションを持たない任意の忠実な $g$-加群に一般化可能であり、変形理論の適用範囲を広げている。
• ヤコビ複体 $J(g)$ は、障害や無限小自己同型を含む変形データの普遍的符号化として機能する。
• この方法は、古典的な変形ファンクターの代わりにコホモロジー的代替を提供し、より構造的で加法的な枠組みに変形問題を埋め込んでいる。