[论文解读] Projectively equivariant symbol calculus

Pierre Lecomte, Valentin Ovsienko|ArXiv.org|Sep 11, 1998

Advanced Topics in AlgebraMathematics参考文献 16被引用 20

一句话总结

本论文提出了一种投影等变符号演算，构造了在 sl(n+1,R) 作用下，λ-密度上的微分算子空间与余切丛上的多项式函数之间唯一的（归一化意义下）同构，该同构是等变的。关键结果是，这一同构为具有平坦投影结构的流形提供了规范的量子化映射，从而实现了微分算子商模的分类，并导出了 sl(n+1,R)-等变的星积。

ABSTRACT

The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these modules are isomorphic as $sl(n+1,{\mathbb{R}})$-modules where $sl(n+1,{\mathbb{R}})\subset \Vect({\mathbb{R}}^n)$ is the Lie algebra of infinitesimal projective transformations. In addition, such an $sl_{n+1}$-equivariant bijection is unique (up to normalization). This leads to a notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the $sl_{n+1}$-equivariant symbol map to study the $\Vect(M)$-modules of linear differential operators acting on tensor densities, for an arbitrary manifold $M$.

研究动机与目标

• 在 λ-密度上的微分算子与余切丛上的多项式函数之间构造一个规范的、sl(n+1,R)-等变的符号映射。
• 通过将对称性从 Diff(M) 限制到更小的投影对称群 SL(n+1,R)，解决自然量子化映射缺失的问题。
• 利用 sl(n+1,R)-等变符号映射对满足 k−ℓ≥2 的商模 D^k_λ(M)/D^ℓ_λ(M) 进行分类。
• 证明此类等变映射必然是局部的且为微分算子，从而表明其由微分算子给出。
• 将构造推广至通过形变量子化在 T*M 上定义一个 1-参数族的 sl(n+1,R)-等变星积。

提出的方法

• 定义 λ-密度空间与 R^n 上余切丛的多项式函数空间，并证明它们作为 sl(n+1,R)-模是同构的。
• 利用李代数表示论与无穷小投影变换的作用，构造 sl(n+1,R)-等变符号映射 σ_λ: D^k_λ(R^n) → Pol^k(T*R^n)。
• 通过分析模在 sl(n+1,R) 作用下的不可约分量，证明符号映射在归一化意义下唯一。
• 通过证明任何 sl(n+1,R)-等变线性映射在 Pol(T*R^n) 上必须是微分的（由于其在仿射群 R*⋉R^n 下的不变性），从而确立符号映射的局部性。
• 通过 ℏ^k 的缩放，利用符号映射在 Pol(T*M) 上定义一个星积 ⋆_ħ，从而实现形式形变量子化。
• 计算与商模相关的 H^1(Vect(M), Hom(S^k, S^{k−ℓ})) 上同调类，证明当 k−ℓ≥2 时存在非平凡形变。

实验结果

研究问题

• RQ1 是否可以在微分算子与余切丛上的多项式函数之间，定义一个在大对称群作用下等变的自然量子化映射？
• RQ2 是否存在一个最大对称群，使得微分算子模与多项式符号模在此群作用下同构？
• RQ3 当 k−ℓ≥2 时，商模 D^k_λ(M)/D^ℓ_λ(M) 的结构如何？它们如何形变符号模的空间？
• RQ4 sl(n+1,R)-等变性是否强制符号映射为局部且微分的？
• RQ5 sl(n+1,R)-等变符号映射是否可用于构造在投影变换下等变的 T*M 上的星积？

主要发现

• 空间 D_λ(R^n) 与 Pol(T*R^n) 作为 sl(n+1,R)-模是同构的，且该同构在归一化意义下唯一。
• sl(n+1,R)-等变符号映射必然是局部的，且由微分算子给出，表明其为微分映射。
• 当 k−ℓ≥2 时，商模 D^k_λ(M)/D^ℓ_λ(M) 是符号模的非平凡形变，其在 H^1(Vect(M), Hom(S^k, S^{k−ℓ})) 中的上同调类被显式计算。
• 该构造通过形变量子化在 T*M 上产生一个 1-参数族的 sl(n+1,R)-等变星积，其一阶项为泊松括号。
• 符号映射在任意赋予（平坦）投影结构的流形 M 上是全局良定义的，其局部公式在投影坐标变换下保持不变。
• 当 λ=1/2 且 k−ℓ=2 时，商模为例外情况，不产生非平凡形变，与其他情况形成区别。