[论文解读] Higher rho invariants and the moduli space of positive scalar curvature metrics

Zhizhang Xie, Guoliang Yu|arXiv (Cornell University)|Oct 3, 2013

Advanced Operator Algebra Research参考文献 21被引用 4

一句话总结

该论文利用高阶 rho 不变量和群 C*-代数的 K-理论的有限部分，建立了闭自旋流形上正标量曲率度量模空间群的秩的下界。对于满足强有限可嵌入基本群条件的五维及以上流形，该论文证明模空间群的秩至少等于基本群中非平凡挠元素的数量，所使用的度量不变量在微分同胚作用下保持不变。

ABSTRACT

Given a closed smooth manifold M which carries a positive scalar curvature metric, one can associate an abelian group P(M) to the space of positive scalar curvature metrics on this manifold. The group of all diffeomorphisms of the manifold naturally acts on P(M). The moduli group of positive scalar curvature metrics is defined to be the quotient abelian group of this action, i.e. the coinvariant of the action. The moduli group measures the size of the moduli space of positive scalar curvature metrics on M. In this paper, we use the higher rho invariant and the finite part of the K-theory of the group C*-algebra of the fundamental group of M to give a lower bound of the rank of the moduli group.

研究动机与目标

• 理解闭自旋流形上正标量曲率度量模空间的大小。
• 开发在微分同胚作用下保持不变的不变量，以区分模空间群中的元素。
• 利用高阶 rho 不变量和群 C*-代数的有限 K-理论，建立模空间群秩的下界。
• 验证一个猜想：对于强有限可嵌入群，模空间群的秩与基本群中非平凡挠元素的数量相关。

提出的方法

• 将高阶 rho 不变量用作与狄拉克算子相关的第二类不变量，其依赖于黎曼度量，并在微分同胚作用下保持不变。
• 应用极大群 C*-代数 $ C^*_{\text{max}}(\tilde{\rho}) $ 的 K-理论的有限部分，以检测模空间群中的非平凡元素。
• 通过在 $ S^1 \times Y $ 上的悬垂构造 $ M $ 上的度量，其中 $ Y $ 是具有适当性质的流形，以生成不同的正标量曲率度量。
• 利用综合映射和指标理论，证明 $ K_0(C^*(G)) $ 中的某些投影 $ p_{\gamma} $ 不在综合映射的像中，从而表明高阶 rho 不变量的非平凡性。
• 在 K-理论中应用包含边界映射 $ \partial_{\Gamma \rtimes F_m} $ 的图表追踪，当假设线性相关时导出矛盾，从而证明单射性和非平凡性。
• 通过悬垂论证将结果从奇数维推广到偶数维，并分析 $ C^*(\mathbb{Z} \times G) $ 的 K-理论，利用 $ K_1(C^*(\mathbb{Z})) \otimes K_0(C^*(G)) $ 的张量积结构。

实验结果

研究问题

• RQ1 对于维度 $ \geq 5 $ 的闭自旋流形 $ M $，其正标量曲率度量模空间群 $ \widetilde{P}(M) $ 的最小秩是多少？
• RQ2 在微分同胚群作用下，高阶 rho 不变量能否检测 $ \widetilde{P}(M) $ 中线性无关的元素？
• RQ3 基本群 $ \pi_1(M) $ 中非平凡挠元素的数量是否为 $ \widetilde{P}(M) $ 的秩提供下界，当基本群为强有限可嵌入时？
• RQ4 C*-代数的 K-理论的有限部分如何与正标量曲率度量模空间的拓扑相关？

主要发现

• 对于维度 $ \geq 5 $ 的闭自旋流形 $ M $，若其基本群 $ \Gamma $ 为强有限可嵌入，则模空间群 $ \widetilde{P}(M) $ 的秩至少为 $ N_{\text{fin}}(\Gamma) $，即 $ \Gamma $ 中非平凡挠元素的数量。
• 高阶 rho 不变量在微分同胚群作用下保持不变，使其能够区分 $ \widetilde{P}(M) $ 中的元素。
• 从 $ K_0 $ 的有限部分到 Lipschitz 代数的 $ K_1 $ 的边界映射 $ \partial_{\Gamma \rtimes F_m} $ 是单射，这意味着有限部分中的非平凡元素映射到 Lipschitz 代数的 K-理论中的非平凡元素。
• 通过在 $ S^1 \times Y $ 上悬垂构造度量，可产生对应于不同自旋 bordism 类的正标量曲率度量的不同同痕类。
• 对于满足 $ \pi_1(M) \twoheadrightarrow \mathbb{Z} \times G $ 的偶维流形，若 $ G $ 为强有限可嵌入，则 $ \text{rank}(\widetilde{P}(M)) \geq N_{\text{fin}}(G) $。
• 若 $ \pi_1(M) $ 不是无挠的，则 $ \text{rank}(\widetilde{P}(M)) \geq 1 $，意味着模空间有无穷多个连通分支。