[论文解读] Realizing the analytic surgery group of Higson and Roe geometrically, Part I: The geometric model

Robin J. Deeley, Magnus Goffeng|arXiv (Cornell University)|Aug 27, 2013

Advanced Operator Algebra Research参考文献 22被引用 5

一句话总结

本文通过鲍姆-道斯类型几何循环，构建了希森与罗伊分析手术群的几何模型，确立了类似于分析版本的六项精确序列。关键贡献在于对次级不变量的几何实现——具体而言，为等秩酉表示，从几何手术群到实数的$η$-型不变量映射。

ABSTRACT

We construct a geometric analog of the analytic surgery group of Higson and Roe for the assembly mapping for free actions of a group with values in a Banach algebra completion of the group algebra. We prove that the geometrically defined group, in analogy with the analytic surgery group, fits into a six term exact sequence with the assembly mapping and also discuss mappings with domain the geometric group. In particular, given two finite dimensional unitary representations of the same rank, we define a map in the spirit of $η$-type invariants from the geometric group (with respect to assembly for the full group $C^*$-algebra) to the real numbers.

研究动机与目标

• 通过几何循环，发展希森与罗伊分析手术群的几何类比，避免依赖分析K-同调理论。
• 仅使用几何数据，为次级不变量（特别是$η$-型不变量）提供几何框架。
• 将构造推广至取值于巴拿赫代数K-理论的装配映射，以实现更广泛的应用。
• 为几何手术群建立类似于分析情形的六项精确序列。
• 在等秩酉表示的语境下，定义从几何手术群到实数的映射，其精神与$η$-不变量一致。

提出的方法

• 通过几何循环构造几何手术群$K_*^{geo}(X;B)$：即带有到有限CW复形$X$的映射的紧致spin$^c$流形，配备有限生成投影$B$-模的光滑丛。
• 定义等价关系：不相交并/直和、向量丛修正与 bordism，以构成群结构。
• 利用$C^*$-代数的短正合列所导出的六项精确序列：$0 \to C^*_{\Gamma,\epsilon}(\tilde{X}) \to D^*_{\Gamma,\epsilon}(\tilde{X}) \to D^*_{\Gamma,\epsilon}(\tilde{X})/C^*_{\Gamma,\epsilon}(\tilde{X}) \to 0$。
• 识别$K_*(D^*_{\Gamma,\epsilon}(\tilde{X})/C^*_{\Gamma,\epsilon}(\tilde{X})) \cong K_*(X)$ 与 $K_*(C^*_{\Gamma,\epsilon}(\tilde{X})) \cong K_*(C^*_{\epsilon}(\Gamma))$，将几何群与分析手术群联系起来。
• 通过spin$^c$-狄拉克算子与截断函数$\chi$，定义几何指标映射$\mathrm{ind}^a_{X,B}: K_*^{geo}(X;B) \to KK^{ban}(C_0(X), B)$。
• 证明当$KK^{ban}(-,B)$在$C_0(X)$上满足半正合性时，几何指标映射为同构，从而验证几何模型的有效性。

实验结果

研究问题

• RQ1 希森与罗伊的分析手术群能否通过基于鲍姆-道斯循环的几何模型被完全实现？
• RQ2 几何手术群是否能嵌入一个类似于分析情形的六项精确序列？
• RQ3 能否将$η$-型不变量几何化，作为从几何手术群到实数的映射？
• RQ4 在何种条件下几何指标映射为同构？其与分析指标之间有何关系？
• RQ5 几何模型如何推广至群代数的巴拿赫代数完备化，从而为次级不变量的消去结果提供新途径？

主要发现

• 几何手术群$K_*^{geo}(X;B)$被构造为模去 bordism、直和与向量丛修正的几何循环的阿贝尔群。
• 几何手术群嵌入一个六项精确序列，其结构与分析手术精确序列同构，端点为$K_*(X)$与$K_*(C^*_{\epsilon}(\Gamma))$。
• 对于两个等秩有限维酉表示，定义了从几何手术群到$\mathbb{R}$的映射，推广了$η$-不变量的概念。
• 当$KK^{ban}(-,B)$在有限CW复形上对$C_0(X)$满足半正合性时，几何指标映射$\mathrm{ind}^a_{X,B}: K_*^{geo}(X;B) \to KK^{ban}(C_0(X), B)$是良定义的且为同构。
• 该构造可推广至群代数的巴拿赫代数完备化，从而在证明次级不变量的消去定理方面具备灵活的应用潜力。
• 几何模型为次级不变量提供了纯粹的几何框架，避免了对分析K-同调理论的依赖，同时保留了分析手术群的核心结构。