Positivity and non-positivity results for the sixth-order $Q$-curvature of conformal metrics in $\mathbb{R}^n$

技术摘要：关于 $\mathbb{R}^n$ 中共形度量六阶 $Q$-曲率的正性与非正性结果

问题陈述
本文研究了对于 $\mathbb{R}^n$ 上的共形欧几里得度量 $g = \phi^2 |dx|^2$，低阶 $Q$-曲率 $Q^{(2k)}_g$ 的正性性质。核心问题在于：若高阶 $Q$-曲率满足非负性 $Q^{(2m)}_g \geq 0$（且 $Q^{(2m)}_g \not\equiv 0$），是否能推导出低阶曲率 $Q^{(2k)}_g$ 对于 $k \in \{1, \dots, m-1\}$ 也是正的。

Gursky 和 Malchiodi [20] 的前人工作已在闭流形上确立了当 $m=2, k=1$ 时的这种正性。随后，Li 和 Xu [32] 以及 Li, Wei, 和 Xu [30] 在特定的衰减条件下，在 $\mathbb{R}^n$ 上证实了该结果对于 $m \geq 2$ 且 $k \in \{1, \min(m-1, 2)\}$ 成立。这些作者曾提出一个猜想，即该结果对于所有 $1 \leq k \leq m-1$ 且 $n \geq 2m$ 均成立。本文通过聚焦于 $m \geq 4$ 且 $k=3$（即六阶曲率 $Q^{(6)}_g$）的情形，对该猜想提出了挑战。

方法论
作者采用了源自度量共形因子 $u$ 的积分表示法。在假设 $Q^{(2m)}_g$ 满足特定衰减或非负条件（假设 A）的前提下，共形因子 $u$ 可以表示为涉及 $Q$-曲率定义的测度 $d\mu^{(2m)}_g$ 的卷积。

1. 积分公式推导： 第 2 节的核心技术贡献是推导出了 $Q^{(6)}_g$ 的显式积分公式。通过对共形因子（具体为 $u^t$，其中 $t = \frac{n-6}{n-2m}$）连续应用三次拉普拉斯算子 $\Delta$，作者将 $Q^{(6)}_g(x)$ 表示为一个涉及多维空间 $\mathbb{R}^{6n}$ 上三次多项式 $P_{n,m}(Z)$ 的积分。变量 $Z$ 是由点 $y_i$ 与评估点 $x$ 之间的几何距离导出的量（具体为项 $Z_{i,j} = \frac{|y_i-y_j|^2}{|x-y_i|^2|x-y_j|^2}$）。
2. 多项式分析： $Q^{(6)}_g$ 的符号被简化为对非负测度进行积分后的多项式 $P_{n,m}$ 的符号。
   • 对于正性结果，作者分析了在 $n$ 相对于 $m$ 的特定范围内 $P_{n,m}$ 的系数。他们证明了在某些维度下，利用代数不等式和富比尼定理（Fubini's theorem），该多项式可以被下界化为非负项。
   • 对于非正性结果，作者构造了一个特定的共形欧几里得度量族，其中测度 $d\mu^{(2m)}_g$ 集中在两个不同的点（$\pm e_1$）处。这使得积分简化为关于参数 $r$（两点质量之比）的一个多项式。通过分析该所得多项式的根，他们确定了积分变为负值的条件。

主要结果

• 定理 1.1（正性）： 对于 $m \geq 4$，若维度 $n$ 满足 $2m \leq n \leq 4m-6$，且度量满足假设 (A) 且 $Q^{(2m)}_g \geq 0$，则 $Q^{(6)}_g$ 在 $\mathbb{R}^n$ 内处处大于 0。

  • 证明过程包括将 $n$ 的范围分为三类（$5m-3 < n < \frac{8m-6}{3}$，$\frac{8m-6}{3} < n < 3m-3$，以及 $3m-3 < n < 4m-6$），并证明相关多项式系数或其组合的正性。

• 定理 1.2（非正性）： 对于 $m \geq 4$，存在一个阈值 $N_m$（特定五次多项式 $\gamma_m(n)$ 的最大实根），使得对于所有 $n > N_m$，都存在共形欧几里得度量，其 $Q^{(2m)}_g$ 在处处严格正，但 $Q^{(6)}_g$ 在某点（特别是原点）为负。

  • 该阈值 $N_m$ 渐近地满足 $N_m \sim \Lambda m$，其中 $\Lambda \approx 10.55$。对于较小的 $m$，文中提供了数值结果（例如 $N_4 \approx 29.1$）。
  • 反例是通过构造具有不同高度“峰值”的两点度量来构建的，并通过立体投影扩展为与标准球面 $S^n$ 共形的度量。

意义与主张
本文声称解决了关于低阶 $Q$-曲率普遍正性的猜想。尽管之前的研究表明对于 $k \in \{1, \dots, m-1\}$ 存在普遍正性，但本研究表明，当维度 $n$ 相对于 $m$ 足够大时，$k=3$ 的情况是“出人意料地不同”。

• 与前人工作的对比： 结果与 Gursky-Malchiodi [20] 以及 Li-Xu [32]/Li-Wei-Xu [30] 的发现形成对比，表明他们的正性结果并不能推广到所有维度下的 $k=3$ 情况。
• 维度的依赖性： 本文确立了一个尖锐的维度二分法：正性在“低”维度（$n \leq 4m-6$）成立，但在“高”维度（$n > N_m$）失效。
• 方法论贡献： $Q^{(6)}_g$ 积分公式的推导（命题 2.1）被视为这些证明的必要工具，它将几何问题简化为对多个非负变量的三次多项式的分析。

作者并非声称解决了所有 $k$ 或所有 $m$ 的问题，也没有提出超出理论理解 $Q$-曲率正性之外的新应用。这项工作被定位为对“给定非负高阶曲率时，低阶 $Q$-曲率总是正的”这一猜想的必要修正。