[论文解读] Admissible $Q-$curvatures under isometries for the conformal GJMS operators

Frédéric Robert|arXiv (Cornell University)|Mar 2, 2010

Geometric Analysis and Curvature Flows参考文献 24被引用 6

一句话总结

本文建立了在群 $G$ 作用下无不动点的等距同构下，球面 $\mathbb{S}^n$ 上光滑且 $G$-不变的函数 $f$ 可实现为标准度量共形类中某度量的 $Q$-曲率的条件。通过利用 GJMS 算子的共形不变性以及基于加权能量泛函的变分方法，作者证明：若 $f$ 在某点 $p$ 处的阶数为 $n-2k$，且满足点态极值条件，则 $f$ 可作为 $Q$-曲率被接受。

ABSTRACT

We give sufficient conditions on a function invariant under the action of an isometry group to be Branson's Q-curvature of a metric in a given conformal class, using the conformal GJMS operators.

研究动机与目标

• 解决紧致黎曼流形上（特别是 $\mathbb{S}^n$ 上）$Q$-曲率的共形设定问题。
• 确定给定光滑函数 $f$ 在固定共形类中可实现为某度量的 $Q$-曲率的条件。
• 通过群作用引入对称性，扩展已知障碍（如 Kazdan-Warner）以稳定设定问题。
• 在 $G$-不变性下，当 $f$ 在某点处高阶零化且满足局部极值条件时，建立其可接受性。
• 为在对称性约束下求解 $Q$-曲率方程提供一个变分框架，利用 $G$-不变的 $L^{2^\star}$-范数和 GJMS 算子的共形不变性。

提出的方法

• 通过 $\hat{g} = u^{\frac{4}{n-2k}}g$ 参数化共形类，将 $Q$-曲率设定问题转化为非线性偏微分方程：$P_g u = \frac{n-2k}{2} f u^{2^\star - 1}$。
• 利用 GJMS 算子 $P_g$ 的共形不变性，通过 $P_{\hat{g}}\varphi = u^{1-2^\star} P_g(u\varphi)$ 表达式，建立不同共形度量之间曲率的关系。
• 从点 $p$ 的轨道上 $m$ 个点处的 Poincaré 型泡状函数 $u_{\sigma_i(p),\beta}$ 构造一个 $G$-不变的测试函数 $u_\beta = \sum_{i=1}^m u_{\sigma_i(p),\beta}$。
• 通过 $\beta \to 1^+$ 时的渐近展开估计 Rayleigh 商 $I_h(u_\beta) = \frac{\int u_\beta P_h u_\beta \, dv_h}{\left(\int f u_\beta^{2^\star} \, dv_h\right)^{2/2^\star}}$。
• 利用 $f$ 在 $p$ 处前 $n-2k$ 阶导数的抵消效应控制分母中的误差，确保商值低于最优常数。
• 基于精确的 Sobolev 不等式和标准泡 $U_1$ 的极值性，应用变分论证，证明 $I_h(u_\beta) < \frac{|O_G(p)|^{2k/n}}{f(p)^{2/2^\star} K(n,k)}$。

实验结果

研究问题

• RQ1 在什么条件下，$\mathbb{S}^n$ 上的光滑 $G$-不变函数 $f$ 可实现为标准共形类中某度量的 $Q$-曲率？
• RQ2 函数 $f$ 在某点 $p$ 处前 $n-2k$ 阶导数的零化如何影响其作为 $Q$-曲率的可接受性？
• RQ3 能否通过施加等距同构群的对称性来克服 $Q$-曲率设定问题的不稳定性？
• RQ4 轨道大小 $|O_G(p)|$ 在决定 $f$ 的可接受性中起什么作用？
• RQ5 是否存在一个变分框架，使得在对称性约束下能够构造 $Q$-曲率方程的解？

主要发现

• 若 $f$ 是 $G$-不变的，在点 $p$ 处零化阶数为 $n-2k$，且对所有 $x \in \mathbb{S}^n$ 满足 $\frac{|O_G(p)|^{2k/n}}{f(p)^{2/2^\star}} \leq \frac{|O_G(x)|^{2k/n}}{f(x)^{2/2^\star}}$，则 $f$ 可作为 $Q$-曲率被接受。
• 该构造给出一个度量 $g \in [h]$，使得 $Q_g = f$ 且 $G \subset \mathrm{Isom}_g(\mathbb{S}^n)$，即保持等距群不变。
• 当 $\beta > 1$ 且接近 1 时，Rayleigh 商满足 $I_h(u_\beta) < \frac{|O_G(p)|^{2k/n}}{f(p)^{2/2^\star} K(n,k)}$，这意味着最小值存在。
• 误差项的渐近行为受 $d_\beta \sim \Lambda_{p,G} (\beta^2 - 1)^{(n-2k)/2}$ 控制，当 $\beta \to 1^+$ 时衰减，确保收敛性。
• 当 $n = 2k+1$ 时，条件 $\nabla^i f(p) = 0$ 对 $i = 1,\dots,n-2k$ 简化为 $f$ 在 $p$ 处零化阶数为 1，从而简化判定准则。
• 该结果推广了 Moser 和 Delano€-Robert 基于对称性的方法，允许函数 $f$ 不必接近 $Q_h$，仅需在某点处高阶喷射为零。