[论文解读] Transfer Maps in Generalized Group Homology via Submanifolds

Martin Nitsche, Thomas Schick+1 more|arXiv (Cornell University)|Jun 4, 2019

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

该论文为余维数 k ≥ 1 的子流形在等变与群 C*-代数同调理论中构造了广义转移映射，将经典正 scalar 曲率指标障碍推广至更一般情形。通过 E-定向与谱序列，建立了从 E∗(Bπ₁M) 到 E∗−k(Bπ₁N) 的自然转移，该转移与包含诱导映射相容，证明了在适当拓扑条件下，若 N 上的指标类非零，则 M 上的指标类亦非零，尤其针对 KO-同调与普通同调中的 k=1 和 k=2 情形。

ABSTRACT

Let $N \subset M$ be a submanifold embedding of spin manifolds of some codimension $k \geq 1$. A classical result of Gromov and Lawson, refined by Hanke, Pape and Schick, states that $M$ does not admit a metric of positive scalar curvature if $k = 2$ and the Dirac operator of $N$ has non-trivial index, provided that suitable conditions are satisfied. In the cases $k=1$ and $k=2$, Zeidler and Kubota, respectively, established more systematic results: There exists a transfer $\mathrm{KO}_\ast(\mathrm{C}^{\ast} π_1 M) o \mathrm{KO}_{\ast - k}(\mathrm{C}^\ast π_1 N)$ which maps the index class of $M$ to the index class of $N$. The main goal of this article is to construct analogous transfer maps $E_\ast(\mathrm{B}π_1M) o E_{\ast-k}(\mathrm{B}π_1N)$ for different generalized homology theories $E$ and suitable submanifold embeddings. The design criterion is that it is compatible with the transfer $E_\ast(M) o E_{\ast-k}(N)$ induced by the inclusion $N \subset M$ for a chosen orientation on the normal bundle. Under varying restrictions on homotopy groups and the normal bundle, we construct transfers in the following cases in particular: In ordinary homology, it works for all codimensions. This slightly generalizes a result of Engel and simplifies his proof. In complex K-homology, we achieve it for $k \leq 3$. For $k \leq 2$, we have a transfer on the equivariant KO-homology of the classifying space for proper actions.

研究动机与目标

• 通过在广义同调理论中构造自然转移映射，从概念上统一子流形对正 scalar 曲率的指标障碍。
• 将经典从自旋 bordism 的转移映射推广至广义同调理论 E∗(Bπ₁M) → E∗−k(Bπ₁N)，适用于余维数为 k 的子流形。
• 通过 Baum-Connes 汇集映射，建立流形上转移与分类空间上转移之间的相容性。
• 将 Engel 在普通同调中的结果推广，并将 Zeidler 与 Kubota 在 K-同调中的结果扩展至更广泛设定，且假设条件更弱。
• 以广义同调与谱序列为框架，为 Gromov-Lawson-Hanke 转移提供概念性解释。

提出的方法

• 利用法丛的 E-定向与 Pontryagin-Thom 构造，构造从 E∗(M) 到 E∗−k(N) 的转移映射 τM,N。
• 应用谱序列计算分类空间的等变同调，使用 EΓ 的无限连积模型及商映射 q: EΓ → BΓ。
• 利用同伦提升性质与纤维预像上的收缩同伦，证明当 U 为星形邻域时，q−1(U) 是 Bπy 的模型。
• 应用引理 5.14，当 Hk(Bπy; Z) = 0 对 0 < k < n 成立时，确保扩展问题可分裂，从而实现转移映射的延拓。
• 利用 E2(D2, S1) 中的双重悬垂单位及其通过平凡化拉回得到的 θ ∈ E2(Dν, Sν)，实现向分类空间的转移映射延拓。
• 应用定理 4.4，利用同调理论变换的自然性，将转移映射延拓至适当作用的分类空间。

实验结果

研究问题

• RQ1 能否为任意余维数 k ≥ 1 的子流形在广义同调理论中构造与包含诱导映射相容的转移映射？
• RQ2 在何种基本群与法丛条件下，可将转移映射从流形延拓至自由与适当群作用的分类空间？
• RQ3 KO-同调中的转移映射如何与正 scalar 曲率的 Rosenberg 指标障碍相关联？
• RQ4 普通同调中的转移映射能否超越 Engel 的原始结果进行推广？其证明是否得以简化？
• RQ5 在余维数为 2 的情形下，所构造的转移映射是否与 Kubota 在最大群 C*-代数上的转移映射相容？

主要发现

• 对于余维数 1，论文构造了自然转移映射 KO∗(C∗π1M) → KO∗−1(C∗π1N)，该映射提升经典转移，对 C∗max 与 C∗red 均成立，并证明了若 α(N) ≠ 0，则必有 α(M) ≠ 0。
• 在普通同调中，对所有余维数均构造了转移映射 E∗(Bπ₁M) → E∗−1(Bπ₁N)，推广了 Engel 的结果并简化了他的证明。
• 对于复 K-同调，对余维数 k ≤ 3 的情形构造了转移映射，以系统化方式扩展了已知结果。
• 当 k = 2 且法丛平凡、包含映射 π₁-单射且 π₂-满射时，KO-同调中的转移映射可延拓至适当作用的分类空间。
• 转移映射与 Baum-Connes 汇集映射及指标类相容，为子流形对正 scalar 曲率的障碍提供了概念性框架。
• 向适当作用分类空间的转移映射延拓在同调理论变换下具有自然性，确保了不同理论间的一致性。