[論文レビュー] Lie Atoms and their deformation theory

Ziv Ran|ArXiv.org|Dec 10, 2004

Molecular spectroscopy and chirality参考文献 4被引用数 7

ひとこと要約

本稿では、部分多様体や写像などの幾何的対象の統一的な変形理論を提供するため、Lie代数対の一般化であるLieアトムを導入する。これにより、Jacobi-Bernoulliコホモロジーと呼ばれる新しいコホモロジー理論が用いられる。主な貢献は、有限性および自己同型の希少性の条件下で普遍変形の構成であり、Hilbert汎関数、Douady空間、熱変形への応用を含む。

ABSTRACT

A Lie atom is essentially a pair of Lie algebras and its deformation theory is that of deformations with respect to one algebra together with a trivialization with respect to the other. Such deformations occur commonly in Algebraic Geometry, for instance as deformations of subvarieties of a fixed ambient variety. Here we study some basic notions related to Lie atoms, focussing especially on their deformation theory, in particular the universal deformation. We introduce Jacobi-Bernoulli cohomology, which yields the deformation ring, and show that, under suitable hypotheses, infinitesimal deformations are classified by certain Kodaira-Spencer data.(minor corrections Feb'06/May'07; paper is to appear in GAFA)

研究の動機と目的

• 微分幾何や複素幾何における変形問題で、Lie理論的枠組みを持たないもの、特に部分多様体の変形を扱うため。
• 微分複体Lie代数を超える変形理論を一般化するため、Lie代数のペアに加えモジュール構造を持つLieアトムを導入する。
• 無限小変形を分類し、普遍変形環を構成するためのコホモロジカル枠組み—Jacobi-Bernoulliコホモロジー—を構築する。
• Lieアトムと古典的モジュライ空間（Hilbert汎関数やDouady空間など）との幾何的対応関係を確立する。
• 有限性および自己同型の希少性の仮定の下で、普遍変形の存在を示し、Kodaira-Spencer理論を新たな幾何的設定へ拡張する。

提案手法

• Lieアトムを三重組 frac{\mathfrak{g}, \mathfrak{h}, \mathfrak{h}^+} として定義する。ここで $\mathfrak{g} \to \mathfrak{h}^+$ はLie代数準同型であり、$\mathfrak{h} \subset \mathfrak{h}^+$ は $\mathfrak{g}$-加群である。
• Jacobi-Bernoulli複体—ベルヌーイ数を含むねじれコチェイン複体—を導入し、その零次コホモロジーは変形環の双対に一致する。
• Lie恒等式とベルヌーイ数の恒等式を用いて、Jacobi-Bernoulli複体における微分の二乗が消えることを証明する。
• 局所Artin環 $S$ 上での変形を分類するKodaira-Spencer写像 $\alpha: R_e(\mathfrak{g}^\sharp) \to S$ を構成する。
• 適切な有限性および自己同型条件の下で、$R_e(\mathfrak{g}^\sharp)$（変形の基底）が局所環であることを示し、普遍変形を構成する。
• 古典的例に形式的枠組みを適用する：Hilbert汎関数、Douady空間、熱変形、多様体間の写像。普遍変形が形式的ジェルムまたは完備化として現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 固定された環境多様体内での部分多様体の変形問題は、Lie理論的枠組みで定式化可能か？
• RQ2 Lieアトムの無限小変形を支配するコホモロジカル構造は何か？ そしてこれはKodaira-Spencer写像をどのように一般化するか？
• RQ3 どのような条件下でLieアトムは普遍変形を許容し、その変形環の構造はどのようなものか？
• RQ4 Jacobi-Bernoulliコホモロジーは、Hilbert汎関数やDouady空間の古典的変形理論とどのように関係するか？
• RQ5 Lieアトムの形式的枠組みは、Lie対でない場合、例えば熱変形や多様体間の写像へとどの程度拡張可能か？

主な発見

• Jacobi-Bernoulli複体は、零次コホモロジーを双対化することでLieアトムの変形環を導くコホモロジカル道具であり、Lie代数変形におけるJacobi複体の役割を一般化する。
• Lieアトムの無限小変形はKodaira-Spencerデータによって分類され、局所Artin環 $S$ 上での変形類を記述するKodaira-Spencer写像 $\alpha: R_e(\mathfrak{g}^\sharp) \to S$ が存在する。
• 有限性および自己同型の希少性の仮定の下で、普遍 $\mathfrak{g}^\sharp$-変形が存在し、それは基底環 $R_e(\mathfrak{g}^\sharp)$ の形式的完備化として表される。
• Lieアトム $N_{Y/X}[-1]$ の場合、普遍変形はHilbert汎関数またはDouady空間の形式的ジェルムとして与えられ、形式的枠組みの幾何的実現が確認される。
• 部分多様体 $Y \subset X$ の場合、$h^1(N_{Y/X}) - h^2(N_{Y/X}) > 0$ ならば、Corollary 3.4が示唆する通り、$Y$ は $X$ 内で非自明な変形を許容する。
• 形式的枠組みは熱変形や写像 $f: Y \to X$ にも適用可能であり、$T_f$-変形の普遍性は、以前にHorikawaによって構成された写像 $f$ の普遍変形に対応する。