[論文レビュー] Equivariant symbol calculus for differential operators acting on forms

F. Boniver, Sarah Hansoul+2 more|ArXiv.org|Jun 20, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 12

ひとこと要約

本稿は、平坦な射影構造をもつ多様体上のp-形式に作用する微分作用素に対して、射影的に同変な記号写像の存在および一意性を確立する。この記号計算を用いて、多様体上のp-形式の微分作用素空間間のVect(M)-同変写像を完全に分類し、Poncinの先行結果を回復・拡張するとともに、Lecomteが提起した内在的ホモトピー作用素の拡張問題を解決する。

ABSTRACT

We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces $D_p$ of differential operators transforming p-forms into functions. These results hold over a smooth manifold endowed with a flat projective structure. As an application, we classify the Vect(M)-equivariant maps from $D_p$ to $D_q$ over any manifold M, recovering and improving earlier results by N. Poncin. This provides the complete answer to a question raised by P. Lecomte about the extension of a certain intrinsic homotopy operator.

研究の動機と目的

• 平坦な射影構造をもつ多様体上でのp-形式に作用する微分作用素に対して、射影的に同変な記号写像を構成すること。
• スカラー密度からテンソル場、特にp-形式へと同変記号計算の枠組みを拡張すること。
• 任意の多様体（dim M > 1）に対して、p-形式上の微分作用素空間間のVect(M)-同変写像を完全に分類すること。
• P. Lecomteが提起した内在的ホモトピー作用素の拡張問題を解決すること。

提案手法

• 反変反対称テンソル場値多項式関数としての記号空間$\mathcal{S}_p$を導入する。
• $\mathcal{D}_p$から$\mathcal{S}_p$への射影的に同変な記号写像$\sigma_p$を定義し、正規化を除いてその存在および一意性を証明する。
• 発散作用素および古典的不変量（Koszul微分）を用いて、記号写像の明示的公式を導出する。
• $\mathit{sl}_{n+1}$作用との可換関係を用いて、記号空間$\mathcal{S}_p$と$\mathcal{S}_q$間の$\mathit{Vect}(M)$-不変作用素を分析する。
• 記号上の不変作用素の分類を応用し、微分作用素上の$\mathit{Vect}(M)$-同変写像の分類を導出する。
• 表現論的技法および$\gamma_{i,p}(X)$, $\delta$, $\delta^*$, $K$を含む交換関係を用いて、不変空間の構造を特定する。

実験結果

リサーチクエスチョン

• RQ1 平坦な射影多様体上でのp-形式に作用する微分作用素に対して、射影的に同変な記号写像は存在するか？
• RQ2 次元が1より大きい多様体に対して、p-形式上の微分作用素空間間の$\mathit{Vect}(M)$-同変写像の完全分類は何か？
• RQ3 Poncinの同変写像に関する結果は、$p = n-1$および$p = n$に対しても回復・拡張可能か？
• RQ4 形式の記号計算は、Lecomteが提起したホモトピー作用素の拡張問題とどのように関係するか？
• RQ5 さまざまな$k, l, p, q$に対して、$\mathcal{D}^k_p$と$\mathcal{D}^l_q$間の$\mathit{Vect}(M)$-不変作用素空間の明示的生成元は何か？

主な発見

• 平坦な射影構造をもつ多様体上では、$\mathcal{D}_p$から$\mathcal{S}_p$への射影的に同変な記号写像が存在し、正規化を除いて一意的である。
• $1 \leq p \leq n-1$に対して、$\mathcal{S}_p^k$から$\mathcal{S}_p^k$への$\mathit{Vect}(M)$-不変作用素空間$\mathcal{I}_{p,p}^k$は、$k \neq 1$かつ$(k,p) \neq (2,n-1)$のとき恒等写像によって生成され、それ以外の場合は追加で$ d^* \circ K $が生成元として含まれる。
• $p = 0$または$p = n$のとき、$k \neq 0$ならば、$\mathcal{I}_{p,p}^k$は恒等写像と、$p=0$の場合は$I_0$、$p=n$の場合は$\mathcal{C}$によって生成される。
• $\mathcal{I}_{p,p+1}^k$は、$k=1$または$(k,p) = (2,n-1)$のときのみ非自明であり、このとき$K$が張る。また$(k,p) = (2,0)$のとき、$K'$が張る。
• $p = n-1$かつ$k=2$のとき、$\mathcal{I}_{n-1,n}^2$は1次元であり$K$が生成するが、$\mathcal{I}_{0,1}^2$は$K'$が生成する。
• 分類は、$p \leq n-2$に対してPoncinの結果を完全に回復・拡張し、$p = n-1$および$p = n$の不変量の完全なリストを提供する。これにより、Lecomteのホモトピー作用素拡張問題が解決される。