[论文解读] 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-形式空间之间所有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$ 时，$\mathit{Vect}(M)$-不变算子空间 $\mathcal{I}_{p,p}^k$ 从 $\mathcal{S}_p^k$ 到 $\mathcal{S}_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$ 由恒等映射与 $I_0$（当 $p=0$）或 $\mathcal{C}$（当 $p=n$）生成。
• $\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$ 为一维空间，由 $K$ 张成；而 $\mathcal{I}_{0,1}^2$ 由 $K'$ 张成。
• 该分类完全恢复并扩展了Poncin在 $p \leq n-2$ 时的结果，并为 $p = n-1$ 和 $p = n$ 提供了完整的不变量列表，解决了Lecomte关于同伦算子扩展的问题。