[论文解读] Geometric K-homology with coefficients I

Robin J. Deeley|arXiv (Cornell University)|Jan 4, 2011

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

一句话总结

本文使用自旋^c ℤ/kℤ-流形作为基本循环，构建了系数为 ℤ/kℤ 的 K-同调的几何模型，建立了 Bockstein正合序列，并通过归纳极限将构造推广至任意可数阿贝尔群。该模型与 Freed-Melrose 指标定理内在关联，并推广了 Baum-Douglas 方法至系数群。

ABSTRACT

We construct a Baum-Douglas type model for $K$-homology with coefficients in $\mathbb{Z}/k\mathbb{Z}$. The basic geometric object in a cycle is a $spin^c$ $\mathbb{Z}/k\mathbb{Z}$-manifold. The relationship between these cycles and the topological side of the Freed-Melrose index theorem is discussed in detail. Finally, using inductive limits, we construct geometric models for $K$-homology with coefficients in any countable abelian group.

研究动机与目标

• 构建一个内在且独立于系数 K-理论或辅助空间的、系数为 ℤ/kℤ 的 K-同调的几何模型。
• 通过几何循环，几何化地建立系数为 ℤ/kℤ 的 K-同调的 Bockstein 正合序列。
• 通过 ℤ 和 ℤ/kℤ 循环的归纳极限，将该模型推广至任意可数阿贝尔群系数的 K-同调。
• 将几何循环与 Freed-Melrose 指标定理联系起来，确保与指标理论在概念上的一致性。
• 提供一种系数 K-同调的几何实现，其形式与 Baum-Douglas 模型平行，但通过奇异几何对象适配至系数群。

提出的方法

• 使用自旋^c ℤ/kℤ-流形作为循环中的主要几何对象，推广 Baum-Douglas 模型。
• 将循环定义为三元组，包含一个 ℤ/kℤ-流形、一个 K-理论类以及一个到目标空间的连续映射。
• 构造 ℤ/kℤ-循环与 ℤ/lkℤ-循环之间的映射，以建模任意阿贝尔系数的归纳极限。
• 应用通用系数序列（Bockstein 序列），将系数为 ℤ/kℤ 的 K-同调与整数 K-同调联系起来。
• 利用 Baas-Sullivan 横截理论，以及 ℤ/kℤ-流形与系数横截群之间的关系。
• 将 ℚ/ℤ-系数的循环重新表述为具有平凡边界覆盖的流形，与已知的指标不变量（如 ρ-不变量）建立联系。

实验结果

研究问题

• RQ1 能否构建一个避免依赖系数 K-理论或辅助空间的、系数为 ℤ/kℤ 的 K-同调的几何模型？
• RQ2 在系数为 ℤ/kℤ 的 K-同调背景下，Bockstein 正合序列如何实现几何化？
• RQ3 ℤ/kℤ-流形在实现反映 Freed-Melrose 指标定理的循环中起什么作用？
• RQ4 如何通过 ℤ 和 ℤ/kℤ 循环的归纳极限，构建任意可数阿贝尔群系数的 K-同调的几何模型？
• RQ5 系数为 ℚ/ℤ 的几何模型能否以具有有限平凡边界覆盖的流形来重新表述？这与已知指标不变量有何关联？

主要发现

• 使用自旋^c ℤ/kℤ-流形作为循环，构建了系数为 ℤ/kℤ 的 K-同调的几何模型，自然推广了 Baum-Douglas 模型。
• 几何化地实现了系数为 ℤ/kℤ 的 K-同调的 Bockstein 正合序列，关键结果见定理 2.20。
• 该模型与 Freed-Melrose 指标定理相容，该定理取值于 ℤ/kℤ，且适用于 ℤ/kℤ-流形。
• 通过 ℤ 与 ℤ/kℤ 循环的归纳极限，构建了任意可数阿贝尔群系数的 K-同调的几何模型，明确给出了通过群结构缩放定义的循环间映射。
• 对于 ℚ/ℤ-系数，循环被重新表述为具有平凡边界覆盖的流形，与已知的 ρ-不变量构造一致，为构建 ℝ/ℤ-系数的几何模型提供了路径。
• 该构造提供了与 bordism 理论概念一致的、尊重通用系数序列的 K-同调系数的几何实现。