[论文解读] Projectively Equivariant Quantization Map

Sofiane Bouarroudj|arXiv (Cornell University)|Mar 9, 2000

Advanced Operator Algebra Research参考文献 2被引用 10

一句话总结

该论文构建了一个从余切丛上的二阶多项式符号到赋予仿射联络的流形上二阶线性微分算子的射影等变量子化映射。该映射被证明与特定联络无关，仅依赖于其射影类，并且在显式确定的常数下唯一；它在射影群 SL_{n+1} 作用下保持等变，并推广了先前关于平坦射影结构和共形结构的结果。

ABSTRACT

Let M be a manifold endowed with a symmetric affine connection $Γ.$ The aim of this paper is to describe a quantization map between the space of second-order polynomials on the cotangent bundle T^{*} M and the space of second-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on M. This map is an isomorphism, for almost all values of certain constants, and it depend only on the projective class of the affine connection $Γ.$

研究动机与目标

• 构造一个从余切丛上的二阶多项式符号到二阶线性微分算子的量子化映射，该映射在仿射联络的射影类下保持不变。
• 确保该映射在具有平坦射影结构的流形上，对射影群 SL_{n+1}（或其李代数 sl_{n+1}）的作用保持等变。
• 确定此类量子化映射存在且唯一的精确条件，特别是在模同构可能不唯一的共振情形下。
• 通过证明该映射仅依赖于联络的射影类而非联络本身，推广先前关于共形和射影量子化的结果。

提出的方法

• 将符号空间定义为取值于 δ-密度的余切丛上的多项式，其中 δ = μ − λ，将微分算子空间定义为 λ-密度与 μ-密度之间的线性映射。
• 将量子化映射 Q_{λ,μ} 构造为保持主符号并关于微分同胚群和向量场作用保持等变的线性同构。
• 利用与仿射联络 Γ 相关的协变导数，在局部坐标中表达微分算子，包含联络系数及其导数的项。
• 以对称协变张量 T^{ij} 和联络 Γ 表示量子化映射的二阶、一阶和零阶部分的显式公式。
• 计算在射影等价联络 Γ̃ 下量子化映射的变换，并推导出映射保持不变的条件。
• 求解所得方程组，确定使量子化保持射影不变的常数 β₁, β₂, β₃，得到其关于 δ = μ − λ 和 n = dim M 的显式表达式。

实验结果

研究问题

• RQ1 在何种条件下，存在一个从二阶符号到二阶微分算子的量子化映射，使其在射影群 SL_{n+1} 作用下保持等变？
• RQ2 该量子化映射如何依赖于仿射联络的选择？能否使其在保持等变性的同时与联络选择无关？
• RQ3 确保射影不变性时，量子化映射中系数 β₁, β₂, β₃ 的显式公式是什么？
• RQ4 是否存在 δ = μ − λ（共振情形）使得同构不再唯一？若存在，这些情形有何特征？
• RQ5 该构造能否推广到更高阶微分算子？可能遇到哪些结构性障碍？

主要发现

• 当且仅当系数 β₁, β₂, β₃ 由公式 (5.3) 显式给出时，量子化映射 Q_{λ,μ}^{2} 是射影不变的，其表达式依赖于 δ = μ − λ 和维数 n。
• 在 ℝⁿ 上的平坦射影结构下，所构造的映射在 SL_{n+1} 及其李代数 sl_{n+1} 作用下保持等变，推广了先前关于共形和射影结构的结果。
• 在共振情形 δ = (n+2)/(n+1) 和 δ = (n+3)/(n+1) 下，同构仍然存在，但当 δ = (n+3)/(n+1) 时解不唯一，此时 β₂ 保持任意。
• 该映射由联络的射影类唯一确定，即不依赖于联络的具体代表 Γ，而仅依赖于其在射影变换下的等价类。
• 映射的零阶项包含曲率型项，包括 ∂ₖΓᵢⱼᵏ、ΓᵢⱼᵏΓₖ 和 ΓᵢΓⱯ，显示出其对联络几何的非平凡依赖。
• 证明其在射影变换下的不变性依赖于计算在射影等价联络下映射的变化，并表明当常数 β₁, β₂, β₃ 满足 (5.3) 中的条件时，校正项恰好消失。