[论文解读] On conformally covariant powers of the Laplacian

Andreas Juhl|arXiv (Cornell University)|May 25, 2009

Black Holes and Theoretical Physics参考文献 39被引用 25

一句话总结

本文提出了共形协变的拉普拉斯算子的幂（GJMS-算子）及其相关 $Q$-曲率的递归公式，在局部共形平坦流形上将它们分解为初级部分（低阶GJMS算子）和次级部分（依赖于Schouten张量）。该文在任意维数的球面上显式证明了这些公式，并以 $P_2$、$P_4$ 和 $P_6$ 表达了临界 $P_6$ 和 $P_4$ 算子，其更广泛的猜想在一般度量下也成立。

ABSTRACT

We propose and discuss recursive formulas for conformally covariant powers $P_{2N}$ of the Laplacian (GJMS-operators). For locally conformally flat metrics, these describe the non-constant part of any GJMS-operator as the sum of a certain linear combination of compositions of lower order GJMS-operators (primary part) and a second-order operator which is defined by the Schouten tensor (secondary part). We complete the description of GJMS-operators by proposing and discussing recursive formulas for their constant terms, i.e., for Branson's $Q$-curvatures, along similar lines. We confirm the picture in a number of cases. Full proofs are given for spheres of any dimension and arbitrary signature. Moreover, we prove formulas of the respective critical third power $P_6$ in terms of the Yamabe operator $P_2$ and the Paneitz operator $P_4$, and of a fourth power in terms of $P_2$, $P_4$ and $P_6$. For general metrics, the latter involves the first two of Graham's extended obstruction tensors. In full generality, the recursive formulas remain conjectural. We describe their relation to the theory of residue families and the associated $Q$-curvature polynomials.

研究动机与目标

• 在黎曼流形上，为共形协变的拉普拉斯算子的幂（GJMS-算子）建立递归公式。
• 在局部共形平坦情形下，将GJMS-算子的非恒定部分分解为初级部分（低阶GJMS算子的线性组合）和次级部分（涉及Schouten张量）。
• 将递归结构扩展至GJMS-算子的常数项，即Branson的$Q$-曲率。
• 通过显式情形（包括任意维数的球面以及临界阶数 $P_6$ 和 $P_4$）验证递归公式。
• 将公式与余项族和 $Q$-多项式联系起来，并识别一般度量下的障碍。

提出的方法

• 通过共形变分公式推导，将 $P_{2N}$ 的共形变换与其非恒定部分和 $Q$-曲率联系起来。
• 利用局部共形平坦度量下 $P_{2N}$ 的分解：初级部分（低阶GJMS算子的复合）和次级部分（涉及Schouten张量）。
• 通过微分算子的交换子进行无穷小共形协变性计算，以验证递归结构。
• 采用渐近度量构造和余项族方法，推导出 $P_{2N}$ 和 $Q_{2N}$ 的通用递归公式。
• 通过在标准球面和伪球面上的直接计算验证公式，利用对称性和显式曲率恒等式。
• 利用 $Q$-曲率的变换律和算子的共形变分，验证递归假设的一致性。

实验结果

研究问题

• RQ1 在局部共形平坦情形下，GJMS-算子 $P_{2N}$ 的非恒定部分是否可分解为低阶GJMS算子的线性组合与一个涉及Schouten张量的二阶算子？
• RQ2 GJMS-算子的常数项，即 $Q$-曲率 $Q_{2N}$，能否以低阶 $Q$-曲率和曲率不变量的递归形式表达？
• RQ3 临界GJMS-算子 $P_6$ 在 $P_2$ 和 $P_4$ 的表达下，其显式结构为何？该公式在一般度量下是否成立？
• RQ4 递归公式 $P_{2N}$ 和 $Q_{2N}$ 在局部共形平坦度量之外的推广程度如何？会遇到何种障碍？
• RQ5 递归公式与先前工作中发展的余项族和 $Q$-多项式理论有何关联？

主要发现

• 在 $n=6$ 维情形下，$P_6$ 的非恒定部分被显式表达为 $2(P_2P_4 + P_4P_2) - 3P_2^3$，减去涉及Schouten张量和Bach张量的低阶修正项，从而确认了递归结构。
• 对于任意维数和符号的球面，所提出的 $P_{2N}$ 和 $Q_{2N}$ 的递归公式得到了完整证明，确立了其在非平凡几何设定下的有效性。
• 临界 $P_6$ 算子在用 $P_2$、$P_4$ 及涉及Schouten张量和Bach张量的附加曲率项表示时，被证明是共形协变的。
• $P_4$ 的递归公式被确认为一般假设的特例，其次级部分涉及Schouten张量及其散度。
• 以 $P_2$、$P_4$ 和 $P_6$ 表达的 $P_6$ 公式被证明是共形协变的，其次级部分依赖于前两个Graham障碍张量。
• 通过共形变分确认了 $Q$-曲率的递归结构，表明 $P_{2N}$ 的无穷小共形协变性等价于 $Q_{2N}$ 的递归分解。