[论文解读] Lp-cohomology of symmetric spaces

Pierre Pansu|arXiv (Cornell University)|Jan 5, 2007

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

一句话总结

本文研究负曲率对称空间的 $L^p$-上同调，表明对于非临界 $p$，上同调群为零或同构于理想边界上的贝索夫空间。通过水平截面重取与流分析，证明了在开区间内的 $p$ 时挠率消失，临界指数由维数与度数精确确定，从而将双曲空间与复双曲空间的结果推广至一般情形。

ABSTRACT

This is a short survey of Riemannian geometric applications of Lp-cohomology of thick spaces, p not equal to 2.

研究动机与目标

• 理解具有负曲率的厚黎曼对称空间的 $L^p$-上同调。
• 确定在何种 $p$ 下，约化 $L^p$-上同调为豪斯多夫空间，以及挠率何时消失。
• 将 $L^p$-上同调与理想边界上的函数空间（特别是贝索夫空间）联系起来。
• 通过几何与分析方法，将 $p=2$ 时的结果推广至一般 $p \neq 2$ 的情形。
• 阐明临界指数在决定 $L^p$-上同调结构中的作用。

提出的方法

• 通过 $L^p$-形式的复形 $\Omega^{*,p}(M)$ 及其 $L^p$ 外微分定义 $L^p$-上同调。
• 将约化上同调 $R^{k,p}$ 定义为 $\Omega^{k,p} \cap \mathrm{Ker}\,d$ 模其闭包的豪斯多夫商。
• 利用水平截面重取将流形形变至一个水平球面，分析流 $\phi_t$ 下 $L^p$-范数的压缩与扩张。
• 应用双侧边界值方法，将微分形式分解为压缩部分 ($\omega_-$) 与扩张部分 ($\omega_+$)。
• 通过积分算子 $B$ 构造链同伦 $P = 1 - dB - Bd$，将 $\Omega^{*,p}$ 与贝索夫复形 $\mathcal{B}^{*,p}$ 联系起来。
• 将 $\mathcal{B}^{*,p}$ 特征化为具有 $-1$ 阶导数的 $L^p$-形式，满足 $\iota_\xi$ 与 $\iota_\xi d$ 的消去条件，并证明其上同调在非临界 $p$ 下计算 $H^{*,p}$。

实验结果

研究问题

• RQ1 对于何种 $p$，负曲率对称空间的 $L^p$-上同调群为零或非豪斯多夫？
• RQ2 实双曲平面 $H^2_\mathbb{R}$ 的 $L^p$-上同调如何与贝索夫空间 $B^{1/p}_{p,p}(S^1)$ 相关？
• RQ3 复双曲空间 $H^2_\mathbb{C}$ 的 $L^p$-上同调结构为何？在何种 $p$ 下挠率 $T^{2,p}$ 消失？
• RQ4 临界指数 $\frac{n-1}{k-1}$ 如何影响 $\mathcal{B}^{*,p}$ 的消失性与 $H^{k,p}$ 的非消失性？
• RQ5 $L^p$-上同调是否在 $p$ 上连续变化，尤其在 $p=2$ 附近，对对称空间而言？

主要发现

• 在实双曲平面 $H^2_\mathbb{R}$ 中，对所有 $p>1$，$H^{1,p}$ 同构于模常数的贝索夫空间 $B^{1/p}_{p,p}(S^1)$，且 $T^{1,p}=0$。
• 在 $H^2_\mathbb{C}$ 中，当 $2<p<4$ 时挠率 $T^{2,p}=0$，更一般地，在 $H^m_\mathbb{C}$ 中，当 $m \leq p < 2m$ 时 $T^{2,p}=0$，此结论通过贝索夫复形与算子 $B$ 的有界性得到证明。
• 在二维实双曲空间中，$H^{k,p}$ 仅在 $p \in \left(\frac{n-1}{k}, \frac{n-1}{k-1}\right)$ 时非零且为豪斯多夫空间，且在度数 $k$ 下同构于 $B^{1/p}_{p,p}(S^{n-1})$。
• 对于 $H^2_\mathbb{C}$，约化上同调在开区间内非零，且在临界点 $T^{2,4}$ 与 $T^{3,4/3}$ 处挠率非零，表明临界指数处存在非平凡结构。
• $H^2_\mathbb{C}$ 的 $L^p$-上同调在 $p=2$ 附近连续变化，且在 $p=2$ 处未观察到异常行为，尽管其在度数 1 中为临界指数。
• 水平截面重取方法与双侧边界值算子 $B$ 成功地将 $L^p$-上同调计算转化为贝索夫复形 $\mathcal{B}^{*,p}$ 的上同调计算，后者在特定情形下可计算。