[论文解读] Survey on analytic and topological torsion

Wolfgang Lueck|arXiv (Cornell University)|Feb 26, 2015

Geometric and Algebraic Topology参考文献 25被引用 3

一句话总结

本综述对解析 torsion 与拓扑 torsion 提供了全面且易于理解的概述，通过闭 Riemann 流形上的 Cheeger-Müller 定理建立了二者之间的等价性。该理论被推广至带边流形及具有有限群作用的 Riemann 流形，引入了等变 torsion 不变量，并通过 zeta-正则化行列式与谱密度函数将其与谱不变量联系起来。

ABSTRACT

The article consists of a survey on analytic and topological torsion. Analytic torsion is defined in terms of the spectrum of the analytic Laplace operator on a Riemannian manifold, whereas topological torsion is defined in terms of a triangulation. The celebrated theorem of Cheeger and Müller identifies these two notions for closed Riemannian manifolds. We also deal with manifolds with boundary and with isometric actions of finite groups. The basic theme is to extract topological invariants from the spectrum of the analytic Laplace operator on a Riemannian manifold.

研究动机与目标

• 为研究生和非专家提供一个自包含且易于理解的解析与拓扑 torsion 的导论。
• 解释如何从 Riemann 流形上分析 Laplace 算子的谱中提取拓扑不变量。
• 通过谱理论与 zeta-正则化的视角，统一 torsion 的代数、拓扑与分析视角。
• 将理论推广至带边流形以及具有等距有限群作用的 Riemann 流形，引入 Poincaré torsion。
• 通过 von Neumann 代数与 Fuglede-Kadison 行列式，为理解 $L^2$-torsion 与 $L^2$-Betti 数提供基础。

提出的方法

• 通过 zeta-函数正则化与谱密度函数，将有限维 Hilbert 空间中的经典不变量（如行列式与迹）重新表述。
• 应用 Hodge-de Rham 分解，将 de Rham 上同调与闭 Riemann 流形上的调和形式联系起来。
• 通过胞腔链复形与组合 Laplace 算子定义拓扑 torsion，并通过同构校正 Hilbert 空间结构。
• 通过 $L^2$-形式上 Laplace 算子的 zeta-正则化行列式定义解析 torsion，谱密度函数为其关键工具。
• 通过谱不变量与 zeta-正则化比较解析 torsion 与拓扑 torsion，建立 Cheeger-Müller 定理。
• 通过群作用扩展框架至等变情形，引入 Poincaré torsion 作为有限群作用下出现的新不变量。

实验结果

研究问题

• RQ1 如何利用谱理论将有限维 Hilbert 空间中的经典不变量（如行列式与迹）推广至无限维 Hilbert 空间？
• RQ2 在闭 Riemann 流形上，通过剖分定义的拓扑 torsion 与通过 Laplace 算子谱定义的解析 torsion 之间的确切关系是什么？
• RQ3 边界项如何修正带边紧致 Riemann 流形上的 Cheeger-Müller 定理？
• RQ4 在等距有限群作用下，出现哪些新的 torsion 不变量，它们与解析与拓扑 torsion 的关系如何？
• RQ5 通过 von Neumann 代数与 Fuglede-Kadison 行列式，$L^2$-不变量如何将解析与拓扑 torsion 推广至非紧覆盖？

主要发现

• Cheeger-Müller 定理成立：对于闭 Riemann 流形，解析 torsion 与拓扑 torsion 相等。
• 对于带边的紧致 Riemann 流形，需引入涉及边界 Euler 示性数的修正项，以关联解析 torsion 与拓扑 torsion。
• 在有限群作用的等变情形下，出现三种 torsion 不变量：解析 torsion、拓扑 torsion 与 Poincaré torsion，其中后者在非等变情形下不存在。
• 对于具有自由保向 $G$-作用的奇维闭定向 $G$-流形，解析 torsion 在 $ ho$-不变量映射 $ ho_{ ext{top}}$ 下等于拓扑 torsion。
• 对于偶维闭定向 $G$-流形，解析 torsion 恒为零，而拓扑 torsion 为 Poincaré torsion 的一半。
• 在群覆盖与 von Neumann 代数的背景下，通过谱密度函数与 Fuglede-Kadison 行列式定义了 torsion 与 Betti 数的 $L^2$-版本。