[论文解读] Conformally equivariant quantization

Christian Duval, Valentin Ovsienko|ArXiv.org|Jan 27, 1998

Advanced Algebra and Geometry参考文献 18被引用 24

一句话总结

本文在伪黎曼流形上建立了二阶微分算子的共形等变量子化映射，表明当权重差 $\delta = \mu - \lambda$ 为一般值时，二阶符号空间通过一个关于共形群 $\mathrm{O}(p+1,q+1)$ 不变的映射，与二阶微分算子空间之间存在典范同构。该构造超越了共形平坦流形的限制，导出了新的共形不变拉普拉斯算子，包括在半密度上定义的新算子以及 Yamabe 算子。

ABSTRACT

Let $(M,g)$ be a pseudo-Riemannian manifold and $F_λ(M)$ the space of densities of degree $λ$ on $M$. We study the space $D^2_{λ,μ}(M)$ of second-order differential operators from $F_λ(M)$ to $F_μ(M)$. If $(M,g)$ is conformally flat with signature $p-q$, then $D^2_{λ,μ}(M)$ is viewed as a module over the group of conformal transformations of $M$. We prove that, for almost all values of $μ-λ$, the $O(p+1,q+1)$-modules $D^2_{λ,μ}(M)$ and the space of symbols (i.e., of second-order polynomials on $T^*M$) are canonically isomorphic. This yields a conformally equivariant quantization for quadratic Hamiltonians. We furthermore show that this quantization map extends to arbitrary pseudo-Riemannian manifolds and depends only on the conformal class $[g]$ of the metric. As an example, the quantization of the geodesic flow yields a novel conformally equivariant Laplace operator on half-densities, as well as the well-known Yamabe Laplacian. We also recover in this framework the multi-dimensional Schwarzian derivative of conformal transformations.

研究动机与目标

• 在伪黎曼流形上构造一个从二阶符号到二阶微分算子的典范共形等变量子化映射。
• 证明在共形平坦情形下，该量子化由 $\mathrm{O}(p+1,q+1)$-等变性唯一确定，前提是权重差 $\mu - \lambda$ 为一般值。
• 将量子化映射扩展至任意伪黎曼流形，仅依赖于共形类 $[\mathrm{g}]$。
• 将已知算子（如 Yamabe 拉普拉斯算子和测地流的量子化）作为该框架的特例予以恢复。
• 识别出 $\mu - \lambda$ 的共振值，此时同构不唯一，并刻画相应的特殊模结构。

提出的方法

• 本文在共形平坦流形上构造了 $\mathrm{O}(p+1,q+1)$-等变同构 $\mathcal{Q}_{\lambda,\mu}$，连接二阶符号空间 $\mathcal{S}^2_{\delta}(M)$ 与二阶微分算子空间 $\mathcal{D}^2_{\lambda,\mu}(M)$，其中 $\delta = \mu - \lambda$。
• 利用共形代数 $\mathfrak{o}(p+1,q+1)$ 的表示理论，证明该同构在 $\delta \notin \left\{\frac{2}{n}, \frac{n+2}{2n}, 1, \frac{n+1}{n}, \frac{n+2}{n}\right\}$ 时存在且唯一。
• 通过求解由 $\mathrm{O}(p+1,q+1)$-等变性要求导出的线性方程组，固定微分算子系数关于符号的表达式。
• 所得量子化映射保持主符号，并仅依赖于共形类 $[\mathrm{g}]$，从而可推广至非共形平坦流形。
• 对于共振值 $\delta$，本文证明存在一维参数族的此类同构，表明存在非平凡的上同调结构。
• 通过显式计算零阶项验证该方法，结果表明零阶项涉及共形重标度度量的 Ricci 张量与数量曲率，从而得到内在的几何表达式。

实验结果

研究问题

• RQ1 能否在伪黎曼流形上构造一个独立于共形类中度量选择的共形等变量子化映射，用于二阶微分算子？
• RQ2 该量子化映射在何种条件下唯一？在何种情况下不唯一？
• RQ3 该量子化映射如何从共形平坦流形推广至任意伪黎曼流形？
• RQ4 作为该量子化框架的特例，会涌现出哪些几何对象（如拉普拉斯算子）？
• RQ5 共振值 $\mu - \lambda$ 在 $\mathrm{O}(p+1,q+1)$-模的符号与算子结构中起何作用？

主要发现

• 当 $\delta = \mu - \lambda$ 为一般值时，通过共形等变量子化映射，$\mathrm{O}(p+1,q+1)$-模的二阶符号空间与二阶微分算子空间之间存在典范同构。
• 只要 $\delta \notin \left\{\frac{2}{n}, \frac{n+2}{2n}, 1, \frac{n+1}{n}, \frac{n+2}{n}\right\}$，该量子化映射在归一化意义下唯一，且保持主符号。
• 在共振情形下，同构不唯一；相反，存在一个一维参数族的此类同构。
• 测地流的量子化导出一个在半密度上定义的新共形等变拉普拉斯算子，其与标准拉普拉斯算子不同。
• 该框架将著名的 Yamabe 拉普拉斯算子作为共振模上量子化映射的特例予以恢复。
• 在量子化算子中的零阶项可表示为共形重标度度量的 Ricci 张量与数量曲率的函数，从而确保了完全的共形不变性。