[论文解读] A topological approach to Cheeger-Gromov universal bounds for von Neumann rho-invariants

Jae Choon|arXiv (Cornell University)|May 8, 2014

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

一句话总结

本文通过使用 $4k$-流形的 $L^2$-符号差，以拓扑方法证明了 von Neumann $L^2$ $\rho$-不变量在 $(4k-1)$-流形上的 Cheeger-Gromov 通用界。该文基于三角剖分、Heegaard 分解和手术描述，为 $3$-流形建立了显式的线性通用界，表明这些界在渐近意义上是最优的，并由此得出 $3$-流形复杂度的新下界，其显著大于以往的下界。

ABSTRACT

Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $ρ$-invariants associated to arbitrary regular covers. We present a proof of the existence of a universal bound for topological (4k-1)-manifolds, using $L^2$-signatures of bounding 4k-manifolds. For 3-manifolds, we give explicit linear universal bounds in terms of triangulations, Heegaard splittings, and surgery descriptions respectively. We show that our explicit bounds are asymptotically optimal. As an application, we give new lower bounds of the complexity of 3-manifolds which can be arbitrarily larger than previously known lower bounds. As ingredients of the proofs which seem interesting on their own, we develop a geometric construction of efficient 4-dimensional bordisms of 3-manifolds over a group, and develop an algebraic topological notion of uniformly controlled chain homotopies.

研究动机与目标

• 通过避免使用深层分析方法，以纯拓扑方法证明 $L^2$ $\rho$-不变量的 Cheeger-Gromov 通用界。
• 基于三角剖分、Heegaard 分解和手术描述等几何与组合数据，为 $3$-流形建立显式的线性通用界。
• 揭示 $\rho$-不变量与 $3$-流形复杂度之间的拓扑关系，从而获得复杂度的改进下界。
• 发展代数拓扑的新工具，包括一致控制的链同伦以及群上高效 $4$-维 bordism 的几何构造。

提出的方法

• 在拓扑范畴中，通过边界 $4k$-流形的 $L^2$-符号差缺陷，从拓扑角度定义 Cheeger-Gromov $\rho$-不变量。
• 利用到分类空间的几何与单纯-胞射逼近，构造群上 $3$-流形的高效 $4$-维 bordism。
• 引入一致控制的链同伦概念，包括控制的可约模型定理与 Eilenberg-Zilber 定理，以管理群环上的代数拓扑。
• 利用 $3$-流形的几何与组合数据，估计边界 $4k$-流形的 $2$-柄复杂度。
• 使用 $L^2$-符号差缺陷公式，以边界流形的 $2$-柄复杂度来界定 $\rho^{(2)}(M,\phi)$。
• 构造一个单纯集态射 $f: X \to BG$，使其诱导给定的同态 $\phi: \pi_1(|X|) \to G$，并确保函子性与群作用的相容性。

实验结果

研究问题

• RQ1 能否通过完全的拓扑方法，而不依赖分析技术，建立 $L^2$ $\rho$-不变量的 Cheeger-Gromov 通用界？
• RQ2 能否基于三角剖分、Heegaard 分解和手术表示，为 $3$-流形导出显式的线性通用界？
• RQ3 这些显式界是否渐近最优？能否用于推导出显著更强的 $3$-流形复杂度下界？
• RQ4 如何在群作用与 $L^2$-不变量的背景下定义并应用一致控制的链同伦？
• RQ5 边界 $4$-流形的 $2$-柄复杂度与 $\rho$-不变量的大小之间存在何种关系？

主要发现

• 本文通过边界 $4k$-流形的 $L^2$-符号差，建立了拓扑 $(4k-1)$-流形的 $L^2$ $\rho$-不变量存在通用界的拓扑证明。
• 对于 $3$-流形，基于三角剖分、Heegaard 分解和手术描述，导出了显式的线性通用界，且这些界在渐近意义上是最优的。
• 所构造的 $\rho^{(2)}(M,\phi)$ 的界被证明是渐近最优的，即一般情况下无法存在更优的线性界。
• 该方法得出的 $3$-流形复杂度的新下界，可远大于以往已知的下界，尤其在透镜空间中表现显著。
• 在群上对高效 $4$-维 bordism 的几何构造，为研究低维拓扑中的 $\rho$-不变量与复杂度提供了新工具。
• 一致控制的链同伦（包括控制的可约模型定理与 Eilenberg-Zilber 定理）的发展，为处理群环上的 $L^2$-不变量提供了新的代数框架。