[論文レビュー] Multi-parameter deformations of the module of symbols of differential operators

Faouzi Ammar, Boujemaâ Agrebaoui+1 more|ArXiv.org|Nov 8, 2000

Mathematical Control Systems and Analysis被引用数 4

ひとこと要約

本稿は、$ℝ^n$ ($n \geq 2$) 上の微分作用素の記号モジュールの多パラメータ形式的変形の可積分性について、必要十分条件を確立する。Lie代数$ \mathrm{Vect}(ℝ^n)$のコホロジーを用いて、変形パラメータ間の代数的関係を同定し、無限小変形を拡張する形式的変形の存在を保証する条件を導出する。これは、古典的一パラメータ変形理論を多パラメータ設定に一般化し、明示的な可積分性条件を提示する。

ABSTRACT

The space of symbols of differential operators on a smooth manifold (i.e., the space of symmetric contravariant tensor fields) is naturally a module over the Lie algebra of vector fields. We study, in the case of $\bf R^n$ with $n\geq2$, multi-parameter formal deformations of this module. The space of linear differential operators on $\bf R^n$ provides an important class of such formal deformations; we show, however, that the whole space of deformations is much larger.

研究の動機と目的

• $ℝ^n$ 上の微分作用素の記号モジュールの与えられた無限小変形を拡張する形式的多パラメータ変形の存在に関する必要十分条件を特定すること。
• 最小普遍変形理論を用いて、古典的一パラメータ変形理論を多パラメータ設定に一般化すること。
• 変形パラメータ間の代数的関係として、$ \mathrm{Vect}(\u211d^n)$ の非自明な第一コホロジー類に対応する可積分性の障害を特徴づけること。

提案手法

• 変形を形式的べき級数$\rho(t) = \rho + \sum_{m \geq 1} \varphi_m(t)$としてモデル化し、ここで$\varphi_m(t)$は変形パラメータ$t = (t_1, \dots, t_p)$に関する次数$m$の同次多項式で、$\mathrm{End}(V) \otimes \mathbb{C}[t]$値をとる。
• 変形された作用の準同型条件を記述するため、Maurer-Cartan方程式$\delta\varphi(t) + \frac{1}{2}[[\varphi(t), \varphi(t)]] = 0$を用いる。
• 無限小変形$\varphi_1(t)$を、第一コホロジー空間$H^1(\mathrm{Vect}(\mathbb{R}^n), \mathrm{End}(V))$の基底に対応する1-コサイクル$c_i$の線形結合として表現する。
• Nijenhuis-Richardson積$[[c_i, c_j]]$を用いて、高次項$\varphi_m(t)$を再帰的に計算し、可積分性の障害を検出する。
• 可積分性条件を、$t_i^k$間の代数的関係、たとえば$t_0^k - t_0^{k-1} = 0$、$t_1^k t_1^{k-1} = 0$、$t_2^k t_2^{k-2} = 0$として特定する。これらは、Nijenhuis-Richardson積の消滅から導かれる。
• これらの関係が障害のイデアルを生成することを証明し、すべての$i,j$に対して$[[c_i, c_j]] = 0$であることが、形式的変形の存在にとって必要かつ十分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 多パラメータ形式的変形の可積分性に関する必要十分条件は何か？
• RQ2 $\mathrm{Vect}(\mathbb{R}^n)$ の第一コホロロジーに付随する1-コサイクルのNijenhuis-Richardson積は、可能な変形をどのように制約するか？
• RQ3 すべての多パラメータ変形の空間は、変形パラメータ間の代数的関係によって完全に記述可能か？ もしそうならば、それらは何か？
• RQ4 この文脈において、古典的一パラメータ変形理論はどの程度多パラメータ設定に拡張可能か？
• RQ5 $\mathcal{D}_{\lambda,\mu}$ の二パラメータ族は、一般の変形空間とどのように関係するか？

主な発見

• $\rho(t)$ の多パラメータ無限小変形の可積分性は、変形パラメータに対応するコホロジー類$c_i$間のすべてのNijenhuis-Richardson積$[[c_i, c_j]]$の消滅と同値である。
• 必要十分可積分性条件は、それぞれ$[[c_0, c_1]]$、$[[c_1, c_1]]$、$[[c_0, c_2]]$の消滅から生じる代数的関係$t_0^k - t_0^{k-1} = 0$、$t_1^k t_1^{k-1} = 0$、$t_2^k t_2^{k-2} = 0$である。
• $\varphi_2(t)$ の第二階項が存在するのは、Nijenhuis-Richardson積から導かれる方程式系が一意解を持つときであり、これはまさに可積分性条件(4.22)–(4.24)が満たされているときである。
• 証明により、任意の高次障害多項式$R_m(t)$は、基本的関係(4.22)–(4.24)によって生成されるイデアルに属する必要があることが示され、それらの十分性が確認される。
• 変形空間の構造は、$\mathrm{Vect}(\mathbb{R}^n)$ のコホロロジー的データによって完全に制御され、変形パラメータは非自明な第一コホロジー類を符号化している。
• $\mathcal{D}_{\lambda,\mu}$ の二パラメータ族は、非自明な変形の重要なクラスを提供するが、全変形空間はそのような族によって生成される空間よりも厳密に大きい。