[论文解读] A Note on the Topology of a Generic Subspace of Riem

Henrique Gomes|ArXiv.org|Sep 11, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 5

一句话总结

该论文在流形的分层结构不累积的拓扑条件（记为 $\mathcal{C}$）下，证明了在紧致3-流形上且无非平凡等距变换的黎曼度量空间（记为 $\mathcal{M}'$）是可缩的。通过使用无限维Thom横截性定理与Ebin-Palais截面定理，表明 $\mathcal{M}'$ 继承了完整度量空间 $\mathcal{M}$ 的平凡同伦群，从而使 $\mathcal{M}'$ 成为一个适合微分几何动力学分析的可处理空间，其商空间 $\mathcal{M}'/\mathrm{Diff}(M)$ 表现良好。

ABSTRACT

For Riem(M) the space of Riemannian metrics over a compact 3-manifold without boundary $M$, we study topological properties of the dense open subspace Riem'(M) of metrics which possess no Killing vectors. Given the stratification of Riem(M), we work under the condition that, in a sense defined in the text, the connected components of each stratum do not accumulate. Given this condition we find that one of the most fundamental results regarding the topology of Riem(M), namely that it has trivial homotopy groups, would still be true for Riem'(M). This would make the topology of Riem'(M) completely understood. Coupled with the fact that for Riem'(M), we have a proper principal fibration with the group of diffeomorphisms, which makes Riem'(M)/Diff(M) a proper manifold (as opposed to Riem(M)/Diff(M)), we would have that the homotopy groups of the quotient are given by the homotopy groups of Diff(M), which reflects the topology of $M$. These results would render the space of metrics with no symmetries subject to the above condition, as an ideal setting for geometrodynamical analysis.

研究动机与目标

• 理解紧致3-流形 $M$ 上无非平凡等距变换的黎曼度量空间 $\mathcal{M}'$ 的拓扑结构。
• 解决完整几何空间 $\mathcal{S} = \mathcal{M}/\mathrm{Diff}(M)$ 因对称群导致奇点而无法成为流形的挑战。
• 建立 $\mathcal{M}'$ 继承完整度量空间 $\mathcal{M}$ 的可缩性的条件，从而支持稳健的动力学分析。
• 证明 $\mathcal{M}'$ 在 $\mathcal{S}' = \mathcal{M}'/\mathrm{Diff}(M)$ 上支持主纤维丛结构，使 $\mathcal{S}'$ 成为一个适当的流形。

提出的方法

• 利用Ebin-Palais截面定理在 $\mathcal{M}$ 上构造 $\mathrm{Diff}(M)$ 作用的局部截面，确保商空间的局部平凡性。
• 应用无限维Banach版本的Thom横截性定理，表明 $\mathcal{M}'$ 中的 $n$-球可通过横截性收缩至对称分层。
• 施加条件 $\mathcal{C}$：即每个分层的连通分支不发生累积，从而确保横截性意味着空交。
• 利用 $\mathcal{M}$ 的可缩性以及 $\mathcal{M}'$ 的通用性，将此性质在 $\mathcal{C}$ 条件下推广至 $\mathcal{M}'$。
• 利用主纤维丛 $\mathrm{Diff}(M) \to \mathcal{M}' \to \mathcal{S}'$ 的长正合同伦序列，将 $\pi_n(\mathcal{S}')$ 与 $\pi_{n-1}(\mathrm{Diff}(M))$ 关联。
• 依赖于无限维可分Hilbert流形的分类定理：平凡同伦群蕴含可缩性。

实验结果

研究问题

• RQ1 在 $\mathcal{M}$ 的分层结构满足何种拓扑条件时，无对称性的度量子空间 $\mathcal{M}'$ 是可缩的？
• RQ2 完整空间 $\mathcal{M}$ 的可缩性能否在无Killing向量的通用子空间 $\mathcal{M}'$ 上成立？
• RQ3 主纤维丛结构 $\mathrm{Diff}(M) \to \mathcal{M}' \to \mathcal{S}'$ 如何影响 $\mathcal{S}'$ 的同伦类型？
• RQ4 在条件 $\mathcal{C}$ 下，$\mathcal{S}'$ 的拓扑在多大程度上仅依赖于 $\mathrm{Diff}(M)$ 的拓扑？
• RQ5 由于其表现良好的拓扑与商结构，$\mathcal{M}'$ 是否适合作为微分几何动力学分析的设定？

主要发现

• 在条件 $\mathcal{C}$ 下，$\mathcal{M}'$ 的所有同伦群均为平凡，意味着 $\mathcal{M}'$ 是可缩的。
• 商空间 $\mathcal{S}' = \mathcal{M}'/\mathrm{Diff}(M)$ 继承了 $\mathrm{Diff}(M)$ 的同伦类型，满足 $\pi_n(\mathcal{S}') \cong \pi_{n-1}(\mathrm{Diff}(M))$。
• $\mathcal{M}'$ 支持明确的主纤维丛结构，使 $\mathcal{S}'$ 成为一个适当的无限维流形。
• $\mathcal{M}'$ 的可缩性确保了在如调和切片等规范固定程序中不存在Gribov模糊性。
• 该结果表明，当 $\mathrm{Diff}(M)$ 本身可缩时，$\mathcal{M}'$ 微分同胚于乘积 $\mathcal{S}' \times \mathrm{Diff}(M)$。
• $\mathcal{S}'$ 对 $M$ 拓扑的依赖性由 $\pi_{n-1}(\mathrm{Diff}(M))$ 编码，从而可能区分同伦等价但不同胚的3-流形。