[论文解读] The Mayer-Vietoris Sequence for the Analytic Structure Group

Paul Siegel|arXiv (Cornell University)|Dec 2, 2012

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

一句话总结

本文为恰当度量空间的解析结构群构建了一个与K-同调及粗C*-代数K-理论相容的Mayer-Vietoris序列。通过显式边界映射，提供了Roe的分拆流形指标定理的新证明与推广，涵盖等变情形与非紧曲面情形，并将该框架应用于简洁证明Gromov-Lawson关于正数量曲率障碍的定理。

ABSTRACT

We develop a Mayer-Vietoris sequence for the analytic structure group explored by Higson and Roe. Using explicit formulas for Mayer-Vietoris boundary maps, we give a new proof and generalizations of Roe's partitioned manifold index theorem.

研究动机与目标

• 为解析结构群构造一个与K-同调及粗K-理论中标准Mayer-Vietoris序列相容的Mayer-Vietoris序列。
• 将Roe的分拆流形指标定理推广至非紧分隔超曲面及等变情形。
• 利用解析结构群框架，为Gromov-Lawson关于正数量曲率度量障碍的定理提供一个新且简明的证明。
• 建立一个辫图，统一K-同调、粗K-理论与解析结构群的Mayer-Vietoris序列。
• 通过解析手术正合序列，证明粗装配映射在完备自旋流形上正数量曲率度量的Dirac算子的K-同调类上为零。

提出的方法

• 通过显式给出长正合序列中边界映射的公式，为解析结构群 $ S_p(X) $ 构造Mayer-Vietoris序列。
• 利用统一了 $ K_*(X) $、$ K_*(C^*(X)) $ 与 $ S_*(X) $ 的Mayer-Vietoris序列的辫图，确保三者之间的相容性。
• 将辫图应用于将流形 $ M $ 上的 $ k $-分拆Dirac算子的指标与分隔超曲面 $ N $ 上诱导算子的指标联系起来，借助粗装配映射。
• 对分隔的余维数 $ k $ 使用归纳法，通过连续应用Mayer-Vietoris边界映射，将高余维数情形约化为基底情形。
• 利用粗装配映射可分解为解析手术正合序列的事实，证明正数量曲率度量意味着粗指标为零，若指标非零则导致矛盾。
• 利用Cartan-Hadamard定理及对数映射的粗微分同胚性质，证明非正曲率流形的万有覆叠与 $ \mathbb{R}^n $ 粗等价，从而可应用指标定理。

实验结果

研究问题

• RQ1 能否构造一个与K-同调及粗K-理论中标准Mayer-Vietoris序列相容的解析结构群Mayer-Vietoris序列？
• RQ2 如何利用Mayer-Vietoris序列的辫图证明Roe分拆流形指标定理的推广版本？
• RQ3 该框架对等变指标与非紧分隔超曲面有何影响？
• RQ4 该方法能否导出Gromov-Lawson关于正数量曲率度量障碍定理的新证明？
• RQ5 在何种条件下，粗装配映射在与正数量曲率度量相关的Dirac算子的K-同调类上为零？

主要发现

• 构造了新的解析结构群 $ S_p(X) $ 的Mayer-Vietoris序列，给出了边界映射的显式公式，确保其与 $ K_*(X) $ 和 $ K_*(C^*(X)) $ 的Mayer-Vietoris序列相容。
• 证明了由 $ K_*(X) $、$ K_*(C^*(X)) $ 与 $ S_*(X) $ 的Mayer-Vietoris序列构成的辫图是可交换的，从而可推导出指标恒等式。
• 本文证明了Roe指标定理的推广版本：若流形 $ M $ 被超曲面 $ N $ 上的 $ (p-k) $-多重分次Dirac算子 $ D_N $ $ k $-分拆，则在 $ K_{p-k}(C_r^*(G)) $ 中有 $ \text{Ind}_{M,N}^G[D_M] = \text{Ind}_N^G[D_N] $。
• 该框架可推广至等变指标与非紧分隔超曲面，推广了以往要求紧致性的结果。
• 本文给出了Gromov-Lawson定理的新、简洁证明：具有非正截面曲率的紧致流形不能赋予正数量曲率度量。
• 证明了粗装配映射将完备自旋流形上正数量曲率度量的Dirac算子的K-同调类映为零，这与 $ k $-分拆条件下的非零指标矛盾，从而证明了障碍的存在。