[论文解读] On the large-scale geometry of the L^p-metric on the symplectomorphism group of the two-sphere

Michael Brandenbursky, Egor Shelukhin|arXiv (Cornell University)|Apr 25, 2013

Geometric and Algebraic Topology参考文献 20被引用 8

一句话总结

该论文证明了当 $ p > 2 $ 时，二维球面上的辛同胚群上的 $ L^p $-度量允许任意有限维赋范向量空间的双利普希茨嵌入。通过使用纯 braid 群在 $ S^2 $ 上的编织不变量和由此导出的齐次拟同态，作者构造了一个拟同态，用于校准路径的 $ L^p $-长度，从而证明了该度量的无界性，并实现了标准度量下 $ \mathbb{R}^d $ 到该群的受控畸变嵌入。

ABSTRACT

We prove that the vector space R^d of any finite dimension d with the standard metric embeds in a bi-Lipschitz way into the group of area-preserving diffeomorphisms G of the two-sphere endowed with the L^p-metric for p>2. Along the way we show that the L^p-metric on the group G is unbounded for p>2 by elementary methods.

研究动机与目标

• 为解决 $ S^2 $ 上辛同胚群上 $ L^p $-度量的大尺度几何结构这一开放问题，特别是针对 $ p > 2 $ 的情形。
• 证明 $ \mathrm{Diff}(S^2, dV) $ 上 $ L^p $-度量在 $ p > 2 $ 时的无界性，尽管其他曲面上已有相关结果，但此问题在 $ S^2 $ 上长期未解。
• 显式构造有限维赋范向量空间到配备 $ L^p $-度量的辛同胚群中的双利普希茨嵌入。
• 提出一种基于时间依赖哈密顿流中辫子结构与相对旋转数的新方法，与以往依赖 Calabi 同态或上同调不变量的方法截然不同。

提出的方法

• 作者定义了一个拟同态 $ \Phi(f) = \int_{X_n(S^2)} r(\gamma(f;x)) \, dx $，其中 $ r $ 是纯 braid 群 $ P_n(S^2) $ 上的齐次拟同态，$ \gamma(f;x) $ 是由 $ f $ 的同伦与从基点出发的测地线路径构造的环路。
• 他们证明了对应的齐次拟同态 $ \overline{\Phi}(f) = \lim_{k \to \infty} \Phi(f^k)/k $ 是良定义的，并且在同伦下不变，从而为群中路径的 $ L^p $-长度提供了下界。
• 该构造依赖于将微分同胚分解为在圆盘上紧支集的片段，并利用 $ P_n(S^2) $ 中辫子的有限字长性质，以确保 $ \Phi $ 的可积性。
• 关键技术步骤是通过配置空间的体积与拟同态 $ r $ 的有界性，对拟同态缺陷进行有界控制，从而保证 $ \Phi $ 满足具有统一常数的拟同态条件。
• 作者利用 $ \pi_1(\mathrm{Diff}(S^2, dV)) \cong \mathbb{Z}/2\mathbb{Z} $ 的事实，确保 $ \overline{\Phi} $ 能够在群上良定义，且不依赖于同伦的选择。
• 通过将拟同态 $ \overline{\Phi} $ 与一族此类拟同态结合，并应用线性代数论证，他们成功构造了在 $ L^p $-度量下 $ \mathbb{R}^d $ 到 $ \mathrm{Diff}(S^2, dV) $ 的双利普希茨嵌入，其中 $ p > 2 $。

实验结果

研究问题

• RQ1 在缺乏一阶上同调与精确性的情况下，$ S^2 $ 上辛同胚群的 $ L^p $-度量在 $ p > 2 $ 时是否仍保持无界？
• RQ2 对于 $ p > 2 $，有限维赋范向量空间能否以双利普希茨方式嵌入到 $ \mathrm{Diff}(S^2, dV) $ 中？
• RQ3 能否利用纯 braid 群 $ P_n(S^2) $ 上的编织不变量与拟同态来校准辛路径的 $ L^p $-长度？
• RQ4 是否存在一种证明 $ S^2 $ 上 $ L^p $-度量无界的替代方法，避免依赖 Calabi 同态或上同调工具？

主要发现

• 通过使用拟同态的初等方法，证明了 $ S^2 $ 上面积保持微分同胚群的 $ L^p $-度量在所有 $ p > 2 $ 时均为无界的。
• 对于任意有限维 $ d $，标准赋范向量空间 $ \mathbb{R}^d $ 均可嵌入到配备 $ L^p $-度量的 $ \mathrm{Diff}(S^2, dV) $ 中，且为双利普希茨嵌入，其中 $ p > 2 $。
• 由 $ X_n(S^2) $ 中辫子数据构造的拟同态 $ \overline{\Phi} $，为路径的 $ L^p $-长度提供了下界，从而支持了嵌入结果的成立。
• 该构造在同伦下具有鲁棒性，且不依赖于同伦的选择，这是由于微分同胚群的基本群为 $ \mathbb{Z}/2\mathbb{Z} $。
• 由于 $ P_n(S^2) $ 中辫子的有限字长性质与配置空间的体积有限性，确保了 $ \Phi $ 的可积性，使得该拟同态在变差上是有界的，从而定义良好。
• 该方法为辛同胚群的大尺度几何研究提供了一种新颖的几何-分析方法，与依赖 Calabi 同态或上同调不变量的传统方法截然不同。