Loading article…
数学において、形式的モジュライは、（代数多様体やベクトル束などの）モジュライ空間の理論の一側面であり、変形理論や形式幾何学と密接に関連しています。大まかに言えば、変形理論は変形に関するテイラー多項式レベルの情報を提供することができ、形式的モジュライ理論は矛盾のないテイラー多項式を組み立てて形式的冪級数理論を作成できます。厳密に言えば、モジュライ空間へのステップは代数化の問題であり、アルティンの近似定理によってほぼ確固たる基盤が築かれています。
形式的普遍変形は、定義により、完全な局所環上の形式的スキームであり、研究対象の体上のスキームに特別なファイバーを持ち、そのようなセットアップ間で 普遍的な特性を持つものです。問題の局所環は、形式的モジュライのキャリアです。
参考文献