[论文解读] Nullspaces of Conformally Invariant Operators. Applications to $Q_{k}$-curvature

Yaiza Canzani, A. Rod Gover+2 more|arXiv (Cornell University)|Jun 4, 2012

Geometric Analysis and Curvature Flows参考文献 12被引用 3

一句话总结

本文研究了从GJMS算子零空间导出的共形不变量，特别关注特征函数的节点集和拓扑不变量。研究证明，在任意维度 $ n \geq 3 $ 的紧致黎曼流形上，存在使得这些不变量非平凡的度量，并将这些结果应用于 $ Q_k $-曲率规定问题，表明非平凡零空间的存在对给定共形类中可能的 $ Q_k $-曲率集合施加了强约束。

ABSTRACT

We study conformal invariants that arise from functions in the nullspace of conformally covariant differential operators. The invariants include nodal sets and the topology of nodal domains of eigenfunctions in the kernel of GJMS operators. We establish that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We discuss new applications to curvature prescription problems.

研究动机与目标

• 识别并表征由共形不变微分算子（特别是GJMS算子）零空间导出的共形不变量。
• 证明在任意维度 $ n \geq 3 $ 的紧致黎曼流形上，存在使得这些不变量非平凡的度量。
• 将这些不变量应用于曲率规定问题，特别是 $ Q_k $-曲率问题。
• 建立在给定共形类中可作为 $ Q_k $-曲率出现的函数集合的约束条件。
• 通过分析紧致Heisenberg流形上Yamabe算子和Paneitz算子的谱性质，为主要结果提供支持。

提出的方法

• 利用GJMS算子 $ P_{k,g} $，其为具有主部 $ \Delta_g^k $ 的共形协变微分算子，且形式自伴。
• 将 $ P_{k,g} $ 的零特征向量视为权为 $ -\frac{n}{2} + k $ 的共形密度，其节点集与节点区域为共形不变量。
• 应用变换律 $ P_{k,e^{2\Upsilon}g} = e^{-(\frac{n}{2}+k)\Upsilon} P_{k,g} e^{(\frac{n}{2}-k)\Upsilon} $ 证明节点结构在共形变换下保持不变。
• 依赖于定义 $ Q_{k,g} = \frac{2}{n-2k} P_{k,g}(1) $（当 $ k \neq \frac{n}{2} $ 时），将 $ Q_k $-曲率与 $ P_{k,g} $ 作用于常值函数1联系起来。
• 利用Heisenberg群的表示理论，在紧致Heisenberg流形上进行谱分析，以计算 $ P_{1,g_s} $ 和 $ P_{2,g_s} $ 的特征值与零空间。
• 使用雅可比θ函数 $ \vartheta(z,\tau) = \sum_{k \in \mathbb{Z}} e^{i\pi k^2 \tau} e^{2i\pi k z} $ 显式描述Yamabe算子在某些度量下的零空间函数。

实验结果

研究问题

• RQ1 在黎曼流形上，GJMS算子 $ P_{k,g} $ 的零空间会产生哪些共形不变量？
• RQ2 对于任意维度 $ n \geq 3 $ 的紧致流形，是否存在一种度量使得 $ P_{k,g} $ 的零空间不变量非平凡？
• RQ3 在给定共形类中，$ P_{k,g} $ 的零空间如何约束可能的 $ Q_k $-曲率集合？
• RQ4 紧致Heisenberg流形上Yamabe算子和Paneitz算子的哪些谱性质可用于构造具有非平凡零空间不变量的度量？
• RQ5 能否利用 $ P_{k,g} $ 的非平凡零空间的存在性，排除某些函数作为 $ Q_k $-曲率的可能性？

主要发现

• 在任意维度 $ n \geq 3 $ 的紧致黎曼流形上，存在使得 $ P_{k,g} $ 的零空间不变量非平凡的度量，如定理3.1所证明。
• 在紧致Heisenberg流形上，Yamabe算子 $ P_{1,g_s} $ 的负特征值个数在 $ s $ 较大时至少为 $ c(d)s^{2d+1} $，其中 $ c(d) $ 仅依赖于维数 $ d $。
• Yamabe算子 $ P_{1,g_s} $ 的零空间由涉及雅可比θ函数的函数张成，具体为 $ u_{\pm}(x,y,t) = e^{\pm 2i\pi t} e^{\mp \pi s |x|^2} \prod_{1 \leq j \leq d} \vartheta(y_j \pm i s x_j, i s) $，在特定 $ s $ 条件下成立。
• 函数 $ u_{\pm} $ 的节点集为 $ \bigcup_{1 \leq j \leq d} \left\{ (x,y,t) \in M \mid x_j = y_j = \frac{1}{2} \right\} $，这是一个共形不变量。
• 当 $ d = 1,2,3 $ 时，Paneitz算子 $ P_{2,g_s} $ 的负特征值个数在 $ s \to \infty $ 时趋于无穷，表明谱复杂性持续增长。
• 若 $ \ker P_{k,g} $ 非平凡，则 $ \mathcal{R}(Q_k) $（即作为 $ Q_k $-曲率可实现的函数集合）与 $ C^\infty(M) $ 中一个无限维非线性子空间不相交，这是由于对所有 $ u \in \ker P_{k,g} \setminus \{0\} $，存在积分约束 $ \int_M u(x) v(x) dV_{\hat{g}}(x) = 0 $。