[論文レビュー] 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

ひとこと要約

本稿は、$L^2$-シグネチャを用いた境界をなす $4k$-多様体を用いて、$(4k-1)$-多様体のvon Neumann $L^2$ $\rho$-不変量に対するCheeger-Gromovの普遍的上限の位相的証明を提示する。$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の普遍的上限を純粋に位相的手段で証明すること。
• 三角形分割、ハエアード分解、および手術表示といった幾何的・組合せ的データに基づいて、$3$-多様体に対する明示的な線形普遍的上限を確立すること。
• $\rho$-不変量と$3$-多様体の複雑さの間の位相的関係を解明し、複雑さに対する改善された下界を導出すること。
• 群上での一様に制御されたチェーンホモトピーおよび効率的な$4$次元バーディズムの幾何的構成を含む、代数的位相の新規な道具を構築すること。

提案手法

• 位相的カテゴリーにおける境界をなす $4k$-多様体の $L^2$-シグネチャ欠損を用いて、Cheeger-Gromov $\rho$-不変量を位相的に定義する。
• 分類空間への幾何的および単体的・セルラーモデル近似を用いて、群上の $3$-多様体の効率的 $4$-次元バーディズムを構成する。
• 群環上の代数的位相を管理するため、一様に制御されたチェーンホモトピー、制御されたアティヤ・モーリー定理およびEilenberg-Zilber定理の概念を導入する。
• $3$-多様体からの幾何的および組合せ的データを用いて、境界をなす $4k$-多様体の $2$-ハンドル複雑さを推定する。
• $L^2$-シグネチャ欠損公式を用いて、$\rho^{(2)}(M,\phi)$ を境界多様体の $2$-ハンドル複雑さの関数として評価する。
• 与えられた準同型 $\phi: \pi_1(|X|) \to G$ を誘導する単体的集合の写像 $f: X \to BG$ を構成し、函子的および群作用と整合するように保証する。

実験結果

リサーチクエスチョン

• RQ1 $L^2$ $\rho$-不変量のCheeger-Gromovの普遍的上限を、解析的技法に依存せずに純粋に位相的手段で確立できるか？
• RQ2 三角形分割、ハエアード分解、および手術表示に基づいて、$3$-多様体に対する明示的な線形普遍的上限をどのように導出できるか？
• RQ3 これらの明示的上限は漸近的に最適であるか？また、$3$-多様体の複雑さに対する顕著に強い下界を導出するために使用可能か？
• RQ4 群作用および $L^2$-不変量の文脈において、一様に制御されたチェーンホモトピーをどのように定義・適用できるか？
• RQ5 境界をなす $4$-多様体の $2$-ハンドル複雑さと $\rho$-不変量の大きさの間にはどのような関係があるか？

主な発見

• 本稿は、境界をなす $4k$-多様体の $L^2$-シグネチャを用いて、位相的 $(4k-1)$-多様体の $L^2$ $\rho$-不変量に対する普遍的上限の存在を位相的に証明する。
• $3$-多様体に関しては、三角形分割、ハエアード分解、および手術表示に基づいた明示的な線形普遍的上限が導出され、これらの上限は漸近的に最適である。
• 構成された $\rho^{(2)}(M,\phi)$ に対する境界が漸近的に最適であることが示され、一般にはより良い線形境界は存在しない。
• 本手法により、特にレンズ空間に対して、従来の境界よりも任意に大きく、顕著に大きな新たな下界が得られる。
• 群上の効率的 $4$-次元バーディズムの幾何的構成は、低次元位相幾何学における $\rho$-不変量と複雑さの研究に新たな道具を提供する。
• 制御されたアティヤ・モーリー定理およびEilenberg-Zilber定理を含む一様に制御されたチェーンホモトピーの開発は、群環上の $L^2$-不変量を扱う新しい代数的枠組みを提供する。