[论文解读] Additivity for parametrized topological Euler characteristic and Reidemeister torsion

Bernard Badzioch, Wojciech Dorabiała|ArXiv.org|Jun 13, 2005

Homotopy and Cohomology in Algebraic Topology被引用 3

一句话总结

本文在紧致拓扑流形的纤维丛背景下，建立了参数化拓扑 Reidemeister torsion 与 Euler 示性数的可加性性质。通过 A-理论与 Whitehead 空间中的同伦理论构造，作者证明了：对于存在纤维丛余维数一分裂的丛，其 torsion 不变量满足一个精确的可加公式，该公式涉及子丛的包含关系，与代数拓扑中的经典可加性平行。

ABSTRACT

Dwyer, Weiss, and Williams have recently defined the notions of parametrized topological Euler characteristic and parametrized topological Reidemeister torsion which are invariants of bundles of compact topological manifolds. We show that these invariants satisfy additivity formulas paralleling the additive properties of the classical Euler characteristic and Reidemeister torsion of finite CW-complexes.

研究动机与目标

• 在纤维丛余维数一分裂的条件下，建立紧致拓扑流形丛的参数化拓扑 Reidemeister torsion 的可加性。
• 通过 excisive A-理论，将此前仅知于同伦 torsion 的可加性原理推广至拓扑设定。
• 通过统一的同伦理论框架，整合光滑、同伦与拓扑范畴中参数化 torsion 不变量的行为。
• 为 Dwyer、Weiss 与 Williams 定义的 torsion 不变量提供同伦理论基础，证明其与 CW 复形中经典可加性的相容性。

提出的方法

• 利用紧致拓扑流形的 excisive A-理论 $A^{\%}(M)$ 构造拓扑 Whitehead 空间 $\Phi^{t}_{\rho}(p)$。
• 通过从 $A^{\%}(E)$ 到 $K(R)$ 的映射的同伦纤维，将参数化拓扑 torsion $\tau^{t}_{\rho}(p)$ 定义为纤维丛 $\Phi^{t}_{\rho}(p) \to B$ 的截面。
• 使用 $p$ 的同伦纤维上的可缩空间范畴 $\mathcal{R}^{fd}(p)$，对 torsion 与 Euler 示性数不变量进行建模。
• 在双变 A-理论空间 $A^{biv}(p)$ 中构造一条路径 $\omega^{biv}_{p}$，连接 $\chi^{biv}(p)$ 与组合项 $j_{1*}\chi^{biv}(p_1) + j_{2*}\chi^{biv}(p_2) - j_{0*}\chi^{biv}(p_0)$，以确保可加性。
• 将此路径上移到可约双变 A-理论空间 $A^{ac}(p)$，再映射至同伦 Whitehead 空间 $\Phi^{h}_{\rho}(p)$，从而得到 torsion 的可加性路径 $\omega^{h}_{\rho}$。
• 利用广义 coassembly 映射 $\alpha^*: A^{biv}(p) \to A(p)$，将双变构造与同伦 Euler 示性数联系起来，确保各类不变量之间的相容性。

实验结果

研究问题

• RQ1 参数化拓扑 Reidemeister torsion 是否满足类似于 CW 复形经典 torsion 的可加性公式？
• RQ2 能否通过 excisive A-理论，将同伦 torsion 的可加性性质推广至拓扑设定？
• RQ3 在丛的纤维丛余维数一分裂下，不变量 $\tau^{t}_{\rho}(p)$、$\tau^{h}_{\rho}(p)$ 与 $\tau^{s}_{\rho}(p)$ 之间有何关系？
• RQ4 是否存在一个典范的同伦类路径，连接 $\tau^{t}_{\rho}(p)$ 与组合项 $j_{1*}\tau^{t}_{\rho}(p_1) + j_{2*}\tau^{t}_{\rho}(p_2) - j_{0*}\tau^{t}_{\rho}(p_0)$，位于拓扑 Whitehead 空间中？
• RQ5 拓扑 Euler 示性数的可加性路径能否被提升至 torsion Whitehead 空间中的相容路径？

主要发现

• 参数化拓扑 Reidemeister torsion $\tau^{t}_{\rho}(p)$ 满足可加性公式：对于具有纤维丛余维数一分裂的丛，其在 $\Phi^{t}_{\rho}(p)$ 中存在一个优选的同伦类路径，连接 $\tau^{t}_{\rho}(p)$ 与 $j_{1*}\tau^{t}_{\rho}(p_1) + j_{2*}\tau^{t}_{\rho}(p_2) - j_{0*}\tau^{t}_{\rho}(p_0)$。
• 该可加性路径通过双变 A-理论空间 $A^{biv}(p)$ 构造，该空间对丛的相对同伦类型进行建模，并经由 $A^{ac}(p)$ 上移至同伦 Whitehead 空间 $\Phi^{h}_{\rho}(p)$。
• 该构造依赖于广义 coassembly 映射 $\alpha^*: A^{biv}(p) \to A(p)$，该映射将双变与标准 A-理论联系起来，确保与同伦 Euler 示性数的相容性。
• 同伦 torsion 的路径 $\omega^{h}_{\rho}$ 通过模仿 [2] 的方法构造，其中使用可约双变 A-理论 $A^{ac}(p)$ 作为上移阶段。
• 拓扑 torsion 的可加性结果与 CW 复形中组合 Reidemeister torsion 的经典可加性平行，证实了不同设定下的一致性。
• 通过拉回将一般情形约化至离散结构群情形，确保即使对于一般紧致拓扑流形丛，可加性路径依然存在。