[论文解读] Laplacian operators and Q-curvature on conformally Einstein manifolds

A. Rod Gover|ArXiv.org|Jun 2, 2005

Geometric Analysis and Curvature Flows被引用 7

一句话总结

本文在共形爱因斯坦流形上引入了一类新的规范共形微分算子 $P_k$，通过爱因斯坦度量的拉普拉斯算子的幂次构造，并实现因式分解。证明了在爱因斯坦流形上，GJMS 算子可分解为二阶拉普拉斯型算子的乘积，且布伦森 Q-曲率是常数，并给出了其关于标量曲率的显式公式。

ABSTRACT

A new definition of canonical conformal differential operators $P_k$ ($k=1,2,...)$, with leading term a $k^{ m th}$ power of the Laplacian, is given for conformally Einstein manifolds of any signature. These act between density bundles and, more generally, between weighted tractor bundles of any rank. By construction these factor into a power of a fundamental Laplacian associated to Einstein metrics. There are natural conformal Laplacian operators on density bundles due to Graham-Jenne-Mason-Sparling (GJMS). It is shown that on conformally Einstein manifolds these agree with the $P_k$ operators and hence on Einstein manifolds the GJMS operators factor into a product of second order Laplacian type operators. In even dimension $n$ the GJMS operators are defined only for $1\leq k\leq n/2$ and so, on conformally Einstein manifolds, the $P_{k}$ give an extension of this family of operators to operators of all even orders. For $n$ even and $k>n/2$ the operators $P_k$ are given by a natural formula in terms of an Einstein metric but are not natural as conformally invariant operators. They are shown to be nevertheless canonical objects on conformally Einstein structures. There are generalisations of these results to operators between weighted tractor bundles. It is shown that on Einstein manifolds the Branson Q-curvature is constant and an explicit formula for the constant is given in terms of the scalar curvature. As part of development, conformally invariant tractor equations equivalent to the conformal Killing equation are presented.

研究动机与目标

• 在共形爱因斯坦流形上定义一类新的规范共形微分算子 $P_k$，其主部为拉普拉斯算子的 $k$ 次幂。
• 利用爱因斯坦度量结构，将此前仅在偶数维 $k \leq n/2$ 时定义的 GJMS 算子扩展至该范围之外。
• 证明在爱因斯坦流形上，布伦森 Q-曲率为常数，并推导出其关于标量曲率的显式公式。
• 将 GJMS 算子分解为二阶算子乘积的结果推广至加权牵引丛。
• 确立 $P_k$ 算子在 $k > n/2$ 时虽非经典意义下的自然共形不变算子，但仍是共形爱因斯坦结构上的规范对象。

提出的方法

• 将 $P_k$ 定义为在密度丛与加权牵引丛之间的算子，通过与爱因斯坦度量相关的基本拉普拉斯算子构造。
• 利用费弗尔曼-格雷厄姆的环境度量构造与牵引微分几何，推导出共形不变方程与算子因式分解。
• 证明在爱因斯坦流形上，GJMS 算子 $\Box_k$ 可因式分解为 $\prod_{l=1}^k (\Delta^g - c_l \mathrm{Sc}^g)$，其中 $c_l = \frac{(n+2l-2)(n-2l)}{4n(n-1)}$。
• 通过牵引联络、外尔张量与爱因斯坦标度，显式导出 $P_3$ 的表达式，证明其与爱因斯坦代表元的选择无关。
• 利用恒等式 $B_{cd} = (4-n)\sigma^{-1}A_{cde}\nabla^e\sigma$ 证明 $A^{cde}(\sigma^{-1}\nabla_e\sigma)$ 是共形不变的，且与爱因斯坦标度无关。
• 确立在 $k > n/2$ 时，$P_k$ 算子虽非经典意义下的自然共形不变算子，但在共形爱因斯坦结构上仍是规范对象。

实验结果

研究问题

• RQ1 能否利用规范构造将 GJMS 算子在共形爱因斯坦流形上扩展至 $k \leq n/2$ 之外？
• RQ2 在爱因斯坦流形上，GJMS 算子 $\Box_k$ 是否可表示为拉普拉斯算子与标量曲率的显式乘积？
• RQ3 在爱因斯坦流形上，布伦森 Q-曲率是否为常数？若是，其关于标量曲率的显式公式为何？
• RQ4 如何在共形爱因斯坦结构上定义加权牵引丛之间的共形微分算子？
• RQ5 在 $k > n/2$ 时，$P_k$ 算子是否虽非经典意义下的自然共形不变算子，但仍是规范对象？

主要发现

• 在爱因斯坦流形上，GJMS 算子 $\Box_k$ 可因式分解为 $\prod_{l=1}^k (\Delta^g - c_l \mathrm{Sc}^g)$，其中 $c_l = \frac{(n+2l-2)(n-2l)}{4n(n-1)}$，证明了完整的谱因式分解。
• 在偶数维爱因斯坦流形上，布伦森 Q-曲率为常数，且表达式为 $Q^g = (-1)^{n/2}(n-1)!\left(\frac{\mathrm{Sc}^g}{n(n-1)}\right)^{n/2}$。
• 当 $k > n/2$ 时，$P_k$ 算子虽非经典意义下的自然共形不变算子，但在共形爱因斯坦结构上仍是规范对象。
• 算子 $P_3$ 的显式表达式为 $P_3f = Nf - 8A^{cde}(\sigma^{-1}\nabla_e\sigma)(2\nabla_c\nabla_d f - (n-6)P_{cd}f)$，其中 $Nf = Y^A Y^B \Box D_A D_B f$。
• $A^{cde}(\sigma^{-1}\nabla_e\sigma)$ 的表达式与爱因斯坦标度 $\sigma$ 的选择无关，确保了 $P_k$ 算子在共形类上定义良好。
• 在维度 $n \neq 4$ 时，算子 $\Box^0_3$ 可通过通用多项式公式定义，但 $n=4$ 的情形因分母出现极点，需通过极限构造处理。