[论文解读] The topology of positive scalar curvature

Thomas Schick|arXiv (Cornell University)|May 16, 2014

Advanced Operator Algebra Research参考文献 20被引用 36

一句话总结

本综述建立了一个系统性程序，将流形上正标量曲率度量的拓扑结构与C*-代数K-理论及大尺度指标理论中的分析工具相联系。它展示了高阶指标理论与大尺度几何如何为正标量曲率提供新的障碍，构造了正标量曲率空间的同伦群中无限阶元素，并提出一个框架，将此类度量的拓扑结构映射到循环同调，以通过初等和次级不变量实现更深层次的分类。

ABSTRACT

In this survey article, given a smooth closed manifold M we study the space of Riemannian metrics of positive scalar curvature on M. A long-standing question is: when is this space non-empty (i.e. when does M admit a metric of positive scalar curvature)? More generally: what is the topology of this space? For example, what are its homotopy groups? Higher index theory of the Dirac operator is the basic tool to address these questions. This has seen tremendous development in recent years, and in this survey we will discuss some of the most pertinent examples. In particular, we will show how advancements of large scale index theory (also called coarse index theory) give rise to new types of obstructions, and provide the tools for a systematic study of the existence and classification problem via the K-theory of C*-algebras. This is part of a program "mapping the topology of positive scalar curvature to analysis". In addition, we will show how advanced surgery theory and smoothing theory can be used to construct the first elements of infinite order in the k-th homotopy groups of the space of metrics of positive scalar curvature for arbitrarily large k. Moreover, these examples are the first ones which remain non-trivial in the moduli space of such metrics.

研究动机与目标

• 开发一个系统性框架，通过C*-代数K-理论与大尺度指标理论，将正标量曲率度量的拓扑结构映射到分析工具。
• 将高阶指标理论扩展至检测超出经典Rosenberg指标的新障碍，以适用于正标量曲率度量。
• 构造正标量曲率度量空间的高阶同伦群中已知首个无限阶元素。
• 提出一个程序，将正标量曲率序列映射到循环同调，以获取次级不变量并改进分类。
• 探索已知自旋流形结果在多大程度上可推广至非自旋流形与可扩大流形，特别是通过最小曲面方法。

提出的方法

• 以狄拉克算子的高阶指标理论作为基础工具，分析正标量曲率度量的空间。
• 应用大尺度（粗）指标理论与Baum-Connes猜想，计算群C*-代数的K-理论并检测障碍。
• 运用先进的手术理论与光滑化理论，构造正标量曲率空间同伦群中的非平凡元素。
• 结合C*-代数K-理论与Hochschild及循环（上）同调，获取高阶指标理论的初等与次级不变量。
• 使用分析结构集K*(D*M)来建模正标量曲率空间的拓扑结构，超越经典指标障碍的限制。
• 提出一个程序，将正标量曲率序列映射到循环同调，旨在提取数值不变量以实现分类。

实验结果

研究问题

• RQ1 大尺度指标理论是否能提供超越Rosenberg指标的新障碍，以阻止正标量曲率度量的存在？
• RQ2 正标量曲率度量空间的高阶同伦群结构为何？能否系统性地构造出无限阶的非平凡元素？
• RQ3 在使用最小曲面技术时，稳定Gromov-Lawson-Rosenberg猜想在多大程度上可推广至非自旋流形？
• RQ4 如何将C*-代数的K-理论与循环同调结合，以提取正标量曲率度量分类所需的次级不变量？
• RQ5 分析结构集K*(D*M)能否在具体的几何情境中有效使用，以检测正标量曲率空间的新拓扑特征？

主要发现

• 该论文利用先进的手术与光滑化理论，首次构造出正标量曲率度量空间在任意大k值下的k阶同伦群中无限阶元素。
• 这些例子在该类度量的模空间中仍保持非平凡性，标志着正标量曲率空间同伦型中首个此类稳定的非平凡元素。
• 稳定Gromov-Lawson-Rosenberg猜想表明：在有限次与Bott流形B的乘积后，正标量曲率度量的存在性仅由基本群C*-代数K-理论中的Rosenberg指标决定。
• 提出将正标量曲率序列映射到循环同调的程序，作为获取次级不变量的路径，尽管初等不变量已取得成功，但次级不变量仍理解不足。
• 识别出分析结构集K*(D*M)为研究正标量曲率空间拓扑的关键对象，尽管其具体应用仍处于初步发展阶段。
• 最小曲面方法仍是目前唯一已知适用于维度≥5的非自旋流形的障碍技术，但其在维度8以上的推广仍是开放挑战。