[論文レビュー] Isometric properties of relative bounded cohomology

Martin Juan José Bucher, M. Burger+4 more|arXiv (Cornell University)|May 4, 2012

Geometric and Algebraic Topology参考文献 15被引用数 17

ひとこと要約

本稿では、$ Y $ の各連結成分がアメーブルな基本群を持つ限り、相対有界コホモロジー $ H^n_b(X,Y) $ から有界コホモロジー $ H^n_b(X) $ への包含誘導写像が $ n \geq 2 $ に対して等長同型であることを確立する。主な貢献は、Gromovの等価定理の新しい証明と、一般化されたDehn充填における単体的体積に関する Fujiwara と Manning の結果の一般化であり、相対有界コホモロジーの等長性を用いて達成されている。

ABSTRACT

We show that the isomorphism induced by the inclusion of pairs $(X,\emptyset)\subset (X,Y)$ between the relative bounded cohomology of $(X,Y)$ and the bounded cohomology of $X$ is isometric in degree at least 2 if the fundamental group of each connected component of $Y$ is amenable. As an application we provide a self-contained proof of Gromov Equivalence theorem and a generalization of a result of Fujiwara and Manning on the simplicial volume of generalized Dehn fillings.

研究の動機と目的

• アメーブルな基本群の条件の下で、相対有界コホモロジーと絶対有界コホモロジーの間の等長同型を確立すること。
• 相対有界コホモロジーの等長性を用いて、Gromovの等価定理の自己完備な証明を提供すること。
• 有界コホモロジーにおける等長性を活用して、Fujiwara と Manning の一般化されたDehn充填における単体的体積に関する結果を一般化すること。
• $ \ell^1 $-半ノルムとその相対ホモロジーにおける極限における振る舞いの役割を明確にすること。
• 各成分 $ Y_i $ に対して $ \pi_1(Y_i) $ がアメーブルであるとき、包含誘導写像 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ が $ n \geq 2 $ で等長であることを示すこと

提案手法

• 相対有界コホモロジーにおける長完全系列を用いて、写像 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ を分析し、$ \pi_1(Y_i) $ がアメーブルである場合に同型であることを示す。
• 有界コホモロジーがアメーブル群では $ n \geq 1 $ で消失することを活用し、$ H^n_b(Y) = 0 $ が成り立つことから、$ n \geq 2 $ で $ j^n $ が同型であることを導く。
• 相対チェインにおける $ \ell^1 $-半ノルムの分析と、$ \theta \to \infty $ における極限の振る舞いを用いて、同型 $ j^n $ が等長であることを証明する。
• 有界コホモロジーと $ \ell^1 $-ホモロジー間の翻訳原理を適用し、コホモロジーからホモロジーへの等長性の性質を移す。
• アメーブル群の均一境界条件（Matsumoto-Morita）を用いて、$ C_*(L) $ 内の境界の有界リフトを構成し、$ \ell^1 $-ノルムの制御を確立する。
• 一般化されたDehn充填 $ N = M(T_1,\dots,T_m) $ の基本サイクルを、$ (M,\partial M) $ 内のほぼ基本サイクルと $ L $ 内の制御されたリフトを組み合わせることで構成し、$ \|N\| \leq \|M,\partial M\| $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 包含誘導写像 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ が有界コホモロジーにおいていつ等長同型となるか。
• RQ2 Gromovの等価定理は、相対有界コホモロジーにおける等長同型を用いて再証明可能か。
• RQ3 一般化されたDehn充填 $ M(T_1,\dots,T_m) $ の単体的体積 $ \|N\| $ は $ \|M,\partial M\| $ を満たすか。どのような条件下で成り立つか。
• RQ4 極限 $ \theta \to \infty $ における $ \ell^1 $-半ノルム $ \|\cdot\|_1(\theta) $ の振る舞いはどのようにか。標準的 $ \ell^1 $-ノルムとはどのような関係にあるか。
• RQ5 アメーブル群における均一境界条件が、相対ホモロジーにおける $ \ell^1 $-ノルムの制御に果たす役割は何か。

主な発見

• 各連結成分がアメーブルな基本群を持つ限り、すべての $ n \geq 2 $ で写像 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ は等長同型である。
• 任意の相対ホモロジー類 $ \alpha $ に対して $ \|\alpha\|_{(0)} \leq \|\alpha\|_{1}(\infty) $ が成り立つことが証明され、$ \theta $-ノルムが標準的 $ \ell^1 $-ノルムに収束することを示している。
• 一般化されたDehn充填 $ N = M(T_1,\dots,T_m) $ の単体的体積は $ \|N\| \leq \|M,\partial M\| $ を満たし、極限で等号が成り立つ。
• 定理4の第二証明は、等価定理の明示的使用を避け、定理1の等長性に直接依存することで、より直接的なホモロジー的証明を提供している。
• ホモロジー群 $ H_n(N) \to H_n(N,L) $ の逆写像が等長であることを示しており、これは $ (M,\partial M) $ から $ N $ への射影において $ \ell^1 $-ノルムが保存されることを意味する。
• 境界のリフトに対して、$ \|c'\|_1 \leq K \|p_n(d_n c)\|_1 $ を満たす定数 $ K > 0 $ の存在が、$ N $ の基本サイクルの構成における $ \ell^1 $-ノルムの制御を保証する。