[论文解读] On the homotopy type of the space $\mathcal{R}^+(M)$

Vladislav Chernysh|ArXiv.org|May 13, 2004

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

一句话总结

该论文证明了闭流形上正数量曲率度量的空间在同伦等价于一个子空间，其中在余维≥3的子流形附近度量被固定。通过使用O(k)-对称扭曲度量的参数化Gromov-Lawson构造，作者证明了该固定度量子空间是弱形变收缩核，从而证明了在余维≥3的手术下同伦不变性。

ABSTRACT

we show that the space of metrics of positive scalar curvature on a manifold is, when nonempty, homotopy equivalent to a space of metrics of positive scalar curvature that restrict to a fixed metric near a given submanifold of codimension greater or equal than 3. Our main tool is a parameterized version of the Gromov-Lawson construction, which was used to show that the existence of a metric of positive scalar curvature on a manifold was invariant under surgeries in codimension greater or equal than 3.

研究动机与目标

• 理解正数量曲率度量空间的同伦型在手术下的变化方式。
• 证明此类度量空间同伦等价于一个在余维≥3的子流形附近度量固定的子空间。
• 建立Gromov-Lawson构造的参数化版本，保持对称性并实现形变收缩。
• 证明余维≥3的手术保持正数量曲率空间的同伦型。
• 通过手术理论与同伦不变性，提供正数量曲率度量的拓扑分类工具。

提出的方法

• 引入一个保持子流形法丛上O(k)-对称性的参数化Gromov-Lawson形变映射。
• 定义在管状邻域上、在Gromov-Lawson形变下不变的扭曲积度量空间$ W(N,\tau) $。
• 构造一个形变收缩$ r: \mathcal{R}^+(M) \to \mathcal{R}^+_0(M) $，使得$ r \circ i \simeq \mathrm{Id} $且$ i \circ r \simeq \mathrm{Id} $，从而证明同伦等价。
• 利用$ \mathcal{R}^+(M) $与$ \mathcal{R}^+_0(M) $被CW复形控制的事实，只需证明相对同伦群平凡即可。
• 将Gromov-Lawson构造应用于紧致度量族，确保形变保持在$ W(N,\tau) $内并终止于$ \mathcal{R}^+_0(M) $。
• 利用固定螺线管邻域与炮弹度量的存在性，确保形变过程中正数量曲率始终被保持。

实验结果

研究问题

• RQ1 在余维≥3的手术下，正数量曲率度量空间$ \mathcal{R}^+(M) $的同伦型如何表现？
• RQ2 空间$ \mathcal{R}^+(M) $能否形变收缩到一个在余维≥3的子流形附近度量固定的子空间？
• RQ3 当$ \mathcal{R}^+(M) $非空时，包含映射$ \mathcal{R}^+_0(M) \to \mathcal{R}^+(M) $是否为同伦等价？
• RQ4 Gromov-Lawson构造是否允许参数化且保持对称的版本，以保持形变下的不变性？
• RQ5 正数量曲率空间$ \mathcal{R}^+(M) $的同伦型在余维≥3的手术下在多大程度上保持不变？

主要发现

• 当$ \mathcal{R}^+(M) $非空时，包含映射$ i: \mathcal{R}^+_0(M) \to \mathcal{R}^+(M) $是同伦等价。
• 由在余维≥3子流形附近度量固定的度量构成的空间$ \mathcal{R}^+_0(M) $是$ \mathcal{R}^+(M) $的弱形变收缩核。
• 参数化Gromov-Lawson构造保持O(k)-对称性，并确保形变保持在扭曲度量空间$ W(N,\tau) $内。
• 所有$ r \geq 1 $的相对同伦群$ \pi_r(\mathcal{R}^+(M), W(N,\tau)) $均为零，意味着相对同伦类平凡。
• $ \mathcal{R}^+(M) $与$ \mathcal{R}^+_0(M) $的路径连通分支之间存在双射，确认包含映射在连通分支上诱导双射。
• 因此，余维≥3的手术保持正数量曲率空间的同伦型：当$ M_2 $由$ M_1 $通过此类手术得到时，有$ \mathcal{R}^+(M_1) \simeq \mathcal{R}^+(M_2) $。